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.
He aquí una aplicación ridícula de la cohomología: una prueba de
Dejar ser el -toro dimensional. Por la fórmula de Künneth, tiene dimensión . Por lo tanto, la característica de Euler de es
Por otro lado, es un grupo de Lie compacto; dejar ser una traducción infinitesimal . Por el teorema del punto fijo de Lefschetz, es igual al número de puntos fijos de , es decir, .
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
Los elementos finitos mixtos se utilizan, por ejemplo, en elasticidad o dinámica de fluidos, donde la presión 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 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!
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.
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].
geodude