Para un operador diferencial elíptico en una variedad compacta y suave, el teorema de Atiyah–Singer afirma que su índice analítico (dimensión del núcleo menos dimensión del cokernel) es igual a un índice topológico calculable a partir de clases características de la variedad y del símbolo del operador.

Principio

Los invariantes analíticos de operadores elípticos coinciden con invariantes topológicos de los datos geométricos subyacentes; el índice es estable bajo deformaciones continuas y puede calcularse mediante fórmulas de clases características.

Demostración

El índice del operador de Dirac en una variedad spin compacta coincide con el género  de la variedad; de forma similar, el índice del operador de la firma recupera la firma de la forma de intersección en la cohomología media, ilustrando la igualdad entre topología y análisis.

Aplicación incorrecta

Aplicar el teorema a operadores no elípticos, variedades no compactas sin condiciones de comportamiento, o operadores que no son de Fredholm conduce a conclusiones incorrectas; la compacidad y la elipticidad son hipótesis esenciales.

Consecuencia

El teorema proporciona potentes resultados de existencia y obstrucción: la nulidad o no del índice implica existencia de soluciones a EDP, impone restricciones sobre la topología de la variedad y tiene aplicaciones en geometría y física matemática.

Inversión

En sentido inverso, cálculos topológicos del índice predicen fenómenos analíticos como la dimensión de espacios de soluciones; un índice cero sugiere equilibrio entre soluciones y obstrucciones pero no garantiza que núcleo y cokernel sean trivialmente nulos por separado.

Límite

El enunciado clásico requiere operadores elípticos sobre variedades compactas y suaves (posiblemente con estructuras adicionales como spin) y hace uso de K-teoría y clases características; hay extensiones para problemas con borde, casos no compactos y familias de operadores.

Tensión semántica

Existe tensión entre la perspectiva analítica del índice de Fredholm y la perspectiva algebraico-topológica mediante K-teoría: el teorema identifica estos invariantes aparentemente distintos, pero el cálculo concreto suele exigir traducir entre lenguajes analítico y topológico.

Síntesis

Atiyah–Singer conecta análisis y topología al igualar el índice de Fredholm de operadores elípticos con un índice topológico calculable, ofreciendo una herramienta profunda para traducir problemas de operadores diferenciales en cálculos de clases características y viceversa.