# Atiyah-Singer indizearen teorema

Geometria diferentzialean, Atiyah-Singer indizearen teoremak zera dio: barietate trinko baten gaineko eragile diferentzial eliptiko batean, indize analitikoa (soluzioen espazioaren dimentsioarekin erlazionatua) eta indize topologikoa (zenbait datu topologikoren bidez definitua) berdinak dira. Michael Atiyah-k eta Isadore Singer-ek frogatu zuten 1963an.
Beste teorema asko ere baditu, hala nola Chern–Gauss–Bonnet-en teorema eta Riemann–Roch-en teorema, kasu berezi gisa, eta fisika teorikoan aplikazioak ditu.

## Historia

Israel Gel'fand-ek planteatu zuen eragile diferentzial eliptikoen indize-arazoa. Indizearen homotopia inbariantea zela ohartu zen eta inbariante topologikoen bidezko formula baten beharra sumatu zuen. Haren beharra hainbat adibideetan ikusten zen eta haiek motibatuta egin zuen lan: Riemann–Roch-en teorema (eta haren orokortzea den Hirzebruch–Riemann–Roch-en teorema) eta Hirzebruch-en sinaduraren teorema. Friedrich Hirzebruch-ek eta Armand Borel-ek spin barietate baten Â genus-aren integragarritasuna frogatu zuen, eta Atiyah-k iradoki zuen integragarritasun hori azaltzea posiblea zela Dirac eragilearen indizea balitz (Atiyah eta Singer-ek gauza bera aurkitu zuten 1961ean).
Atiyah-Singer teorema 1963an iragarri zen. Iragarpen horretan egindako frogaren eskema ez zuten beraiek argitaratu, baina Richard Palais-ek Princetongo Unibertsitatean emandako mintegiko argitalpenean agertzen da. Aldi berean, Parisen egin zen "Séminaire Cartan-Schwartz 1963/64" mintegiko argitalpenean ere agertu zen. Atiyah-k Parisen eman zuen azken hitzaldia mugatutako barietateei buruzkoa izan zen. Argitaratutako lehen frogak cobordism izenez ezagutzen den barietate trinkoen baliokidetasun erlazioan oinarritutako teoria baztertu zuen eta haren ordez K-teoria erabili zen hainbat orokortze frogatzeko.
* 1965: Sergey P. Novikov-ek Pontryagin-en klase arrazionalen inbariantza topologikoari buruzko emaitzak argitaratu zituen barietate lauetarako.
* Robion Kirby-ren eta Laurent C. Siebenmann-en emaitzek René Thom-en artikuluarekin konbinatuta, barietate topologikoetan Pontryagin-en klase arrazionalak existitzen direla frogatu zuten. Pontryagin-en klase arrazionalak barietate lau eta topologikoei buruzko indize-teoremaren funtsezko osagaiak dira.
* 1969: Michael Atiyah-k espazio metriko arbitrarioetan eragile eliptiko abstraktuak definitu zituen. Eragile eliptiko abstraktuak Kasparoven teorian eta Connes-en geometria diferentzial ez-trukakorrean protagonista bihurtu ziren.
* 1971: Isadore Singer-ek programa bat proposatzen du indize-teoriaren etorkizuneko hedapenetarako.
* 1972: Gennadi G. Kasparov-ek eragile eliptiko abstraktuen bidez K-homologia egiteari buruzko lana argitaratu zuen.
* 1973: Atiyah, Raoul Bott eta Vijay Patodi-k indize-teoremaren beste froga bat eman zuten, Melrose-ren artikulu batean deskribatutako beroaren ekuazioa erabiliz.
* 1977: Dennis Sullivan-ek bere teorema ezarri zuen Lipschitz-en eta egitura quasiconformal-en existentziari eta bakartasunari buruz, 4-dimentsiokoak ez diren barietate topologikoetarako.
* 1983: Ezra Getzler-ek, Edward Witten-en eta Luis Alvarez Gaume-ren ideiek bultzatuta, lokalki Dirac-en eragile diren eragileetarako indize-teorema lokalaren froga labur bat eman zuen; kasu erabilgarri askotarako balio du.
* 1983: Nicolae Teleman-ek bektore-sortetan balioak dituzten sinadura-eragileen indize analitikoak inbariante topologikoak direla frogatu zuen.
* 1984: Teleman-ek indizearen teorema ezarri zuen barietate topologikoetan.
* 1986: Alain Connes-ek geometria ez-trukakorrari buruzko bere funtsezko artikulua argitaratu zuen.
* 1989: Simon K. Donaldson-ek eta Sullivan-ek 4. dimentsioko barietate quasiconformal-ei buruzko Yang–Mills teoria aztertu zuten. S sinadura-eragilea definitu zuten bigarren mailako forma diferentzialetarako.
* 1990: Connes-ek eta Henri Moscovici-k indizearen formula lokala frogatu zuten geometria ez-trukakorraren testuinguruan.
* 1994: Connes-ek, Sullivan-ek eta Teleman-ek indizearen teorema frogatu zuten barietate quasiconformal-etako sinadura-eragileetarako.

