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

Let $\overline{\mathcal{M}}_{g,n}$ be the moduli stack of stable curves of genus $g$ with $n$ points.


$0 \neq \gamma \in Pic(\overline{\mathcal{M}}_{g,n})$

the first Chern class of a line bundle (note that the Picard coincides with $H^2(\overline{\mathcal{M}}_{g,n}, \mathbb{Z})$ and with the Neron-Severi group in this case)

It is well-known from Arbarello-Cornalba-Harer that the group of first Chern classes is generated by $\kappa_1$ and by $\delta$-classes and $\psi$-classes.

My question: is the multiplication by $\gamma$ an isomorphism:

$ H^{3g-3+n-1} \to H^{3g-3+n+1} \ ? $

(as it happens in the Hard Lefschetz theorem when $\gamma$ is an hyperplane section). Are there $\gamma$s for which it is not an isomorphism?

This is of course true when $\gamma$ is in the ample cone or in the antiample cone.

share|cite|improve this question
Pleasechange your username – Felipe Voloch May 11 '12 at 15:34
Do you like this one better? – OldMacdonaldHadaForm May 11 '12 at 16:33
Much better. The software running this site randomly bumps old unanswered questions from time to time. When it does so, it does under the name "MathOverflow", hence my request. – Felipe Voloch May 11 '12 at 17:43
I see, thank you! – OldMacdonaldHadaForm May 11 '12 at 17:44
Dear OMHF: Yes, there are choices of $\gamma$ such that $\gamma^k$ is zero. For instance, at least for many choices of $(g,n)$, there are nonconstant morphisms $u:\overline{M}_{g,n}\to Y$ with positive fiber dimension. If $\gamma$ is the pullback under $u$ of any divisor class from $Y$, then $\gamma^k$ will be zero for $k> \text{dim}(Y)$. – Jason Starr May 11 '12 at 18:00

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.