Grothendieck ha fallecido . Tuvo un impacto masivo en las matemáticas del siglo XX que continuaron hasta el siglo XXI. Esta pregunta se hace algo en el estilo / espíritu, por ejemplo, de las Contribuciones de Alan Turing a la informática .
¿Cuáles son las principales influencias de Grothendieck en la informática teórica?
Respuestas:
La desigualdad de Grothendieck , desde sus días en el análisis funcional, se demostró inicialmente que relaciona normas fundamentales sobre espacios de productos tensoriales. Grothendieck llamó a la desigualdad "el teorema fundamental de la teoría métrica de los espacios de productos tensoriales", y la publicó en un periódico ahora famoso en 1958, en francés, en una revista brasileña de circulación limitada. El documento fue ignorado en gran medida durante 15 años, hasta que Lindenstrauss y Pelczynski lo redescubrieron (después de que Grothendieck había dejado el análisis funcional). Dieron muchas reformulaciones de los principales resultados del documento, lo relacionaron con investigaciones sobre operadores absolutamente sumarios y normas de factorización, y observaron que Grothendieck había resuelto problemas "abiertos" que surgieron después deEl artículo fue publicado. Pisier da una descripción muy detallada de la desigualdad, sus variantes y su tremenda influencia en el análisis funcional en su encuesta .
max { Σ i , j un i j ⟨ u i , v j ⟩ : u 1 , ... , u m , v 1 , … , v n ∈ S
Dicho esto, no debería sorprendernos que la desigualdad de Grothendiecks haya encontrado una segunda (¿tercera? ¿Cuarta?) Vida en informática. Khot Naor encuesta de sus múltiples aplicaciones y conexiones de optimización combinatoria.
La historia no termina ahí. La desigualdad está relacionada con las violaciones de la desigualdad de Bell en la mecánica cuántica (ver el artículo de Pisier), fue utilizada por Linial y Shraibman en el trabajo sobre la complejidad de la comunicación, e incluso resultó útil en el trabajo sobre el análisis de datos privados (conector descarado).
fuente
El impacto de Grothendieck se puede sentir en la teoría de los tipos y la lógica. Por ejemplo, el volumen de más de 700 páginas de Bart Jacobs, la lógica categórica y la teoría de tipos, ofrece un tratamiento uniforme de varias teorías de tipos ( teoría del tipo , donde ) basado en la noción categórica de las fibraciones de Grothendieck (también llamadas fibraciones cartesianas). Del mismo modo, la noción de Topos , también debido a Grothendieck, desempeña un papel importante en proporcionar semántica categórica a las lógicas y teorías de tipos, lo cual es de interés tanto para los lógicos como para los científicos teóricos de la computación.X ⊆ { simple , dependiente , polimórfico , de orden superior }X X⊆ { simple , dependientes , polimórfica , orden superior }
fuente
Supongo que la visión de Mulmuley de generalización de la hipótesis de Riemann sobre campos finitos provenientes de las conjeturas de Weil puede considerarse como una pregunta que originalmente tuvo resultados fructíferos de la cohomología etale de Grothendieck.
fuente