## Notazioa

* X barietare lau trinkoa da (mugarik gabea).
* E eta F bektore-mataza lauak dira X barietatean.
* E-tik F-rako eragile diferentzial eliptikoa da D. Beraz, koordenatu lokaletan eragile diferentzial gisa jarduten du, E-ren sekzio lauak F-ren sekzio lauetara eramanez.

## Eragile diferentzialaren ikurra

Izan bedi n ordenako espazio euclidestar bateko k aldagaiko D eragile diferentziala ($x_{1},\dots ,x_{k}$). Haren ikurra 2k aldagaiko funtzioa da, ($x_{1},\dots ,x_{k},y_{1},\dots ,y_{k}$) eta n ordena baino gutxiagoa duten gaiak kenduz eta $\partial /\partial x_{i}$-ren ordez $y_{i}$ idatziz lortzen da. Orduan, ikurra homogeneoa da y aldagaietan eta n gradukoa. Ikurra ondo definituta dago, nahiz eta $\partial /\partial x_{i}$ ez den trukakorra $x_{i}$-rekin, ordena altueneko terminoak bakarrik mantentzen direlako eta eragile diferentzialaktrukakorrak direlako "behe-ordenako terminoetaraino". Eragileari eliptiko esaten zaio y-etako bat gutxienez zero ez den guztietan ikurra zero ez bada.
Adibidea: k aldagaiko Laplace-ren eragileak $y_{1}^{2}+\cdots +y_{k}^{2}$ ikurra du, eta eliptikoa da, $y_{i}$-ren bat zeroren desberdina denean ikur osoa zeroren desberdina delako. Uhin-eragileak $-y_{1}^{2}+\cdots +y_{k}^{2}$ ikurra du, eta ez da eliptikoa $k\geq 2$ denean, zeroren desberdinak diren y batzuetarako ikurra zero bihurtzen delako.
Modu berean definitzen da X barietate lau bateko n ordenako eragile diferentzial baten ikurra, koordenatu lokalak erabiliz. X-ren kotangente-matazaren funtzio bat da, n graduko homogeneoa espazio kotangente bakoitzean. Orokortuz, E eta F bi bektore-sorten arteko eragile diferentzial baten ikurra eliptikoa da, baldin Hom(E$_x$, F$_x$)-ren elementua alderantzikagarria bada zero ez diren bektore kotangente guztientzat, X-ren edozein x puntutan.
Eragile eliptikoen funtsezko ezaugarri bat da ia alderantzikagarriak direla; horrek lotura estua du sinboloak ia alderantzikagarriak izatearekin. Zehatzago esanda, D barietate trinko bateko eragile eliptiko batek bakarra ez den D′ parametriko (sasialderantzizko edo pseudoinverse) bat du, non DD′ -1 eta D′D -1 eragile trinkoak diren. Ondorioz, D-ren nukleoa dimentsio finitukoa da, eragile trinkoen autoespazio guztiak, nukleoa izan ezik, dimentsio-finitukoak direlako. (Operadore diferentzial eliptiko baten sasialderantzizkoa ia inoiz ez da eragile diferentziala. Hala ere, eragile sasidiferentzial eliptikoa da.)

