Atiyah–Singer index theorem

Last updated
Atiyah–Singer index theorem
Field Differential geometry
First proof by Michael Atiyah and Isadore Singer
First proof in1963
Consequences Chern–Gauss–Bonnet theorem
Grothendieck–Riemann–Roch theorem
Hirzebruch signature theorem
Rokhlin's theorem

In differential geometry, the Atiyah–Singer index theorem, proved by MichaelAtiyah and Isadore Singer  ( 1963 ), states that for an elliptic differential operator on a compact manifold, the analytical index (related to the dimension of the space of solutions) is equal to the topological index (defined in terms of some topological data). It includes many other theorems, such as the Chern–Gauss–Bonnet theorem and Riemann–Roch theorem, as special cases, and has applications to theoretical physics [1] pg 11.

Contents

History

The index problem for elliptic differential operators was posed by IsraelGel'fand  ( 1960 ). He noticed the homotopy invariance of the index, and asked for a formula for it by means of topological invariants. Some of the motivating examples included the Riemann–Roch theorem and its generalization the Hirzebruch–Riemann–Roch theorem, and the Hirzebruch signature theorem. Friedrich Hirzebruch and Armand Borel had proved the integrality of the  genus of a spin manifold, and Atiyah suggested that this integrality could be explained if it were the index of the Dirac operator (which was rediscovered by Atiyah and Singer in 1961).

The Atiyah–Singer theorem was announced by Atiyah & Singer (1963). The proof sketched in this announcement was never published by them, though it appears in the book ( Palais 1965 ). It appears also in the "Séminaire Cartan-Schwartz 1963/64" ( Cartan-Schwartz 1965 ) that was held in Paris simultaneously with the seminar led by Richard Palais at Princeton University. The last talk in Paris was by Atiyah on manifolds with boundary. Their first published proof ( Atiyah & Singer 1968a ) replaced the cobordism theory of the first proof with K-theory, and they used this to give proofs of various generalizations in the papers AtiyahandSinger ( 1968a , 1968b , 1971a , 1971b ).

Notation

Symbol of a differential operator

If D is a differential operator on a Euclidean space of order n in k variables , then its symbol is the function of 2k variables , given by dropping all terms of order less than n and replacing by . So the symbol is homogeneous in the variables y, of degree n. The symbol is well defined even though does not commute with 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 , and so is elliptic as this is nonzero whenever any of the 's are nonzero. The wave operator has symbol , which is not elliptic if , 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 cotangent bundle of X, homogeneous of degree n on each cotangent space. (In general, differential operators transform in a rather complicated way under coordinate transforms (see jet bundle); 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) parametrix (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 pseudodifferential operator.)

Analytical index

As the elliptic differential operator D has a pseudoinverse, it is a Fredholm operator. Any Fredholm operator has an index, defined as the difference between the (finite) dimension of the kernel of D (solutions of Df = 0), and the (finite) dimension of the cokernel 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.

Topological index

The topological index of an elliptic differential operator between smooth vector bundles and on an -dimensional compact manifold is given by

in other words the value of the top dimensional component of the mixed cohomology class on the fundamental homology class of the manifold . Here,

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.

Relation to Grothendieck–Riemann–Roch

The Grothendieck–Riemann–Roch 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 of compact stably almost complex manifolds, then there is a commutative diagram [2]

Index-theorem-relating-to-Grothendieck-Riemann-Roch.png

if is a point, then we recover the statement above. Here is the Grothendieck group 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 Chow ring of a smooth variety, and the Grothendieck group on the left is given by the Grothendieck group of algebraic vector bundles.

Extensions of the Atiyah–Singer index theorem

Teleman index theorem

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.

Connes–Donaldson–Sullivan–Teleman index theorem

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.

Other extensions

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.

Examples

Euler characteristic

