6
$\begingroup$

I am trying to understand the proof of the Atiyah--Singer index theorem, and would like to see how it works for two "simple" examples. Could somebody direct me to a proof for the special case of

  1. A Riemannian manifold and its associated Dirac operator $$ d+d^*: \Omega^\bullet \to \Omega^\bullet, $$
  2. a Kaehler manifold $(M,g)$ and its Dirac operator $$ (\overline{\partial} + \overline{\partial}^*): \Omega^{0,\bullet} \to \Omega^{0,\bullet}. $$
$\endgroup$
1
  • $\begingroup$ I revised my answer to perhaps address the question in your post more directly. $\endgroup$ Commented Oct 29, 2020 at 17:13

1 Answer 1

10
$\begingroup$

I highly recommend the discussion in Shanahan's book, The Atiyah-Singer Index Theorem (An introduction), Lecture Notes in Math 638. In addition to a sketch of the proof, he gives a nice discussion of how the formidable general statement of the theorem gives the answers for your two examples, plus the (spin) Dirac operator and the signature operator. There are other treatments if you want to learn all of the details of the proof, but that book is excellent for the purpose of your question.

(Added later) A second reading of the question suggests that you are asking for a complete proof for these two cases, rather than instructions on how to deduce these cases from the full A-S theorem.

For (1), the ingredients are the Hodge theorem to identify the kernel and cokernel as the de Rham cohomology in even and odd dimensions. Then you need the de Rham theorem to identify these cohomology groups as (say) singular cohomology. This shows that the index is the Euler characteristic. Finally, you need to identify the Euler characteristic as the evaluation of the Euler class on the fundamental cycle of your manifold. You can find this latter in many places, eg Milnor-Stasheff.

I don't know that there is as direct a proof of (2), which is essentially the Hirzebruch-Riemann-Roch theorem.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .