Mostra la font per a Teorema de l'índex d'Atiyah-Singer

En [[geometria diferencial]], el '''teorema de l'índex d'Atiyah–Singer''', demostrat per [[Michael Atiyah]] i [[Isadore Singer]] (1963),{{sfn|Atiyah|Singer|1963}} afirma que per un [[Equació el·líptica en derivades parcials|operador diferencial el·líptic]] en una varietat compacta, l''''índex analític''' (relacionat amb la dimensió de l'espai de solucions) és igual a l''''índex topològic''' (definit en termes d'algunes dades topològiques). Inclou molts altres teoremes, com ara el [[teorema de Chern–Gauss–Bonnet]] i el [[teorema de Riemann–Roch]], com a casos especials, i té aplicacions en la [[física teòrica]].{{sfn|Hamilton|2020|p=11}}

== Història ==
El problema de l'índex dels operadors diferencials el·líptics va ser proposat per [[Izraïl Moisséievitx Gelfand|Izraïl Gelfand]].{{sfn|Gel'fand|1960}} Ell va notar la invariància homotòpica de l'índex, i es va preguntar si se'n podria derivar una fórmula usant els invariants topològics. Alguns dels exemples que ho motivaven eren el [[teorema de Riemann–Roch]] i la seva generalització en el [[teorema d'Hirzebruch–Riemann–Roch]], així com el [[teorema de la signatura d'Hirzebruch]]. [[Friedrich Hirzebruch]] i [[Armand Borel]] van demostrar la integralitat del gènere Â d'una varietat spin, i Atiyah va suggerir que aquesta integralitat podia ser explicada si es tractés de l'índex de l'[[operador de Dirac]] (que va tornar a ser descobert per Atiyah i Singer l'any 1961).

El teorema d'Atiyah–Singer va ser enunciat l'any 1963.{{sfn|Atiyah|Singer|1963}} La demostració esbossada en aquest enunciat mai no va ser publicada per ells, tot i que apareix en el llibre de Palais.{{sfn|Palais|1965}} També apareix en el "Séminaire Cartan-Schwartz 1963/64"{{sfn|Cartan-Schwartz|1965}} que es va celebrar a París simultàniament al seminari dirigit per Richard Palais a la [[Universitat de Princeton]]. L'última xerrada a París va ser feta per Atiyah sobre varietats amb frontera. La seva primera demostració publicada{{sfn|Atiyah|Singer|1968a}} va substituir la teoria del [[cobordisme]] de la primera demostració per la [[K-teoria]], que van utilitzar en demostracions de diverses generalitzacions en una sèrie d'articles posteriors.{{sfn|Atiyah|Singer|1968a}}{{sfn|Atiyah|Singer|1968b}}{{sfn|Atiyah|Singer|1971a}}{{sfn|Atiyah|Singer|1971b}}

