3
$\begingroup$

Let $\mathcal{M}_g$ be the moduli stack of smooth genus $g$ curves. Let $F$ be a coherent sheaf on $\mathcal{M}_g$.

Is $H^i(\mathcal{M}_g,F)$ always finite dimensional? For example, $F=(f_*\Omega^1_{\mathcal{C}_{g}/\mathcal{M}_g})^\vee$, where $f\colon\mathcal{C}_g\to \mathcal{M}_g$ is the universal curve?

(In the case $F=\mathcal{O}_{M_g}$. We know $H^0(M_g,F)=\mathbb{C}$, see GTM187, "Moduli of curves", p45b)

$\endgroup$
4
  • 1
    $\begingroup$ Why is replacing $\widetilde{M}_g$ with its normalisation not good enough? $\endgroup$
    – naf
    Commented Sep 29, 2019 at 12:18
  • $\begingroup$ @ulrich Oh, thanks! Taking normalization looks good enough to show $H^0(M_g,\mathcal{O}_{M_g})=\mathbb{C}$...maybe I should modify the question $\endgroup$
    – user39380
    Commented Sep 29, 2019 at 14:02
  • 3
    $\begingroup$ Why should that be true? In fact, a quasiprojective variety $X$ with the property that $\mathrm{H}^i(X, F)$ is finite-dimensional for all locally free sheaves $F$ is projective. $\endgroup$
    – Angelo
    Commented Sep 29, 2019 at 15:16
  • $\begingroup$ @Angelo Maybe I am missing something elementary... would you explain a little bit more? Thanks! $\endgroup$
    – user39380
    Commented Sep 29, 2019 at 15:22

1 Answer 1

6
$\begingroup$

Let $X$ be a separated Deligne-Mumford stack of finite type over a field of characteristic 0. Let $\pi\colon X \to M$ be the moduli space; assume that $M$ is quasi-projective. I claim that if $\mathrm{H}^i(X, F)$ is finite-dimensional for all locally free sheaves on $X$, then $X$ is proper, or, equivalently, $M$ is projective.

In fact, the pushforward $\pi_*$ is exact on quasi-coherent sheaves and $\pi_*\mathcal{O}_{X} = \mathcal{O}_{M}$; hence for any locally free sheaf $F$ on $M$ we have $\mathrm{H}^i(M, F) = \mathrm{H}^i(X, \pi^*F)$; so it is enough to assume that $X = M$ is a quasi-projective variety. I claim that in this case we have that $\mathrm{H}^i(X, F)$ is finite dimensional for any coherent sheaf $F$ on $X$.

I prove this by descending induction on $i$, starting from the fact that $\mathrm{H}^i(X, F) = 0$ if $i > \dim X$. If $F$ is a coherent sheaf, there exists an exact sequence $$ 0 \longrightarrow K \longrightarrow L \longrightarrow F \longrightarrow 0 $$ where $L$ is locally free; hence for all $i$ we have an exact sequence $$ \mathrm{H}^i(X, L) \longrightarrow \mathrm{H}^i(X, F) \longrightarrow \mathrm{H}^{i+1}(X, K) $$ which proves what we want.

Now, if $X$ is not projective, it contains a closed affine curve $C$, and then $\mathrm{H}^i(X, \mathcal{O}_C)$ is infinite-dimensional. This completes the proof.

$\endgroup$
1
  • $\begingroup$ Is there a way to calculate $H^i(\mathcal{M}_g,F)$ when $F$ is the Hodge bundle? Thanks! $\endgroup$
    – user39380
    Commented Sep 30, 2019 at 2:20

You must log in to answer this question.