Eu me correspondi com Joel Friedman cerca de 3 anos atrás sobre este tópico. Na época, ele disse que sua abordagem não levara a novas idéias significativas sobre a teoria da complexidade, embora ainda achasse que era uma abordagem promissora.
Basicamente, Friedman tenta reformular os problemas de complexidade do circuito na linguagem das polias em uma topologia de Grothendieck. A esperança é que esse processo permita que a intuição geométrica seja aplicada ao problema de encontrar limites inferiores do circuito. Embora valha a pena verificar para ver se esse caminho leva a algum lugar, há razões heurísticas para ser cético. A intuição geométrica funciona melhor no contexto de variedades suaves, ou coisas que são suficientemente semelhantes às variedades suaves que a intuição não se decompõe totalmente. Em outras palavras, você precisa de alguma estrutura para que a intuição geométrica ganhe um ponto de apoio. Mas os limites mais baixos do circuito, por sua própria natureza, devem confrontar cálculos arbitrários, que são difíceis de analisar precisamente porque parecem ser tão sem estrutura. Friedman admite logo de cara que as topologias de Grothendieck que considera são altamente combinatórias e muito distantes dos objetos usuais de estudo em geometria algébrica.
Como um comentário secundário, eu diria que é importante não ficar muito animado com uma ideia apenas porque ela usa máquinas desconhecidas e de alta potência. A maquinaria pode ser muito eficaz na resolução dos problemas para os quais foi projetada, mas, para ser útil no ataque a um problema difícil conhecido em outro domínio, é preciso haver algum argumento convincente sobre o motivo da maquinaria estrangeira estar bem adaptada para abordar as questões fundamentais. obstáculo no problema de interesse.