* '''1965:''' [[Serguei Nóvikov]] va publicar els seus resultats sobre invariància topològica de les classes de [[Lev Pontryagin|Pontryagin]] racionals en [[Varietat diferenciable|varietats diferenciables]].{{sfn|Novikov|1965}}
* Els resultats de Robion Kirby i Laurent C. Siebenmann,{{sfn|Kirby|Siebenmann|1969}} combinats amb l'article de [[René Thom]]{{sfn|Thom|1956}} van demostrar l'existència de classes de Pontryagin racionals en varietats topològiques. Les classes de Pontryagin racionals són ingredients essencials del teorema de l'índex en varietats diferenciables i topològiques.
* '''1969:''' Michael Atiyah va definir els operadors el·líptics abstractes en espais mètrics arbitraris. Els operadors el·líptics abstractes es van convertir en protagonistes en la teoria de Kaspàrov i en la geometria diferencial no commutativa de Connes.{{sfn|Atiyah|1970}}
* '''1971:''' Isadore Singer va proposar un programa proposes a integral per a futures extensions del teorema de l'índex.{{sfn|Singer|1971}}
* '''1972:''' Gennadi G. Kaspàrov va publicar el seu treball en la realització de la K-homologia a partir d'operadors el·líptics abstractes.{{sfn|Kasparov|1972}}
* '''1973:''' Atiyah, [[Raoul Bott]] i Vijay Patodi van donar una nova demostració del teorema de l'índex{{sfn|Atiyah|Bott|Patodi|1973}} utilitzant l'[[equació de la calor]], descrita en un article de Melrose.{{sfn|Melrose|1993}}
* '''1977:''' Dennis Sullivan va establir el seu teorema sobre l'existència i la unicitat d'estructures Lipschitz quasiconformes en varietats topològiques de dimensió diferent a 4.{{sfn|Sullivan|1979}}
* '''1983:''' Ezra Getzler{{sfn|Getzler|1983}}, motivat per les idees d'Edward Witten{{sfn|Witten|1982}} i Luis Alvarez-Gaume, va aportar una breu demostració del teorema de l'índex local per a operadors que són localment operadors de Dirac; això inclou molts dels casos útils.
* '''1983:''' Nicolae Teleman va demostrar que els índexos analítics dels operadors de signatura amb valors en [[fibrat vectorial|fibrats vectorials]] són invariants topològics.{{sfn|Teleman|1983}}
* '''1984:''' Teleman va establir el teorema de l'índex en varietats topològiques.{{sfn|Teleman|1984}}
* '''1986:''' [[Alain Connes]] va publicar el seu article fonamental sobre [[geometria no commutativa]].{{sfn|Connes|1986}}
* '''1989:''' [[Simon Donaldson|Simon K. Donaldson]] i Sullivan van estudiar la teoria de Yang–Mills en varietats quasiconformals de dimensió 4. Van introduir l'operador de signatura ''S'' definit en formes diferencials de grau dos.{{sfn|Donaldson|Sullivan|1989}}
* '''1990:''' Connes i Henri Moscovici van demostrar la fórmula de l'índex local en el context de la geometria no commutativa.{{sfn|Connes|Moscovici|1990}}
* '''1994:''' Connes, Sullivan i Teleman van demostrar el teorema de l'índex per a operadors de signatura en varietats quasiconformals.{{sfn|Connes|Sullivan|Teleman|1994}}

== Notació ==
* ''X'' és una [[Varietat (matemàtiques)|varietat]] diferenciable [[Espai compacte|compacta]] (sense frontera).
* ''E'' i ''F'' són [[fibrat vectorial|fibrats vectorials]] diferenciables en ''X''.
* ''D'' és un operador diferencial el·líptic de ''E'' a ''F''. Així, en coordenades locals, actua com a operador diferencial, prenent seccions diferenciables de ''E'' a seccions diferenciables de ''F''.

== Símbol d'un operador diferencial ==
Sigui ''D'' un operador diferencial en un [[espai euclidià]] d'ordre ''n'' en ''k'' variables <math>x_1, \dots, x_k</math>, llavors el seu [[símbol d'un operador diferencial|símbol]] és la funció de 2''k'' variables
<math>x_1, \dots, x_k, y_1, \dots, y_k</math>, que s'obté en eliminar tots els termes d'ordre inferior a ''n'' i substituint <math>\partial/\partial x_i</math> per <math>y_i</math>. Així doncs, el símbol és homogeni en les variables ''y'', de grau ''n''. El símbol està ben definit fins i tot en el cas que <math>\partial/\partial x_i</math> no commuti amb <math>x_i</math> ja que romanen únicament els termés d'ordre més alt i els operadors diferencials commuten "fins als termes d'ordre baix". S'anomena '''el·líptic''' a l'operador si el seu símbol és diferent a zero sempre i quan almenys una ''y'' sigui zero.

Exemple: l'operador laplacià en ''k'' variables té símbol <math>y_1^2 + \cdots + y_k^2</math>, i és per tant el·líptic ja que és diferent a zero quan qualsevol de les <math>y_i</math>'s són diferents a zero. L'operador d'ona té símbol <math>-y_1^2 + \cdots + y_k^2</math>, que no és el·líptic si <math>k\ge 2</math>, ja que el símbol pot ser zero per uns certs valors de les ''y''s.

El símbol d'un operador diferencial d'ordre ''n'' en una varietat diferenciable ''X'' és definit de manera similar usant sistemes de coordenades locals, i és una funció del [[fibrat cotangent]] de ''X'', homogeni de grau ''n'' en cada espai cotangent. (En general, els operadors diferencials es transformen de forma més aviat complicada quan s'apliquen transformacions de coordenades (vegeu [[feix de jets]]); tanmateix, els termes d'ordre més alt es transformen com tensors de tal forma que s'obtenen funcions homogènies ben definides en els espais cotangennts que són independents de l'elecció de les coordenades locals.) Més generalment, el símbol d'un operador diferencial entre dos fibrats vectorials ''E'' i ''F'' és una secció del ''[[pullback]]'' del fibrat Hom(''E'', ''F'') a l'espai cotangent de ''X''. L'operador diferencial és anomenat ''el·líptic'' si l'element de Hom(''E<sub>x</sub>'', ''F<sub>x</sub>'') és invertible per qualssevol vectors cotangents no zero en qualsevol punt ''x'' de ''X''.

