Atiyah–Singer index theorem

<h2 id="history">History</h2>
The index problem for elliptic differential operators was posed by <a href="/facts/Israel_Gel%2527fand/TJeJouKs">Israel Gel'fand</a>.<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a> He noticed the homotopy invariance of the index, and asked for a formula for it by means of <a href="/facts/Topological_invariant/vbJR18Sx">topological invariants</a>. Some of the motivating examples included the <a href="/facts/Riemann%25E2%2580%2593Roch_theorem/TRaNyUQA">Riemann–Roch theorem</a> and its generalization the <a href="/facts/Hirzebruch%25E2%2580%2593Riemann%25E2%2580%2593Roch_theorem/PxsJ0BSm">Hirzebruch–Riemann–Roch theorem</a>, and the <a href="/facts/Hirzebruch_signature_theorem/uDcIGALT">Hirzebruch signature theorem</a>. <a href="/facts/Friedrich_Hirzebruch/5MMEInjc">Friedrich Hirzebruch</a> and <a href="/facts/Armand_Borel/QkRUS4ej">Armand Borel</a> had proved the integrality of the <a href="/facts/%25C3%2582_genus/bUM7KXJ0">Â genus</a> of a spin manifold, and Atiyah suggested that this integrality could be explained if it were the index of the <a href="/facts/Dirac_operator/1kdGnoTt">Dirac operator</a> (which was rediscovered by Atiyah and Singer in 1961).
The Atiyah–Singer theorem was announced in 1963.<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a> The proof sketched in this announcement was never published by them, though it appears in Palais's book.<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a> It appears also in the "Séminaire Cartan-Schwartz 1963/64"<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a> that was held in Paris simultaneously with the seminar led by <a href="/facts/Richard_Palais/vpV6RX7h">Richard Palais</a> at <a href="/facts/Princeton_University/n3EPGHBM">Princeton University</a>. The last talk in Paris was by Atiyah on manifolds with boundary. Their first published proof<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a> replaced the <a href="/facts/Cobordism/ctN2FSTB">cobordism</a> theory of the first proof with <a href="/facts/K-theory/qI1kBrjV">K-theory</a>, and they used this to give proofs of various generalizations in another sequence of papers.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a>

<ul><li>1965: <a href="/facts/Sergei_Novikov_(mathematician)/hqMGDRul">Sergey P. Novikov</a> published his results on the topological invariance of the rational <a href="/facts/Pontryagin_class/TIFceC5j">Pontryagin classes</a> on smooth manifolds.<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a></li>
<li><a href="/facts/Robion_Kirby/QMxyDhtv">Robion Kirby</a> and <a href="/facts/Laurent_C._Siebenmann/8SKMhs5J">Laurent C. Siebenmann</a>'s results,<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a> combined with <a href="/facts/Ren%25C3%25A9_Thom/hdzhWSaC">René Thom</a>'s paper<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a> proved the existence of rational Pontryagin classes on topological manifolds. The rational Pontryagin classes are essential ingredients of the index theorem on smooth and topological manifolds.</li>
<li>1969: Michael Atiyah defines abstract elliptic operators on arbitrary metric spaces. Abstract elliptic operators became protagonists in Kasparov's theory and Connes's noncommutative differential geometry.<a class="footnote-ref" id="fnref:13" href="#fn:13">13</a></li>
<li>1971: Isadore Singer proposes a comprehensive program for future extensions of index theory.<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a></li>
<li>1972: Gennadi G. Kasparov publishes his work on the realization of K-homology by abstract elliptic operators.<a class="footnote-ref" id="fnref:15" href="#fn:15">15</a></li>
<li>1973: Atiyah, <a href="/facts/Raoul_Bott/5JHkhPx8">Raoul Bott</a>, and <a href="/facts/Vijay_Patodi/zxllbVp0">Vijay Patodi</a> gave a new proof of the index theorem<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a> using the <a href="/facts/Heat_equation/2JPPr5GG">heat equation</a>, described in a paper by Melrose.<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a></li>
<li>1977: <a href="/facts/Dennis_Sullivan/qb6wrKXr">Dennis Sullivan</a> establishes his theorem on the existence and uniqueness of Lipschitz and <a href="/facts/Quasiconformal_mapping/gICCqYEb">quasiconformal</a> structures on topological manifolds of dimension different from 4.<a class="footnote-ref" id="fnref:18" href="#fn:18">18</a></li>
<li>1983: <a href="/facts/Ezra_Getzler/Uem59rJr">Ezra Getzler</a><a class="footnote-ref" id="fnref:19" href="#fn:19">19</a> motivated by ideas of Edward Witten<a class="footnote-ref" id="fnref:20" href="#fn:20">20</a> and <a href="/facts/Luis_Alvarez-Gaume/q0r6HsNQ">Luis Alvarez-Gaume</a>, gave a short proof of the local index theorem for operators that are locally <a href="/facts/Dirac_operator/1kdGnoTt">Dirac operators</a>; this covers many of the useful cases.</li>
<li>1983: Nicolae Teleman proves that the analytical indices of signature operators with values in vector bundles are topological invariants.<a class="footnote-ref" id="fnref:21" href="#fn:21">21</a></li>
<li>1984: Teleman establishes the index theorem on topological manifolds.<a class="footnote-ref" id="fnref:22" href="#fn:22">22</a></li>
<li>1986: <a href="/facts/Alain_Connes/tjFJ9Iou">Alain Connes</a> publishes his fundamental paper on <a href="/facts/Noncommutative_geometry/WSwggL1p">noncommutative geometry</a>.<a class="footnote-ref" id="fnref:23" href="#fn:23">23</a></li>
<li>1989: <a href="/facts/Simon_Donaldson/zkQ5xq5u">Simon K. Donaldson</a> and Sullivan study Yang–Mills theory on quasiconformal manifolds of dimension 4. They introduce the signature operator S defined on differential forms of degree two.<a class="footnote-ref" id="fnref:24" href="#fn:24">24</a></li>
<li>1990: Connes and Henri Moscovici prove the local index formula in the context of non-commutative geometry.<a class="footnote-ref" id="fnref:25" href="#fn:25">25</a></li>
<li>1994: Connes, Sullivan, and Teleman prove the index theorem for signature operators on quasiconformal manifolds.<a class="footnote-ref" id="fnref:26" href="#fn:26">26</a></li></ul>
<h2 id="notation">Notation</h2>
<ul><li>X is a <a href="/facts/Compact_space/d0cgXJH7">compact</a> smooth <a href="/facts/Manifold/rXPERJtu">manifold</a> (without boundary).</li>
<li>E and F are smooth <a href="/facts/Vector_bundle/cXACAa1I">vector bundles</a> over X.</li>
<li>D is an elliptic differential operator from E to F. So in local coordinates it acts as a differential operator, taking smooth sections of E to smooth sections of F.</li></ul>
<h2 id="symbol-of-a-differential-operator">Symbol of a differential operator</h2>
If D is a differential operator on a Euclidean space of order n in k variables 
 
 
 
 
 x
 
 1
 
 
 ,
 …
 ,
 
 x
 
 k
 
 
 
 
 {\displaystyle x_{1},\dots ,x_{k}}
 
, then its <a href="/facts/Symbol_of_a_differential_operator/E80ugWJb">symbol</a> is the function of 2k variables

x
 
 1
 
 
 ,
 …
 ,
 
 x
 
 k
 
 
 ,
 
 y
 
 1
 
 
 ,
 …
 ,
 
 y
 
 k
 
 
 
 
 {\displaystyle x_{1},\dots ,x_{k},y_{1},\dots ,y_{k}}
 
, given by dropping all terms of order less than n and replacing 
 
 
 
 ∂
 
 /
 
 ∂
 
 x
 
 i
 
 
 
 
 {\displaystyle \partial /\partial x_{i}}
 
 by 
 
 
 
 
 y
 
 i
 
 
 
 
 {\displaystyle y_{i}}
 
. So the symbol is homogeneous in the variables y, of degree n. The symbol is well defined even though 
 
 
 
 ∂
 
 /
 
 ∂
 
 x
 
 i
 
 
 
 
 {\displaystyle \partial /\partial x_{i}}
 
 does not commute with 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 because we keep only the highest order terms and differential operators commute "up to lower-order terms". The operator is called elliptic if the symbol is nonzero whenever at least one y is nonzero.
Example: The Laplace operator in k variables has symbol 
 
 
 
 
 y
 
 1
 
 
 2
 
 
 +
 ⋯
 +
 
 y
 
 k
 
 
 2
 
 
 
 
 {\displaystyle y_{1}^{2}+\cdots +y_{k}^{2}}
 
, and so is elliptic as this is nonzero whenever any of the 
 
 
 
 
 y
 
 i
 
 
 
 
 {\displaystyle y_{i}}
 
's are nonzero. The wave operator has symbol 
 
 
 
 −
 
 y
 
 1
 
 
 2
 
 
 +
 ⋯
 +
 
 y
 
 k
 
 
 2
 
 
 
 
 {\displaystyle -y_{1}^{2}+\cdots +y_{k}^{2}}
 
, which is not elliptic if 
 
 
 
 k
 ≥
 2
 
 
 {\displaystyle k\geq 2}
 
, as the symbol vanishes for some non-zero values of the ys.
The symbol of a differential operator of order n on a smooth manifold X is defined in much the same way using local coordinate charts, and is a function on the <a href="/facts/Cotangent_bundle/dewBXXxr">cotangent bundle</a> of X, homogeneous of degree n on each cotangent space. (In general, differential operators transform in a rather complicated way under coordinate transforms (see <a href="/facts/Jet_bundle/7RHyhv07">jet bundle</a>); however, the highest order terms transform like tensors so we get well defined homogeneous functions on the cotangent spaces that are independent of the choice of local charts.) More generally, the symbol of a differential operator between two vector bundles E and F is a section of the pullback of the bundle Hom(E, F) to the cotangent space of X. The differential operator is called elliptic if the element of Hom(Ex, Fx) is invertible for all non-zero cotangent vectors at any point x of X.
A key property of elliptic operators is that they are almost invertible; this is closely related to the fact that their symbols are almost invertible. More precisely, an elliptic operator D on a compact manifold has a (non-unique) <a href="/facts/Parametrix/dT6DfH2g">parametrix</a> (or pseudoinverse) D′ such that DD′ -1 and D′D -1 are both compact operators. An important consequence is that the kernel of D is finite-dimensional, because all eigenspaces of compact operators, other than the kernel, are finite-dimensional. (The pseudoinverse of an elliptic differential operator is almost never a differential operator. However, it is an elliptic <a href="/facts/Pseudodifferential_operator/wEPLVm5c">pseudodifferential operator</a>.)

<h2 id="analytical-index">Analytical index</h2>
As the elliptic differential operator D has a pseudoinverse, it is a <a href="/facts/Fredholm_operator/FEa1xvxn">Fredholm operator</a>. Any Fredholm operator has an index, defined as the difference between the (finite) dimension of the <a href="/facts/Kernel_(algebra)/GGSpUPMJ">kernel</a> of D (solutions of Df = 0), and the (finite) dimension of the <a href="/facts/Cokernel/vYFQRPoh">cokernel</a> of D (the constraints on the right-hand-side of an inhomogeneous equation like Df = g, or equivalently the kernel of the adjoint operator). In other words,

