17
$\begingroup$

I was in a lecture not long ago given by C. Teleman and at some point he said "Well, since Riemann-Roch is an index problem we can do..."

Then right after that he argued in favour of such a sentence. Could anyone tell me what did he mean exactly?. That is to say, in this case what is elliptic operator like, what is the heuristic idea which such a result relies on? ...and a little bit of more details about it.

As usual references will be appreciated.

ADD: Thanks for the comments below, but I think they do not answer the question of title : Why is RR an Index problem?. Up to this point, what I can see is that two numbers happened to be the same.

$\endgroup$
3
  • 1
    $\begingroup$ Can you say a bit more about the context? Or can you say what topic the lecture was on? It might help to give a better answer. $\endgroup$ Dec 3, 2009 at 18:06
  • $\begingroup$ "The non-linear index problems in topology: Examples from physics" that was the title. This was part of a conference in Mexico city. $\endgroup$ Dec 3, 2009 at 18:10
  • $\begingroup$ In the version I stated below, you see the analytical index on the LHS and the topological index on the RHS, or am I missing something? $\endgroup$ Dec 3, 2009 at 18:29

7 Answers 7

23
$\begingroup$

Here is a sketch of the argument as I learned it in a complex analysis class: For a Riemann surface $X$ and a holomorphic line bundle $L$, we want $$\text{dim}H^0(X,L)-\text{dim}H^0(X,L\otimes\Lambda^{0,1})=c_1(L)+\frac{1}{2}\chi(X)$$ You have an operator $\overline{\partial}$ (differentiation with respect to $d\overline{z}$ taking $\Gamma(X,L)$ to $\Gamma(X,L\otimes\Lambda^{0,1})$. Then $H^0(X,L)$ is the kernel of $\overline{\partial}$ and $H^0(X,L\otimes\Lambda^{0,1})$ is the kernel of its adjoint, $\overline{\partial}^+$. Now define $\Delta^+=\overline{\partial}\overline{\partial}^+$ and $\Delta^-=\overline{\partial}^+\overline{\partial}$. Their spectra are the same, except for the kernels, and we get $$\text{Tr}(e^{-t\Delta^+})-\text{Tr}(e^{-t\Delta^-})=\text{dim}(\text{ker}\Delta^+)-\text{dim}(\text{ker}\Delta^-)$$ We also have that the kernel of $\overline{\partial}$ is the kernel of $\Delta^-$, and the kernel of $\overline{\partial}^+$ is the kernel of $\Delta^+$, so it's enough to get your hands on the left-hand side. Then you write those traces as integrals of heat kernels, take the limit as $t\rightarrow 0^+$, and show that the integrals go to $c_1(L)+\frac{1}{2}\chi(X)$. And that's possible because we can interpret Chern classes and Euler characteristics of Riemann surfaces as integrals of curvatures of line bundles. Of course, then there's more work to turn $c_1(L)+\frac{1}{2}\chi(X)$ into it's more familiar form.

$\endgroup$
4
  • $\begingroup$ that was great! Thks! $\endgroup$ Dec 4, 2009 at 5:31
  • $\begingroup$ A lot is brushed under the rug, like carrying out all of these steps on more than a formal level. Also, things like metrics on line bundles are hidden in the definition of the adjoint and the defintion of c_1. $\endgroup$ Dec 4, 2009 at 7:53
  • 5
    $\begingroup$ Hi, I don't understand why in the second term it is $\dim H^0(X,L\otimes \Lambda^{0,1})$ and not $L^{-1}$ with the rest being the same. I suspect this is due to something that I am not recognizing, and it is probably completely trivial, but I would appreciate if someone could enlighten me. $\endgroup$
    – Alfonz
    Nov 3, 2010 at 0:06
  • 2
    $\begingroup$ @Alfonz: it seems to me that you are not missing anything and that the formulas should contain $L^{-1}$ as you suggest. Let's wait 24 or hours or so to see if anyone feels differently, then I, Rebecca Bellovin, or some other high rep user can edit the answer accordingly. $\endgroup$ Nov 3, 2010 at 15:22
16
$\begingroup$

This is discussed in detail in chapter IV of the RRT notes on my web page (roy smith at math dept, university of georgia). Briefly, the index point of view is a valuable simplification, but the Riemann Roch theorem is more than an index statement in general. Moreover the content of the index statement depends on the definition of the "index". In the answer by Spinorbundle above, the analytic index is defined in such a way that stating it as he does gives a complete statement of the RRT theorem, i.e. his definition of the index includes the statement of Serre duality as well, which in the case of curves also implies Kodaira vanishing.

Usually an index of a linear operator is the difference between the kernel and cokernel of that operator. In Riemann's original formulation of his theorem, that operator is a matrix of periods of integrals, and the RR problem is that of computing just its kernel. In the sheaf theoretic version of his approach, the index of the relevant operator associated to a divisor $D$ is the difference $\chi(D) = h^0(D) - h^1(D)$. An easy long exact sheaf cohomology sequence implies immediately that $\chi(D) - \chi(O) = \deg(D)$.

Then if one simply defines the genus to be $1-\chi(\mathcal{O})$ as is sometimes done, the result is the formula $\chi(D) = 1-g + \deg(D)$, a sort of "computation" of the index $\chi(D)$, sometimes called the Riemann Roch theorem. This however is not very useful unless one can also compute $g$, i.e. $\chi(\mathcal{O})$. The real RR theorem should thus relate $\chi(\mathcal{O})$ to some more illuminating definition of the genus, such as $h^0(K)$ or the topological genus, i.e. the very weak formula in this paragraph does not reveal that the index $\chi(D)$ is a topological invariant. Finally conditions should be given when $\chi(D) = h^0(D)$, the actual Riemann Roch number.

In dimension one, defining the index as Spinorbundle does, and computing it, does solve all these problems at once. But that computation is correspondingly more difficult. In higher dimensions even that computation does not give a criterion for the index to equal the Riemann Roch number.

When the index $\chi(L)$ is defined as the alternating sum of the dimensions of sheaf cohomology groups of a line bundle $L$, as is more common in algebraic geometry, there are then several steps to the full RR theorem:

1) compute $\chi(L) - \chi(\mathcal{O})$, the difference of the indices of $L$ and of $\mathcal{O}$, as a topological invariant. This is the relatively easy part, by sheaf theory.