## Indize analitikoa

D eragile diferentzial eliptikoak sasialderantzizko bat duenez, "Fredholm eragilea" da. Fredholm eragileek horrela definitutako indize bat dute: D-ren nukleoaren dimentsioaren (finitua) (Df = 0-ren soluzioak) eta D-ren konukleoaren dimentsioaren (finitua) arteko diferentzia (Df = g). Bestela esanda,
    Indizea(D) = dim Ker(D)–dim Coker(D) = dim Ker(D)–dim Ker(D*).
Horri D indize analitikoa deitzen zaio batzuetan.
Adibidea: Demagun barietatea zirkulua dela (R/Z gisa hartuta) eta λ konstante konplexu baterako d/dx − λ eragilea D dela. (Hori da eragile eliptiko baten adibiderik sinpleena.) Orduan, nukleoa exp(λx)-ren multiploen espazioa da λ konstantea 2πi-ren multiplo integrala bada, eta bestela 0 da. Adjuntuaren nukleoa antzeko espazio bat da, λ-ren ordez bere konplexu konjugatua duena. Beraz, D-k 0 indizea du. Adibide horrek erakusten du eragile eliptikoen nukleoa eta cokernela modu etenean jauzi daitezkeela eragile eliptikoa aldatu ahala; beraz, ez dago formula egokirik haien dimentsioetarako, datu topologiko jarraituei dagokienez. Hala ere, nukleoaren eta cokernelaren dimentsioetako jauziak berdinak dira, eta, beraz, haien dimentsioen diferentziaren bidez emandako indizea etengabe aldatzen da, eta indizearen teoremaren bidez eman daiteke, datu topologikoak erabiliz.

## Indize topologikoa

Izan bitez $n$ dimentsioko $X$ barietate trinkoa eta $E$ eta $F$ bektore-mataza lauak. $X$ barietatean $E$ eta $F$ arteko $D$ eragile diferentzial eliptikoaren indize topologikoa horrela definitzen da:
    $(-1)^{n}\operatorname {ch} (D)\operatorname {Td} (X)[X]=(-1)^{n}\int _{X}\operatorname {ch} (D)\operatorname {Td} (X)$
beste era batera esanda, $\operatorname {ch} (D)\operatorname {Td} (X)$ kohomologia klase mistoko osagai goi-dimentsionalaren balioa, $X$ barietarearen oinarrizko homologia klasean, zeinu-diferentzia bateraino.
* $X$-ren mataza-tangente konplexutuaren Todd-klasea $\operatorname {Td} (X)$ da.
* $\operatorname {ch} (D)$ eta $\varphi ^{-1}(\operatorname {ch} (d(p^{*}E,p^{*}F,\sigma (D))))$ berdinak dira, non:
** $p:B(X)/S(X)\to X$ esfera-sortaren Thom isomorfismoa hau den:$\varphi :H^{k}(X;\mathbb {Q} )\to H^{n+k}(B(X)/S(X);\mathbb {Q} )$
** Chern-en karakterea: $\operatorname {ch} :K(X)\otimes \mathbb {Q} \to H^{*}(X;\mathbb {Q} )$
** $d(p^{*}E,p^{*}F,\sigma (D))$ "desberdintasun-elementua" da $K(B(X)/S(X))$-n, $B(X)$-n $p^{*}E$ eta $p^{*}F$ bektore-sortekin eta haien arteko $\sigma (D)$ isomorfismoarekin erlazionatuta dagoena $S(X)$ aspiezpazioan.
** $D$-ren ikurra $\sigma (D)$ da.
Egoera batzuetan, aurreko formula sinplifika daiteke helburu konputazionalekin. Zehazki, $X$ barietatea $2m$ dimentsiokoa eta orientagarria (trinkoa) bada eta $e(TX)$ Eulerren klasea zero ez bada, orduan Thom-en isomorfismoa aplikatuz eta Eulerren klaseaz zatituz, indize topologikoa horrela adieraz daiteke:
    $(-1)^{m}\int _{X}{\frac {\operatorname {ch} (E)-\operatorname {ch} (F)}{e(TX)}}\operatorname {Td} (X)$