Index(D) = dim Ker(D) − dim Coker(D) = dim Ker(D) − dim Ker(D*).
This is sometimes called the analytical index of D.
Example: Suppose that the manifold is the circle (thought of as R/Z), and D is the operator d/dx − λ for some complex constant λ. (This is the simplest example of an elliptic operator.) Then the kernel is the space of multiples of exp(λx) if λ is an integral multiple of 2πi and is 0 otherwise, and the kernel of the adjoint is a similar space with λ replaced by its complex conjugate. So D has index 0. This example shows that the kernel and cokernel of elliptic operators can jump discontinuously as the elliptic operator varies, so there is no nice formula for their dimensions in terms of continuous topological data. However the jumps in the dimensions of the kernel and cokernel are the same, so the index, given by the difference of their dimensions, does indeed vary continuously, and can be given in terms of topological data by the index theorem.

<h2 id="topological-index">Topological index</h2>
The topological index of an elliptic differential operator 
 
 
 
 D
 
 
 {\displaystyle D}
 
 between smooth vector bundles 
 
 
 
 E
 
 
 {\displaystyle E}
 
 and 
 
 
 
 F
 
 
 {\displaystyle F}
 
 on an 
 
 
 
 n
 
 
 {\displaystyle n}
 
-dimensional compact manifold 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is given by

(
        −
        1
        
          )
          
            n
          
        
        ch
        ⁡
        (
        D
        )
        Td
        ⁡
        (
        X
        )
        [
        X
        ]
        =
        (
        −
        1
        
          )
          
            n
          
        
        
          ∫
          
            X
          
        
        ch
        ⁡
        (
        D
        )
        Td
        ⁡
        (
        X
        )
      
    
    {\displaystyle (-1)^{n}\operatorname {ch} (D)\operatorname {Td} (X)[X]=(-1)^{n}\int _{X}\operatorname {ch} (D)\operatorname {Td} (X)}

in other words the value of the top dimensional component of the mixed <a href="/facts/Cohomology_class/J7FJzTNh">cohomology class</a> 
 
 
 
 ch
 ⁡
 (
 D
 )
 Td
 ⁡
 (
 X
 )
 
 
 {\displaystyle \operatorname {ch} (D)\operatorname {Td} (X)}
 
 on the <a href="/facts/Fundamental_homology_class/bqmdWEEc">fundamental homology class</a> of the manifold 
 
 
 
 X
 
 
 {\displaystyle X}
 
 up to a difference of sign.
Here,

<ul><li>
 
 
 
 Td
 ⁡
 (
 X
 )
 
 
 {\displaystyle \operatorname {Td} (X)}
 
 is the <a href="/facts/Todd_class/o0sLwuKe">Todd class</a> of the complexified tangent bundle of 
 
 
 
 X
 
 
 {\displaystyle X}
 
.</li>
<li>
 
 
 
 ch
 ⁡
 (
 D
 )
 
 
 {\displaystyle \operatorname {ch} (D)}
 
 is equal to 
 
 
 
 
 φ
 
 −
 1
 
 
 (
 ch
 ⁡
 (
 d
 (
 
 p
 
 ∗
 
 
 E
 ,
 
 p
 
 ∗
 
 
 F
 ,
 σ
 (
 D
 )
 )
 )
 )
 
 
 {\displaystyle \varphi ^{-1}(\operatorname {ch} (d(p^{*}E,p^{*}F,\sigma (D))))}
 
, where
<ul><li>
 
 
 
 φ
 :
 
 H
 
 k
 
 
 (
 X
 ;
 
 Q
 
 )
 →
 
 H
 
 n
 +
 k
 
 
 (
 B
 (
 X
 )
 
 /
 
 S
 (
 X
 )
 ;
 
 Q
 
 )
 
 
 {\displaystyle \varphi :H^{k}(X;\mathbb {Q} )\to H^{n+k}(B(X)/S(X);\mathbb {Q} )}
 
 is the <a href="/facts/Thom_isomorphism/5tgFlV5m">Thom isomorphism</a> for the sphere bundle 
 
 
 
 p
 :
 B
 (
 X
 )
 
 /
 
 S
 (
 X
 )
 →
 X
 
 
 {\displaystyle p:B(X)/S(X)\to X}
 
</li>
<li>
 
 
 
 ch
 :
 K
 (
 X
 )
 ⊗
 
 Q
 
 →
 
 H
 
 ∗
 
 
 (
 X
 ;
 
 Q
 
 )
 
 
 {\displaystyle \operatorname {ch} :K(X)\otimes \mathbb {Q} \to H^{*}(X;\mathbb {Q} )}
 
 is the <a href="/facts/Chern_character/Tw2WD5hM">Chern character</a></li>
<li>
 
 
 
 d
 (
 
 p
 
 ∗
 
 
 E
 ,
 
 p
 
 ∗
 
 
 F
 ,
 σ
 (
 D
 )
 )
 
 
 {\displaystyle d(p^{*}E,p^{*}F,\sigma (D))}
 
 is the "difference element" in 
 
 
 
 K
 (
 B
 (
 X
 )
 
 /
 
 S
 (
 X
 )
 )
 
 
 {\displaystyle K(B(X)/S(X))}
 
 associated to two vector bundles 
 
 
 
 
 p
 
 ∗
 
 
 E
 
 
 {\displaystyle p^{*}E}
 
 and 
 
 
 
 
 p
 
 ∗
 
 
 F
 
 
 {\displaystyle p^{*}F}
 
 on 
 
 
 
 B
 (
 X
 )
 
 
 {\displaystyle B(X)}
 
 and an isomorphism 
 
 
 
 σ
 (
 D
 )
 
 
 {\displaystyle \sigma (D)}
 
 between them on the subspace 
 
 
 
 S
 (
 X
 )
 
 
 {\displaystyle S(X)}
 
.</li>
<li>
 
 
 
 σ
 (
 D
 )
 
 
 {\displaystyle \sigma (D)}
 
 is the symbol of 
 
 
 
 D
 
 
 {\displaystyle D}
 
</li></ul></li></ul>
In some situations, it is possible to simplify the above formula for computational purposes. In particular, if 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a 
 
 
 
 2
 m
 
 
 {\displaystyle 2m}
 
-dimensional orientable (compact) manifold with non-zero <a href="/facts/Euler_class/UnjlBrKe">Euler class</a> 
 
 
 
 e
 (
 T
 X
 )
 
 
 {\displaystyle e(TX)}
 
, then applying the <a href="/facts/Thom_isomorphism/5tgFlV5m">Thom isomorphism</a> and dividing by the Euler class,<a class="footnote-ref" id="fnref:27" href="#fn:27">27</a><a class="footnote-ref" id="fnref:28" href="#fn:28">28</a> the topological index may be expressed as

(
        −
        1
        
          )
          
            m
          
        
        
          ∫
          
            X
          
        
        
          
            
              ch
              ⁡
              (
              E
              )
              −
              ch
              ⁡
              (
              F
              )
            
            
              e
              (
              T
              X
              )
            
          
        
        Td
        ⁡
        (
        X
        )
      
    
    {\displaystyle (-1)^{m}\int _{X}{\frac {\operatorname {ch} (E)-\operatorname {ch} (F)}{e(TX)}}\operatorname {Td} (X)}

where division makes sense by pulling 
 
 
 
 e
 (
 T
 X
 
 )
 
 −
 1
 
 
 
 
 {\displaystyle e(TX)^{-1}}
 
 back from the cohomology ring of the <a href="/facts/Classifying_space/gGIAmhtL">classifying space</a> 
 
 
 
 B
 S
 O
 
 
 {\displaystyle BSO}
 
.
One can also define the topological index using only K-theory (and this alternative definition is compatible in a certain sense with the Chern-character construction above). If X is a compact submanifold of a manifold Y then there is a pushforward (or "shriek") map from K(TX) to K(TY). The topological index of an element of 
K(TX) is defined to be the image of this operation with Y some Euclidean space, for which K(TY) can be naturally identified with the integers Z (as a consequence of Bott-periodicity). This map is independent of the embedding of X in Euclidean space. Now a differential operator as above naturally defines an element of K(TX), and the image in Z under this map "is" the topological index.
As usual, D is an elliptic differential operator between vector bundles E and F over a compact manifold X.
The index problem is the following: compute the (analytical) index of D using only the symbol s and topological data derived from the manifold and the vector bundle. The Atiyah–Singer index theorem solves this problem, and states:

The analytical index of D is equal to its topological index.
In spite of its formidable definition, the topological index is usually straightforward to evaluate explicitly. So this makes it possible to evaluate the analytical index. (The cokernel and kernel of an elliptic operator are in general extremely hard to evaluate individually; the index theorem shows that we can usually at least evaluate their difference.) Many important invariants of a manifold (such as the signature) can be given as the index of suitable differential operators, so the index theorem allows us to evaluate these invariants in terms of topological data.
Although the analytical index is usually hard to evaluate directly, it is at least obviously an integer. The topological index is by definition a rational number, but it is usually not at all obvious from the definition that it is also integral. So the Atiyah–Singer index theorem implies some deep integrality properties, as it implies that the topological index is integral.
The index of an elliptic differential operator obviously vanishes if the operator is self adjoint. It also vanishes if the manifold X has odd dimension, though there are pseudodifferential elliptic operators whose index does not vanish in odd dimensions.

<h3>Relation to Grothendieck–Riemann–Roch</h3>
The <a href="/facts/Grothendieck%25E2%2580%2593Riemann%25E2%2580%2593Roch_theorem/hh5nyYA9">Grothendieck–Riemann–Roch</a> theorem was one of the main motivations behind the index theorem because the index theorem is the counterpart of this theorem in the setting of real manifolds. Now, if there's a map 
 
 
 
 f
 :
 X
 →
 Y
 
 
 {\displaystyle f:X\to Y}
 
 of compact stably almost complex manifolds, then there is a commutative diagram<a class="footnote-ref" id="fnref:29" href="#fn:29">29</a>

K
                (
                X
                )
              
              
                
                  
                    →

Td
                      
                      (
                      X
                      )
                      ⋅
                      
                        ch
                      
                    
                  
                
              
              
                H
                (
                X
                ;
                
                  Q
                
                )
              
              
            
            
              
              
                
                  f
                  
                    ∗
                  
                
                
                  
                    ↓
                  
                
              
              
              
                
                  
                    ↓
                  
                
                
                  f
                  
                    ∗
                  
                
              
            
            
              
              
                K
                (
                Y
                )
              
              
                
                  
                    →
                    
                      
                        
                          Td
                        
                        (
                        Y
                        )
                        ⋅
                        
                          ch
                        
                      
                    
                    
                  
                
              
              
                H
                (
                Y
                ;
                
                  Q
                
                )
              
              
            
            
              
              
              
              
            
          
        
      
    
    {\displaystyle {\begin{array}{ccc}&&&\\&K(X)&{\xrightarrow[{}]{{\text{Td}}(X)\cdot {\text{ch}}}}&H(X;\mathbb {Q} )&\\&f_{*}{\Bigg \downarrow }&&{\Bigg \downarrow }f_{*}\\&K(Y)&{\xrightarrow[{{\text{Td}}(Y)\cdot {\text{ch}}}]{}}&H(Y;\mathbb {Q} )&\\&&&\\\end{array}}}

