MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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


I need a precise reference for the following fact, which is certainly well known, but I do not find any.

I consider the natural glueing map of pointed curves $\overline{M}_{g_1,n}\times \overline{M}_{g_2,n} \rightarrow \overline{M}_{g_1+g_2+n-1}$. The pullback of the Hodge bundle such be equal to the direct sum of the two hodge bundles of the factors of the product plus n-1 trivial factors. where is this written properly?

share|cite|improve this question
up vote 2 down vote accepted

I don't know a reference but here is an argument. It suffices to consider the case when we glue two points only.

Suppose that we are given a curve $C \to S$ (not necessarily connected) and two disjoint sections, $D$ is the result of gluing these together, and $\nu \colon C \to D$ the natural map. Then there is an exact sequence $$ 0 \to O_D \to \nu_\ast O_C \to O_S \to 0$$ of sheaves on $D$. Push forward along $p \colon D \to S$. If $C$ has two components and the sections are on distinct components, we see that the first row in the long exact sequence is exact and $R^1 p_\ast O_D \cong R^1 p_\ast O_C$. If $C$ is connected we instead get a short exact sequence $0 \to O_S \to R^1p_\ast O_D \to R^1p_\ast O_C \to 0$. Dualizing gives the result for the Hodge bundle.

share|cite|improve this answer
Thank you. Is it clear that the extension is the trivial map? – IMeasy Jun 22 '12 at 16:07
I'll have to think about it, but it is not immediately clear to me. – Dan Petersen Jun 22 '12 at 22:44

Your Answer


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

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