non, zatiketak zentzua duen $e(TX)^{-1}$ kohomologia-eraztunetik $BSO$ sailkapen-espaziora eramanez.
Indize topologikoa K-teoria soilik erabiliz ere defini daiteke (definizio alternatibo hori bateragarria da, nolabait, Chern-karakterearen eraikuntzarekin). Izan bedi Y barietate trinkoaren X azpibarietate trinkoa. Orduan, K(TX)-tik K(TY)-rako mapeatzea existitzen da. K(TX)-ko elementu baten indize topologikoa horrela definitzen da: eragiketa horren irudiaren emaitza Y espazio euklidestar jakin batean, non K(TY) modu naturalean defini daitekeen Z multzoko zenbaki osoekin (Bott periodizitatearen ondorioz). X-k espazio euklidestarrean duen txertatzearekin independentea da mapeatze hori. Goikoa bezalako eragile diferentzial batek modu naturalean definitzen du K(TX)-ko elementu bat, eta mapeatze horren irudia Z multzoan indize topologikoa da.
Beti bezala, $X$ barietate trinkoan $E$ eta $F$ bektore-matazen arteko eragile diferentzial eliptiko bat $D$ da.
Indizearen problema honakoa da: D-ren indize analitikoa kalkulatu, s ikurra eta barietatetik eta bektore-sortatik eratorritako datu topologikoak bakarrik erabiliz. Atiyah-Singer indizearen teoremak problema hori ebazten du, eta zera dio:
    D-ren indize analitikoa eta bere indize topologikoa berdinak dira.
Nahiz eta definizio bikaina izan, normalean indize topologikoa erraz ebalua daiteke esplizituki. Horri esker, indize analitikoa ebalua daiteke. (Eragile eliptikoen nukleoa eta cokernela, oro har, oso zailak dira bakarka ebaluatzeko; indizearen teoremak erakusten du, normalean, haien arteko diferentzia ebalua daitekeela.) Barietate baten inbariante garrantzitsu asko (adibidez, sinadura) eragile diferentzial egokien indize gisa eman daitezke; beraz, indizearen teoremari esker, inbariante horiek datu topologikoen arabera ebalua ditzakegu.
Indize analitikoa zuzenean ebaluatzea zaila izaten den arren, zenbaki oso bat da, noski. Indize topologikoa, definizioz, zenbaki arrazionala da, baina, oro har, ez da agerikoa osoa ere badela. Beraz, Atiyah-Singer indizearen teorematik integraltasun (osotasun) propietate batzuk ondorioztatzen dira, indize topologikoa osoa dela ondorioztatzen delako.
Bistan denez, eragile diferentzial eliptiko baten indizea zero bihurtzen da, eragilea bera adjuntua bada. Era berean, X barietatearen dimentsioa bakoitia bada, indizea desagertzen da, nahiz eta badiren eragile eliptiko sasidiferentzialak, dimentsio bakoitietarako zero bihurtzen ez direnak.

## Erreferentziak

