MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\pi : C_g \to M_g$ be the universal curve over the moduli stack of genus $g$ curves. Let $\omega_\pi$ be the relative canonical bundle. Then $\mathbb{H} := \pi_\ast \omega_\pi$ is a rank $g$ vector bundle, and it is called the Hodge bundle. Its $i$-th Chern class $c_i(\mathbb{H})$ is denoted by $\lambda_i$. These classes are called Hodge classes.

I'd like to know: What are the (known) polynomial relations among the $\lambda_i$'s? Is there an exhaustive list?

A simple basic relation is $\lambda_1^2 = 2\lambda_2$. I can derive this as follows:

By Grothendieck-Riemann-Roch, we have $ch(\pi_! \omega_\pi) = ch(\mathbb{H})-1 = \pi_\ast ( ch(\omega_\pi) \cdot td(\omega_\pi^\vee))$. By a simple calculation, the degree 3 (if you use Chow groups) (degree 6 if you use cohomology) term of $ch(\omega_\pi) \cdot td(\omega_\pi^\vee)$ is zero. Thus the degree 2 term $ch_2(\mathbb{H})$ of the left hand side is zero. We also have $c_2(\mathbb{H}) = \frac{ch_1(\mathbb{H})^2}{2} - ch_2(\mathbb{H})$, hence we conclude $2c_2(\mathbb{H}) = ch_1(\mathbb{H})^2 = c_1(\mathbb{H})^2$.

share|cite|improve this question
You may be interested in some of the course notes from last year's summer school in Grenoble: -- particularily relevant to your interests seem to be Zvonkine's ( and Pandharipande's ( notes. – Gunnar Þór Magnússon Feb 10 '12 at 10:29
@Gunnar Magnusson: Thank you very much. Page 36 of Zvonkine's notes should be pretty useful for me. – Kevin H. Lin Feb 10 '12 at 17:21

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.