3
$\begingroup$

Do there exist regular symmetric differential forms on $\overline{\mathcal{M}}_{g,n}$ the DM-stack of stable genus $g$ curves with $n$ marked points? By this, I mean nonzero sections $$ \omega \in H^0(\overline{\mathcal{M}}_{g,n}, \mathrm{Sym}^k \Omega^1_{\overline{\mathcal{M}}_{g,n}}) $$

It is shown here (or by vanishing results fro $H^1(\overline{\mathcal{M}}_{g,n})$) that there are no such forms in the case $k = 1$. I am wondering about the case $k > 1$.

$\endgroup$
1
  • $\begingroup$ Just a remark that I am also very interested in this question! Though I think we're likely to chat about it on Monday if you are who I think you are :). $\endgroup$ Commented Jan 30 at 19:49

1 Answer 1

2
$\begingroup$

This is not exactly what you are asking, but if you allow the symmetric differentials to have logarithmic poles along the boundary of the Deligne-Mumford compactification, the answer is "yes". This follows from the existence of interesting variations of Hodge structure on $\mathscr{M}_{g,n}$ by the main result of

Brunebarbe, Yohan. "Symmetric differentials and variations of Hodge structures." Journal für die reine und angewandte Mathematik (Crelles Journal) 2018.743 (2018): 133-161.

For an example of the requisite interesting variations, you can consider $W^1R^1\pi_*\mathbb{Z}$, where $\pi: \mathscr{C}_{g,n}\to \mathscr{M}_{g,n}$ is the universal curve.

$\endgroup$

You must log in to answer this question.

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