22
$\begingroup$

Though the Atiyah-Singer index theorem holds for pseudodifferential operators, all the applications of the index theorem I know of only need it for Dirac-type operators. I know that pseudodifferential operators play a major role in the K-theoretic proof of the index theorem, but it seems to me that they are of no use for any applications of it.

What are examples of applications of the Atiyah-Singer index theorem, which essentially use the computation of the index of a pseudodifferential operator which is not a Dirac-type operator?

Or phrased it another way: what are the benefits of knowing that the Atiyah-Singer index theorem holds for pseudodifferential operators and not only for Dirac-type operators?

Why do I care: for Dirac-type operators we can prove Atiyah-Singer using the heat kernel method, whereas this is in general not possible for pseudodifferential operators (so for them we have to use other proofs). So I was asking myself whether there is any need to have these other proofs that work also for pseudodifferential operators besides the fact that these other proofs further our understanding of the index theorem.

$\endgroup$
  • $\begingroup$ What is Dirac type operator? Is Riemann-Roch theorem a good application? $\endgroup$ – Alex Degtyarev Jan 12 '14 at 14:43
  • $\begingroup$ @AlexDegtyarev: We get Hirzebruch-Riemann-Roch by applying the Atiyah-Singer index theorem to the operator $D := \overline{\partial}_E + \overline{\partial}_E^\ast$, where $\overline{\partial}_E$ is the Dolbeault operator twisted by a suitable vector bundle E. This is an example of a Dirac-type operator. $\endgroup$ – AlexE Jan 12 '14 at 14:58
  • $\begingroup$ So, can you define "Dirac type"? $\endgroup$ – Alex Degtyarev Jan 12 '14 at 15:07
  • 1
    $\begingroup$ @AlexDegtyarev: If S is a Clifford bundle over M, then the Dirac operator D of S is the first order differential operator given by the following composition $$C^\infty(S) \to C^\infty(T^\ast M \otimes S) \to C^\infty(TM \otimes S) \to C^\infty(S),$$ where the first arrow is given by applying the connection, the second by identifying $T^\ast M$ and $TM$ via the Riemannian metric of M, and the third arrow is given by the Clifford action. An operator of Dirac-type is one which arrises in that way. Especially, the symbol of D is given by Clifford multiplication: $\sigma_\xi(D)s = i\xi \cdot s$. $\endgroup$ – AlexE Jan 12 '14 at 15:35
16
$\begingroup$

Boundary problems for elliptic differential equations are often studied by reducing to equations on the boundary. These equations are, as a rule, pseudo-differential but not differential. If the boundary problem is elliptic then the pseudo-differential operator is elliptic, thus Fredholm, and its index is of interest for answering the solvability question. See, for example, the chapter on elliptic boundary problems in volume 3 of Hörmanders monograph.

An early paper on this matter is by Fritz Noether (a brother of Emmy Noether) in Math. Ann. 82 (1920), 42-63. Interested in hydrodynamic problems, he considers singular integral operators which turn out to have non-zero index, and he gives a winding-number type formula for the index. The integral operators are pseudo-differential when making some additional smoothness assumptions, and they arise from reduction to the boundary by the use of layer potentials. I believe that the Noether formula is seen as one of the ancestors of the Atiyah-Singer Index Theorem.

$\endgroup$
  • 6
    $\begingroup$ This is a good point, but it should be noted that the standard Atiyah-Singer theorem needs to be modified to handle boundary value problems: there is a subtle error term called the eta invariant studied by Atiyah, Patodi, and Singer in their papers "Spectral asymmetry and Riemannian geometry". So boundary value problems appear in generalizations of rather than applications of the Atiyah-Singer theorem. $\endgroup$ – Paul Siegel Jan 13 '14 at 7:48
13
$\begingroup$

Index theory is fundamentally about a homomorphism $$K_n(M) \to \mathbb{Z}$$ from the top degree K-homology of $M$ (even dimensional) to the integers called the analytic index map. It is called this because every graded self-adjoint elliptic (pseudo)differential operator on $M$ determines a class in $K_n(M)$ and the analytic index map sends the class of an elliptic operator to its index. The content of the index theorem is that the analytic index map agrees with another map (the topological index) from K-homology to the integers defined via algebraic topology (essentially the Poincare-Thom construction).

Baum and Douglas constructed a geometric model of the K-homology of a CW-complex $X$ in which a cycle consists of a spin$^c$ manifold equipped with its spin$^c$-Dirac operator and a reference map from the manifold into $X$. They proved that the abelian group generated by these cycles (with relations that I will not specify) really is the K-homology of $X$, i.e. the homology theory determined by the Bott spectrum. The classical index theorem for spin$^c$-Dirac operators is really about calculating the topological index of the fundamental class of a spin$^c$-manifold.

So since the Fredholm index is well-defined on K-homology classes (the existence of the analytic index map) and K-homology classes can be represented by Dirac operators (Baum-Douglas), this means that any index problem can be reduced to an index problem involving Dirac operators. There are index theorems involving operators which are not obviously related to Dirac type operators - Toeplitz operators come to mind (this is related to Sonke Hansen's answer), for instance - but even for those operators the index theory is controlled by Dirac operators.

Now some comments about the role of pseudodifferential operators in all this. Pseudodifferential operators typically enter into index theory for one of three reasons:

  1. To prove that a certain operator is Fredholm.
  2. To construct homotopies.
  3. To emphasize the stability of the index.

First, to prove that an operator is Fredholm it is typically easiest to show that it is invertible up to compact operators. One of the goals of pseudodifferential operator theory is to construct pseudo-inverses for differential operators in this sense, and many people like to prove that differential operators are Fredholm by explicitly constructing pseudo-inverses. This is more or less the line that Atiyah-Singer took in their original papers.

Second, to do calculations in index theory one often must construct homotopies between different operators (exploiting the homotopy invariance of the Fredholm index), and even if you only care about differential operators these homotopies usually must pass through pseudodifferential operators.

Finally, the K-homology picture of index theory emphasizes how insensitive the Fredholm index is to the details of a differential operator. When constructing the K-homology class of an elliptic operator (using the Baum-Douglas model or otherwise) one notices that the construction depends only on the asymptotic properties of the principal symbol; for example, if the principal symbols of two different operators agree outside a compact set at each point then the K-homology classes will be the same. Thus the index theorem for pseudodifferential operators comes almost for free, and I think this is why index theorems are often formulated for pseudodifferential operators (rather than to handle a specific set of examples).

$\endgroup$

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.