* ↑ (Ingelesez) Atiyah, M. F.; Singer, I. M.. (1963). «The index of elliptic operators on compact manifolds» Bulletin of the American Mathematical Society 69 (3): 422–433. doi:10.1090/S0002-9904-1963-10957-X. ISSN 0002-9904. (Noiz kontsultatua: 2022-12-24).
* ↑ Gel'fand, I M. (1960-06-30). «ON ELLIPTIC EQUATIONS» Russian Mathematical Surveys 15 (3): 113–123. doi:10.1070/RM1960v015n03ABEH004094. ISSN 0036-0279. (Noiz kontsultatua: 2022-12-29).
* ↑ M. F. Atiyah, I. M. Singer. (1963). The Index of Elliptic Operators on Compact Manifolds. American Mathematical Society (AMS), An announcement of the index theorem., 69, 422-43 or. ISBN https://doi.org/10.1090%2FS0002-9904-1963-10957-X..
* ↑ Palais, Richard S.. (1965). Seminar on the Atiyah-Singer index theorem. Princeton University Press ISBN 0-691-08031-3. PMC 529768. (Noiz kontsultatua: 2022-12-29).
* ↑ (Frantsesez) Henri Cartan, Laurent Schwartz. (1965). Théorème d'Atiyah-Singer sur l'indice d'un opérateur différentiel elliptique. 16 année: 1963/64 .. Séminaire, Fasc. 1 (Exp. Nos. 1 à 15), Fasc. 2 (Exp. Nos. 16 à 25) or. (Noiz kontsultatua: 2022-12-29).
* 1 2 Atiyah, M. F.; Singer, I. M.. (1968). «The Index of Elliptic Operators: I» Annals of Mathematics 87 (3): 484–530. doi:10.2307/1970715. ISSN 0003-486X. (Noiz kontsultatua: 2022-12-29).
* ↑ Atiyah, M. F.; Singer, I. M.. (1968). «The Index of Elliptic Operators: III» Annals of Mathematics 87 (3): 546–604. doi:10.2307/1970717. ISSN 0003-486X. (Noiz kontsultatua: 2022-12-29).
* ↑ Atiyah, M. F.; Singer, I. M.. (1971). «The Index of Elliptic Operators: IV» Annals of Mathematics 93 (1): 119–138. doi:10.2307/1970756. ISSN 0003-486X. (Noiz kontsultatua: 2022-12-29).
* ↑ Atiyah, M. F.; Singer, I. M.. (1971). «The Index of Elliptic Operators: V» Annals of Mathematics 93 (1): 139–149. doi:10.2307/1970757. ISSN 0003-486X. (Noiz kontsultatua: 2022-12-29).
* ↑ Novikov, S. P.. (1965, Translated by J. M. Danskin, 2009). «Rational Pontrjagin classes. Homeomorphism and homotopy type of closed manifolds» Topological Library (World Scientific.) Volume 44: 185–203. doi:10.1142/9789812836878_0004. ISBN 978-981-283-686-1. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Kirby, R. C.; Siebenmann, L. C.. (1969). «On the triangulation of manifolds and the Hauptvermutung» Bulletin of the American Mathematical Society 75 (4): 742–749. doi:10.1090/S0002-9904-1969-12271-8. ISSN 0002-9904. (Noiz kontsultatua: 2022-12-29).
* ↑ Thom, R.. (1956). Les classes caractéristiques de Pontrjagin de variétés triangulées. Symp. Int. Top. Alg. Mexico, 54–67 or..
* ↑ Atiyah, M.F.. (1970). Global theory of elliptic operators. .
* ↑ «I. M. Singer, “Future extensions of index theory and elliptic operators”, Matematika, 18:1 (1974), 52–61; Ann. of Math. Studies, 1971, 171–185» www.mathnet.ru (Noiz kontsultatua: 2022-12-29).
* ↑ Kasparov, G G. (1975). «Topological Invariants of Elliptic Operators. I: K-Homology» Mathematics of the USSR-Izvestiya 9 (4): 751–792. doi:10.1070/im1975v009n04abeh001497. ISSN 0025-5726. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Atiyah, M.; Bott, R.; Patodi, V. K.. (1973-12-01). «On the heat equation and the index theorem» Inventiones mathematicae 19 (4): 279–330. doi:10.1007/BF01425417. ISSN 1432-1297. (Noiz kontsultatua: 2022-12-29).
* ↑ Melrose, Richard B.. (1993). The Atiyah-Patodi-Singer index theorem. A.K. Peters ISBN 1-56881-002-4. PMC 27936385. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Sullivan, Dennis. (1977). Geometric Topology. Proceedings of the 1977 Georgia Topology Conference ISBN 0-12-158860-2. PMC 4593809. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Getzler, Ezra. (1983-06). «Pseudodifferential operators on supermanifolds and the Atiyah-Singer index theorem» Communications in Mathematical Physics 92 (2): 163–178. doi:10.1007/BF01210843. ISSN 0010-3616. (Noiz kontsultatua: 2022-12-29).
* ↑ Witten, Edward. (1982-01-01). «Supersymmetry and Morse theory» Journal of Differential Geometry 17 (4) doi:10.4310/jdg/1214437492. ISSN 0022-040X. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Teleman, Nicolae. (1983-12). «The index of signature operators on Lipschitz manifolds» Publications mathématiques de l'IHÉS 58 (1): 39–78. doi:10.1007/BF02953772. ISSN 0073-8301. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Teleman, Nicolae. (1984). «The index theorem for topological manifolds» Acta Mathematica 153 (0): 117–152. doi:10.1007/BF02392376. ISSN 0001-5962. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Connes, Alain. (1985-12). «Non-commutative differential geometry» Publications mathématiques de l'IHÉS 62 (1): 41–144. doi:10.1007/BF02698807. ISSN 0073-8301. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Donaldson, S. K.; Sullivan, D. P.. (1989). «Quasiconformal 4-manifolds» Acta Mathematica 163 (0): 181–252. doi:10.1007/BF02392736. ISSN 0001-5962. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Connes, Alain; Moscovici, Henri. (1990). «Cyclic cohomology, the Novikov conjecture and hyperbolic groups» Topology 29 (3): 345–388. doi:10.1016/0040-9383(90)90003-3. (Noiz kontsultatua: 2022-12-29).
* ↑ (Ingelesez) Connes, Alain; Sullivan, Dennis; Teleman, Nicolas. (1994-10). «Quasiconformal mappings, operators on hilbert space, and local formulae for characteristic classes» Topology 33 (4): 663–681. doi:10.1016/0040-9383(94)90003-5. (Noiz kontsultatua: 2022-12-29).
* ↑ Shanahan, Patrick. (1978). The Atiyah-Singer Index Theorem. Springer Berlin Heidelberg doi:10.1007/bfb0068264. ISBN 978-3-540-08660-4. (Noiz kontsultatua: 2022-12-30).
* ↑ Lawson, H. Blaine, Jr.. (1989). Spin geometry. ISBN 0-691-08542-0. PMC 19626011. (Noiz kontsultatua: 2022-12-30).

## Kanpo estekak

* (Ingelesez) Index formulas Voitsekhovskii, M.I.; Shubin, M.A., Encyclopedia of Mathematics, EMS Press
* (Ingelesez) The Atiyah-Singer Index theorem what it is and why you should care Mazzeo, Rafe, 2002
* (Ingelesez) Interview with Michael Atiyah and Isadore Singer Martin Raussen, Christian Skau. European Mathematical Society Newsletter, (2004), pages 24-30.
* (Ingelesez) Recollections from the Early Days of Index Theory and Pseudo–Differential Operators R.T. Seeley et al. 1998ko irailean Roskilden (Danimarka) egindako sinposio batean afaldu osteko elkarrizketa informal baten transkripzio partziala.
* Datuak: Q755991