Aplicaciones sorprendentes de la cohomología

El concepto de cohomología es uno de los más sutiles y poderosos de las matemáticas modernas. Si bien su aplicación a la topología y la integrabilidad es inmediata (probablemente fue así como nació la cohomología en primer lugar), hay muchos más campos en los que la cohomología es al menos un punto de vista muy interesante. La cohomología de grupos es famosa y, por ejemplo, ayuda a estudiar extensiones.

Aquí hay buenos puntos sobre la "filosofía" detrás de la cohomología. Aquí hay ideas muy buenas, pero avanzadas, sobre lo que "realmente es" la cohomología.

Me gustaría preguntar algo un poco diferente:

¿Cuáles son las aplicaciones más inesperadas de la cohomología o de las ideas relacionadas con la cohomología? ¿Por qué la cohomología es útil/importante/interesante cuando se aplica a tales problemas?

Punto de bonificación para aplicaciones del mundo real, o al menos fuera del álgebra/geometría/física teórica.

Actualización : Vaya, parece que hay una pregunta muy similar aquí , con hermosas respuestas.

¿Una respuesta simplemente desapareció?

Respuestas (5)

He aquí una aplicación ridícula de la cohomología: una prueba de

j = 0 norte ( norte j ) ( 1 ) j = 0.

Dejar X = ( S 1 ) norte ser el norte -toro dimensional. Por la fórmula de Künneth, H j ( X , q ) tiene dimensión ( norte j ) . Por lo tanto, la característica de Euler de X es

x ( X ) = j = 0 norte ( 1 ) j d i metro q H j ( X , q ) = j = 0 norte ( norte j ) ( 1 ) j .

Por otro lado, X es un grupo de Lie compacto; dejar σ ser una traducción infinitesimal X X . Por el teorema del punto fijo de Lefschetz, x ( X ) es igual al número de puntos fijos de σ , es decir, 0 .

Para mí es una joya increíble. ¿Conoces otras aplicaciones similares? ¿O conoce alguna forma de convertir información topológica en información elemental de teoría de números con otras herramientas además de la característica de Euler?
@GFrost ¡Gracias! No conozco ningún razonamiento similar que al final no conduzca a algo completamente trivial. Hay muchos papeles importantes que juega la cohomología en la teoría de números, pero no exactamente como este.
Por supuesto, hay otras formas de calcular la característica de Euler de la norte toros bidimensionales, que reflejan otras formas de probar esta identidad. Por ejemplo, la característica de Euler es multiplicativa bajo productos por la fórmula de Kunneth; esto corresponde a la prueba vía ( 1 1 ) norte .
¡Esto fue genial! Hay algo similar, usando ( norte k ) = ( norte norte k ) por Poincare dualidad en ( S 1 ) norte .
También se puede probar esto observando que el complejo de Koszul es acíclico.

Cerca de una aplicación del mundo real es quizás la aplicación a elementos finitos mixtos.

Cálculo exterior de elementos finitos

En pocas palabras: en lugar de resolver numéricamente

Δ tu = 0 ,
se aproxima a la solución de
d i v   tu = σ y gramo r a d   σ = 0.
Ambas formulaciones conducen a las mismas soluciones. tu , pero sorprendentemente, existe un alto riesgo de obtener una solución completamente incorrecta mediante una aproximación ingenua de elementos finitos. ( Diapositivas con imágenes, ejemplos (y la teoría) )

Los elementos finitos mixtos se utilizan, por ejemplo, en elasticidad o dinámica de fluidos, donde la presión pag un multiplicador de Lagrange, vive naturalmente en diferentes espacios que la deformación φ del material. Se sabía antes, que la elección de los espacios de aproximación de pag y φ Es crucial. Pueden existir soluciones numéricas, pero pueden diferir enormemente de la solución real, también para simulaciones de alta resolución. (Falta de estabilidad.)

el uso de la (co)homología conduce a una comprensión unificada de esta área. Primero, debe encontrar un complejo de Hilbert tal que la ecuación asociada de Hodge Laplace sea la PDE de su interés. Encontrar el complejo correcto o combinar varios complejos para construir uno nuevo implica la aplicación de herramientas del álgebra homológica.

Si la aproximación numérica implica un morfismo acotado entre dos complejos que conserva los grupos de cohomología, ¡entonces los elementos finitos correspondientes son estables! (Por supuesto, hay algunos supuestos típicos para elementos finitos que también deben cumplirse).

Me encanta el hecho de que aquí las matemáticas numéricas se benefician de un enfoque más abstracto y, de hecho, ¡esta técnica también ayudó a resolver problemas no resueltos anteriormente!

Muy buena respuesta.

Todo depende de lo que se entienda por sorprender. Esto quizás no sea tan sorprendente en retrospectiva, pero para mí, que las conjeturas de Weil se prueben mediante cohomología étale es una aplicación fantástica. La cohomología ha tenido un gran impacto en las cuestiones de la teoría de números y seguramente (¡diferentes formas de cohomologías!) seguirá desempeñando un papel importante.

Dan Isaksen formuló la aritmética básica en términos de cohomología:

(cf. https://pdfs.semanticscholar.org/b44b/eb7ff396be62e548e4a6dc39df0bdf65e593.pdf )

Ver "llevar" como un cociclo es algo en lo que la mayoría de la gente no piensa. Al menos, la mayoría de las personas con las que he hablado que conocen la cohomología no piensan en la aritmética de esta manera.

  1. Este artículo es una maravillosa introducción a la cohomología. Cita varias aplicaciones (fuera de las matemáticas puras):

Las aplicaciones de la cohomología y la teoría de Hodge son abundantes, las encontramos en análisis numérico [3], peridinámica [30], análisis de datos topológicos [26], topología computacional [33], gráficos [66], procesamiento de imágenes [70], robótica [ 45], redes de sensores [65], neurociencia [53] y muchas otras áreas de la ciencia física y la ingeniería. Pero estas aplicaciones no son "sorprendentes" en el sentido de que todas se refieren a la física, la geometría o la topología, áreas que dieron origen a la cohomología y la teoría de Hodge en primer lugar. Lo que encontramos algo inesperado son las aplicaciones recientes de la cohomología y la teoría de Hodge a la teoría de juegos [15] y la clasificación [43].

  1. También hay una publicación interesante de T.Tao sobre la aplicación de cohomología a sistemas dinámicos.