Una propietat clau dels operadors el·líptics és que són gairebé invertibles; fet que està molt relacionat amb el fet que els seus símbols són gairebé invertibles. Més precisament, un operador el·líptic ''D'' en una varietat compacta té un pseudo-inversa (no única) ''D''′ tal que ''DD′''<sup>−1</sup> i ''D′D''<sup>−1</sup> són tots dos operadors compactes. Una conseqüència important d'això és que el [[nucli (matemàtiques)|nucli]] de ''D'' té dimensió finita, ja que tots els espais propis d'operadors compactes, sense comptar el nucli, són de dimensió finita. (La pseudo-inversa d'un operador diferencial el·líptic no és gairebé mai un operador diferencial. No obstant això, és un operador pseudo-diferencial el·líptic.)

== Índex analític ==
Com que l'operador diferencial el·líptic ''D'' té pseudo-inversa, es tracta d'un [[operador de Fredholm]]. Qualsevol operador de Fredholm té un ''índex'', definit com la diferència entre la dimensió (finita) del [[nucli (matemàtiques)|nucli]] de ''D'' (solucions de ''Df'' = 0), i la dimensió (finita) del [[conucli]] de ''D'' (les restriccions del costat dret d'una equació no homogènia com ara ''Df'' = ''g'', o equivalentment el nucli de l'operador adjunt). En altres paraules,
:Index(''D'') = dim Ker(D) − dim Coker(''D'') = dim Ker(D) − dim Ker(''D* '').
Aquest valor rep sovint el nom d''''índex analític''' de ''D''.

'''Exemple:''' Suposis's que la varietat és el cercle (Que es pot pensar com '''R'''/'''Z'''), i que ''D'' és l'operador d/dx − λ per una certa constant complexa λ. (Es tracta de l'exemple més simple d'un operador el·líptic.) Llavors el nucli és l'espai de múltiples de exp(λ''x'') si λ és un múltiple integral de 2π''i'' i 0 altrament, i el nucli de l'adjunt és un espai similar en què λ és substituïda pel seu complex conjugat. Llavors ''D'' té índex 0. Aquest exemple mostra que el nucli i el conucli d'operadors el·líptics pot saltar de forma discontínua a mesura que l'operador el·líptic canvia, així doncs, no existeix cap fórmula amb què obtenir la seva dimensió a partir de dades topològiques contínues. Tanmateix, els salts en la dimensió del nucli i del conucli són iguals, així doncs l'índex, que prové de la diferència entre les seves dimensions, sí que canvia de forma contínua, i pot ser obtingut en termes de dades topològiques a partir del teorema de l'índex.

== Índex topològic ==
L''''índex topològic''' d'un operador diferencial el·líptic <math>D</math> entre els fibrats vectorials diferenciables <math>E</math> i <math>F</math> en una varietat compacta <math>n</math>-dimensional <math>X</math> ve donat per l'expressió

:<math>\operatorname{ch}(D)\operatorname{Td}(X)[X] = \int_X \operatorname{ch}(D)\operatorname{Td}(X)</math>

en altres paraules, és el valor del component dimensionalment superior de la [[cohomologia|classe cohomològica]] <math>\operatorname{ch}(D) \operatorname{Td}(X)</math> en la classe homòloga fonamental de la varietat <math>X</math>.
Aquí,

* <math>\operatorname{Td}(X)</math> és la [[classe de Todd]] del fibrat tangentn complexificat de <math>X</math>.
* <math>\operatorname{ch}(D)</math> és igual a <math>\varphi^{-1}(\operatorname{ch}(d(p^*E,p^*F, \sigma(D)))) </math>, on
**<math>\varphi: H^k(X;\mathbb{Q}) \to H^{n+k}(B(X)/S(X);\mathbb{Q})</math> és l'[[isomorfisme de Thom]] per al fibrat esfèric <math>p:B(X)/S(X) \to X</math>
**<math>\operatorname{ch}:K(X)\otimes\mathbb{Q} \to H^*(X;\mathbb{Q})</math> és el caràcter de Chern
**<math>d(p^*E,p^*F,\sigma(D))</math> és l'"element de diferència" en <math>K(B(X)/S(X))</math> associat als fibrats vectorials <math>p^*E</math> i <math>p^*F</math> en <math>B(X)</math> i un isomorfisme <math>\sigma(D)</math> entre ells i el subespai <math>S(X)</math>.
**<math>\sigma(D)</math> és el símbol de <math>D</math>

També es pot definir l'índex topològic usant únicament K-teoria (i aquesta definició alternativa és compatible en un cert sentit amb la construcció a partir del caràcter de Chern de més amunt). Sigui ''X'' és una subvarietat compacta d'una varietat ''Y'' llavors hi ha un ''[[pushforward (derivada)|pushforward]]'' de K(''TX'') a K(''TY''). L'índex topològic d'un element de K(''TX'') és definit com la imatge d'aquesta operació sent ''Y'' un cert espai euclidià, pel qual es pot identificar naturalment K(''TY'') com els enters '''Z''' (com a conseqüència de la periodicitat de Bott). Aquesta aplicació és independent de l'''[[embedding]]'' de ''X'' en l'espai euclidià. Ara, un operador diferencial com el de més amunt defineix naturalment un element de K(''TX''), i la imatge en '''Z''' sota aquesta aplicació "és" l'índex topològic.

Com sovint, ''D'' és un operador diferencial el·líptic entre els fibrats vectorials ''E'' i ''F'' en una varietat compacta ''X''.

El ''problema de l'índex'' és el següent: calculi's l'índex (analític) de ''D'' usant només el símbol ''s'' i les dades ''topològiques'' derivades de la varietat i del fibrat vectorial. El teorema de l'índex d'Atiyah–Singer soluciona aquest problema en afirmar:

:'''L'índex analític de ''D'' és igual al seu índex topològic.'''

Malgrat la seva formidable definició, l'índex topològic és normalment força fàcil d'avaluar explícitament. Això fa que, immediatament, sigui fàcil d'avaluar l'índex analític. (El conucli i el nucli d'un operador el·líptic són, en general, extramadament difícils d'avaluar individualment; el teorema de l'índex mostra que com a mínim se'n pot determinar fàcilment la seva diferència). Es poden donar molts invariants importants d'una varietat (com ara la signatura) com l'índex d'uns certs operadors diferencials triats a conveniència, així doncs el teorema de l'índex permet avaluar aquests invariants en termes de dades topològiques.

== Referències ==
{{Referències}}

== Bibliografia ==
Els articles d'Atiyah van ser reimpresos en els volums 3 i 4 de la recopilació de les seves obres, {{harvs|last=Atiyah|year1=1988a|year2=1988b}}
{{refbegin|2}}
* {{citar ref|cognom=Atiyah|nom= M. F.|enllaçautor=Michael Atiyah
|capítol=Global Theory of Elliptic Operators|títol= Proc. Int. Conf. on Functional Analysis and Related Topics (Tokyo, 1969)|any= 1970|editorial=University of Tokio|zbl=0193.43601}}
* {{citar ref|cognom=Atiyah|nom= M. F.|enllaçautor=Michael Atiyah
|capítol=Elliptic operators, discrete groups and von Neumann algebras|títol= Colloque "Analyse et Topologie" en l'Honneur de Henri Cartan (Orsay, 1974)|pàgines= 43–72|series= Asterisque|volum= 32–33|editorial= Soc. Math. France, Paris|any= 1976|mr=0420729}}
* {{citar ref|nom1=M. F. |cognom1=Atiyah|enllaçautor1=Michael Atiyah|nom2= G. B.|cognom2= Segal |enllaçautor2=Graeme Segal|títol=The Index of Elliptic Operators: II|publicació= Annals of Mathematics | series = Second Series |volum= 87 |exemplar=3|any= 1968|pàgines= 531–545 |doi=10.2307/1970716 |jstor=1970716}} This reformulates the result as a sort of Lefschetz fixed point theorem, using equivariant K-theory.
* {{citar ref|cognom1= Atiyah|nom1= Michael F. |enllaçautor1=Michael Atiyah|cognom2=Singer|nom2= Isadore M. |enllaçautor2=Isadore Singer|títol=The Index of Elliptic Operators on Compact Manifolds|publicació= Bull. Amer. Math. Soc.|volum= 69|pàgines= 422–433|any= 1963 |doi= 10.1090/S0002-9904-1963-10957-X|exemplar= 3|doi-access= free}} An announcement of the index theorem.
* {{citar ref|cognom1= Atiyah|nom1= Michael F. |enllaçautor1=Michael Atiyah|cognom2=Singer|nom2= Isadore M. |enllaçautor2=Isadore Singer|títol=The Index of Elliptic Operators I|publicació= Annals of Mathematics |volum=87|pàgines= 484–530|any= 1968a|doi= 10.2307/1970715|exemplar= 3|jstor=1970715}} This gives a proof using K-theory instead of cohomology.
* {{citar ref|cognom1= Atiyah|nom1= Michael F. |enllaçautor1=Michael Atiyah|cognom2=Singer|nom2= Isadore M. |enllaçautor2=Isadore Singer |títol=The Index of Elliptic Operators III|publicació=[[Annals of Mathematics]] | series = Second Series |volum= 87|exemplar=3|any= 1968b|pàgines= 546–604|doi= 10.2307/1970717|jstor= 1970717}} This paper shows how to convert from the K-theory version to a version using cohomology.
* {{citar ref|cognom1= Atiyah|nom1= Michael F. |enllaçautor1=Michael Atiyah|cognom2=Singer|nom2= Isadore M. |enllaçautor2=Isadore Singer|títol=The Index of Elliptic Operators IV|publicació= [[Annals of Mathematics]] | series = Second Series |volum= 93|exemplar=1|any= 1971a|pàgines= 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.
* {{citar ref|cognom1= Atiyah|nom1= Michael F. |enllaçautor1=Michael Atiyah|cognom2=Singer|nom2= Isadore M. |enllaçautor2=Isadore Singer|títol=The Index of Elliptic Operators V|publicació=[[Annals of Mathematics]] | series = Second Series |volum= 93|exemplar= 1|any= 1971b|pàgines= 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.
* {{citar ref|nom1=M. F.|cognom1= Atiyah|enllaçautor1=Michael Atiyah|nom2= R.|cognom2= Bott|enllaçautor2=Raoul Bott |títol=A Lefschetz Fixed Point Formula for Elliptic Differential Operators|publicació= Bull. Am. Math. Soc. |volum=72 |any=1966|pàgines= 245–50|doi=10.1090/S0002-9904-1966-11483-0|exemplar=2 |doi-access=free}}. This states a theorem calculating the Lefschetz number of an endomorphism of an elliptic complex.
* {{citar ref|nom1=M. F.|cognom1= Atiyah|enllaçautor1=Michael Atiyah|nom2= R.|cognom2= Bott|enllaçautor2=Raoul Bott |títol=A Lefschetz Fixed Point Formula for Elliptic Complexes: I |publicació=Annals of Mathematics | series = Second series |volum= 86|exemplar=2 |any= 1967|pàgines= 374–407|doi=10.2307/1970694 |jstor=1970694}} and {{citar ref|nom1=M. F.|cognom1= Atiyah|nom2= R.|cognom2= Bott |títol=A Lefschetz Fixed Point Formula for Elliptic Complexes: II. Applications
|publicació=[[Annals of Mathematics]] | series = Second Series |volum=88|exemplar=3|any= 1968|pàgines=451–491|doi=10.2307/1970721|jstor=1970721}} These give the proofs and some applications of the results announced in the previous paper.
* {{citar ref|cognom1=Atiyah|nom1= M.|enllaçautor1=Michael Atiyah|cognom2= Bott|nom2= R.|enllaçautor2=Raoul Bott|cognom3= Patodi|nom3= V. K.|enllaçautor3=Vijay Kumar Patodi|títol= On the heat equation and the index theorem|publicació= Invent. Math.|volum= 19 |any=1973|pàgines= 279–330|	doi=10.1007/BF01425417|mr=0650828|exemplar=4|bibcode=1973InMat..19..279A|s2cid= 115700319}}. {{citar ref|títol= Errata |publicació=Invent. Math.|volum= 28 |any=1975|pàgines= 277–280	|doi=10.1007/BF01425562|mr= 0650829|exemplar= 3|bibcode=1975InMat..28..277A|cognom1=Atiyah|nom1=M.|cognom2=Bott|nom2=R.|cognom3=Patodi|nom3=V. K.|doi-access=free}}
* {{citar ref|cognom1= Atiyah|nom1= Michael|enllaçautor1=Michael Atiyah|cognom2= Schmid|nom2= Wilfried|enllaçautor2=Wilfried Schmid |títol=A geometric construction of the discrete series for semisimple Lie groups|publicació= Invent. Math.|volum= 42 |any=1977|pàgines= 1–62|doi=10.1007/BF01389783|mr= 0463358|bibcode=1977InMat..42....1A|s2cid= 189831012}}, {{citar ref|títol= Erratum|publicació= Invent. Math. |volum= 54 |any=1979|exemplar= 2|pàgines=189–192|doi=10.1007/BF01408936|autor= Atiyah, Michael|cognom2=Schmid|nom2=Wilfried|mr= 0550183|bibcode=1979InMat..54..189A|doi-access=free}}
* {{citar ref|cognom= Atiyah|nom= Michael|enllaçautor=Michael Atiyah|títol= Collected works. Vol. 3. Index theory: 1 |series=Oxford Science Publications|editorial= The Clarendon Press, Oxford University Press|lloc=Nova York|any= 1988a| isbn= 978-0-19-853277-4 |url=https://books.google.cat/books?isbn=0198532776|mr= 0951894}}
* {{citar ref|cognom= Atiyah|nom= Michael|enllaçautor=Michael Atiyah|títol= Collected works. Vol. 4. Index theory: 2 |series=Oxford Science Publications|editorial= The Clarendon Press, Oxford University Press|lloc=Nova York|any= 1988b| isbn= 978-0-19-853278-1|mr= 0951895}}
* {{citar ref|nom1=P.|cognom1=Baum|enllaçautor1=Paul Baum (mathematician)|nom2=W.|cognom2=Fulton|enllaçautor2=William Fulton (mathematician)|nom3=R.|cognom3=Macpherson|enllaçautor3=Robert MacPherson (mathematician)|títol=Riemann-Roch for singular varieties|publicació=Acta Mathematica|volum=143|any=1979|pàgines=155–191|doi=10.1007/BF02684299|zbl=0332.14003|s2cid=83458307|url=http://www.numdam.org/item/PMIHES_1975__45__101_0/}}
* {{citar ref|nom1=Nicole |cognom1=Berline|nom2= Ezra |cognom2=Getzler|nom3= Michèle|cognom3= Vergne|títol= Heat Kernels and Dirac Operators|any=1992|isbn= 978-3-540-53340-5|editorial=Springer|lloc=Berlín}} This gives an elementary proof of the index theorem for the Dirac operator, using the heat equation and supersymmetry.
* {{citar ref|enllaçautor=Jean-Michel Bismut|nom=Jean-Michel|cognom=Bismut|títol=The Atiyah–Singer Theorems: A Probabilistic Approach. I. The index theorem|publicació=J. Funct. Analysis|any=1984|volum=57|pàgines=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.
* {{citar ref|cognom=Cartan-Schwartz|enllaçautor=Cartan-Schwartz|títol=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)|editorial= École Normale Supérieure, Secrétariat mathématique, Paris|any=1965|zbl=0149.41102}}
* {{citar ref|nom=A.|cognom=Connes|enllaçautor=Alain Connes|títol=Non-commutative differential geometry|publicació=Publications Mathématiques|volum=62|any=1986|doi=10.1007/BF02698807|pàgines=257–360|zbl=0592.46056|s2cid=122740195|url=http://www.numdam.org/item/PMIHES_1985__62__41_0/}}
* {{citar ref|nom=A.|cognom=Connes|enllaçautor=Alain Connes|títol=Noncommutative Geometry|editorial=Academic Press|isbn=978-0-12-185860-5|lloc=San Diego|any=1994|zbl=0818.46076|url-access=registration|url=https://archive.org/details/noncommutativege0000conn}}
* {{citar ref|nom1=A.|cognom1=Connes|enllaçautor1=Alain Connes|nom2=H.|cognom2=Moscovici|títol=Cyclic cohomology, the Novikov conjecture and hyperbolic groups|publicació=Topology|volum=29|any=1990|pàgines=345–388|url=http://www.alainconnes.org/docs/novikov.pdf|zbl=0759.58047|doi=10.1016/0040-9383(90)90003-3|exemplar=3}}
* {{citar ref|nom1=A.|cognom1=Connes|enllaçautor1=Alain Connes|nom2=D.|cognom2=Sullivan|enllaçautor2=Dennis Sullivan|nom3=N.|cognom3=Teleman|títol=Quasiconformal mappings, operators on Hilbert space and local formulae for characteristic classes|publicació=Topology|volum=33|exemplar=4|any=1994|pàgines=663–681|zbl=0840.57013|doi=10.1016/0040-9383(94)90003-5|doi-access=free}}
* {{citar ref|nom1=S.K.|cognom1=Donaldson|enllaçautor1=Simon Donaldson|nom2=D.|cognom2=Sullivan|enllaçautor2=Dennis Sullivan|títol=Quasiconformal 4-manifolds|publicació=Acta Mathematica|volum=163|any=1989|pàgines=181–252|doi=10.1007/BF02392736|zbl=0704.57008|doi-access=free}}
* {{citar ref|nom=I. M. |cognom=Gel'fand|enllaçautor=Israel Gelfand|títol=On elliptic equations|publicació=Russ. Math. Surv.|volum= 15 |exemplar=3|any=1960|pàgines= 113–123|doi=10.1070/rm1960v015n03ABEH004094|bibcode=1960RuMaS..15..113G}} reprinted in volume 1 of his collected works, p. 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.
* {{citar ref|nom=E.|cognom= Getzler|enllaçautor=Ezra Getzler|url=http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1103940796 |títol=Pseudodifferential operators on supermanifolds and the Atiyah–Singer index theorem |publicació=Commun. Math. Phys.|volum= 92 |any=1983|pàgines= 163–178 |doi=10.1007/BF01210843|exemplar=2|bibcode = 1983CMaPh..92..163G |s2cid= 55438589}}
* {{citar ref|nom=E. |cognom=Getzler|doi=10.1016/0040-9383(86)90008-X |títol=A short proof of the local Atiyah–Singer index theorem|publicació=Topology|volum= 25 |any=1988|pàgines= 111–117|doi-access=free}}
* {{citar ref|nom=Peter B. |cognom=Gilkey|any=1994|url= http://www.emis.de/monographs/gilkey/|títol=Invariance Theory, the Heat Equation, and the Atiyah–Singer Theorem| 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}}
* {{citar ref|nom1=Nigel |cognom1=Higson|nom2=John |cognom2=Roe|títol=Analytic K-homology |editorial= Oxford University Press |any=2000 |isbn=9780191589201}}
* {{citar ref|nom1=M.|cognom1=Hilsum|títol=Structures riemaniennes ''L''<sup>p</sup> et ''K''-homologie|publicació= Annals of Mathematics|volum=149|exemplar=3|any=1999|pàgines=1007–1022|doi=10.2307/121079|arxiv=math/9905210|jstor=121079|s2cid=119708566}}
* {{citar ref|nom=G.G.|cognom=Kasparov|títol=Topological invariance of elliptic operators, I: K-homology|publicació=Math. USSR Izvestija (Engl. Transl.)|volum=9|any=1972|exemplar=4|pàgines=751–792|doi=10.1070/IM1975v009n04ABEH001497|bibcode = 1975IzMat...9..751K}}
* {{citar ref|nom1=R.|cognom1=Kirby|enllaçautor1=Robion Kirby|nom2=L.C.|cognom2=Siebenmann|enllaçautor2=Laurent C. Siebenmann|títol=On the triangulation of manifolds and the Hauptvermutung|publicació=Bull. Amer. Math. Soc.|volum=75|any=1969|pàgines=742–749|doi=10.1090/S0002-9904-1969-12271-8|exemplar=4|doi-access=free}}
* {{citar ref|nom1=R.|cognom1=Kirby|enllaçautor1=Robion Kirby|nom2=L.C.|cognom2=Siebenmann|enllaçautor2=Laurent C. Siebenmann|títol=Foundational Essays on Topological Manifolds, Smoothings and Triangulations|editorial=Princeton University Press and Tokio University Press|lloc=Princeton|series=Annals of Mathematics Studies in Mathematics|volum=88|any=1977}}
* {{citar ref|nom=Richard B. |cognom=Melrose|any=1993|url=http://www-math.mit.edu/~rbm/book.html |títol=The Atiyah–Patodi–Singer Index Theorem| isbn=978-1-56881-002-7|editorial=Peters|lloc=Wellesley, Mass.}} Free online textbook.
* {{citar ref|nom=S.P.|cognom=Novikov|enllaçautor=Sergei Novikov (mathematician)|títol=Topological invariance of the rational Pontrjagin classes|publicació=[[Doklady Akademii Nauk SSSR]]|volum=163|any=1965|url=http://www.mi.ras.ru/~snovikov/21.pdf|pàgines=298–300}}
* {{citar ref|nom=Richard S. |cognom=Palais|enllaçautor=Richard Palais |any=1965|títol=Seminar on the Atiyah–Singer Index Theorem| series=Annals of Mathematics Studies|volum=57| isbn=978-0-691-08031-4|editorial=Princeton Univ Press|lloc=S.l.|url=https://books.google.cat/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.)
* {{citar ref|cognom=Shanahan|nom= P.|títol=The Atiyah–Singer index theorem: an introduction|isbn=978-0-387-08660-6 |series=Lecture Notes in Mathematics |volum=638|editorial= Springer|any= 1978|doi=10.1007/BFb0068264|citeseerx= 10.1.1.193.9222}}
* {{citar ref|nom=I.M.|cognom=Singer|enllaçautor=Isadore Singer|títol=Prospects in Mathematics|capítol=Future extensions of index theory and elliptic operators|series=Annals of Mathematics Studies in Mathematics|volum=70|any=1971|pàgines=171–185}}
* {{citar ref|nom=D.|cognom=Sullivan|enllaçautor=Dennis Sullivan|capítol=Hyperbolic geometry and homeomorphisms|títol=J.C. Candrell, "Geometric Topology", Proc. Georgia Topology Conf. Athens, Georgia, 1977|editorial=Academic Press|lloc=Nova York|any=1979|pàgines=543–595|isbn=978-0-12-158860-1|zbl=0478.57007}}
* {{citar ref|nom1=D.|cognom1=Sullivan|enllaçautor1=Dennis Sullivan|nom2=N.|cognom2=Teleman|títol=An analytic proof of Novikov's theorem on rational Pontrjagin classes|publicació=Publications Mathématiques|lloc=París|volum=58|any=1983|pàgines=291–293|doi=10.1007/BF02953773|zbl=0531.58045|s2cid=8348213|url=http://www.numdam.org/item/PMIHES_1983__58__79_0/}}
* {{citar ref|nom=N.|cognom=Teleman|títol=Combinatorial Hodge theory and signature operator|publicació=Inventiones Mathematicae|volum=61|any=1980|pàgines=227–249|doi=10.1007/BF01390066|exemplar=3|bibcode = 1980InMat..61..227T |s2cid=122247909}}
* {{citar ref|nom=N.|cognom=Teleman|títol=The index of signature operators on Lipschitz manifolds|publicació=Publications Mathématiques|volum=58|any=1983|pàgines=251–290|doi=10.1007/BF02953772|zbl=0531.58044|s2cid=121497293|url=http://www.numdam.org/item/PMIHES_1983__58__39_0/}}
* {{citar ref|nom=N.|cognom=Teleman|títol=The index theorem on topological manifolds|publicació=Acta Mathematica|volum=153|any=1984|pàgines=117–152|doi=10.1007/BF02392376|zbl=0547.58036|doi-access=free}}
* {{citar ref|nom=N.|cognom=Teleman|títol=Transversality and the index theorem|publicació=Integral Equations and Operator Theory|volum=8|any=1985|pàgines=693–719|doi=10.1007/BF01201710|exemplar=5|s2cid=121137053}}
* {{citar ref|nom=R.|cognom=Thom|enllaçautor=René Thom|capítol=Les classes caractéristiques de Pontrjagin de variétés triangulées|títol=Symp. Int. Top. Alg. Mexico|any=1956|pàgines=54–67}}
* {{citar ref|cognom1=Witten |nom1=Edward |enllaçautor1=Edward Witten |títol=Supersymmetry and Morse theory |any=1982 |publicació=[[Journal of Differential Geometry|J. Diff. Geom.]] |volum=17 |exemplar=4 |pàgines=661–692 | mr=0683171| doi=10.4310/jdg/1214437492 | doi-access=free}}
* {{citar ref|editor-last=Shing-Tung Yau|editor-link=Shing-Tung Yau|títol=The Founders of Index Theory|any=2009|editorial=International Press of Boston|place=Somerville, Mass.|edició=2a edició|orig-year=First published in 2005|isbn=978-1571461377}} - Personal accounts on [[Michael Atiyah|Atiyah]], [[Raoul Bott|Bott]], [[Friedrich Hirzebruch|Hirzebruch]] and [[Isadore Singer|Singer]].
{{refend}}

[[Categoria:Geometria diferencial]]
[[Categoria:Teoremes de geometria]]