Suppose that M is a compact oriented manifold. If we take E to be the sum of the even exterior powers of the cotangent bundle, and F to be the sum of the odd powers, define D = d + d*, considered as a map from E to F. Then the topological index of D is the Euler characteristic of the Hodge cohomology of M, and the analytical index is the Euler class of the manifold. The index formula for this operator yields the Chern–Gauss–Bonnet theorem.

Hirzebruch–Riemann–Roch theorem

Take X to be a complex manifold 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

restricted to E. Then the analytical index of D is the holomorphic Euler characteristic of V:

The topological index of D is given by

,

the product of the Chern character of V and the Todd class of X evaluated on the fundamental class of X. By equating the topological and analytical indices we get the Hirzebruch–Riemann–Roch theorem. In fact we get a generalization of it to all complex manifolds: Hirzebruch's proof only worked for projective complex manifolds X.

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

with the differential given by . Then the i'th cohomology group is just the coherent cohomology group Hi(X, V), so the analytical index of this complex is the holomorphic Euler characteristic Σ (−1)i dim(Hi(X, V)). As before, the topological index is ch(V)Td(X)[X].

Hirzebruch signature theorem

The Hirzebruch signature theorem states that the signature of a compact oriented manifold X of dimension 4k is given by the L genus of the manifold. This follows from the Atiyah–Singer index theorem applied to the following signature operator.

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

times the Hodge * operator. The operator D is the Hodge Laplacian

restricted to E, where d is the Cartan exterior derivative 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.

 genus and Rochlin's theorem

The  genus 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 Rochlin's theorem 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.

Proof techniques

Pseudodifferential operators

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 Fourier transforms 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 version of the index theorem can be extended from elliptic differential operators to elliptic pseudodifferential operators.

Cobordism

The initial proof was based on that of the Hirzebruch–Riemann–Roch theorem (1954), and involved cobordism theory and pseudodifferential operators.

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.

K-theory

Atiyah and Singer's first published proof used K-theory 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.

Heat equation

Atiyah, Bott ,and Patodi  ( 1973 ) gave a new proof of the index theorem using the heat equation, 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

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.

Related Research Articles

Michael Atiyah British mathematician

Sir Michael Francis Atiyah was a British-Lebanese mathematician specialising in geometry.

In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.

In mathematics, Fredholm operators are certain operators that arise in the Fredholm theory of integral equations. They are named in honour of Erik Ivar Fredholm. By definition, a Fredholm operator is a bounded linear operator T : X → Y between two Banach spaces with finite-dimensional kernel and finite-dimensional (algebraic) cokernel , and with closed range . The last condition is actually redundant.

In mathematics, the Chern theorem states that the Euler-Poincaré characteristic of a closed even-dimensional Riemannian manifold is equal to the integral of a certain polynomial of its curvature form.

In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.

In noncommutative geometry and related branches of mathematics, cyclic homology and cyclic cohomology are certain (co)homology theories for associative algebras which generalize the de Rham (co)homology of manifolds. These notions were independently introduced by Boris Tsygan (homology) and Alain Connes (cohomology) in the 1980s. These invariants have many interesting relationships with several older branches of mathematics, including de Rham theory, Hochschild (co)homology, group cohomology, and the K-theory. Contributors to the development of the theory include Max Karoubi, Yuri L. Daletskii, Boris Feigin, Jean-Luc Brylinski, Mariusz Wodzicki, Jean-Louis Loday, Victor Nistor, Daniel Quillen, Joachim Cuntz, Ryszard Nest, Ralf Meyer, and Michael Puschnigg.

In mathematics, and especially differential topology and gauge theory, Donaldson's theorem states that a definite intersection form of a compact, oriented, simply connected, smooth manifold of dimension 4 is diagonalisable. If the intersection form is positive (negative) definite, it can be diagonalized to the identity matrix over the integers.

In mathematics, topological K-theory is a branch of algebraic topology. It was founded to study vector bundles on topological spaces, by means of ideas now recognised as (general) K-theory that were introduced by Alexander Grothendieck. The early work on topological K-theory is due to Michael Atiyah and Friedrich Hirzebruch.

