## [Teorema de Atiyah–Singer](/es/node/61258) Definición 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 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 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 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 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 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 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 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 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.