Für einen elliptischen Differentialoperator auf einer kompakten glatten Mannigfaltigkeit besagt der Atiyah–Singer-Indexsatz, dass sein analytischer Index (Dimension des Kerns minus Dimension des Koker- nels) gleich einem topologischen Index ist, der aus Charakteristikklassen der Mannigfaltigkeit und dem Symbol des Operators berechnet wird.

Prinzip

Analytische Invarianten elliptischer Operatoren stimmen mit topologischen Invarianten der zugrundeliegenden geometrischen Daten überein; der Index ist unter stetigen Deformationen stabil und mittels Charakteristikklassen berechenbar.

Demonstration

Der Index des Dirac-Operators auf einer kompakten Spin-Mannigfaltigkeit stimmt mit dem Â-Genus der Mannigfaltigkeit überein; analog liefert der Signature-Operator die Signatur der Schnittform in der mittleren Kohomologie und zeigt so die Topologie–Analyse-Entsprechung.

Fehlanwendung

Den Satz auf nicht-elliptische Operatoren, nichtkompakte Mannigfaltigkeiten ohne Wachstumsbedingungen oder Operatoren ohne Fredholm-Eigenschaft anzuwenden, führt zu fehlerhaften Schlüssen; Kompaktheit und Elliptizität sind wesentlich.

Konsequenz

Der Satz liefert starke Existenz- und Obstruktionsresultate: Das Verschwinden oder Nichtverschwinden des Index impliziert Existenz von Lösungen für PDEs, schränkt die Topologie der Mannigfaltigkeiten ein und hat Anwendungen in Geometrie und mathematischer Physik.

Umkehrung

Umgekehrt erlauben topologische Indexberechnungen Vorhersagen über analytische Phänomene wie die Dimension von Lösungsräumen; ein verschwindender Index bedeutet ein ausgeglichenes Verhältnis von Lösungen und Obstruktionen, garantiert aber nicht, dass Kern und Koker- nel jeweils trivial sind.

Abgrenzung

Der klassische Satz setzt elliptische Operatoren auf kompakten glatten Mannigfaltigkeiten voraus (ggf. mit zusätzlichen Strukturen wie Spin) und nutzt K-Theorie sowie Charakteristikklassen; Erweiterungen behandeln Randwertprobleme, nichtkompakte Fälle und Familien von Operatoren.

Semantische Spannung

Es besteht eine Spannung zwischen der analytischen Sicht des Fredholm-Index und der algebraisch-topologischen K-Theorie-Sichtweise: Der Satz identifiziert diese zunächst unterschiedlichen Invarianten, doch die konkrete Rechnung erfordert oft das Übersetzen zwischen analytischer und topologischer Sprache.

Synthese

Atiyah–Singer verbindet Analyse und Topologie, indem er den Fredholm-Index elliptischer Operatoren mit einem berechenbaren topologischen Index gleichsetzt und so ein tiefes Werkzeug zur Übersetzung zwischen Differentialoperatorproblemen und Charakteristikklassen-Rechnungen bereitstellt.