In mathematics, a Riemann–Roch theorem for smooth manifolds is a version of results such as the Hirzebruch–Riemann–Roch theorem or Grothendieck–Riemann–Roch theorem (GRR) without a hypothesis making the smooth manifolds involved carry a complex structure. Results of this kind were obtained by Michael Atiyah and Friedrich Hirzebruch in 1959, reducing the requirements to something like a spin structure.

In mathematics, in particular in partial differential equations and differential geometry, an elliptic complex generalizes the notion of an elliptic operator to sequences. Elliptic complexes isolate those features common to the de Rham complex and the Dolbeault complex which are essential for performing Hodge theory. They also arise in connection with the Atiyah-Singer index theorem and Atiyah-Bott fixed point theorem.

In mathematics, the Atiyah–Bott fixed-point theorem, proven by Michael Atiyah and Raoul Bott in the 1960s, is a general form of the Lefschetz fixed-point theorem for smooth manifolds M, which uses an elliptic complex on M. This is a system of elliptic differential operators on vector bundles, generalizing the de Rham complex constructed from smooth differential forms which appears in the original Lefschetz fixed-point theorem.

In 4-dimensional topology, a branch of mathematics, Rokhlin's theorem states that if a smooth, closed 4-manifold M has a spin structure, then the signature of its intersection form, a quadratic form on the second cohomology group , is divisible by 16. The theorem is named for Vladimir Rokhlin, who proved it in 1952.

In differential topology, an area of mathematics, the Hirzebruch signature theorem is Friedrich Hirzebruch's 1954 result expressing the signature of a smooth compact oriented manifold by a linear combination of Pontryagin numbers called the L-genus. It was used in the proof of the Hirzebruch–Riemann–Roch theorem.

In mathematics, operator K-theory is a noncommutative analogue of topological K-theory for Banach algebras with most applications used for C*-algebras.

In mathematics, the signature operator is an elliptic differential operator defined on a certain subspace of the space of differential forms on an even-dimensional compact Riemannian manifold, whose analytic index is the same as the topological signature of the manifold if the dimension of the manifold is a multiple of four. It is an instance of a Dirac-type operator.

In mathematics, KR-theory is a variant of topological K-theory defined for spaces with an involution. It was introduced by Atiyah (1966), motivated by applications to the Atiyah–Singer index theorem for real elliptic operators.

In mathematics, the eta invariant of a self-adjoint elliptic differential operator on a compact manifold is formally the number of positive eigenvalues minus the number of negative eigenvalues. In practice both numbers are often infinite so are defined using zeta function regularization. It was introduced by Atiyah, Patodi, and Singer who used it to extend the Hirzebruch signature theorem to manifolds with boundary. The name comes from the fact that it is a generalization of the Dirichlet eta function.

In differential geometry, algebraic geometry, and gauge theory, the Kobayashi–Hitchin correspondence relates stable vector bundles over a complex manifold to Einstein–Hermitian vector bundles. The correspondence is named after Shoshichi Kobayashi and Nigel Hitchin, who independently conjectured in the 1980s that the moduli spaces of stable vector bundles and Einstein–Hermitian vector bundles over a complex manifold were essentially the same.

Thomas Schick

Thomas Schick is a German mathematician, specializing in algebraic topology and differential geometry.

In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a physical model of some natural phenomenon.

References

  1. Hamilton, M. J. D. (2020-07-24). "The Higgs boson for mathematicians. Lecture notes on gauge theory and symmetry breaking". arXiv: 1512.02632 [math.DG].
  2. "algebraic topology - How to understand the Todd class?". Mathematics Stack Exchange. Retrieved 2021-02-05.
  3. Index Theorems on Open Spaces
  4. Some Remarks on the Paper of Callias

Theoretical references

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

References on history