Théorème profond qui égalise l'indice analytique d'un opérateur différentiel elliptique sur une variété compacte (la différence des dimensions du noyau et du conoyau) avec un indice défini topologiquement calculé à partir des classes caractéristiques de la variété et du symbole de l'opérateur.

Principe

Des données analytiques globales (l'indice d'un opérateur elliptique) se calculent par des formules topologiques : la poussée en avant des classes caractéristiques et les constructions de Thom/isomorphisme évaluent le même entier que l'indice de Fredholm de l'opérateur.

Démonstration

Pour l'opérateur de Dirac sur une variété spin compacte le théorème calcule son indice en termes du genre  (A-roof) de la variété ; l'indice de l'opérateur de signature donne la formule de Hirzebruch exprimant la signature en termes des classes L.

Mauvaise application

Appliquer le théorème à des opérateurs non elliptiques, des variétés non compactes sans conditions de décroissance, ou ignorer les données de symbole-topologie requises (par exemple classe de symbole incorrecte) conduit à des conclusions invalides ; les cas avec bord exigent des corrections (Atiyah–Patodi–Singer) ou conditions au bord spécifiques.

Conséquence

Permet le calcul topologique d'invariants analytiques, produit des résultats d'existence/obstruction (par ex. existence de spineurs harmoniques) et a des conséquences étendues en géométrie, topologie et physique mathématique.

Inversion

Si la topologie détermine l'indice, elle ne détermine pas le spectre complet ni des caractéristiques analytiques plus fines de l'opérateur ; des indices égaux peuvent coexister avec des spectres ou noyaux très différents.

Limite

L'énoncé classique requiert des opérateurs elliptiques sur des variétés compactes sans bord (ou avec conditions au bord spécialisées) ; les extensions (théorème APS, indice pour familles, versions équivariantes) élargissent le champ mais modifient les hypothèses et termes.

Tension sémantique

Réconcilie la théorie analytique/Fredholm avec les calculs topologiques de classes caractéristiques ; la tension apparaît quand on tente de déduire des propriétés spectrales plus fines que l'indice entier ou quand les subtilités analytiques des domaines sont négligées.

Synthèse

Le théorème d'Atiyah–Singer identifie un invariant purement analytique, l'indice de Fredholm d'un opérateur elliptique, avec une expression topologique en classes caractéristiques, permettant de transférer des problèmes entre analyse et topologie.