if 
 
 
 
 Y
 =
 ∗
 
 
 {\displaystyle Y=*}
 
 is a point, then we recover the statement above. Here 
 
 
 
 K
 (
 X
 )
 
 
 {\displaystyle K(X)}
 
 is the <a href="/facts/Grothendieck_group/HSLHgFvh">Grothendieck group</a> of complex vector bundles. This commutative diagram is formally very similar to the GRR theorem because the cohomology groups on the right are replaced by the <a href="/facts/Chow_ring/2gkmVppG">Chow ring</a> of a smooth variety, and the Grothendieck group on the left is given by the Grothendieck group of algebraic vector bundles.

<h2 id="extensions-of-the-atiyahsinger-index-theorem">Extensions of the Atiyah–Singer index theorem</h2>
<h3>Teleman index theorem</h3>
Due to (Teleman 1983), (Teleman 1984):

For any abstract elliptic operator (Atiyah 1970) on a closed, oriented, topological manifold, the analytical index equals the topological index.
The proof of this result goes through specific considerations, including the extension of Hodge theory on combinatorial and Lipschitz manifolds (Teleman 1980), (Teleman 1983), the extension of Atiyah–Singer's signature operator to Lipschitz manifolds (Teleman 1983), Kasparov's K-homology (Kasparov 1972) and topological cobordism (Kirby & Siebenmann 1977).
This result shows that the index theorem is not merely a differentiability statement, but rather a topological statement.

<h3>Connes–Donaldson–Sullivan–Teleman index theorem</h3>
Due to (Donaldson & Sullivan 1989), (Connes, Sullivan & Teleman 1994):

For any quasiconformal manifold there exists a local construction of the Hirzebruch–Thom characteristic classes.
This theory is based on a signature operator S, defined on middle degree differential forms on even-dimensional quasiconformal manifolds (compare (Donaldson & Sullivan 1989)).
Using topological cobordism and K-homology one may provide a full statement of an index theorem on quasiconformal manifolds (see page 678 of (Connes, Sullivan & Teleman 1994)). The work (Connes, Sullivan & Teleman 1994) "provides local constructions for characteristic classes based on higher dimensional relatives of the measurable Riemann mapping in dimension two and the Yang–Mills theory in dimension four."
These results constitute significant advances along the lines of Singer's program Prospects in Mathematics (Singer 1971). At the same time, they provide, also, an effective construction of the rational Pontrjagin classes on topological manifolds. The paper (Teleman 1985) provides a link between Thom's original construction of the rational Pontrjagin classes (Thom 1956) and index theory.
It is important to mention that the index formula is a topological statement. The obstruction theories due to Milnor, Kervaire, Kirby, Siebenmann, Sullivan, Donaldson show that only a minority of topological manifolds possess differentiable structures and these are not necessarily unique. Sullivan's result on Lipschitz and quasiconformal structures (Sullivan 1979) shows that any topological manifold in dimension different from 4 possesses such a structure which is unique (up to isotopy close to identity).
The quasiconformal structures (Connes, Sullivan & Teleman 1994) and more generally the Lp-structures, 
p > n(n+1)/2, introduced by M. Hilsum (Hilsum 1999), are the weakest analytical structures on topological manifolds of dimension n for which the index theorem is known to hold.

<h3>Other extensions</h3>
<ul><li>The Atiyah–Singer theorem applies to elliptic <a href="/facts/Pseudodifferential_operator/wEPLVm5c">pseudodifferential operators</a> in much the same way as for elliptic differential operators. In fact, for technical reasons most of the early proofs worked with pseudodifferential rather than differential operators: their extra flexibility made some steps of the proofs easier.</li>
<li>Instead of working with an elliptic operator between two vector bundles, it is sometimes more convenient to work with an <a href="/facts/Elliptic_complex/bhkJAJ7l">elliptic complex</a> 
 
 
 
 0
 →
 
 E
 
 0
 
 
 →
 
 E
 
 1
 
 
 →
 
 E
 
 2
 
 
 →
 ⋯
 →
 
 E
 
 m
 
 
 →
 0
 
 
 {\displaystyle 0\rightarrow E_{0}\rightarrow E_{1}\rightarrow E_{2}\rightarrow \dotsm \rightarrow E_{m}\rightarrow 0}
 
 of vector bundles. The difference is that the symbols now form an exact sequence (off the zero section). In the case when there are just two non-zero bundles in the complex this implies that the symbol is an isomorphism off the zero section, so an elliptic complex with 2 terms is essentially the same as an elliptic operator between two vector bundles. Conversely the index theorem for an elliptic complex can easily be reduced to the case of an elliptic operator: the two vector bundles are given by the sums of the even or odd terms of the complex, and the elliptic operator is the sum of the operators of the elliptic complex and their adjoints, restricted to the sum of the even bundles.</li>
<li>If the <a href="/facts/Manifold/rXPERJtu">manifold</a> is allowed to have boundary, then some restrictions must be put on the domain of the elliptic operator in order to ensure a finite index. These conditions can be local (like demanding that the sections in the domain vanish at the boundary) or more complicated global conditions (like requiring that the sections in the domain solve some differential equation). The local case was worked out by Atiyah and Bott, but they showed that many interesting operators (e.g., the <a href="/facts/Signature_operator/5ywfdj5N">signature operator</a>) do not admit local boundary conditions. To handle these operators, <a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah</a>, <a href="/facts/Vijay_Kumar_Patodi/zxllbVp0">Patodi</a> and <a href="/facts/Isadore_Singer/YwnG6QDd">Singer</a> introduced global boundary conditions equivalent to attaching a cylinder to the manifold along the boundary and then restricting the domain to those sections that are square integrable along the cylinder. This point of view is adopted in the proof of Melrose (1993) of the Atiyah–Patodi–Singer index theorem.</li>
<li>Instead of just one elliptic operator, one can consider a family of elliptic operators parameterized by some space Y. In this case the index is an element of the K-theory of Y, rather than an integer. If the operators in the family are real, then the index lies in the real K-theory of Y. This gives a little extra information, as the map from the real K-theory of Y to the complex K-theory is not always injective.</li>
<li>If there is a <a href="/facts/Group_action_(mathematics)/Vh9VtUUw">group action</a> of a group G on the compact manifold X, commuting with the elliptic operator, then one replaces ordinary K-theory with <a href="/facts/Equivariant_algebraic_K-theory/IwjhsE9V">equivariant K-theory</a>. Moreover, one gets generalizations of the <a href="/facts/Lefschetz_fixed-point_theorem/TEjN2DQ8">Lefschetz fixed-point theorem</a>, with terms coming from fixed-point submanifolds of the group G. See also: <a href="/facts/Equivariant_index_theorem/16A0eVSR">equivariant index theorem</a>.</li>
<li>Atiyah (1976) showed how to extend the index theorem to some non-compact manifolds, acted on by a discrete group with compact quotient. The kernel of the elliptic operator is in general infinite dimensional in this case, but it is possible to get a finite index using the dimension of a module over a <a href="/facts/Von_Neumann_algebra/8NyWUIRH">von Neumann algebra</a>; this index is in general real rather than integer valued. This version is called the L2 index theorem, and was used by Atiyah & Schmid (1977) to rederive properties of the <a href="/facts/Discrete_series_representation/9bBorsp7">discrete series representations</a> of <a href="/facts/Semisimple_Lie_group/m8jA3Bcf">semisimple Lie groups</a>.</li>
<li>The Callias index theorem is an index theorem for a Dirac operator on a noncompact odd-dimensional space. The Atiyah–Singer index is only defined on compact spaces, and vanishes when their dimension is odd. In 1978 Constantine Callias, at the suggestion of his Ph.D. advisor <a href="/facts/Roman_Jackiw/CHewf6dt">Roman Jackiw</a>, used the <a href="/facts/Chiral_anomaly/xs7QFslR">axial anomaly</a> to derive this index theorem on spaces equipped with a <a href="/facts/Hermitian_matrix/qArPblYo">Hermitian matrix</a> called the <a href="/facts/Higgs_field/3LAYXfft">Higgs field</a>.<a class="footnote-ref" id="fnref:30" href="#fn:30">30</a> The index of the Dirac operator is a topological invariant which measures the winding of the Higgs field on a sphere at infinity. If U is the unit matrix in the direction of the Higgs field, then the index is proportional to the integral of U(dU)n−1 over the (n−1)-sphere at infinity. If n is even, it is always zero.
<ul><li>The topological interpretation of this invariant and its relation to the Hörmander index proposed by Boris Fedosov, as generalized by <a href="/facts/Lars_H%25C3%25B6rmander/mxyNnmRA">Lars Hörmander</a>, was published by <a href="/facts/Raoul_Bott/5JHkhPx8">Raoul Bott</a> and <a href="/facts/Robert_Thomas_Seeley/8q7htPVm">Robert Thomas Seeley</a>.<a class="footnote-ref" id="fnref:31" href="#fn:31">31</a></li></ul></li></ul>
<h2 id="examples">Examples</h2>
<h3>Chern-Gauss-Bonnet theorem</h3>
Suppose that 
 
 
 
 M
 
 
 {\displaystyle M}
 
 is a compact oriented manifold of dimension 
 
 
 
 n
 =
 2
 r
 
 
 {\displaystyle n=2r}
 
. If we take 
 
 
 
 
 Λ
 
 even
 
 
 
 
 {\displaystyle \Lambda ^{\text{even}}}
 
 to be the sum of the even exterior powers of the cotangent bundle, and 
 
 
 
 
 Λ
 
 odd
 
 
 
 
 {\displaystyle \Lambda ^{\text{odd}}}
 
 to be the sum of the odd powers, define 
 
 
 
 D
 =
 d
 +
 
 d
 
 ∗
 
 
 
 
 {\displaystyle D=d+d^{*}}
 
, considered as a map from 
 
 
 
 
 Λ
 
 even
 
 
 
 
 {\displaystyle \Lambda ^{\text{even}}}
 
 to 
 
 
 
 
 Λ
 
 odd
 
 
 
 
 {\displaystyle \Lambda ^{\text{odd}}}
 
. Then the analytical index of 
 
 
 
 D
 
 
 {\displaystyle D}
 
 is the <a href="/facts/Euler_characteristic/JCjzWUr2">Euler characteristic</a> 
 
 
 
 χ
 (
 M
 )
 
 
 {\displaystyle \chi (M)}
 
 of the <a href="/facts/Hodge_cohomology/b6Mju74J">Hodge cohomology</a> of 
 
 
 
 M
 
 
 {\displaystyle M}
 
, and the topological index is the integral of the <a href="/facts/Euler_class/UnjlBrKe">Euler class</a> over the manifold. The index formula for this operator yields the <a href="/facts/Chern%25E2%2580%2593Gauss%25E2%2580%2593Bonnet_theorem/jwtk595v">Chern–Gauss–Bonnet theorem</a>.
The concrete computation goes as follows: according to one variation of the <a href="/facts/Splitting_principle/6Q3RNDjN">splitting principle</a>, if 
 
 
 
 E
 
 
 {\displaystyle E}
 
 is a real vector bundle of dimension 
 
 
 
 n
 =
 2
 r
 
 
 {\displaystyle n=2r}
 
, in order to prove assertions involving characteristic classes, we may suppose that there are complex line bundles 
 
 
 
 
 l
 
 1
 
 
 ,
 
 …
 ,
 
 
 l
 
 r
 
 
 
 
 {\displaystyle l_{1},\,\ldots ,\,l_{r}}
 
 such that 
 
 
 
 E
 ⊗
 
 C
 
 =
 
 l
 
 1
 
 
 ⊕
 
 
 
 l
 
 1
 
 
 ¯
 
 
 ⊕
 ⋯
 
 l
 
 r
 
 
 ⊕
 
 
 
 l
 
 r
 
 
 ¯
 
 
 
 
 {\displaystyle E\otimes \mathbb {C} =l_{1}\oplus {\overline {l_{1}}}\oplus \dotsm l_{r}\oplus {\overline {l_{r}}}}
 
. Therefore, we can consider the Chern roots 
 
 
 
 
 x
 
 i
 
 
 (
 E
 ⊗
 
 C
 
 )
 =
 
 c
 
 1
 
 
 (
 
 l
 
 i
 
 
 )
 
 
 {\displaystyle x_{i}(E\otimes \mathbb {C} )=c_{1}(l_{i})}
 
, 
 
 
 
 
 x
 
 r
 +
 i
 
 
 (
 E
 ⊗
 
 C
 
 )
 =
 
 c
 
 1
 
 
 
 
 
 (
 
 
 
 l
 
 i
 
 
 ¯
 
 
 )
 
 
 
 =
 −
 
 x
 
 i
 
 
 (
 E
 ⊗
 
 C
 
 )
 
 
 {\displaystyle x_{r+i}(E\otimes \mathbb {C} )=c_{1}{\mathord {\left({\overline {l_{i}}}\right)}}=-x_{i}(E\otimes \mathbb {C} )}
 
, 
 
 
 
 i
 =
 1
 ,
 
 …
 ,
 
 r
 
 
 {\displaystyle i=1,\,\ldots ,\,r}
 
.
Using Chern roots as above and the standard properties of the Euler class, we have that 
 
 
 
 e
 (
 T
 M
 )
 =
 
 ∏
 
 i
 
 
 r
 
 
 
 x
 
 i
 
 
 (
 T
 M
 ⊗
 
 C
 
 )
 
 
 {\textstyle e(TM)=\prod _{i}^{r}x_{i}(TM\otimes \mathbb {C} )}
 
. As for the Chern character and the Todd class,<a class="footnote-ref" id="fnref:32" href="#fn:32">32</a>

ch
 ⁡
 
 
 
 (
 
 
 Λ
 
 even
 
 
 −
 
 Λ
 
 odd
 
 
 
 )
 
 
 
 
 
 
 =
 1
 −
 ch
 ⁡
 (
 
 T
 
 ∗
 
 
 M
 ⊗
 
 C
 
 )
 +
 ch
 ⁡
 
 
 
 (
 
 
 Λ
 
 2
 
 
 
 T
 
 ∗
 
 
 M
 ⊗
 
 C
 
 
 )
 
 
 
 −
 …
 +
 (
 −
 1
 
 )
 
 n
 
 
 ch
 ⁡
 
 
 
 (
 
 
 Λ
 
 n
 
 
 
 T
 
 ∗
 
 
 M
 ⊗
 
 C
 
 
 )
 
 
 
 
 
 
 
 
 
 =
 1
 −
 
 ∑
 
 i
 
 
 n
 
 
 
 e
 
 −
 
 x
 
 i
 
 
 
 
 (
 T
 M
 ⊗
 
 C
 
 )
 +
 
 ∑
 
 i
 <
 j
 
 
 
 e
 
 −
 
 x
 
 i
 
 
 
 
 
 e
 
 −
 
 x
 
 j
 
 
 
 
 (
 T
 M
 ⊗
 
 C
 
 )
 +
 …
 +
 (
 −
 1
 
 )
 
 n
 
 
 
 e
 
 −
 
 x
 
 1
 
 
 
 
 ⋯
 
 e
 
 −
 
 x
 
 n
 
 
 
 
 (
 T
 M
 ⊗
 
 C
 
 )
 
 
 
 
 
 
 =
 
 ∏
 
 i
 
 
 n
 
 
 
 (
 
 1
 −
 
 e
 
 −
 
 x
 
 i
 
 
 
 
 
 )
 
 (
 T
 M
 ⊗
 
 C
 
 )
 
 
 
 
 Td
 ⁡
 (
 T
 M
 ⊗
 
 C
 
 )
 
 
 
 =
 
 ∏
 
 i
 
 
 n
 
 
 
 
 
 x
 
 i
 
 
 
 1
 −
 
 e
 
 −
 
 x
 
 i
 
 
 
 
 
 
 
 (
 T
 M
 ⊗
 
 C
 
 )
 
 
 
 
 
 
 {\displaystyle {\begin{aligned}\operatorname {ch} {\mathord {\left(\Lambda ^{\text{even}}-\Lambda ^{\text{odd}}\right)}}&=1-\operatorname {ch} (T^{*}M\otimes \mathbb {C} )+\operatorname {ch} {\mathord {\left(\Lambda ^{2}T^{*}M\otimes \mathbb {C} \right)}}-\ldots +(-1)^{n}\operatorname {ch} {\mathord {\left(\Lambda ^{n}T^{*}M\otimes \mathbb {C} \right)}}\\&=1-\sum _{i}^{n}e^{-x_{i}}(TM\otimes \mathbb {C} )+\sum _{i<j}e^{-x_{i}}e^{-x_{j}}(TM\otimes \mathbb {C} )+\ldots +(-1)^{n}e^{-x_{1}}\dotsm e^{-x_{n}}(TM\otimes \mathbb {C} )\\&=\prod _{i}^{n}\left(1-e^{-x_{i}}\right)(TM\otimes \mathbb {C} )\\[3pt]\operatorname {Td} (TM\otimes \mathbb {C} )&=\prod _{i}^{n}{\frac {x_{i}}{1-e^{-x_{i}}}}(TM\otimes \mathbb {C} )\end{aligned}}}

Applying the index theorem,

χ
        (
        M
        )
        =
        (
        −
        1
        
          )
          
            r
          
        
        
          ∫
          
            M
          
        
        
          
            
              
                ∏
                
                  i
                
                
                  n
                
              
              
                (
                
                  1
                  −
                  
                    e
                    
                      −
                      
                        x
                        
                          i
                        
                      
                    
                  
                
                )
              
            
            
              
                ∏
                
                  i
                
                
                  r
                
              
              
                x
                
                  i
                
              
            
          
        
        
          ∏
          
            i
          
          
            n
          
        
        
          
            
              x
              
                i
              
            
            
              1
              −
              
                e
                
                  −
                  
                    x
                    
                      i
                    
                  
                
              
            
          
        
        (
        T
        M
        ⊗
        
          C
        
        )
        =
        (
        −
        1
        
          )
          
            r
          
        
        
          ∫
          
            M
          
        
        (
        −
        1
        
          )
          
            r
          
        
        
          ∏
          
            i
          
          
            r
          
        
        
          x
          
            i
          
        
        (
        T
        M
        ⊗
        
          C
        
        )
        =
        
          ∫
          
            M
          
        
        e
        (
        T
        M
        )
      
    
    {\displaystyle \chi (M)=(-1)^{r}\int _{M}{\frac {\prod _{i}^{n}\left(1-e^{-x_{i}}\right)}{\prod _{i}^{r}x_{i}}}\prod _{i}^{n}{\frac {x_{i}}{1-e^{-x_{i}}}}(TM\otimes \mathbb {C} )=(-1)^{r}\int _{M}(-1)^{r}\prod _{i}^{r}x_{i}(TM\otimes \mathbb {C} )=\int _{M}e(TM)}

which is the "topological" version of the Chern-Gauss-Bonnet theorem (the geometric one being obtained by applying the <a href="/facts/Chern-Weil_homomorphism/zcBkde4R">Chern-Weil homomorphism</a>).

<h3>Hirzebruch–Riemann–Roch theorem</h3>
Take X to be a <a href="/facts/Complex_manifold/DlvPnpzm">complex manifold</a> of (complex) dimension n with a holomorphic vector bundle V. We let the vector bundles E and F be the sums of the bundles of differential forms with coefficients in V of type (0, i) with i even or odd, and we let the differential operator D be the sum

∂
            ¯
          
        
        +
        
          
            
              ∂
              ¯
            
          
          
            ∗
          
        
      
    
    {\displaystyle {\overline {\partial }}+{\overline {\partial }}^{*}}

restricted to E. 
This derivation of the Hirzebruch–Riemann–Roch theorem is more natural if we use the index theorem for elliptic complexes rather than elliptic operators. We can take the complex to be

0
        →
        V
        →
        V
        ⊗
        
          Λ
          
            0
            ,
            1
          
        
        
          T
          
            ∗
          
        
        (
        X
        )
        →
        V
        ⊗
        
          Λ
          
            0
            ,
            2
          
        
        
          T
          
            ∗
          
        
        (
        X
        )
        →
        ⋯
      
    
    {\displaystyle 0\rightarrow V\rightarrow V\otimes \Lambda ^{0,1}T^{*}(X)\rightarrow V\otimes \Lambda ^{0,2}T^{*}(X)\rightarrow \dotsm }

with the differential given by 
 
 
 
 
 
 ∂
 ¯
 
 
 
 
 {\displaystyle {\overline {\partial }}}
 
. Then the i'th cohomology group is just the coherent cohomology group Hi(X, V), so the analytical index of this complex is the <a href="/facts/Holomorphic_Euler_characteristic/BKAxIzgW">holomorphic Euler characteristic</a> of V:

index
        ⁡
        (
        D
        )
        =
        
          ∑
          
            p
          
        
        (
        −
        1
        
          )
          
            p
          
        
        dim
        ⁡
        
          H
          
            p
          
        
        (
        X
        ,
        V
        )
        =
        χ
        (
        X
        ,
        V
        )
      
    
    {\displaystyle \operatorname {index} (D)=\sum _{p}(-1)^{p}\dim H^{p}(X,V)=\chi (X,V)}

Since we are dealing with complex bundles, the computation of the topological index is simpler. Using Chern roots and doing similar computations as in the previous example, the Euler class is given by 
 
 
 
 e
 (
 T
 X
 )
 =
 
 ∏
 
 i
 
 
 n
 
 
 
 x
 
 i
 
 
 (
 T
 X
 )
 
 
 {\textstyle e(TX)=\prod _{i}^{n}x_{i}(TX)}
 
 and

ch
                ⁡
                
                  (
                  
                    
                      ∑
                      
                        j
                      
                      
                        n
                      
                    
                    (
                    −
                    1
                    
                      )
                      
                        j
                      
                    
                    V
                    ⊗
                    
                      Λ
                      
                        j
                      
                    
                    
                      
                        
                          
                            T
                            
                              ∗
                            
                          
                          X
                        
                        ¯
                      
                    
                  
                  )
                
              
              
                
                =
                ch
                ⁡
                (
                V
                )
                
                  ∏
                  
                    j
                  
                  
                    n
                  
                
                
                  (
                  
                    1
                    −
                    
                      e
                      
                        
                          x
                          
                            j
                          
                        
                      
                    
                  
                  )
                
                (
                T
                X
                )
              
            
            
              
                Td
                ⁡
                (
                T
                X
                ⊗
                
                  C
                
                )
                =
                Td
                ⁡
                (
                T
                X
                )
                Td
                ⁡
                
                  (
                  
                    
                      
                        T
                        X
                      
                      ¯
                    
                  
                  )
                
              
              
                
                =
                
                  ∏
                  
                    i
                  
                  
                    n
                  
                
                
                  
                    
                      x
                      
                        i
                      
                    
                    
                      1
                      −
                      
                        e
                        
                          −
                          
                            x
                            
                              i
                            
                          
                        
                      
                    
                  
                
                
                  ∏
                  
                    j
                  
                  
                    n
                  
                
                
                  
                    
                      −
                      
                        x
                        
                          j
                        
                      
                    
                    
                      1
                      −
                      
                        e
                        
                          
                            x
                            
                              j
                            
                          
                        
                      
                    
                  
                
                (
                T
                X
                )
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}\operatorname {ch} \left(\sum _{j}^{n}(-1)^{j}V\otimes \Lambda ^{j}{\overline {T^{*}X}}\right)&=\operatorname {ch} (V)\prod _{j}^{n}\left(1-e^{x_{j}}\right)(TX)\\\operatorname {Td} (TX\otimes \mathbb {C} )=\operatorname {Td} (TX)\operatorname {Td} \left({\overline {TX}}\right)&=\prod _{i}^{n}{\frac {x_{i}}{1-e^{-x_{i}}}}\prod _{j}^{n}{\frac {-x_{j}}{1-e^{x_{j}}}}(TX)\end{aligned}}}

Applying the index theorem, we obtain the <a href="/facts/Hirzebruch-Riemann-Roch_theorem/PxsJ0BSm">Hirzebruch-Riemann-Roch theorem</a>:

χ
        (
        X
        ,
        V
        )
        =
        
          ∫
          
            X
          
        
        ch
        ⁡
        (
        V
        )
        Td
        ⁡
        (
        T
        X
        )
      
    
    {\displaystyle \chi (X,V)=\int _{X}\operatorname {ch} (V)\operatorname {Td} (TX)}

In fact we get a generalization of it to all complex manifolds: Hirzebruch's proof only worked for projective complex manifolds X.

<h3>Hirzebruch signature theorem</h3>
The <a href="/facts/Hirzebruch_signature_theorem/uDcIGALT">Hirzebruch signature theorem</a> states that the signature of a compact oriented manifold X of dimension 4k is given by the <a href="/facts/L_genus/bUM7KXJ0">L genus</a> of the manifold. This follows from the Atiyah–Singer index theorem applied to the following <a href="/facts/Signature_operator/5ywfdj5N">signature operator</a>.
The bundles E and F are given by the +1 and −1 eigenspaces of the operator on the bundle of differential forms of X, that acts on k-forms as 
 
 
 
 
 i
 
 k
 (
 k
 −
 1
 )
 
 
 
 
 {\displaystyle i^{k(k-1)}}
 
 times the <a href="/facts/Hodge_dual/AH6tmHhU">Hodge star operator</a>. The operator D is the <a href="/facts/Hodge_Laplacian/kov9u3PT">Hodge Laplacian</a>

D
        ≡
        Δ
        
          :=
        
        
          
            (
            
              
                d
              
              +
              
                
                  d
                  
                    ∗
                  
                
              
            
            )
          
          
            2
          
        
      
    
    {\displaystyle D\equiv \Delta \mathrel {:=} \left(\mathbf {d} +\mathbf {d^{*}} \right)^{2}}

restricted to E, where d is the Cartan <a href="/facts/Exterior_derivative/p7HA0wze">exterior derivative</a> and d* is its adjoint.
The analytic index of D is the signature of the manifold X, and its topological index is the L genus of X, so these are equal.

<h3>Â genus and Rochlin's theorem</h3>
The <a href="/facts/%25C3%2582_genus/bUM7KXJ0">Â genus</a> is a rational number defined for any manifold, but is in general not an integer. Borel and Hirzebruch showed that it is integral for spin manifolds, and an even integer if in addition the dimension is 4 mod 8. This can be deduced from the index theorem, which implies that the Â genus for spin manifolds is the index of a Dirac operator. The extra factor of 2 in dimensions 4 mod 8 comes from the fact that in this case the kernel and cokernel of the Dirac operator have a quaternionic structure, so as complex vector spaces they have even dimensions, so the index is even.
In dimension 4 this result implies <a href="/facts/Rochlin%2527s_theorem/lwaxv5lW">Rochlin's theorem</a> that the signature of a 4-dimensional spin manifold is divisible by 16: this follows because in dimension 4 the Â genus is minus one eighth of the signature.

<h2 id="proof-techniques">Proof techniques</h2>
<h3>Pseudodifferential operators</h3>
Main article: <a href="/facts/Pseudodifferential_operator/wEPLVm5c">pseudodifferential operator</a>
Pseudodifferential operators can be explained easily in the case of constant coefficient operators on Euclidean space. In this case, constant coefficient differential operators are just the <a href="/facts/Fourier_transform/XXhKJtc8">Fourier transforms</a> of multiplication by polynomials, and constant coefficient pseudodifferential operators are just the Fourier transforms of multiplication by more general functions.
Many proofs of the index theorem use pseudodifferential operators rather than differential operators. The reason for this is that for many purposes there are not enough differential operators. For example, a pseudoinverse of an elliptic differential operator of positive order is not a differential operator, but is a pseudodifferential operator. 
Also, there is a direct correspondence between data representing elements of K(B(X), S(X)) (clutching functions) and symbols of elliptic pseudodifferential operators.
Pseudodifferential operators have an order, which can be any real number or even −∞, and have symbols (which are no longer polynomials on the cotangent space), and elliptic differential operators are those whose symbols are invertible for sufficiently large cotangent vectors. Most versions of the index theorem can be extended from elliptic differential operators to elliptic pseudodifferential operators.

<h3>Cobordism</h3>
The initial proof was based on that of the <a href="/facts/Hirzebruch%25E2%2580%2593Riemann%25E2%2580%2593Roch_theorem/PxsJ0BSm">Hirzebruch–Riemann–Roch theorem</a> (1954), and involved <a href="/facts/Cobordism_theory/ctN2FSTB">cobordism theory</a> and <a href="/facts/Pseudo-differential_operator/wEPLVm5c">pseudodifferential operators</a>.
The idea of this first proof is roughly as follows. Consider the ring generated by pairs (X, V) where V is a smooth vector bundle on the compact smooth oriented manifold X, with relations that the sum and product of the ring on these generators are given by disjoint union and product of manifolds (with the obvious operations on the vector bundles), and any boundary of a manifold with vector bundle is 0. This is similar to the cobordism ring of oriented manifolds, except that the manifolds also have a vector bundle. The topological and analytical indices are both reinterpreted as functions from this ring to the integers. Then one checks that these two functions are in fact both ring homomorphisms. In order to prove they are the same, it is then only necessary to check they are the same on a set of generators of this ring. Thom's cobordism theory gives a set of generators; for example, complex vector spaces with the trivial bundle together with certain bundles over even dimensional spheres. So the index theorem can be proved by checking it on these particularly simple cases.

<h3>K-theory</h3>
Atiyah and Singer's first published proof used <a href="/facts/K-theory/qI1kBrjV">K-theory</a> rather than cobordism. If i is any inclusion of compact manifolds from X to Y, they defined a 'pushforward' operation i! on elliptic operators of X to elliptic operators of Y that preserves the index. By taking Y to be some sphere that X embeds in, this reduces the index theorem to the case of spheres. If Y is a sphere and X is some point embedded in Y, then any elliptic operator on Y is the image under i! of some elliptic operator on the point. This reduces the index theorem to the case of a point, where it is trivial.

<h3>Heat equation</h3>
Atiyah, <a href="/facts/Raoul_Bott/5JHkhPx8"> Bott</a>, and <a href="/facts/Vijay_Kumar_Patodi/zxllbVp0"> Patodi</a> (1973) gave a new proof of the index theorem using the <a href="/facts/Heat_equation/2JPPr5GG">heat equation</a>, see e.g. Berline, Getzler & Vergne (1992). 
The proof is also published in (Melrose 1993) and (Gilkey 1994).
If D is a differential operator with adjoint D*, then D*D and DD* are self adjoint operators whose non-zero eigenvalues have the same multiplicities. However their zero eigenspaces may have different multiplicities, as these multiplicities are the dimensions of the kernels of D and D*. Therefore, the index of D is given by

index
        ⁡
        (
        D
        )
        =
        dim
        ⁡
        Ker
        ⁡
        (
        D
        )
        −
        dim
        ⁡
        Ker
        ⁡
        (
        
          D
          
            ∗
          
        
        )
        =
        dim
        ⁡
        Ker
        ⁡
        (
        
          D
          
            ∗
          
        
        D
        )
        −
        dim
        ⁡
        Ker
        ⁡
        (
        D
        
          D
          
            ∗
          
        
        )
        =
        Tr
        ⁡
        
          (
          
            e
            
              −
              t
              
                D
                
                  ∗
                
              
              D
            
          
          )
        
        −
        Tr
        ⁡
        
          (
          
            e
            
              −
              t
              D
              
                D
                
                  ∗
                
              
            
          
          )
        
      
    
    {\displaystyle \operatorname {index} (D)=\dim \operatorname {Ker} (D)-\dim \operatorname {Ker} (D^{*})=\dim \operatorname {Ker} (D^{*}D)-\dim \operatorname {Ker} (DD^{*})=\operatorname {Tr} \left(e^{-tD^{*}D}\right)-\operatorname {Tr} \left(e^{-tDD^{*}}\right)}

