Προβολή πηγαίου κώδικα για τη σελίδα Θεώρημα δείκτη Ατίγια-Σίνγκερ

{{πηγές|8|12|2016}}{{επιμέλεια|άτονο}}
Στη [[διαφορική γεωμετρία]] το '''Θεώρημα δείκτη Ατίγια-Σίνγκερ''', που αποδείχθηκε από τον [[Μάικλ Ατίγια]] και τον [[Ίζαντορ Σίνγκερ]] (1963), δηλώνει ότι για ένα [[:en:Elliptic operator|ελλειπτικό διαφορικό χειριστή]] σε ένα [[:en:Compact manifold|συμπαγές πολύπλευρο]] ο αναλυτικός δείκτης (που σχετίζεται με τη διάσταση του χώρου λύσεων) ισούται με τον τοπολογικό δείκτη (που ορίζεται σε όρους τοπολογικών δεδομένων). Περιλαμβάνει πολλά άλλα θεωρήματα, όπως το [[:en:Riemann–Roch theorem|θεώρημα του Riemann-Roch,]] ως ειδικές περιπτώσεις και έχει εφαρμογές στη [[Θεωρητική φυσική]].{{sfn|Kayani|2020}}{{sfn|Hamilton|2020|p=11}}

== Ιστορία ==
Το πρόβλημα του δείκτη για τους διαφορικούς ελλειπτικούς χειρισμούς υποβλήθηκε από τον [[:en:Israel Gelfand|Israel Gel'fand]] ([[1960]]). Αυτός παρατήρησε την βαθιά ποικιλία του δείκτη και ζήτησε για μια φόρμουλα γι αυτό το λόγο με βάση [[:en:Israel Gelfand|τοπολογικών μεταβλητών]]. Μερικά από τα παραδείγματα που προκαλούν κινητοποίηση συμπεριλαμβανομένου του [[:en:Riemann–Roch theorem|θεωρήματος Riemann-Roch]] και της γενίκευσης του [[Θεώρημα Χίρζεμπρουχ-Ρίμαν-Ροτς|θεωρήματος Χίρζεμπρουχ-Ρίμαν-Ροτς]] [[:en:Hirzebruch–Riemann–Roch theorem|(en)]], και το [[:en:Genus of a multiplicative sequence|θεώρημα υπογραφής του Hirzebruch]]. Ο [[:en:Friedrich Hirzebruch|Hirzebruch]] και ο [[:en:Armand Borel|Borel]] απέδειξαν την ακεραιότητα του [[:en:Genus of a multiplicative sequence#.C3.82 genus|Α γένους]] του περιστρεφόμενου πολύπλευρου και ο Atiyah πρότεινε ότι η ακεραιότητα θα μπορούσε να εξηγηθεί αν ήταν ο δείκτης του [[:en:Dirac operator|χειριστή Dirac]] (ο οποίος ανακαλύφθηκε εκ νέου από τον Atiyah και τον Singer το 1961)

Το θεώρημα δείκτη Ατίγια-Σίνγκερ ανακοινώθηκε από τους [[:en:Atiyah–Singer index theorem#CITEREFAtiyahSinger1963|Ατίγια-Σίνγκερ (1963)]]. Η απόδειξη που χρησιμοποιήθηκε στην ανακοίνωση δεν δημοσιοποιήθηκε ποτέ από αυτούς , αν και παρουσιάζεται στο βιβλίο ([[:en:Atiyah–Singer index theorem#CITEREFPalais1965|Palais 1965]]). Εμφανίζεται επίσης στο <nowiki>''</nowiki>Σεμινάριο Cartan-Schwartz 1963/64 ([[:en:Atiyah–Singer index theorem#CITEREFCartan-Schwartz1965|Cartan-Schwartz 1965]]) που πήρε μέρος στο [[Παρίσι]] ταυτόχρονα με το σεμινάριο που οδηγήθηκε από το Palais στο Princeton. Η τελευταία συζήτηση στο Παρίσι ήταν από τον Ατιγια επάνω στις πολύπλευρες οριακές μεταβλητές. Η πρώτη τους δημοσιευμένη απόδειξη ([[:en:Atiyah–Singer index theorem#CITEREFAtiyahSinger1968a|Ατίγια και Σίνγκερ 1968α]]) αντικατέστησε το θεώρημα των [[:en:Cobordism|Συνόρων]] της πρώτης θεωρίας με την [[:en:K-theory|Κ-θεωρία]] , και το χρησιμοποίησαν για να δώσουν αποδείξεις από πληθώρα γενικεύσεων στις εργασίες των Ατίγια-Σίνγκερ ([[:en:Atiyah–Singer index theorem#CITEREFAtiyahSinger1968a|1968α,]] [[:en:Atiyah–Singer index theorem#CITEREFAtiyahSinger1968b|1968β]], [[:en:Atiyah–Singer index theorem#CITEREFAtiyahSinger1971a|1917α]], [[:en:Atiyah–Singer index theorem#CITEREFAtiyahSinger1971b|1971β]]).
* '''1965:''' Ο S.P. Novikov ([[:en:Atiyah–Singer index theorem#CITEREFNovikov1965|Novikon 1965]]) δημοσίευσε τα αποτελέσματά του σε τοπολογικές μεταβλητές επάνω στα μαθήματα των λογικών Pontryagin στους λείους πολύπλευρους.
* Τα αποτελέσματα των Kirby και Siebenmann ([[:en:Atiyah–Singer index theorem#CITEREFKirbySiebenmann1969|Kirby & Siebenmann 1969]]) , σε συνδυασμό με τα γραπτά του Rene Thom ([[:en:Atiyah–Singer index theorem#CITEREFThom1956|Thom 1965]]) απέδειξε την ύπαρξη των λογικών μαθημάτων του Pontryagin σε τοπολογικές πολύπλοκες μεταβλητές . Τα λογικά μαθήματα του Pontryagin είναι ουσιώδη συστατικά του θεωρήματος δείκτη στις λείες και τοπολογικές πολύπλοκες μεταβλητές.
* '''1969''':Ο M.F. Atiyah ([[:en:Atiyah–Singer index theorem#CITEREFAtiyah1970|Atiyah 1970]]) ορίζει τους αφηρημένους ελλειπτικούς χειριστές στους αυθαίρετους [[Μετρικός χώρος|μετρικούς χώρους]]. Οι αφηρημένοι ελλειπτικοί χειριστές έγιναν πρωταγωνιστές στη θεωρία του Kasparov και του Conne στη μη-μετακινούμενη διαφορική γεωμετρία.
* '''1971:'''Ο I.M. Singer ([[:en:Atiyah–Singer index theorem#CITEREFSinger1971|Singer 1971]]) προτείνει ένα κατανοητό πρόγραμμα για μελλοντικές επεκτάσεις στη θεωρία δείκτη.
* '''1972:'''Ο G.G. Kasparov ([[:en:Atiyah–Singer index theorem#CITEREFKasparov1972|Kasparov 1972]]) δημοσίευσε τη δουλειά του στην πραγματοποίηση του Κ-ομολογικού απο αφηρημένους ελλειπτικούς χειριστές.
* Οι Atiyah , [[:en:Raoul Bott|Bott]] και [[:en:Vijay Kumar Patodi|Patodi]] ([[:en:Atiyah–Singer index theorem#CITEREFAtiyahBottPatodi1973|1973]]) έδωσαν μια καινούρια απόδειξη για το θεώρημα δείκτη , χρησιμοποιώντας την [[:en:Heat equation|εξίσωση της θερμότητας]] που περιγράφεται στο ([[:en:Atiyah–Singer index theorem#CITEREFMelrose1993|Melrose 1993]]).
* '''1977:''' Ο D.Sullivan ([[:en:Atiyah–Singer index theorem#CITEREFSullivan1979|Sullivan 1979]]) εγκαθίδρυσε το θεώρημά του στην ύπαρξη και μοναδικότητα του Lipschitz και στις σύμμορφες κατασκευές των τοπολογικών πολύπλευρων μεταβλητών με διαστάσεις διαφορετικές του 4.
* Ο [[:en:Atiyah–Singer index theorem#CITEREFGetzler1983|Getzler (1983)]] παρακινήθηκε από ιδέες του [[:en:Edward Witten|Witten]] ([[:en:Atiyah–Singer index theorem#CITEREFWitten1982|1982]]) και του Alvarez-Gaume , έδωσε μια σύντομη απόδειξη του τοπικού δείκτη θεωρήματος για [[:en:Dirac operator|χειριστές που είναι τοπικοί χειριστές Dirac]] ,αυτό κάλυψε πολλές χρήσιμες περιπτώσεις.
* '''1983:''' Ο N.Teleman ([[:en:Atiyah–Singer index theorem#CITEREFTeleman1983|Teleman 1983]]) αποδεικνύει ότι οι αναλυτικοί πίνακες από διακεκριμένους χειριστές με αξία στους δεσμούς διανυσμάτων είναι τοπολογικές μεταβλητές.
* '''1984:''' Ο N.Teleman ([[:en:Atiyah–Singer index theorem#CITEREFTeleman1984|Teleman 1984]]) εγκαθίδρυσε το θεώρημα δείκτη σε τοπολογικά πολύπλοκα.
* '''1986:''' Ο Α.Connes ([[:en:Atiyah–Singer index theorem#CITEREFConnes1986|Connes 1986]]) δημοσίευσε τη θεμελιώδη εργασία στη μη-μετακινούμενη γεωμετρία.
* '''1989:''' Οι S.K.Donaldson και D.Sullivan ([[:en:Atiyah–Singer index theorem#CITEREFDonaldsonSullivan1989|Donaldson & Sullivan 1989]]) μελέτησε τη θεωρία του Yang-Mills στις σύμμορφες πολύπλοκες μεταβλητές διάστασης 4. Αυτοί σύστησαν το διακεκριμένο χειριστή S καθορισμένο στις διαφορικές μορφές δευτέρου βαθμού.
* '''1990:''' Οι A. Connes και H.Moscovici ([[:en:Atiyah–Singer index theorem#CITEREFConnesMoscovici1990|Connes & Moscovici 1990]] ) απέδειξαν τη φόρμουλα του τοπικού δείκτη στο πλαίσιο της μη-μετακινούμενης γεωμετρίας.
* '''1994:''' Οι A. Connes, D. Sullivan και N. Teleman ([[:en:Atiyah–Singer index theorem#CITEREFConnesSullivanTeleman1994|Connes, Sullivan & Teleman 1994]]) απέδειξαν το θεώρημα δείκτη για διακεκριμένους χειριστές σε σύμμορφες πολύπλοκες μεταβλητές

== Σημειογραφία ==

* Χ είναι ένα [[Συμπαγής χώρος|συμπαγές]] ομαλό [[:en:Manifold|πολύπλευρο]] (χωρίς σύνορο)
* E και F είναι ομαλή [[:en:Vector bundle|δέσμη διανυσμάτων]] του Χ
* D είναι ένας ελλειπτικός διαφορικός τελεστής από το E στο F. Άρα στις τοπικές συντεταγμένες αυτό αντιδρά ως ένας διαφορικός τελεστής, παίρνοντας ομαλά τμήματα από το E σε ομαλά τμήματα του F.

== Σύμβολο ενός διαφορικού τελεστή ==

Εάν D είναι ένας διαφορικός τελεστής σε ένα Ευκλείδειο χώρο σειρών n με k μεταβλητές

:''x''<sub>1</sub>, ..., ''x''<sub>''k''</sub>,

μετά τα [[Σύμβολο|σύμβολα]] είναι η λειτουργία των 2k μεταβλητών

:''x''<sub>1</sub>, ... , ''x''<sub>''k''</sub>, ''y''<sub>1</sub>, ..., ''y''<sub>''k''</sub>,

που δίνονται από τη ρίψη όλων των όρων της τάξης μικρότερης του n και αντικαθιστώντας το ∂/∂''x<sub>i</sub>'' από το ''y<sub>i</sub>''. Έτσι ο συμβολισμός είναι ομογενής στις μεταβλητές y, με βαθμό n. Ο συμβολισμός είναι καλά ορισμένος παρ΄όλο που ο ∂/∂''x<sub>i</sub>'' δεν εναλλάσσεται με τον ''x<sub>i</sub>'' διότι κρατάμε μόνο τους υψηλότερους τάξης όρους και διαφορικούς φορείς εναλλάσσονται με " χαμηλότερης-τάξης όρους". Ο χείριστης ονομάζεται ελλειπτικός αν το σύμβολο είναι μη μηδενικό οποτεδήποτε τουλάχιστον ένας y είναι μη μηδενικός.

Παράδειγμα: Ο [[τελεστής Λαπλάς]] σε k μεταβλητές έχει ως συμβολισμό y12 + ... + yk2, και είναι ελλειπτικός όσο αυτό είναι μη μηδενικό για οποιοδήποτε yi που είναι μη μηδενικό. Ο χειριστής του κύματος έχει συμβολισμό −y12 + ... + yk2 το οποίο δεν είναι ελλειπτικό ένα k ≥ 2 , όσο ο συμβολισμός εξαφανίζεται για μερικές μη μηδενικές άξιες του y. Ο συμβολισμός ενός διαφορικού τελεστή της τάξης του n σε μια ομαλή πολλαπλότητα του X είναι ορισμένο με τον ίδιο τρόπο χρησιμοποιώντας τοπικό συντονισμό διαγραμμάτων και σε μια λειτουργιά της [[:en:Cotangent bundle|δέσμης συνεφαπτομένης]] του X , ομογενείς σε βαθμό n για κάθε δέσμη χώρου. (Γενικά οι διαφορικοί χείριστες αλλάζουν σε έναν πιο πολύπλοκο τρόπο υπό τον συντονισμό μετασχηματισμών (βλέπε [[:en:Jet bundle|δεσμό τζετ]] ), παρ'όλα αυτά, οι υψηλότεροι όροι αλλάζουν όπως οι τανυστές ώστε να πάρουμε καλά ορισμένες ομογενείς λειτουργίες στα κενά συνεφαπτομένης τα οποία είναι ανεξάρτητα της επιλογής των τοπικών λιστών ). Πιο γενικά, ο συμβολισμός ενός διαφορικού χειριστή μεταξύ δυο δεσμών διανυσμάτων E και F είναι ένας τομέας πισωγυρίσματος δεσμών Hom(E, F) σε μια κενή συνεφαπτομένη του X.

Ο διαφορικός χειριστής ονομάζεται ελλειπτικός εάν το στοιχείο Hom(Ex, Fx) είναι αντιστρέψιμος όλων των μη μηδενικών συνεφαπτομένων διανυσμάτων για οποιοδήποτε σημείο x του X . Μια βασική ιδιοκτησία των ελλειπτικών χειριστών είναι ότι είναι σχεδόν αντιστρέψιμοι: αυτό είναι πιο συγγενικό στο γεγονός στο ότι τα σύμβολα είναι σχεδόν αντιστρέψιμα.Πιο ακριβέστατα, ένας ελλειπτικός χειριστής D σε έναν φορητό πολύπλευρο έχει μια (μη μηδενική) [[Παραμετρικός πολυμορφισμός|παράμετρο]] (ή ψευδοαντίστροφο) D′ όπως DD′−1 και D′D−1 είναι και τα δυο φορητοί χειριστές. Μια σημαντική συνέπεια είναι ότι ο πυρήνας του D είναι πεπερασμένης διάστασης, διότι όλοι οι κενοί των φορητών χειριστών , άλλοι εκτός του πυρήνα , είναι πεπερασμένης διάστασης. (Ο ψευδοαντίστροφος ενός ελλειπτικού διαφορικού χειριστή είναι σχεδόν ποτέ ένας διαφορικός χειριστής . Ωστόσο, είναι ένας ελλειπτικός [[:en:Pseudo-differential operator|ψευδοδιαφορικός χειριστής]].)

== Αναλυτικός δείκτης ==
Καθώς ο ελλειπτικός τελεστής D έχει ένα ψευδόαντίστροφο. Είναι ένας [[:en:Fredholm operator|Fredholm χειριστής]]. Κάθε Fredholm χειριστής έχει ένα δείκτη, καθορισμένο από τη διαφορά μεταξύ (πεπερασμένης ) διάστασης του [[Πυρήνας (άλγεβρα)|πυρήνα]] του D (λύση του Df=0 ) , και του (πεπερασμένης ) διάστασης του [[:en:Cokernel|συμπυρήνα]] του D (οι περιορισμοί στη δεξιά πλευρά μιας ανομοιογενής εξίσωσης όπως Df=g, ή ισοδύναμα ο τελεστής του πυρήνα ). Με άλλα λόγια

index(D)=dim ker(D)-dim coker(D)=dim ker(d)-dim ker(D*)

Αυτό πολλές φόρες ονομάζεται ο '''αναλυτικός δείκτης''' του D.

'''Παράδειγμα''': Υποθέτουμε ότι ο πολλαπλός κύκλος (γνωστός ως '''R/Z''' ), και D ο δείκτης d/dx, λ για κάποια πολύπλοκη σταθερά λ. (Αυτό είναι το πιο απλό παράδειγμα του ελλειπτικού χειριστή.) Ο πυρήνας είναι το κενό των πολλαπλάσιων των exp(λx) εάν το λ είναι το ακέραιο πολλαπλάσιο του 2πi και είναι 0 διαφορετικά, και ο πυρήνας του εφαπτόμενου είναι το αντίστοιχο κενό με το λ που αντικαθιστά τους πολλαπλούς συζυγούς. Οπότε ο D έχει δείκτη 0. Αυτό το παράδειγμα δείχνει ότι ο πυρήνας και ο συμπυρήνας του ελλειπτικού χειριστή μπορεί να αναπηδήσει χωρίς συνέχεια καθώς ο ελλειπτικός χειριστής μεταβάλλεται, οπότε δεν υπάρχει κατάλληλη φόρμουλα για τις διαστάσεις των συνεχών δεδομένων. Αντίστοιχα οι αναπηδήσεις στις διαστάσεις του πυρήνα και του συμπυρήνα είναι ίδιες, οπότε ο δείκτης, δεδομένου της διαφοράς των διαστάσεων, διαφέρει συνεχώς και μπορεί να δοθεί ως τοπολογικά δεδομένα της θεωρίας δείκτη.

== Τοπολογικός δείκτης ==

Ο '''τοπολογικός δείκτης''' ενός ελλειπτικού διαφορικού χειριστή D στον ομαλό δεσμό διανύσματος E και F από ένα ν-διάστατο συμπαγής πολλαπλότητας Χ δίνεται από ch(D)Td(X)[X],

με άλλα λόγια η αξία της κύριας αξίας της μεικτής [[:en:Cohomology|συνομολογικής κλάσης]] ch(D)Td(X) στη [[:en:Fundamental class|θεμελιώδης ομολογικής κλάσης]] της πολλαπλότητας του Χ. Εδώ,
* Td(X) είναι η [[:en:Todd class|τάξη Todd]] του πολύπλοκου εφαπτομένου διανύσματος του Χ.
* ch(D)Td(X)[X] είναι ίσο με το φ<sup>−1</sup>(ch(d(p*E, p*F, σ(D))), όπου
* φ είναι ο [[:en:Thom space|Thom ισομορφισμός]] του Hk(X, '''Q''') to Hn + k(B(X)/S(X), '''Q''')
* Β(Χ) είναι το μοναδικό διάνυσμα της συνεφαπτομένης του διανύσματος του Χ, και S(X) και είναι οριακό, και p είναι η προβολή του Χ.
* ch είναι ο [[:en:Chern character|χαρακτήρας Chern]] του Κ-ομολογικό θεώρημα K(X) του λογικού ομολογικού δακτυλίου H(X,'''Q''')
* d(p*E, p*F, σ(D)) είναι το "διαφορικό στοιχείο" του K(B(X)/S(X)) με δύο δεσμούς διανυσμάτων p*E και p*F στο B(X), και ένας ισομορφισμός σ(D) μεταξύ τους στο υποκενό του S(Χ).
* σ(D) είναι το σύμβολο του D.

Αυτό μπορεί επίσης να καθορίσει τον τοπολογικό δείκτη χρησιμοποιώντας μόνον Κ θεωρία (και ο εναλλακτικός ορισμός είναι συμβατό με μια ορισμένη έννοια με το χαρακτήρα Chern κατασκευαστικά πιο πάνω. Εάν το Χ είναι ένα υποπολύπλοκο φορητό του πολύπλοκου Υ και μετά ένας οδηγός χάρτης του Κ(ΤΧ) μέχρι Κ(ΤΥ). Ο τοπολογικός δείκτης ενός στοιχείου του Κ(ΤΧ) είναι καθορισμένο να είναι η εικόνα του επιχειρήματος με το Υ έναν Ευκλείδειο χώρο, από τον οποίο αναγνωρίζουμε φυσικά με τους ακέραιους '''Ζ''' (ως συνέπεια της περιοδικότητας Bott ). Αυτός ο οδηγός είναι ανεξάρτητος από την εκβολή του Χ στον Ευκλείδειο χώρο. Τώρα ένας διαφορικός χειριστής φυσικά καθορίζει ένα στοιχείο του Κ(ΤΧ), και την εικόνα σε '''Ζ''' υπό αυτόν τον οδηγό είναι ο τοπολογικός δείκτης.

Όπως συνήθως,D είναι ένας ελλειπτικός διαφορικός χειριστής ανάμεσα στους δεσμούς διανυσμάτων E και F πάνω από την πολλαπλότητα του Χ.

Το πρόβλημα δείκτης είναι το ακόλουθο: υπολογίζουμε την (αναλυτική) ένδειξη D χρησιμοποιώντας μόνο το σύμβολο s και τοπολογικά δεδομένα αποσπασμένα από την πολυπλοκότητα των δεσμών διανυσμάτων. Το θεώρημα Atiyah–Singer λύνει το πρόβλημα και τονίζει:

'''Ο αναλυτικός δείκτης του D είναι ισοδύναμος με τον τοπολογικό δείκτη'''

Παρά την τρομερή ερμηνεία, ο τοπολογικός δείκτης είναι ευθύς στο να υπολογισθεί ακριβώς. Αυτό καθιστά δυνατό το να υπολογισθεί ο αναλυτικός δείκτης. (Ο συμπυρήνας και ο πυρήνας ενός ελλειπτικού χειριστή είναι γενικά ιδιαιτέρως δύσκολο να υπολογισθεί ατομικά ; το θεώρημα δείχνει ότι μερικές φορές μπορούμε να υπολογίσουμε τη '''διαφορά τους'''). Πολλά πολύπλοκα θέματα ( Όπως τη σημασία) μπορούν να δοθούν ως δείκτης των δεκτών διαφορικών χειριστών οπότε το θεώρημα μας επιτρέπει να υπολογίσουμε αυτά τα θέματα ως τοπολογικούς δείκτες.

Αντίθετα με τον αναλυτικό δείκτη είναι συχνά εύκολα να υπολογισθεί απευθείας, και είναι τουλάχιστον ένας ακέραιος. Ο τοπολογικός δείκτης είναι από τον ορισμό ένας λογικός αριθμός, αλλά συνήθως δεν είναι απόλυτα προφανές από τον ορισμό ότι είναι και ακέραιος. Οπότε το Atiyah–Singer θεώρημα υποδεικνύει ότι ο τοπολογικός δείκτης είναι ακέραιος.

Ο δείκτης είναι ένας ελλειπτικός διαφορικός χειριστής τον οποίο τον αποκλείουμε αν ο χειρίστης είναι αυτοπολύπλοκος. Επίσης το αποκλείουμε αν η πολυπλοκότητα του X έχει περιττή διάσταση, υπάρχουν '''ψευτοδιαφορικοί''' ελλειπτικοί χειριστές των οποίων ο αναλυτικός δείκτης δεν εξαφανίζεται όταν έχουμε περιττή διάσταση.

== Επεκτάσεις του δείκτη του θεωρήματος Ατίγια-Σίνγκερ ==
Teleman δείκτης θεωρήματος ([[:en:Atiyah–Singer index theorem#CITEREFTeleman1983|Teleman 1983]]), ([[:en:Atiyah–Singer index theorem#CITEREFTeleman1984|Teleman 1984]])

Για κάθε αυθαίρετο ελλειπτικό χειριστή ([[:en:Atiyah–Singer index theorem#CITEREFAtiyah1970|Atiyah 1970]]) σε ένα κοντινό , προσανατολισμένο ,τροπολογικό πολύπλευρο , ο αναλυτικός δείκτης είναι ίσος με τον τροπολογικό δείκτη.

Η απόδειξη αυτού του αποτελέσματος διέρχεται από ειδικούς λόγους , συμπεριλαμβανομένου της επέκτασης της θεωρίας του Hodge σε συνδυασμό με την πολυπλοκότητα του Lipschitz([[:en:Atiyah–Singer index theorem#CITEREFTeleman1980|Teleman 1980]]), ([[:en:Atiyah–Singer index theorem#CITEREFTeleman1983|Teleman 1983]]), η επέκταση του διακεκριμένου χειριστή Ατίγια-Σίνκερ προς την πολυπλοκότητα του Lipschitz ([[:en:Atiyah–Singer index theorem#CITEREFTeleman1983|Teleman 1983]]), η Κ-ομολογία του Kasparov ([[:en:Atiyah–Singer index theorem#CITEREFKasparov1972|Kasparov 1972]]) και του τροπολογικού ορίου ([[:en:Atiyah–Singer index theorem#CITEREFKirbySiebenmann1977|Kirby & Siebenmann 1977]]).

Αυτό το αποτέλεσμα δείχνει ότι το θεώρημα δείκτης δεν είναι μονάχα μια διαφορίσιμη δήλωση , αλλά μια τροπολογική δήλωση.

Connes–Donaldson–Sullivan–Teleman θεώρημα δείκτης ([[:en:Atiyah–Singer index theorem#CITEREFDonaldsonSullivan1989|Donaldson & Sullivan 1989]]), ([[:en:Atiyah–Singer index theorem#CITEREFConnesSullivanTeleman1994|Connes, Sullivan & Teleman 1994]])

Για κάθε σύμμορφη πολυπλοκότητα υπάρχει μια τοπική κατασκευή των χαρακτηριστικών κλάσεων των Hirzebruch–Thom.

Αυτή η θεωρία βασίζεται σε έναν διακεκριμένο χειριστή S, ορισμένο σε μεσαίο βαθμό διαφορικών μορφών ακόμη και ασύμορφων πολύπλευρων διαστάσεων (σύγκριση [[:en:Atiyah–Singer index theorem#CITEREFDonaldsonSullivan1989|(Donaldson & Sullivan 1989]])).Χρησιμοποιώντας τροπολογικά όρια και την Κ-ομολογία μπορεί να παρέχουν μια ολοκληρωμένη δήλωση από ένα θεώρημα δείκτη πάνω στη σύμμορφη πολυπλοκότητα (βλέπε σελίδα 678 από ([[:en:Atiyah–Singer index theorem#CITEREFConnesSullivanTeleman1994|Connes, Sullivan & Teleman 1994]])). Η δουλειά ([[:en:Atiyah–Singer index theorem#CITEREFConnesSullivanTeleman1994|Connes, Sullivan & Teleman 1994]])" παρέχει τοπική κατασκευή για χαρακτηριστικές κλάσεις βασισμένες σε υψηλότερες συγγενικές διαστάσεις της μετρήσιμης σκιαγράφησης Riemann της δύο διάστασης και της θεωρίας Yang–Mills θεωρίας τέσσερα."

Αυτά τα αποτελέσματα αποτελούν σημαντική πρόοδο κατα μήκος των γραμμών του προγράμματος Σίνκερ που λέγεται Prospects in Mathematics ([[:en:Atiyah–Singer index theorem#CITEREFSinger1971|Singer 1971]]). Την ίδια στιγμή , αυτοί παρέχουν επίσης, μια αποτελεσματική κατασκευή των λογικών κλάσεων Pontrjagin πάνω στην τροπολογική πολυπλοκότητα. To έγγραφο ([[:en:Atiyah–Singer index theorem#CITEREFTeleman1985|Teleman 1985]]) παρέχει έναν ιστότοπο μεταξύ την αυθεντική κατασκευή του Thom από τις λογικές κλάσεις Pontrjagin ([[:en:Atiyah–Singer index theorem#CITEREFThom1956|Thom 1956]]) και το θεωρία δεικτών.Είναι σημαντικό να αναφέρουμε ότι η φόρμουλα δεικτών είναι μια τροπολογική δήλωση. Οι θεωρίες παρεμπόδισης των Milnor, Kervaire, Kirby, Siebenmann, Sullivan, Donaldson δείχνουν ότι μόνο μια μειονότητα από τροπολογικά πολύπλευρα κατέχουν διαφορικές κατασκευές και αυτές δεν είναι μοναδικές. Το αποτέλεσμα του Sullivan στον Lipschitz και η ασύμορφη κατασκευή ([[:en:Atiyah–Singer index theorem#CITEREFSullivan1979|Sullivan 1979]]) δείχνουν ότι κανένα τροπολικό πολύπλευρο σε διάσταση διαφορετική από τέσσερα κρατούμενα όπως μια κατασκευή που είναι μοναδική (μέχρι την ισοτοπία κοντά στην ταυτότητα )

Η σύμμορφη κατασκευή ([[:en:Atiyah–Singer index theorem#CITEREFConnesSullivanTeleman1994|Connes, Sullivan & Teleman 1994]]) και πιο γενικά η Lp-κατ ασκευή, p > n(n+1)/2, συστήνονται από τον M. Hilsum ([[:en:Atiyah–Singer index theorem#CITEREFHilsum1999|Hilsum 1999]]) είναι οι πιο αδύναμοι αναλυτικές κατασκευές πάνω στα τροπολογικά πολύπλευρα διάστασης n όπως είναι το θεώρημα δεικτών γνωστό.

== Παραδείγματα ==

'''''Χαρακτηριστικό Euler'''''
Υποθέτουμε ότι Μ είναι μία φορητή κατευθυνόμενη πολύπλευρη μεταβλητή. Εάν πάρουμε Ε να είναι το σύνολο ίσων εξωτερικών δυνάμεων του συνεφαπτόμενου δεσμού , και F να είναι το σύνολο περίεργων δυνάμεων , και ορίζουμε το D=d + d*, θεωρούμενο ως ένας χάρτης από το Ε στο F. Τότε ο τοπολογικός δείκτης του D είναι το χαρακτηριστικό Euler της συνομολογίας M του Hodge, και ο αναλυτικός δείκτης είναι η τάξη του Euler της πολύπλοκης μεταβλητής . Η φόρμουλα του δείκτη για το χειριστή υποκύπτει στο θεώρημα Chern-Gauss-Bonnet.

'''''Θεώρημα Ηirzebruch-Riemann-Roch'''''
Έστω Χ να είναι σύνθετο πολύπλοκο με ένα σύνθετο δεσμό διανυσμάτων V. Αφήνουμε το δεσμό διανυσμάτων Ε και F να γίνουν σύνολα των δεσμών διαφορικών μορφών με συνύπαρξη τύπου V με (0,i) , και αφήνουμε τον διαφορικό χειριστή D να γίνει σύνολο
:<math>\overline\partial + \overline\partial^*</math>

περιορισμένο στο Ε.. Έπειτα ο αναλυτικός δείκτης του D είναι το ολομορφικό χαρακτηριστικό Euler του V.

Δείκτης(D)=Σ(−1)p dim Hp(X,V).

Ο τοπολογικός δείκτης του D δίνεται από

Δείκτης(D)=ch(V)Td(X)[X],

το προϊόν του χαρακτήρα Chern του V και η αξιολόγηση Todd της τάξης Χ στη θεμελιώδη τάξη του Χ. Εξισώνοντας τους τοπολογικούς και αναλυτικούς πίνακες , παίρνουμε το θεώρημα Hirzebruch-Riemann-Roch. Στην πραγματικότητα παίρνουμε με γενίκευση του για όλες τις πολυσύνθετες μεταβλητές: Η απόδειξη του Hirzebruch δούλεψε μονάχα για προβολικές σύνθετες μεταβλητές Χ.

Η πηγή του θεωρήματος των Hirzebruch–Riemann–Roch είναι πιο φυσική αν χρησιμοποιήσουμε το θεώρημα δείκτη για ελλειπτικά σύνθετα , αντί για ελλειπτικούς χειριστές. Παίρνουμε τη σύνθετη μεταβλητή ώστε να είναι

0 → V → V ⊗ Λ<sup>0,1</sup>T*(X) → V ⊗ Λ<sup>0,2</sup>T*(X)...

με τη διαφορική που δίνεται απο <math>\overline\partial</math>.

Τότε το ομολογικό γκρουπ είναι απλά το συνεκτικό ομολογικό γκρουπ H<sup>i</sup>(X, V), έτσι ώστε ο αναλυτικός δείκτης αυτού του σύνθετου είναι ολομορφικό χαρακτηριστικό Euler Σ (−1)<sup>i</sup> dim(H<sup>i</sup>(X, V)). Όπως πριν ο τοπολογικός δείκτης είναι ch(V)Td(X)[X].

== Διακεκριμένο θεώρημα Hirzebruch ==

Το Διακεκριμένο θεώρημα Hirzebruch διατυπώνει ότι η διάκριση ενός φορητού λείου πολυσύνθετου Χ διάστασης 4κ δίνεται απο το γένος L του πολυσύνθετου.Αυτό προκύπτει από το θεώρημα δείκτη Atiyah-Singer που εφαρμόζεται από τον διακεκριμένο χειριστή που ακολουθεί.

Οι δεσμοί E και F δίνονται από το +1 και το -1 του χειριστή του δεσμού των διαφορικών μορφών του Χ που αντιδρά στις κ-μορφές ως φορές ως Hodge χειριστής .

:''i'' <sup>''k''(''k''−1)</sup>
:φορές ως Hodge χειριστής . Ο χειριστής D είναι ο Hodge Laplacian
:<math>D\equiv \Delta :=(\mathbf d + \mathbf{d^*})^2</math>
:περιορισμένο στο E , όπου D είναι το Καρτεσιανό εξωτερικό και d είναι το επακόλουθό του.
Ο αναλυτικός δείκτης του D είναι η διάκριση του πολυσύνθετου Χ και ο τοπολογικός δείκτης είναι το γένος L του Χ ,οπότε αυτά είναι ίσα.

== Α γένος και το θεώρημα του Rochlin's ==

Το γένος Α είναι ένας λογικός αριθμός που ορίζεται για κάθε πολυσύνθετη μεταβλητή, αλλά γενικά δεν είναι ακέραιος.Οι Borel και Hirzebruch έδειξαν ότι είναι ζωτικής σημασίας για τις περιστρεφόμενες πολυσύνθετες μεταβλητές και ίσος ακέραιος αν επιπρόσθετο η διάσταση είναι 4 mod 8.Αυτό απορρέει από το θεώρημα δείκτη ,το οποίο υπαινίσσεται ότι το Α γένος για τους περιστρεφόμενους πολυσύνθετους είναι ο δείκτης του χειριστή Dirac.Ο έξτρα παράγοντας του 2 στις διαστάσεις 4mod8 προέρχεται από το γεγονός ότι σε αυτή την περίπτωση ο πίνακας και ο συμπληρωματικός του χειριστή Dirac έχουν τετραγωνισμένη κατασκευή ,έτσι ώστε τα σύνθετα διανύσματα έχουν ίσες διαστάσεις , και έτσι ο δείκτης είναι ίσος.

Στην 4η διάσταση αυτό το αποτέλεσμα υπαινίσσεται οτι στο θεώρημα του Rochlin η διακεκριμένη περιστροφή του πολυσύνθετου διαιρείται από το 16 : αυτό ακολουθεί επειδή στην διάσταση 4 το Α γένος είναι μείον το ένα όγδοο του διακεκριμένου.

== Αποδείξεις Τεχνικών ==

'''''Ψευτοδιαφορικός τελεστής'''''
{{κύριο|pseudodifferential operator}}
Οι ψευτοδιαφορικοί χειριστές μπορούν να εξηγηθούν εύκολα στην περίπτωση των διαρκών συντελεστών στον Ευκλείδειο χώρο. Σε αυτή την περίπτωση , οι διαρκείς διαφορικοί συντελεστές είναι απλά οι μετατροπές Fourier από πολλαπλασιασμούς πολυωνύμων, και διαρκών ψευτοδιαφορικών μεταβλητών που είναι απλά οι μετατροπές Fourier από πολλαπλασιασμούς περισσότερων γενικών δυνάμεων .

Πολλές αποδείξεις του δείκτη θεωρήματος χρησιμοποιούν ψευτοδιαφορικούς χειριστές αντί για διαφορικούς χειριστές. Η αιτία αυτού είναι οτι για πολλούς σκοπούς δεν υπάρχουν αρκετοί διαφορικοί χειριστές. Για παράδειγμα , ένας ψευτοαντίστροφος ενός ελλειπτικού διαφορικού χειριστή , σε μια θετική σειρά δεν είναι ένας ψευτοδιαφορικός χειριστής.Επίσης , υπάρχει μια ευθύς απάντηση μεταξύ των δεδομένων που αναπαριστούν στοιχεία των K(B(X), S(X)) (πιασμένες λειτουργίες) και συμβόλων ελλειπτικών ψευτοδιαφορικών χειριστών.

Οι ψευτοδιαφορικοί χειριστές έχουν μια σειρά , το οποίο μπορεί να είναι ένας οποιοσδήποτε [[πραγματικός αριθμός]] , ακόμη κ το −∞ , και έχουν σύμβολα (τα οποία δεν είναι πια πολυώνυμα στον συνεφαπτομένο χώρο), και οι ελλειπτικοί διαφορικοι χειριστές είναι εκείνοι των οποίων τα σύμβολα είναι αντιστρέψιμα , για επαρκώς μεγάλα συνεφαπτομενικά διανύσματα.Η μεγαλύτερη εκδοχή του θεωρήματος δείκτη μπορεί να επεκταθεί από τους ελλειπτικούς διαφορικούς χειριστές σε ελλειπτικούς ψευτοδιαφορικούς χειριστές.

== Σύνορα ==
Η αρχική απόδειξη βασίζεται στη θεωρία των [[:en:Hirzebruch–Riemann–Roch theorem|Hirzebruch–Riemann–Roch]] (1954) και συμπεριλαμβάνει την [[:en:Cobordism|θεωρία των συνόρων]] και [[:en:Pseudo-differential operator|ψευδοαντίστροφους χειριστές]].

Η ιδέα της αρχικής απόδειξης είναι περίπου ως εξής. Δεδομένου τους δακτυλίους που δημιουργούνται ανά ζεύγη (X, V) όπου V είναι ένας ομαλός δεσμός διανυσμάτων στα συμπαγή ομαλά προσανατολισμένα πολύπλευρα Χ , σε σχέση ότι το άθροισμα και το προϊόν του δακτυλίου που δημιουργούνται δίνονται από ξένες ενώσεις και προϊόντα των πολύπλευρων (με τους προφανείς χειριστές σε δεσμό διανυσμάτων) και καθένα σύνορο των πολύπλευρων με δεσμό διάνυσμα να είναι 0. Αυτό είναι όμοιο με το σύνορο δακτυλίων των προσανατολισμένων πολύπλευρων, εκτός όταν τα πολύπλευρα έχουν επίσης δεσμό διανυσμάτων. Οι τροπολογικοί και αναλυτικοί δείκτες και οι δυο επανερμηνεύτηκαν σαν λειτουργίες από τους δακτυλίους στους ακέραιους. Τότε ο ένας ελέγχει ότι αυτές οι δυο λειτουργίες είναι στην πραγματικότητα και οι δυο δακτύλιοι ομομορφισμού. Στην προσπάθεια να αποδειχθεί ότι είναι το ίδιο , είναι απαραίτητο να ελεγχθεί αν είναι το ίδιο σε έναν συνδυασμό από γεννήτορες αυτής της δακτυλίου. Η θεωρία συνόρων του Thom δίνει έναν συνδυασμό γεννητόρων , για παράδειγμα , ένα σύνθετο διάνυσμα κενού με ασήμαντα δεσμά μαζί με απαραίτητα δεσμά ακόμα και με διανύσματα σφαιρών. Άρα το θεώρημα των δεικτών μπορεί να αποδειχθεί ελέγχοντας αυτές τις ιδιαίτερα απλές περιπτώσεις.

== ΘΕΩΡΗΜΑ Κ ==
Η πρώτη δημοσιευμένη απόδειξη των Atiyah και Singer χρησιμοποίησε την [[:en:K-theory|K-θεωρία]] αντί της θεωρίας του συνόρου. Ε'αν το i είναι συμπερίληψη φορητών πολυσύνθετων μεταβλητών από το Χ στο Y ,όρισαν μια "προς τα εμπρός" μέθοδο στους ελλειπτικούς χειριστές του Χ προς τους ελλειπτικούς χειριστές του Υ που διατηρούν τον δείκτη.Δεχόμαστε το Υ ως μια σφαίρα που περιλαμβάνει το Χ ,αυτό μειώνει το θεώρημα του δείκτη στην περίπτωση σφαιρών.Εάν Υ είναι μια σφαίρα και Χ είναι χωμένο στο Υ ,τότε κάθε ελλειπτικός χειριστής στο Υ είναι η εικόνα κάτω από κάποιον ελλειπτικό χειριστή στο σημείο.Αυτό μειώνει το θεώρημα του δείκτη στο περίπτωση του σημείου ,που είναι ασήμαντο.

'''ΕΞΙΣΩΣΗ ΘΕΡΜΟΤΗΤΑΣ'''

Οι Atiyah,[[:en:Raoul Bott|Bott]] και [[:en:Vijay Kumar Patodi|Patodi]]([[:en:Atiyah–Singer index theorem#CITEREFAtiyahBottPatodi1973|1973]]) δώσανε μια καινούργια απόδειξη του θεωρήματος δείκτη χρησιμοποιώντας την [[:en:Heat equation|εξίσωση της θερμότητας]] ,που περιγράφεται στο ([[:en:Atiyah–Singer index theorem#CITEREFMelrose1993|Melrose 1993]]) και στο ([[:en:Atiyah–Singer index theorem#CITEREFGilkey1994|Gilkey 1994]]),στο [[:en:Atiyah–Singer index theorem#CITEREFBerlineGetzlerVergne2004|Berdine,Getzier & Vergne (2004)]] όπου περιγράφουν μια απλότερη [[εξίσωση θερμότητας]] εκμεταλεύοντας την [[υπερσυμμετρία]].

Εάν D είναι ένας διαφορικός χειριστής με συνεφαπτόμενο D ,τότε D*D και D*D είναι εφαπτόμενοι χειριστές των οποίων οι μη μηδενικές τιμές έχουν τους ίδιους πολλαπλασιαστές.Ωστόσο οι μηδενικοί τους χώροι μπορεί να έχουν διαφορετικούς πολλαπλασιαστές ,αφού αυτοί οι πολλαπλασιαστές είναι οι διαστάσεις των πινάκων D και D* .Γι αυτό ο δείκτης του D δίνεται από

Δείκτης(D)=dim Ker(D) − dim Ker(D*) = Tr(e−tD*D) − Tr(e−tDD*)

για κάθε θετικό t.Η σωστή πλευρά δίνεται από το ίχνος της διαφοράς των πινάκων των δύο χειριστών θερμότητας.Αυτοί έχουν μια ασυμπτωτική επέκταση για μικρό θετικό t ,η οποία μπορεί να χρησιμοποιηθεί για να αξιολογήσει το όριο καθώς το t τείνει στο 0,δίνοντας απόδειξη του θεωρήματος δείκτη του Atiyah-Singer.Οι ασυμπτωτικές επεκτάσεις για μικρό t εμφανίζονται πολύ περίπλοκες αλλά η θεωρία μη-μεταβλητών δείχνει ότι αυτές είναι τεράστιες ακυρώσεις μεταξύ των όρων ,το οποίο το κάνει δυνατό ώστε να βρεθούν οι κύριοι όροι.Αυτές οι ακυρώσεις αργότερα εξηγήθηκαν χρησιμοποιώντας την υπερσυμμετρία.

== Γενικεύσεις ==
* Το θεώρημα Ατίγια-Σίνγκερ εφαρμόζεται σε ελλειπτικούς ψευτοδιαφορικούς χειριστές με τον ίδιο τρόπο όπως και στους ελλειπτικούς διαφορετικούς χειριστές.Στην πραγματικότητα , για τεχνικούς λόγους , οι περισσότερες από τις πρώτες αποδείξεις δούλεψαν με ψευτοδιαφορικούς παρά με διαφορικούς χειριστές: ηπρόσθετηή του ευκαμψία έκανε κάποια βήματα για πρόσθετες αποδείξεις.
* Αντί να δουλέψουμε με ελλειπτικούς χειριστές μεταξύ δύο δεσμών διανυσμάτων , είναι μερικές φορές πιο βολικό να δουλέψουμε με ένα ελλειπτικό σύμπλεγμα
0 → E0 → E1 → E2 → ... → Em →0

από δέσμη διανυσμάτων. Η διαφορά είναι ότι τα σύμβολα τώρα διαμορφώνουν μια ακριβής ακολουθία ( εκτός της μηδενικής τομής). Σε αυτή την περίπτωση , όταν υπάρχουν δύο μη-μηδενικοί δεσμοί στο σύμπλεγμα αυτό αποδεικνύει ότι το σύμβολο είναι ένας ισομορφισμός , εκτός της μηδενικής τομής, έτσι ένα ελλειπτικό σύμπλεγμα με δύο όρους είναι απαραίτητα το ίδιο όπως σε ένα ελλειπτικό χειριστή ανάμεσα σε δύο δέσμες διανυσμάτων. Αντιστρόφως , το θεώρημα δείκτη για ένα ελλειπτικό σύμπλεγμα μπορεί εύκολα να μειωθεί στη περίπτωση ενός ελλειπτικού χειριστή : η δέσμη των δύο διανυσμάτων έχουν δοθεί από τα αθροίσματα ζυγών ή περιττών όρων του συμπλέγματος, και ο ελλειπτικός χειριστής είναι το άθροισμα των χειριστών του ελλειπτικού συμπλέγματος και των γειτονικών τους , περιορισμένα στο άθροισμα των ήδη δεσμών.
* Εάν οι πολυσύνθετοι τους επιτρέπεται να έχουν όριο , τότε κάποιοι περιορισμοί πρέπει να τεθούν στο πεδίο ορισμού του ελλειπτικού χειριστή για να διασφαλιστεί ένα πεπερασμένος δείκτης. Αυτές οι συνθήκες μπορεί να είναι τοπικές ( όπως να απαιτείς τους τομείς στο πεδίο ορισμού να εξαφανίζονται στο σύνορο) ή πιο σύνθετες παγκόσμιες συνθήκες ( όπως να απαιτούνται οι τομείς του πεδίου ορισμού να λύνουν κάποιες [[Διαφορική εξίσωση|διαφορικές εξισώσεις]]).Η τοπική υπόθεση δουλεύτηκε από τους Ατίγια και Μποτ, αλλά έδειξαν ότι πολλές ενδιαφέρουσες λειτουργίες (π.χ. ο υποδεικνυόμενος χειριστής ) δεν δέχεται τοπικές συνθήκες ορίων.Για να χειριστούν αυτούς τους χειριστές οι Ατίγια , Πατόντι και Σινγκερ ,συνθήκες παγκόσμιων ορίων ισοδύναμες με την προσκόλληση κυλίνδρου στη πολυσύνθετη μεταβλητή του ορίου και περιόρισαν το πεδίο ορισμού σε αυτούς τους τομείς που είναι τετραγωνικοί ολοκληρώσιμοι μαζί με τον κύλινδρο. Αυτό το σκεπτικό υιοθετήθηκε ως απόδειξη του Melrose (1993) του θεωρήματος δείκτη των Ατίγια, Πατόντι και Σίνγκερ .
* Αντί για ένα ελλειπτικό χειριστή, ένας μπορεί να θεωρήσει μια οικογένεια ελλειπτικών χειριστών παραμετρικοποιημένα από κάποια μεταβλητή Υ. Σε αυτή την περίπτωση ο δείκτης ενός στοιχείου από το Κ-θεώρημα του Υ, αντί ενός ακεραίου . Εάν οι χειριστές στην οικογένεια είναι πραγματικοί , τότε ο δείκτης ψεύδεται στο πραγματικό Κ-θεώρημα του Υ.Αυτό δίνει λίγη περισσότερη πληροφορία , καθώς ο χάρτης από το πραγματικό Κ-θεώρημα του Υ στο σύμπλεγμα του Κ-θεωρήματος δεν είναι πάντα ένεση.
* Εάν υπάρχει ομαδική δράση σε μια ομάδα G σε ένα συμπαγές πολύπλευρο Χ ,μετακινώντας με ένα ελλειπτικό χειριστή, τότε ο ένας αντικαθιστά την συνηθισμένη Κ-θεωρία με ισοποίκιλη Κ-θεωρία. Επιπλέον το ένα παίρνει τις γενικεύσεις των διορθωμένων σημείων του θεωρήματος Lefschetz με τους όρους να διορθώνονται από πολυσύνθετες ομάδες G. Δείτε επίσης : Ισοποίκιλο θεώρημα δεικτών.
* Atiyah (1976) έδειξε πως να επεκτείνουμε το θεώρημα των δεικτών σε μερικά μη συμπαγή πολύπλευρα, εργαζόμενοι σε μια διακριτή ομάδα με συμπαγή πηλίκο. Ο πυρήνας ενός ελλειπτικού χειριστή είναι γενικά απείρων διαστάσεων σε αυτήν την περίπτωση, αλλά είναι πιθανό να πάρει πεπερασμένο δείκτη χρησιμοποιώντας την διάσταση ενός μόντουλο σύμφωνα με την άλγεβρα του von Neumann ,αυτός ο δείκτης είναι γενικά πραγματικός παρά ένας ακέραιος αξίας. Αυτή η εκδοχή ονομάζεται L2 θεώρημα δεικτών και χρησιμοποιήθηκε από τους Atiyah & Schmid (1977) για να ξαναδημιουργήσει ιδιότητες διακριτές αναπαραστάσεις σειρών από ημιαπλές ψεύτικες ομάδες.
* Η θεωρία των δεικτών του Κ.Καλλία είναι μια θεωρία δεικτών από τον χειριστή του Dirac σε μη συμπαγή περιττή διάσταση χώρου. Ο δείκτης Atiyah–Singer είναι μόνο ορισμένος σε συμπαγή κενά, και εξαφανίζετε όταν η διάσταση είναι περιττή . Το 1978 ο Κωνσταντίνος Καλλίας, με πρόταση του Ph.D και συμβουλευτή Roman Jackiw, χρησιμοποίησε την αξονική ανωμαλία για να προέλθει το θεώρημα των δεικτών σε κενά εξοπλισμένη με έναν πίνακα Hermitian που ονομάζεται Higgs field. Όπως παρουσιάζεται στο σύγγραμμά του Index Theorems on Open Spaces ο δείκτης του χειριστή του Dirac είναι μια τροπολογική ποικιλία των U(dU)n−1 πάνω από (n-1) φορές στο άπειρο. Ακόμα και όταν το n είναι πάντα μηδέν. Η τροπολογική ερμηνεία σε αυτή την ποικιλία μοιάζει με τον δείκτη Hörmander και έχει προταθεί από τον Boris Fedosov, σαν γενίκευση του Lars Hörmander, η οποία εκδόθηκε από τους Raoul Bott και Robert Thomas Seeley στο άρθρο Some Remarks on the Paper of Callias με το ίδιο θέμα όπως το άρθρο του Καλλία Communications in Mathematical Physics.

== Δημοσιεύσεις ==
The papers by Atiyah are reprinted in volumes 3 and 4 of his collected works, {{harvs|last=Atiyah|year1=1988a|year2=1988b}}
{{refbegin|2}}
* {{citation|last=Atiyah|first= M. F.|author-link=:en:Michael Atiyah
|chapter=Global Theory of Elliptic Operators|title= Proc. Int. Conf. on Functional Analysis and Related Topics (Tokyo, 1969)|year= 1970|publisher=University of Tokio|zbl=0193.43601}}
* {{citation|last=Atiyah|first= M. F.|author-link=:en:Michael Atiyah
|chapter=Elliptic operators, discrete groups and von Neumann algebras|title= Colloque "Analyse et Topologie" en l'Honneur de Henri Cartan (Orsay, 1974)|pages=  43–72|series= Asterisque|volume= 32–33|publisher= Soc. Math. France, Paris|year= 1976|mr=0420729}}
* {{citation |first1=M. F. |last1=Atiyah|author1-link=:en:Michael Atiyah|first2= G. B.|last2= Segal |author2-link=:en:Graeme Segal|title=The Index of Elliptic Operators: II|journal= Annals of Mathematics | series = Second Series |volume= 87 |issue=3|year= 1968|pages= 531–545 |doi=10.2307/1970716 |jstor=1970716}} This reformulates the result as a sort of Lefschetz fixed-point theorem, using equivariant K-theory.
* {{citation|last1= Atiyah|first1= Michael F. |author1-link=:en:Michael Atiyah|last2=Singer|first2= Isadore M. |author2-link=:en:Isadore Singer|title=The Index of Elliptic Operators on Compact Manifolds|journal= Bull. Amer. Math. Soc.|volume= 69|pages= 422–433|year= 1963 |doi= 10.1090/S0002-9904-1963-10957-X|issue= 3|doi-access= free}} An announcement of the index theorem.
* {{citation|last1= Atiyah|first1= Michael F. |author1-link=:en:Michael Atiyah|last2=Singer|first2= Isadore M. |author2-link=:en:Isadore Singer|title=The Index of Elliptic Operators I|journal= Annals of Mathematics |volume=87|pages= 484–530|year= 1968a|doi= 10.2307/1970715|issue= 3|jstor=1970715}} This gives a proof using K-theory instead of cohomology.
* {{citation|last1= Atiyah|first1= Michael F. |author1-link=:en:Michael Atiyah|last2=Singer|first2= Isadore M. |author2-link=:en:Isadore Singer |title=The Index of Elliptic Operators III|journal=[[:en:Annals of Mathematics]] | series = Second Series |volume= 87|issue=3|year= 1968b|pages= 546–604|doi= 10.2307/1970717|jstor= 1970717}} This paper shows how to convert from the K-theory version to a version using cohomology.
* {{citation|last1= Atiyah|first1= Michael F. |author1-link=:en:Michael Atiyah|last2=Singer|first2= Isadore M. |author2-link=:en:Isadore Singer|title=The Index of Elliptic Operators IV|journal= [[:en:Annals of Mathematics]] | series = Second Series |volume= 93|issue=1|year= 1971a|pages=  119–138|doi= 10.2307/1970756 |jstor=1970756}} This paper studies families of elliptic operators, where the index is now an element of the K-theory of the space parametrizing the family.
* {{citation|last1= Atiyah|first1= Michael F. |author1-link=:en:Michael Atiyah|last2=Singer|first2= Isadore M. |author2-link=:en:Isadore Singer|title=The Index of Elliptic Operators V|journal=[[:en:Annals of Mathematics]] | series = Second Series |volume= 93|issue= 1|year= 1971b|pages= 139–149|doi= 10.2307/1970757 |jstor=1970757}}. This studies families of real (rather than complex) elliptic operators, when one can sometimes squeeze out a little extra information.
* {{citation|first1=M. F.|last1= Atiyah|author1-link=:en:Michael Atiyah|first2= R.|last2= Bott|author2-link=:en:Raoul Bott |title=A Lefschetz Fixed Point Formula for Elliptic Differential Operators|journal= Bull. Am. Math. Soc. |volume=72 |year=1966|pages= 245–50|doi=10.1090/S0002-9904-1966-11483-0|issue=2 |doi-access=free}}. This states a theorem calculating the Lefschetz number of an endomorphism of an elliptic complex.
* {{citation|first1=M. F.|last1= Atiyah|author1-link=:en:Michael Atiyah|first2= R.|last2= Bott|author2-link=:en:Raoul Bott |title=A Lefschetz Fixed Point Formula for Elliptic Complexes: I |journal=Annals of Mathematics | series = Second series |volume= 86|issue=2 |year= 1967|pages= 374–407|doi=10.2307/1970694 |jstor=1970694}} and {{citation|first1=M. F.|last1= Atiyah|first2= R.|last2= Bott |title=A Lefschetz Fixed Point Formula for Elliptic Complexes: II. Applications
|journal=[[:en:Annals of Mathematics]] | series = Second Series |volume=88|issue=3|year= 1968|pages=451–491|doi=10.2307/1970721|jstor=1970721}} These give the proofs and some applications of the results announced in the previous paper.
* {{citation|last1=Atiyah|first1= M.|author1-link=:en:Michael Atiyah|last2= Bott|first2= R.|author2-link=:en:Raoul Bott|last3= Patodi|first3= V. K.|author3-link=:en:Vijay Kumar Patodi|title= On the heat equation and the index theorem|journal= Invent. Math.|volume= 19 |year=1973|pages= 279–330|	doi=10.1007/BF01425417|mr=0650828|issue=4|bibcode=1973InMat..19..279A|s2cid= 115700319}}. {{citation|title= Errata |journal=Invent. Math.|volume=  28  |year=1975|pages= 277–280	|doi=10.1007/BF01425562|mr= 0650829|issue= 3|bibcode=1975InMat..28..277A|last1=Atiyah|first1=M.|last2=Bott|first2=R.|last3=Patodi|first3=V. K.|doi-access=free}}
* {{citation|last1= Atiyah|first1= Michael|author1-link=:en:Michael Atiyah|last2= Schmid|first2= Wilfried|author2-link=:en:Wilfried Schmid |title=A geometric construction of the discrete series for semisimple Lie groups|journal= Invent. Math.|volume= 42 |year=1977|pages= 1–62|doi=10.1007/BF01389783|mr= 0463358|bibcode=1977InMat..42....1A|s2cid= 189831012}}, {{citation|title= Erratum|journal=  Invent. Math. |volume= 54  |year=1979|issue= 2|pages=189–192|doi=10.1007/BF01408936|author=:en: Atiyah, Michael|last2=Schmid|first2=Wilfried|mr= 0550183|bibcode=1979InMat..54..189A|doi-access=free}}
* {{citation|last= Atiyah|first= Michael|author-link=:en:Michael Atiyah|title= Collected works. Vol. 3. Index theory: 1 |series=Oxford Science Publications|publisher= The Clarendon Press, Oxford University Press|location=New York|year= 1988a| isbn= 978-0-19-853277-4 |url=https://books.google.com/books?isbn=0198532776|mr= 0951894}}
* {{citation|last= Atiyah|first= Michael|author-link=:en:Michael Atiyah|title= Collected works. Vol. 4. Index theory: 2 |series=Oxford Science Publications|publisher= The Clarendon Press, Oxford University Press|location=New York|year= 1988b| isbn= 978-0-19-853278-1|mr= 0951895 }}
* {{citation|first1=P.|last1=Baum|author1-link=:en:Paul Baum (mathematician)|first2=W.|last2=Fulton|author2-link=:en:William Fulton (mathematician)|first3=R.|last3=Macpherson|author3-link=:en:Robert MacPherson (mathematician)|title=Riemann-Roch for singular varieties|journal=Acta Mathematica|volume=143|year=1979|pages=155–191|doi=10.1007/BF02684299|zbl=0332.14003|s2cid=83458307|url=http://www.numdam.org/item/PMIHES_1975__45__101_0/}}
* {{citation|first1=Nicole |last1=Berline|first2= Ezra |last2=Getzler|first3= Michèle|last3= Vergne|title= Heat Kernels and Dirac Operators|year=1992|isbn= 978-3-540-53340-5|publisher=Springer|location=Berlin}} This gives an elementary proof of the index theorem for the Dirac operator, using the heat equation and supersymmetry.
* {{citation|author-link=:en:Jean-Michel Bismut|first=Jean-Michel|last=Bismut|title=The Atiyah–Singer Theorems: A Probabilistic Approach. I. The index theorem|journal=J. Funct. Anal.|year=1984|volume=57|pages=56–99|doi=10.1016/0022-1236(84)90101-0|doi-access=free}} Bismut proves the theorem for elliptic complexes using probabilistic methods, rather than heat equation methods.
* {{citation|last=Cartan-Schwartz|author-link=:en:Cartan-Schwartz|title=Séminaire Henri Cartan. Théoreme d'Atiyah-Singer sur l'indice d'un opérateur différentiel elliptique. 16 annee: 1963/64 dirigee par Henri Cartan et Laurent Schwartz. Fasc. 1; Fasc. 2. (French)|publisher= École Normale Supérieure, Secrétariat mathématique, Paris|year=1965|zbl=0149.41102}}
* {{citation|first=A.|last=Connes|author-link=:en:Alain Connes|title=Non-commutative differential geometry|journal=Publications Mathématiques de l'Institut des Hautes Études Scientifiques|volume=62|year=1986|doi=10.1007/BF02698807|pages=257–360|zbl=0592.46056|s2cid=122740195|url=http://www.numdam.org/item/PMIHES_1985__62__41_0/}}
* {{citation|first=A.|last=Connes|author-link=:en:Alain Connes|title=Noncommutative Geometry|publisher=Academic Press|isbn=978-0-12-185860-5|location=San Diego|year=1994|zbl=0818.46076|url-access=registration|url=https://archive.org/details/noncommutativege0000conn}}
* {{citation|first1=A.|last1=Connes|author1-link=:en:Alain Connes|first2=H.|last2=Moscovici|title=Cyclic cohomology, the Novikov conjecture and hyperbolic groups|journal=Topology|volume=29|year=1990|pages=345–388|url=http://www.alainconnes.org/docs/novikov.pdf|zbl=0759.58047|doi=10.1016/0040-9383(90)90003-3|issue=3|doi-access=free}}
* {{citation|first1=A.|last1=Connes|author1-link=:en:Alain Connes|first2=D.|last2=Sullivan|author2-link=:en:Dennis Sullivan|first3=N.|last3=Teleman|title=Quasiconformal mappings, operators on Hilbert space and local formulae for characteristic classes|journal=Topology|volume=33|issue=4|year=1994|pages=663–681|zbl=0840.57013|doi=10.1016/0040-9383(94)90003-5|doi-access=free}}
* {{citation|first1=S.K.|last1=Donaldson|author1-link=:en:Simon Donaldson|first2=D.|last2=Sullivan|author2-link=:en:Dennis Sullivan|title=Quasiconformal 4-manifolds|journal=Acta Mathematica|volume=163|year=1989|pages=181–252|doi=10.1007/BF02392736|zbl=0704.57008|doi-access=free}}
* {{citation|first=I. M. |last=Gel'fand|author-link=:en:Israel Gelfand|title=On elliptic equations|journal=Russ. Math. Surv.|volume= 15 |issue=3|year=1960|pages=  113–123|doi=10.1070/rm1960v015n03ABEH004094|bibcode=1960RuMaS..15..113G}} reprinted in volume 1 of his collected works, p.&nbsp;65–75, {{ISBN|0-387-13619-3}}. On page 120 Gel'fand suggests that the index of an elliptic operator should be expressible in terms of topological data.
* {{citation|first=E.|last= Getzler|author-link=:en:Ezra Getzler|url=http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1103940796 |title=Pseudodifferential operators on supermanifolds and the Atiyah–Singer index theorem |journal=Commun. Math. Phys.|volume= 92 |year=1983|pages=  163–178 |doi=10.1007/BF01210843|issue=2|bibcode = 1983CMaPh..92..163G |s2cid= 55438589}}
* {{citation|first=E. |last=Getzler|doi=10.1016/0040-9383(86)90008-X |title=A short proof of the local Atiyah–Singer index theorem|journal=Topology|volume= 25 |year=1988|pages= 111–117|doi-access=free}}
* {{citation|first=Peter B. |last=Gilkey|year=1994|url= http://www.emis.de/monographs/gilkey/|title=Invariance Theory, the Heat Equation, and the Atiyah–Singer Theorem|publisher=CRC Press | isbn=978-0-8493-7874-4}} Free online textbook that proves the Atiyah–Singer theorem with a heat equation approach
* {{cite arXiv|last=Hamilton|first=M. J. D.|year=2020|title=The Higgs boson for mathematicians. Lecture notes on gauge theory and symmetry breaking|class=math.DG|eprint=1512.02632}}
* {{cite arXiv|last=Kayani|first=U.|year=2020|title=Dynamical supersymmetry enhancement of black hole horizons|class=hep-th|eprint=1910.01080}}
* {{citation|first1=Nigel |last1=Higson|first2=John |last2=Roe|title=Analytic K-homology |publisher= Oxford University Press |year=2000 |isbn=9780191589201}}
* {{citation|first1=M.|last1=Hilsum|title=Structures riemaniennes ''L''<sup>p</sup> et ''K''-homologie|journal= Annals of Mathematics|volume=149|issue=3|year=1999|pages=1007–1022|doi=10.2307/121079|arxiv=math/9905210|jstor=121079|s2cid=119708566}}
* {{citation|first=G.G.|last=Kasparov|title=Topological invariance of elliptic operators, I: K-homology|journal=Math. USSR Izvestija (Engl. Transl.)|volume=9|year=1972|issue=4|pages=751–792|doi=10.1070/IM1975v009n04ABEH001497|bibcode = 1975IzMat...9..751K }}
* {{citation|first1=R.|last1=Kirby|author1-link=:en:Robion Kirby|first2=L.C.|last2=Siebenmann|author2-link=:en:Laurent C. Siebenmann|title=On the triangulation of manifolds and the Hauptvermutung|journal=Bull. Amer. Math. Soc.|volume=75|year=1969|pages=742–749|doi=10.1090/S0002-9904-1969-12271-8|issue=4|doi-access=free}}
* {{citation|first1=R.|last1=Kirby|author1-link=:en:Robion Kirby|first2=L.C.|last2=Siebenmann|author2-link=:en:Laurent C. Siebenmann|title=Foundational Essays on Topological Manifolds, Smoothings and Triangulations|publisher=Princeton University Press and Tokio University Press|location=Princeton|series=Annals of Mathematics Studies in Mathematics|volume=88|year=1977}}
* {{citation|first1=H. Blane|last1=Lawson|author1-link=:en:H. Blaine Lawson|first2=Marie-Louise|last2=Michelsohn|author2-link=:en:Marie-Louise Michelsohn|title=Spin Geometry|year=1989|isbn=0-691-08542-0|publisher=Princeton University Press}}
* {{citation|first=Richard B. |last=Melrose|year=1993|url=http://www-math.mit.edu/~rbm/book.html |title=The Atiyah–Patodi–Singer Index Theorem| isbn=978-1-56881-002-7|publisher=Peters|location=Wellesley, Mass.}} Free online textbook.
* {{citation|first=S.P.|last=Novikov|author-link=:en:Sergei Novikov (mathematician)|title=Topological invariance of the rational Pontrjagin classes|journal=[[:en:Doklady Akademii Nauk SSSR]]|volume=163|year=1965|url=http://www.mi.ras.ru/~snovikov/21.pdf|pages=298–300}}
* {{citation|first=Richard S. |last=Palais|author-link=:en:Richard Palais |year=1965|title=Seminar on the Atiyah–Singer Index Theorem| series=Annals of Mathematics Studies|volume=57| isbn=978-0-691-08031-4|publisher=Princeton Univ Press|location=S.l.|url=https://books.google.com/books?isbn=0-691-08031-3}} This describes the original proof of the theorem (Atiyah and Singer never published their original proof themselves, but only improved versions of it.)
* {{citation|last=Shanahan|first= P.|title=The Atiyah-Singer Index Theorem|isbn=978-0-387-08660-6 |series=Lecture Notes in Mathematics |volume=638|publisher= Springer|year= 1978|doi=10.1007/BFb0068264|citeseerx= 10.1.1.193.9222}}
* {{citation|first=I.M.|last=Singer|author-link=:en:Isadore Singer|title=Prospects in Mathematics|chapter=Future extensions of index theory and elliptic operators|series=Annals of Mathematics Studies in Mathematics|volume=70|year=1971|pages=171–185}}
* {{citation|first=D.|last=Sullivan|author-link=:en:Dennis Sullivan|chapter=Hyperbolic geometry and homeomorphisms|title=J.C. Candrell, "Geometric Topology", Proc. Georgia Topology Conf. Athens, Georgia, 1977|publisher=Academic Press|location=New York|year=1979|pages=543–595|isbn=978-0-12-158860-1|zbl=0478.57007}}
* {{citation|first1=D.|last1=Sullivan|author1-link=:en:Dennis Sullivan|first2=N.|last2=Teleman|title=An analytic proof of Novikov's theorem on rational Pontrjagin classes|journal=Publications Mathématiques de l'Institut des Hautes Études Scientifiques|location=Paris|volume=58|year=1983|pages=291–293|doi=10.1007/BF02953773|zbl=0531.58045|s2cid=8348213|url=http://www.numdam.org/item/PMIHES_1983__58__79_0/}}
* {{citation|first=N.|last=Teleman|title=Combinatorial Hodge theory and signature operator|journal=Inventiones Mathematicae|volume=61|year=1980|pages=227–249|doi=10.1007/BF01390066|issue=3|bibcode = 1980InMat..61..227T |s2cid=122247909}}
* {{citation|first=N.|last=Teleman|title=The index of signature operators on Lipschitz manifolds|journal=Publications Mathématiques de l'Institut des Hautes Études Scientifiques|volume=58|year=1983|pages=251–290|doi=10.1007/BF02953772|zbl=0531.58044|s2cid=121497293|url=http://www.numdam.org/item/PMIHES_1983__58__39_0/}}
* {{citation|first=N.|last=Teleman|title=The index theorem on topological manifolds|journal=Acta Mathematica|volume=153|year=1984|pages=117–152|doi=10.1007/BF02392376|zbl=0547.58036|doi-access=free}}
* {{citation|first=N.|last=Teleman|title=Transversality and the index theorem|journal=Integral Equations and Operator Theory|volume=8|year=1985|pages=693–719|doi=10.1007/BF01201710|issue=5|s2cid=121137053}}
* {{citation|first=R.|last=Thom|author-link=:en:René Thom|chapter=Les classes caractéristiques de Pontrjagin de variétés triangulées|title=Symp. Int. Top. Alg. Mexico|year=1956| pages=54–67}}
* {{Citation | last1=Witten | first1=Edward | author1-link=:en:Edward Witten | title=Supersymmetry and Morse theory | year=1982 | journal=J. Diff. Geom. | volume=17 | issue=4 | pages=661–692 | mr=0683171| doi=10.4310/jdg/1214437492 | doi-access=free }}
* {{citation|editor-last=Shing-Tung Yau|editor-link=:en:Shing-Tung Yau|title=The Founders of Index Theory|year=2009|publisher=International Press of Boston|place=Somerville, Mass.|edition=2nd|orig-year=First published in 2005|isbn=978-1571461377}} - Personal accounts on [[:en:Michael Atiyah|Atiyah]], [[:en:Raoul Bott|Bott]], [[:en:Friedrich Hirzebruch|Hirzebruch]] and [[:en:Isadore Singer|Singer]].
{{refend}}

== Παραπομπές ==
<references />

[[Κατηγορία:Διαφορική γεωμετρία]]
[[Κατηγορία:Θεωρήματα στη Γεωμετρία]]