2) compute $\chi(\mathcal{O})$, also a topological invariant. This is sometimes called the Noether formula (at least for surfaces). One then has a topological formula for the index $\chi(L)$.

3) relate $\chi(L)$ to $h^0(L)$, and perhaps $h^0(K-L)$. This involves the vanishing criteria of Serre and Kodaira and Mumford, and duality. This is the hardest part.

Moral: computing the index $\chi(L)$ is topological, hence relatively easy. Then one tries to go from $\chi(L)$ to $h^0(L)$, using the deep results of Serre duality and Kodaira vanishing. Saying the RRT is (just) an index problem is like saying you can compute the number of vertices of a polyhedron just from knowing its Euler characteristic. But I confess to pretending otherwise at times. Indeed one of my t - shirts reads "Will explain Riemann Roch for gianduia: $\chi(D)-\chi(O) = \deg(D)$, and $\chi(O) = 1-g$", which is merely the index statement.

In the RRT notes on my webpage, pp.37-42 there is an easy proof of steps 1 and 2, for curves, inspired by the introduction to one of Fulton's papers. Basically, once you have identified a topological invariant, you can compute it by degeneration to a simpler case. These notes also discuss Riemann's original proof, as well as generalizations of the index point of view to the case of surfaces, and a little about the Hirzebruch RR theorem in higher dimensions. Serre's proof of the duality theorem is also sketched. Briefly Serre lumps all the relevant cohomology spaces for all divisors $D$ together into two infinite dimensional complex vector spaces, which he then shows are both one dimensional over the larger field of rational functions. It is then easier to prove they are isomorphic over that field, by showing the natural map between them is non zero, hence all their individual components are isomorphic over the complex numbers.

$\endgroup$
12
$\begingroup$

Here is a self contained answer to why Riemann's original theorem as he proved it, before Roch's refinement, is indeed an index statement.

Traditionally, the “index” of a linear operator is the difference between the dimensions of its kernel and cokernel. Computing this difference is usually easier than computing either the kernel or cokernel dimensions alone, hence it is a helpful first step even where one of those dimensions is really wanted. Moreover the index gives an estimate of the kernel dimension. Riemann’s proof of his theorem was to calculate such an index as follows.

Given a divisor $D$ of $r$ distinct points on a compact complex Riemann surface $X$ of genus g, he constructed a basis of the $g+r$ dimensional space $W \cong \mathbb{C}^{r+g}$ of corresponding differentials of “second kind”, i.e. having at worst principal part $\operatorname{const}.dz/(z-p)^2$ at each point $p$. Since the space $L(D)$ of meromorphic functions with at worst simple poles at these points maps with one dimensional kernel into the space $W$, in order to compute the dimension of $L(D)$ it suffices to compute the subspace of exact differentials in $W$, i.e. the kernel of the “period map”, obtained by integrating these differentials over a basis for the 1st homology of $X$.

