Teorema profundo que iguala el índice analítico de un operador diferencial elíptico en una variedad compacta (la diferencia de dimensiones del núcleo y el cociente) con un índice definido topológicamente calculado a partir de clases características de la variedad y del símbolo del operador.

Principio

Los datos analíticos globales (índice de un operador elíptico) pueden calcularse por fórmulas topológicas: el empuje de clases características y las construcciones de Thom/isomorfismo rinden el mismo entero que el índice de Fredholm del operador.

Demostración

Para el operador de Dirac en una variedad spin compacta, el teorema calcula su índice en términos del género  (A-roof) de la variedad; el índice del operador de la firma da la fórmula de Hirzebruch que expresa la firma en términos de las clases L.

Aplicación incorrecta

Aplicar el teorema a operadores no elípticos, variedades no compactas sin condiciones de decaimiento, o ignorar los datos necesarios acerca del símbolo y la topología (por ejemplo, clase de símbolo errónea) conduce a conclusiones inválidas; los casos con borde requieren correcciones (APS) o condiciones de contorno específicas.

Consecuencia

Permite el cálculo topológico de invariantes analíticos, produce resultados de existencia/obstrucción (p. ej. existencia de espinores armónicos) y tiene consecuencias de gran alcance en geometría, topología y física matemática.

Inversión

Aunque la topología determina el índice, no determina el espectro completo ni características analíticas más finas del operador; índices iguales pueden corresponder a espectros o núcleos muy distintos.

Límite

El enunciado clásico requiere operadores elípticos en variedades compactas sin borde (o con condiciones de borde especializadas); extensiones (teorema APS, índice para familias, versiones equivariantes) amplían el alcance pero cambian hipótesis y términos.

Tensión semántica

Reconcilia la teoría analítica/Fredholm con cálculos topológicos de clases características; la tensión ocurre cuando se intenta deducir propiedades espectrales más fuertes que el índice entero o cuando se ignoran sutilezas analíticas del dominio.

Síntesis

El teorema de Atiyah–Singer identifica un invariante puramente analítico, el índice de Fredholm de un operador elíptico, con una expresión topológica en clases características, permitiendo transportar problemas entre análisis y topología.