for any positive t. The right hand side is given by the trace of the difference of the kernels of two heat operators. These have an asymptotic expansion for small positive t, which can be used to evaluate the limit as t tends to 0, giving a proof of the Atiyah–Singer index theorem. The asymptotic expansions for small t appear very complicated, but invariant theory shows that there are huge cancellations between the terms, which makes it possible to find the leading terms explicitly. These cancellations were later explained using supersymmetry.

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/(-1)F/S61nJqKb">(-1)F</a> – Term in quantum field theoryPages displaying short descriptions of redirect targets</li>
<li><a href="/facts/Witten_index/5HYARdXG">Witten index</a> – Modified partition function</li></ul>
<h2 id="citations">Citations</h2>

The papers by Atiyah are reprinted in volumes 3 and 4 of his collected works, (Atiyah 1988a, 1988b)

<ul><li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, M. F.</a> (1970), "Global Theory of Elliptic Operators", Proc. Int. Conf. on Functional Analysis and Related Topics (Tokyo, 1969), University of Tokio, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0193.43601">0193.43601</a></li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, M. F.</a> (1976), "Elliptic operators, discrete groups and von Neumann algebras", Colloque "Analyse et Topologie" en l'Honneur de Henri Cartan (Orsay, 1974), Asterisque, vol. 32–33, Soc. Math. France, Paris, pp. 43–72, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0420729">0420729</a></li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, M. F.</a>; <a href="/facts/Graeme_Segal/M92u6ecE">Segal, G. B.</a> (1968), "The Index of Elliptic Operators: II", Annals of Mathematics, Second Series, 87 (3): 531–545, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1970716">10.2307/1970716</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1970716">1970716</a> This reformulates the result as a sort of Lefschetz fixed-point theorem, using equivariant K-theory.</li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, Michael F.</a>; <a href="/facts/Isadore_Singer/YwnG6QDd">Singer, Isadore M.</a> (1963), "The Index of Elliptic Operators on Compact Manifolds", Bull. Amer. Math. Soc., 69 (3): 422–433, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2FS0002-9904-1963-10957-X">10.1090/S0002-9904-1963-10957-X</a> An announcement of the index theorem.</li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, Michael F.</a>; <a href="/facts/Isadore_Singer/YwnG6QDd">Singer, Isadore M.</a> (1968a), "The Index of Elliptic Operators I", Annals of Mathematics, 87 (3): 484–530, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1970715">10.2307/1970715</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1970715">1970715</a> This gives a proof using K-theory instead of cohomology.</li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, Michael F.</a>; <a href="/facts/Isadore_Singer/YwnG6QDd">Singer, Isadore M.</a> (1968b), "The Index of Elliptic Operators III", <a href="/facts/Annals_of_Mathematics/CUYktUqD">Annals of Mathematics</a>, Second Series, 87 (3): 546–604, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1970717">10.2307/1970717</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1970717">1970717</a> This paper shows how to convert from the K-theory version to a version using cohomology.</li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, Michael F.</a>; <a href="/facts/Isadore_Singer/YwnG6QDd">Singer, Isadore M.</a> (1971a), "The Index of Elliptic Operators IV", <a href="/facts/Annals_of_Mathematics/CUYktUqD">Annals of Mathematics</a>, Second Series, 93 (1): 119–138, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1970756">10.2307/1970756</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1970756">1970756</a> This paper studies families of elliptic operators, where the index is now an element of the K-theory of the space parametrizing the family.</li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, Michael F.</a>; <a href="/facts/Isadore_Singer/YwnG6QDd">Singer, Isadore M.</a> (1971b), "The Index of Elliptic Operators V", <a href="/facts/Annals_of_Mathematics/CUYktUqD">Annals of Mathematics</a>, Second Series, 93 (1): 139–149, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1970757">10.2307/1970757</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1970757">1970757</a>. This studies families of real (rather than complex) elliptic operators, when one can sometimes squeeze out a little extra information.</li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, M. F.</a>; <a href="/facts/Raoul_Bott/5JHkhPx8">Bott, R.</a> (1966), "A Lefschetz Fixed Point Formula for Elliptic Differential Operators", Bull. Am. Math. Soc., 72 (2): 245–50, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2FS0002-9904-1966-11483-0">10.1090/S0002-9904-1966-11483-0</a>. This states a theorem calculating the Lefschetz number of an endomorphism of an elliptic complex.</li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, M. F.</a>; <a href="/facts/Raoul_Bott/5JHkhPx8">Bott, R.</a> (1967), "A Lefschetz Fixed Point Formula for Elliptic Complexes: I", Annals of Mathematics, Second series, 86 (2): 374–407, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1970694">10.2307/1970694</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1970694">1970694</a> and Atiyah, M. F.; Bott, R. (1968), "A Lefschetz Fixed Point Formula for Elliptic Complexes: II. Applications", <a href="/facts/Annals_of_Mathematics/CUYktUqD">Annals of Mathematics</a>, Second Series, 88 (3): 451–491, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1970721">10.2307/1970721</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1970721">1970721</a> These give the proofs and some applications of the results announced in the previous paper.</li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, M.</a>; <a href="/facts/Raoul_Bott/5JHkhPx8">Bott, R.</a>; <a href="/facts/Vijay_Kumar_Patodi/zxllbVp0">Patodi, V. K.</a> (1973), "On the heat equation and the index theorem", Invent. Math., 19 (4): 279–330, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1973InMat..19..279A">1973InMat..19..279A</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01425417">10.1007/BF01425417</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0650828">0650828</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:115700319">115700319</a>. Atiyah, M.; Bott, R.; Patodi, V. K. (1975), "Errata", Invent. Math., 28 (3): 277–280, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1975InMat..28..277A">1975InMat..28..277A</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01425562">10.1007/BF01425562</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0650829">0650829</a></li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, Michael</a>; <a href="/facts/Wilfried_Schmid/HaBoRhbu">Schmid, Wilfried</a> (1977), "A geometric construction of the discrete series for semisimple Lie groups", Invent. Math., 42: 1–62, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1977InMat..42....1A">1977InMat..42....1A</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01389783">10.1007/BF01389783</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463358">0463358</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:189831012">189831012</a>, Atiyah, Michael; Schmid, Wilfried (1979), "Erratum", Invent. Math., 54 (2): 189–192, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1979InMat..54..189A">1979InMat..54..189A</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01408936">10.1007/BF01408936</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0550183">0550183</a></li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, Michael</a> (1988a), <a href="https://books.google.com/books?isbn=0198532776">Collected works. Vol. 3. Index theory: 1</a>, Oxford Science Publications, New York: The Clarendon Press, Oxford University Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-19-853277-4, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0951894">0951894</a></li>
<li><a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah, Michael</a> (1988b), Collected works. Vol. 4. Index theory: 2, Oxford Science Publications, New York: The Clarendon Press, Oxford University Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-19-853278-1, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0951895">0951895</a></li>
<li><a href="/facts/Paul_Baum_(mathematician)/n0hIzfsl">Baum, P.</a>; <a href="/facts/William_Fulton_(mathematician)/8ubLHaPy">Fulton, W.</a>; <a href="/facts/Robert_MacPherson_(mathematician)/14uI3tYv">Macpherson, R.</a> (1979), <a href="http://www.numdam.org/item/PMIHES_1975__45__101_0/">"Riemann-Roch for singular varieties"</a>, Acta Mathematica, 143: 155–191, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02684299">10.1007/BF02684299</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:83458307">83458307</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0332.14003">0332.14003</a></li>
<li>Berline, Nicole; Getzler, Ezra; Vergne, Michèle (1992), Heat Kernels and Dirac Operators, Berlin: Springer, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-53340-5 This gives an elementary proof of the index theorem for the Dirac operator, using the heat equation and supersymmetry.</li>
<li><a href="/facts/Jean-Michel_Bismut/Lf6bQ8Ks">Bismut, Jean-Michel</a> (1984), "The Atiyah–Singer Theorems: A Probabilistic Approach. I. The index theorem", J. Funct. Anal., 57: 56–99, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0022-1236%2884%2990101-0">10.1016/0022-1236(84)90101-0</a> Bismut proves the theorem for elliptic complexes using probabilistic methods, rather than heat equation methods.</li>
<li>Cartan-Schwartz (1965), 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), École Normale Supérieure, Secrétariat mathématique, Paris, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0149.41102">0149.41102</a></li>
<li><a href="/facts/Alain_Connes/tjFJ9Iou">Connes, A.</a> (1986), <a href="http://www.numdam.org/item/PMIHES_1985__62__41_0/">"Non-commutative differential geometry"</a>, Publications Mathématiques de l'Institut des Hautes Études Scientifiques, 62: 257–360, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02698807">10.1007/BF02698807</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:122740195">122740195</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0592.46056">0592.46056</a></li>
<li><a href="/facts/Alain_Connes/tjFJ9Iou">Connes, A.</a> (1994), <a href="https://archive.org/details/noncommutativege0000conn">Noncommutative Geometry</a>, San Diego: Academic Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-12-185860-5, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0818.46076">0818.46076</a></li>
<li><a href="/facts/Alain_Connes/tjFJ9Iou">Connes, A.</a>; Moscovici, H. (1990), <a href="http://www.alainconnes.org/docs/novikov.pdf">"Cyclic cohomology, the Novikov conjecture and hyperbolic groups"</a> (PDF), Topology, 29 (3): 345–388, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0040-9383%2890%2990003-3">10.1016/0040-9383(90)90003-3</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0759.58047">0759.58047</a></li>
<li><a href="/facts/Alain_Connes/tjFJ9Iou">Connes, A.</a>; <a href="/facts/Dennis_Sullivan/qb6wrKXr">Sullivan, D.</a>; Teleman, N. (1994), "Quasiconformal mappings, operators on Hilbert space and local formulae for characteristic classes", Topology, 33 (4): 663–681, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0040-9383%2894%2990003-5">10.1016/0040-9383(94)90003-5</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0840.57013">0840.57013</a></li>
<li><a href="/facts/Simon_Donaldson/zkQ5xq5u">Donaldson, S.K.</a>; <a href="/facts/Dennis_Sullivan/qb6wrKXr">Sullivan, D.</a> (1989), "Quasiconformal 4-manifolds", Acta Mathematica, 163: 181–252, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02392736">10.1007/BF02392736</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0704.57008">0704.57008</a></li>
<li><a href="/facts/Israel_Gelfand/TJeJouKs">Gel'fand, I. M.</a> (1960), "On elliptic equations", Russ. Math. Surv., 15 (3): 113–123, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1960RuMaS..15..113G">1960RuMaS..15..113G</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1070%2Frm1960v015n03ABEH004094">10.1070/rm1960v015n03ABEH004094</a> reprinted in volume 1 of his collected works, p. 65–75, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 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.</li>
<li><a href="/facts/Ezra_Getzler/Uem59rJr">Getzler, E.</a> (1983), <a href="http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1103940796">"Pseudodifferential operators on supermanifolds and the Atiyah–Singer index theorem"</a>, Commun. Math. Phys., 92 (2): 163–178, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1983CMaPh..92..163G">1983CMaPh..92..163G</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01210843">10.1007/BF01210843</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:55438589">55438589</a></li>
<li>Getzler, E. (1988), "A short proof of the local Atiyah–Singer index theorem", Topology, 25: 111–117, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0040-9383%2886%2990008-X">10.1016/0040-9383(86)90008-X</a></li>
<li>Gilkey, Peter B. (1994), <a href="http://www.emis.de/monographs/gilkey/">Invariance Theory, the Heat Equation, and the Atiyah–Singer Theorem</a>, CRC Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8493-7874-4 Free online textbook that proves the Atiyah–Singer theorem with a heat equation approach</li>
<li>Hamilton, M. J. D. (2020). "The Higgs boson for mathematicians. Lecture notes on gauge theory and symmetry breaking". <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1512.02632">1512.02632</a> [<a href="https://arxiv.org/archive/math.DG">math.DG</a>].</li>
<li>Kayani, U. (2020). "Dynamical supersymmetry enhancement of black hole horizons". <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1910.01080">1910.01080</a> [<a href="https://arxiv.org/archive/hep-th">hep-th</a>].</li>
<li>Higson, Nigel; Roe, John (2000), Analytic K-homology, Oxford University Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 9780191589201</li>
<li>Hilsum, M. (1999), "Structures riemaniennes Lp et K-homologie", Annals of Mathematics, 149 (3): 1007–1022, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/9905210">math/9905210</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F121079">10.2307/121079</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/121079">121079</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:119708566">119708566</a></li>
<li>Kasparov, G.G. (1972), "Topological invariance of elliptic operators, I: K-homology", Math. USSR Izvestija (Engl. Transl.), 9 (4): 751–792, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1975IzMat...9..751K">1975IzMat...9..751K</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1070%2FIM1975v009n04ABEH001497">10.1070/IM1975v009n04ABEH001497</a></li>
<li><a href="/facts/Robion_Kirby/QMxyDhtv">Kirby, R.</a>; <a href="/facts/Laurent_C._Siebenmann/8SKMhs5J">Siebenmann, L.C.</a> (1969), "On the triangulation of manifolds and the Hauptvermutung", Bull. Amer. Math. Soc., 75 (4): 742–749, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2FS0002-9904-1969-12271-8">10.1090/S0002-9904-1969-12271-8</a></li>
<li><a href="/facts/Robion_Kirby/QMxyDhtv">Kirby, R.</a>; <a href="/facts/Laurent_C._Siebenmann/8SKMhs5J">Siebenmann, L.C.</a> (1977), Foundational Essays on Topological Manifolds, Smoothings and Triangulations, Annals of Mathematics Studies in Mathematics, vol. 88, Princeton: Princeton University Press and Tokio University Press</li>
<li><a href="/facts/H._Blaine_Lawson/mcTSg513">Lawson, H. Blane</a>; <a href="/facts/Marie-Louise_Michelsohn/SCDjRoTw">Michelsohn, Marie-Louise</a> (1989), Spin Geometry, Princeton University Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-691-08542-0</li>
<li>Melrose, Richard B. (1993), <a href="http://www-math.mit.edu/~rbm/book.html">The Atiyah–Patodi–Singer Index Theorem</a>, Wellesley, Mass.: Peters, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-56881-002-7 Free online textbook.</li>
<li><a href="/facts/Sergei_Novikov_(mathematician)/hqMGDRul">Novikov, S.P.</a> (1965), <a href="https://www.mi.ras.ru/~snovikov/21.pdf">"Topological invariance of the rational Pontrjagin classes"</a> (PDF), <a href="/facts/Doklady_Akademii_Nauk_SSSR/dqes3C9S">Doklady Akademii Nauk SSSR</a>, 163: 298–300</li>
<li><a href="/facts/Richard_Palais/vpV6RX7h">Palais, Richard S.</a> (1965), <a href="https://books.google.com/books?isbn=0-691-08031-3">Seminar on the Atiyah–Singer Index Theorem</a>, Annals of Mathematics Studies, vol. 57, S.l.: Princeton Univ Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-691-08031-4 This describes the original proof of the theorem (Atiyah and Singer never published their original proof themselves, but only improved versions of it.)</li>
<li>Shanahan, P. (1978), The Atiyah-Singer Index Theorem, Lecture Notes in Mathematics, vol. 638, Springer, <a href="/facts/CiteSeerX_(identifier)/SceDmd3c">CiteSeerX</a> <a href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.193.9222">10.1.1.193.9222</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBFb0068264">10.1007/BFb0068264</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-387-08660-6</li>
<li><a href="/facts/Isadore_Singer/YwnG6QDd">Singer, I.M.</a> (1971), "Future extensions of index theory and elliptic operators", Prospects in Mathematics, Annals of Mathematics Studies in Mathematics, vol. 70, pp. 171–185</li>
<li><a href="/facts/Dennis_Sullivan/qb6wrKXr">Sullivan, D.</a> (1979), "Hyperbolic geometry and homeomorphisms", J.C. Candrell, "Geometric Topology", Proc. Georgia Topology Conf. Athens, Georgia, 1977, New York: Academic Press, pp. 543–595, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-12-158860-1, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0478.57007">0478.57007</a></li>
<li><a href="/facts/Dennis_Sullivan/qb6wrKXr">Sullivan, D.</a>; Teleman, N. (1983), <a href="http://www.numdam.org/item/PMIHES_1983__58__79_0/">"An analytic proof of Novikov's theorem on rational Pontrjagin classes"</a>, Publications Mathématiques de l'Institut des Hautes Études Scientifiques, 58, Paris: 291–293, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02953773">10.1007/BF02953773</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:8348213">8348213</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0531.58045">0531.58045</a></li>
<li>Teleman, N. (1980), "Combinatorial Hodge theory and signature operator", Inventiones Mathematicae, 61 (3): 227–249, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1980InMat..61..227T">1980InMat..61..227T</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01390066">10.1007/BF01390066</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:122247909">122247909</a></li>
<li>Teleman, N. (1983), <a href="http://www.numdam.org/item/PMIHES_1983__58__39_0/">"The index of signature operators on Lipschitz manifolds"</a>, Publications Mathématiques de l'Institut des Hautes Études Scientifiques, 58: 251–290, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02953772">10.1007/BF02953772</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:121497293">121497293</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0531.58044">0531.58044</a></li>
<li>Teleman, N. (1984), "The index theorem on topological manifolds", Acta Mathematica, 153: 117–152, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02392376">10.1007/BF02392376</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:0547.58036">0547.58036</a></li>
<li>Teleman, N. (1985), "Transversality and the index theorem", Integral Equations and Operator Theory, 8 (5): 693–719, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01201710">10.1007/BF01201710</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:121137053">121137053</a></li>
<li><a href="/facts/Ren%25C3%25A9_Thom/hdzhWSaC">Thom, R.</a> (1956), "Les classes caractéristiques de Pontrjagin de variétés triangulées", Symp. Int. Top. Alg. Mexico, pp. 54–67</li>
<li><a href="/facts/Edward_Witten/lPUylPmj">Witten, Edward</a> (1982), "Supersymmetry and Morse theory", J. Diff. Geom., 17 (4): 661–692, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.4310%2Fjdg%2F1214437492">10.4310/jdg/1214437492</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0683171">0683171</a></li>
<li><a href="/facts/Shing-Tung_Yau/qIQclz7g">Shing-Tung Yau</a>, ed. (2009) [First published in 2005], The Founders of Index Theory (2nd ed.), Somerville, Mass.: International Press of Boston, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1571461377 - Personal accounts on <a href="/facts/Michael_Atiyah/RQVJ9ATE">Atiyah</a>, <a href="/facts/Raoul_Bott/5JHkhPx8">Bott</a>, <a href="/facts/Friedrich_Hirzebruch/5MMEInjc">Hirzebruch</a> and <a href="/facts/Isadore_Singer/YwnG6QDd">Singer</a>.</li></ul>