Thus he wants to compute the kernel of a linear map from $\mathbb{C}^{r+g}$ to $\mathbb{C}^{2g}$. It follows immediately from the rank/nullity theorem that the index of this period map is $(r+g)-2g = r-g = \deg(D)-g$. Hence this is a lower bound for the kernel, so $\dim L(D) – 1 \geq r-g$, i.e. $\dim L(D) \geq \deg(D) + 1-g$.

This also implies the modern index form of the theorem as follows. Riemann knew the period map is injective on holomorphic differentials, so he could, and Roch did, replace it by a normalized period map from $\mathbb{C}^r$ to $\mathbb{C}^g \cong H^1(X;\mathbb{C})/H^1(X; K) \cong H^1(X;\mathcal{O})$. The cokernel of this map is now called $H^1(X;D)$, so Riemann’s theorem can be phrased $\chi(D) = h^0(D)-h^1(D) = \deg(D) + 1-g$. Since it takes some work to compute $\chi(\mathcal{O}) = h^0(\mathcal{O})-h^1(\mathcal{O})$ as $1-g$, this is actually stronger than the modern sheaf theoretic result that $\chi(D) – \chi(\mathcal{O}) = \deg(D)$, which follows immediately from the sheaf sequence $0 \to \mathcal{O} \to \mathcal{O}(D) \to \mathcal{O}(D)|_D \to 0$.

Of course Riemann’s result should be stronger since it contains in addition to the trivial sheaf theoretic linear algebra, also the computation of both the holomorphic genus $= h^0(X; K)$, and the topological genus $= (1/2)h^0(X; \mathbb{C})$. Thus Riemann’s theorem combines the two modern results: $\chi(D) -\chi(\mathcal{O}) = \deg(D)$, and $\chi(\mathcal{O}) = 1-g$.

Roch’s refinement of the RRT is to compute the cokernel $h^1(X;D)$ of Riemann’s period map, which he does of course by making a residue calculation. He obtains that $h^1(X;D) = h^0(X;K(-D))$, hence $h^0(D)-h^0(K(-D)) = \deg(D)+1-g$, the full RRT.

$\endgroup$
6
$\begingroup$

The Riemann-Roch theorem (and HRR, GRR, GRR for stacks, etc), over $\mathbb{C}$, associates topological information on one side $\chi(X,F)$, the Euler characteristic, to analytic information on the other side. If you want to relate analysis to topology, the biggest, baddest tool in your arsenal is The Atiyah-Singer Index Theorem. Then it's just a matter of finding an operator that shows up naturally that should apply. In my answer on that one, I linked to the original paper, where Atiyah and Singer explicitly do HRR as Theorem 3.

$\endgroup$
5
$\begingroup$

Riemann-Roch in the version I know it:

Let $(E,\bar{\partial})$ be a holomorphic bundle over a compact Riemann surface $M$. Then

$$\operatorname{index}(\bar{\partial}) = \deg E -(g-1)\operatorname{rank} E.$$

Here $\operatorname{index}(\bar{\partial}) = \dim H^0(E) - \dim H^0(K\otimes E^*)$.

This version arises, if you proof the fundamental theorem for elliptic operators ($\bar{\partial}$ is an elliptic operator, and Serre duality states, that two $\bar{\partial}$ operators on a complex vector bundle have the same index). (By the way: This is just a reformulation of RR, stated with divisiors (use Kodaira and Chow (?) )

$\endgroup$
3
$\begingroup$

I know nothing about the Atiyah-Singer index theorem, but wikipedia seems to have a pretty decent introduction. It even tells you the elliptic operator for the Riemann-Roch case. (So as not to leave you hanging, I'll just tell you: it's $D = \bar{\partial} + \bar{\partial}^*$)

$\endgroup$
3
$\begingroup$

Hirzebruch-Riemann-Roch is a special case of Atiyah-Singer. On the RHS you have the Euler characteristic of a holomorphic vector bundle, and on the LHS you have an integral of some characteristic classes, which are topological invariants. The RHS is an analytic index, the LHS is a topological index. The reason why the Euler characteristic is equal to the analytic index is basically because of Dolbeault cohomology, i.e. you can compute sheaf cohomology using $\overline{\partial}$.

Edit: I'm not sure what kind of answer you're looking for. RR says that two numbers, which are defined purely algebraically, are equal. We are interested in computing these numbers, especially the LHS number, the Euler characteristic. On the other hand, these numbers also happen to be equal to analytic and topological indexes of an elliptic operator. So we can equivalently say that we are interested in computing these indexes, especially the analytic index.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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