<h2 id="external-links">External links</h2>
<h3>Links on the theory</h3>
<ul><li>Mazzeo, Rafe. <a href="https://web.archive.org/web/20060624031236/http://math.stanford.edu/~mazzeo/Web/Talks/asit3.pdf">"The Atiyah–Singer Index Theorem: What it is and why you should care"</a> (PDF). Archived from the original on June 24, 2006. Retrieved January 3, 2006.{{cite web}}: CS1 maint: bot: original URL status unknown (link) Pdf presentation.</li>
<li>Voitsekhovskii, M.I.; Shubin, M.A. (2001) [1994], <a href="https://www.encyclopediaofmath.org/index.php?title=Index_formulas">"Index formulas"</a>, <a href="/facts/Encyclopedia_of_Mathematics/WC6mGtPm">Encyclopedia of Mathematics</a>, <a href="/facts/European_Mathematical_Society/B3h7b672">EMS Press</a></li>
<li><a href="/facts/Antony_Wassermann/lJGC20P1">Wassermann, Antony</a>. <a href="https://web.archive.org/web/20170329140732/https://www.dpmms.cam.ac.uk/~ajw/">"Lecture notes on the Atiyah–Singer Index Theorem"</a>. Archived from <a href="https://www.dpmms.cam.ac.uk/~ajw/">the original</a> on March 29, 2017.</li></ul>
<h3>Links of interviews</h3>
<ul><li>Raussen, Martin; Skau, Christian (2005), <a href="https://www.ams.org/notices/200502/comm-interview.pdf">"Interview with Michael Atiyah and Isadore Singer"</a> (PDF), Notices of AMS, pp. 223–231</li>
<li>R. R. Seeley and other (1999) <a href="https://web.archive.org/web/20010604143427/http://mmf.ruc.dk/~Booss/recoll.pdf">Recollections from the early days of index theory and pseudo-differential operators</a> - A partial transcript of informal post–dinner conversation during a symposium held in Roskilde, Denmark, in September 1998.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Atiyah & Singer 1963. - Atiyah, Michael F.; Singer, Isadore M. (1963), "The Index of Elliptic Operators on Compact Manifolds", Bull. Amer. Math. Soc., 69 (3): 422–433, doi:10.1090/S0002-9904-1963-10957-X <a href="https://doi.org/10.1090%2FS0002-9904-1963-10957-X" target="_blank">https://doi.org/10.1090%2FS0002-9904-1963-10957-X</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Kayani 2020. - Kayani, U. (2020). "Dynamical supersymmetry enhancement of black hole horizons". arXiv:1910.01080 [hep-th]. <a href="https://arxiv.org/abs/1910.01080" target="_blank">https://arxiv.org/abs/1910.01080</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Hamilton 2020, p. 11. - Hamilton, M. J. D. (2020). "The Higgs boson for mathematicians. Lecture notes on gauge theory and symmetry breaking". arXiv:1512.02632 [math.DG]. <a href="https://arxiv.org/abs/1512.02632" target="_blank">https://arxiv.org/abs/1512.02632</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Gel'fand 1960. - Gel'fand, I. M. (1960), "On elliptic equations", Russ. Math. Surv., 15 (3): 113–123, Bibcode:1960RuMaS..15..113G, doi:10.1070/rm1960v015n03ABEH004094 <a href="https://ui.adsabs.harvard.edu/abs/1960RuMaS..15..113G" target="_blank">https://ui.adsabs.harvard.edu/abs/1960RuMaS..15..113G</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Atiyah & Singer 1963. - Atiyah, Michael F.; Singer, Isadore M. (1963), "The Index of Elliptic Operators on Compact Manifolds", Bull. Amer. Math. Soc., 69 (3): 422–433, doi:10.1090/S0002-9904-1963-10957-X <a href="https://doi.org/10.1090%2FS0002-9904-1963-10957-X" target="_blank">https://doi.org/10.1090%2FS0002-9904-1963-10957-X</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Palais 1965. - Palais, Richard S. (1965), Seminar on the Atiyah–Singer Index Theorem, Annals of Mathematics Studies, vol. 57, S.l.: Princeton Univ Press, ISBN 978-0-691-08031-4 <a href="https://books.google.com/books?isbn=0-691-08031-3" target="_blank">https://books.google.com/books?isbn=0-691-08031-3</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Cartan-Schwartz 1965. - Cartan-Schwartz (1965), 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), École Normale Supérieure, Secrétariat mathématique, Paris, Zbl 0149.41102 <a href="https://zbmath.org/?format=complete&q=an:0149.41102" target="_blank">https://zbmath.org/?format=complete&q=an:0149.41102</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Atiyah & Singer 1968a. - Atiyah, Michael F.; Singer, Isadore M. (1968a), "The Index of Elliptic Operators I", Annals of Mathematics, 87 (3): 484–530, doi:10.2307/1970715, JSTOR 1970715 <a href="https://doi.org/10.2307%2F1970715" target="_blank">https://doi.org/10.2307%2F1970715</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Atiyah & Singer (1968a); Atiyah & Singer (1968b); Atiyah & Singer (1971a); Atiyah & Singer (1971b). - Atiyah, Michael F.; Singer, Isadore M. (1968a), "The Index of Elliptic Operators I", Annals of Mathematics, 87 (3): 484–530, doi:10.2307/1970715, JSTOR 1970715 <a href="https://doi.org/10.2307%2F1970715" target="_blank">https://doi.org/10.2307%2F1970715</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Novikov 1965. - Novikov, S.P. (1965), "Topological invariance of the rational Pontrjagin classes" (PDF), Doklady Akademii Nauk SSSR, 163: 298–300 <a href="https://www.mi.ras.ru/~snovikov/21.pdf" target="_blank">https://www.mi.ras.ru/~snovikov/21.pdf</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Kirby & Siebenmann 1969. - Kirby, R.; Siebenmann, L.C. (1969), "On the triangulation of manifolds and the Hauptvermutung", Bull. Amer. Math. Soc., 75 (4): 742–749, doi:10.1090/S0002-9904-1969-12271-8 <a href="https://doi.org/10.1090%2FS0002-9904-1969-12271-8" target="_blank">https://doi.org/10.1090%2FS0002-9904-1969-12271-8</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Thom 1956. - Thom, R. (1956), "Les classes caractéristiques de Pontrjagin de variétés triangulées", Symp. Int. Top. Alg. Mexico, pp. 54–67 <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">Atiyah 1970. - Atiyah, M. F. (1970), "Global Theory of Elliptic Operators", Proc. Int. Conf. on Functional Analysis and Related Topics (Tokyo, 1969), University of Tokio, Zbl 0193.43601 <a href="https://zbmath.org/?format=complete&q=an:0193.43601" target="_blank">https://zbmath.org/?format=complete&q=an:0193.43601</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Singer 1971. - Singer, I.M. (1971), "Future extensions of index theory and elliptic operators", Prospects in Mathematics, Annals of Mathematics Studies in Mathematics, vol. 70, pp. 171–185 <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">Kasparov 1972. - Kasparov, G.G. (1972), "Topological invariance of elliptic operators, I: K-homology", Math. USSR Izvestija (Engl. Transl.), 9 (4): 751–792, Bibcode:1975IzMat...9..751K, doi:10.1070/IM1975v009n04ABEH001497 <a href="https://ui.adsabs.harvard.edu/abs/1975IzMat...9..751K" target="_blank">https://ui.adsabs.harvard.edu/abs/1975IzMat...9..751K</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">Atiyah, Bott & Patodi 1973. - Atiyah, M.; Bott, R.; Patodi, V. K. (1973), "On the heat equation and the index theorem", Invent. Math., 19 (4): 279–330, Bibcode:1973InMat..19..279A, doi:10.1007/BF01425417, MR 0650828, S2CID 115700319 <a href="https://ui.adsabs.harvard.edu/abs/1973InMat..19..279A" target="_blank">https://ui.adsabs.harvard.edu/abs/1973InMat..19..279A</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">Melrose 1993. - Melrose, Richard B. (1993), The Atiyah–Patodi–Singer Index Theorem, Wellesley, Mass.: Peters, ISBN 978-1-56881-002-7 <a href="http://www-math.mit.edu/~rbm/book.html" target="_blank">http://www-math.mit.edu/~rbm/book.html</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
<li id="fn:18">Sullivan 1979. - Sullivan, D. (1979), "Hyperbolic geometry and homeomorphisms", J.C. Candrell, "Geometric Topology", Proc. Georgia Topology Conf. Athens, Georgia, 1977, New York: Academic Press, pp. 543–595, ISBN 978-0-12-158860-1, Zbl 0478.57007 <a href="https://zbmath.org/?format=complete&q=an:0478.57007" target="_blank">https://zbmath.org/?format=complete&q=an:0478.57007</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></li>
<li id="fn:19">Getzler 1983. - Getzler, E. (1983), "Pseudodifferential operators on supermanifolds and the Atiyah–Singer index theorem", Commun. Math. Phys., 92 (2): 163–178, Bibcode:1983CMaPh..92..163G, doi:10.1007/BF01210843, S2CID 55438589 <a href="http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1103940796" target="_blank">http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cmp/1103940796</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></li>
<li id="fn:20">Witten 1982. - Witten, Edward (1982), "Supersymmetry and Morse theory", J. Diff. Geom., 17 (4): 661–692, doi:10.4310/jdg/1214437492, MR 0683171 <a href="https://doi.org/10.4310%2Fjdg%2F1214437492" target="_blank">https://doi.org/10.4310%2Fjdg%2F1214437492</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></li>
<li id="fn:21">Teleman 1983. - Teleman, N. (1983), "The index of signature operators on Lipschitz manifolds", Publications Mathématiques de l'Institut des Hautes Études Scientifiques, 58: 251–290, doi:10.1007/BF02953772, S2CID 121497293, Zbl 0531.58044 <a href="http://www.numdam.org/item/PMIHES_1983__58__39_0/" target="_blank">http://www.numdam.org/item/PMIHES_1983__58__39_0/</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></li>
<li id="fn:22">Teleman 1984. - Teleman, N. (1984), "The index theorem on topological manifolds", Acta Mathematica, 153: 117–152, doi:10.1007/BF02392376, Zbl 0547.58036 <a href="https://doi.org/10.1007%2FBF02392376" target="_blank">https://doi.org/10.1007%2FBF02392376</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></li>
<li id="fn:23">Connes 1986. - Connes, A. (1986), "Non-commutative differential geometry", Publications Mathématiques de l'Institut des Hautes Études Scientifiques, 62: 257–360, doi:10.1007/BF02698807, S2CID 122740195, Zbl 0592.46056 <a href="http://www.numdam.org/item/PMIHES_1985__62__41_0/" target="_blank">http://www.numdam.org/item/PMIHES_1985__62__41_0/</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></li>
<li id="fn:24">Donaldson & Sullivan 1989. - Donaldson, S.K.; Sullivan, D. (1989), "Quasiconformal 4-manifolds", Acta Mathematica, 163: 181–252, doi:10.1007/BF02392736, Zbl 0704.57008 <a href="https://doi.org/10.1007%2FBF02392736" target="_blank">https://doi.org/10.1007%2FBF02392736</a> <a href="#fnref:24" class="footnote-back-ref">↩</a></li>
<li id="fn:25">Connes & Moscovici 1990. - Connes, A.; Moscovici, H. (1990), "Cyclic cohomology, the Novikov conjecture and hyperbolic groups" (PDF), Topology, 29 (3): 345–388, doi:10.1016/0040-9383(90)90003-3, Zbl 0759.58047 <a href="http://www.alainconnes.org/docs/novikov.pdf" target="_blank">http://www.alainconnes.org/docs/novikov.pdf</a> <a href="#fnref:25" class="footnote-back-ref">↩</a></li>
<li id="fn:26">Connes, Sullivan & Teleman 1994. - Connes, A.; Sullivan, D.; Teleman, N. (1994), "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, Zbl 0840.57013 <a href="https://doi.org/10.1016%2F0040-9383%2894%2990003-5" target="_blank">https://doi.org/10.1016%2F0040-9383%2894%2990003-5</a> <a href="#fnref:26" class="footnote-back-ref">↩</a></li>
<li id="fn:27">Shanahan, P. (1978), The Atiyah-Singer Index Theorem, Lecture Notes in Mathematics, vol. 638, Springer, CiteSeerX 10.1.1.193.9222, doi:10.1007/BFb0068264, ISBN 978-0-387-08660-6 <a href="978-0-387-08660-6" target="_blank">978-0-387-08660-6</a> <a href="#fnref:27" class="footnote-back-ref">↩</a></li>
<li id="fn:28">Lawson, H. Blane; Michelsohn, Marie-Louise (1989), Spin Geometry, Princeton University Press, ISBN 0-691-08542-0 <a href="0-691-08542-0" target="_blank">0-691-08542-0</a> <a href="#fnref:28" class="footnote-back-ref">↩</a></li>
<li id="fn:29">"algebraic topology - How to understand the Todd class?". Mathematics Stack Exchange. Retrieved 2021-02-05. <a href="https://math.stackexchange.com/questions/41182/how-to-understand-the-todd-class" target="_blank">https://math.stackexchange.com/questions/41182/how-to-understand-the-todd-class</a> <a href="#fnref:29" class="footnote-back-ref">↩</a></li>
<li id="fn:30">Index Theorems on Open Spaces <a href="https://projecteuclid.org/download/pdf_1/euclid.cmp/1103904395" target="_blank">https://projecteuclid.org/download/pdf_1/euclid.cmp/1103904395</a> <a href="#fnref:30" class="footnote-back-ref">↩</a></li>
<li id="fn:31">Some Remarks on the Paper of Callias <a href="https://projecteuclid.org/download/pdf_1/euclid.cmp/1103904396" target="_blank">https://projecteuclid.org/download/pdf_1/euclid.cmp/1103904396</a> <a href="#fnref:31" class="footnote-back-ref">↩</a></li>
<li id="fn:32">Nakahara, Mikio (2003), Geometry, topology and physics, Institute of Physics Publishing, ISBN 0-7503-0606-8 <a href="0-7503-0606-8" target="_blank">0-7503-0606-8</a> <a href="#fnref:32" class="footnote-back-ref">↩</a></li>
</ol>

Atiyah–Singer index theorem open-in-new

Atiyah–Singer index theorem