Skip to main content
deleted 10 characters in body
Source Link
user39380
user39380

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}_{\mathcal{M}_g}$$F=\mathcal{O}_{M_g}$. We know $H^0(M_g,F)=\mathbb{C}$, see GTM187, "Moduli of curves", p45b)

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}_{\mathcal{M}_g}$. We know $H^0(M_g,F)=\mathbb{C}$, see GTM187, "Moduli of curves", p45b)

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)

deleted 494 characters in body; edited title
Source Link
user39380
user39380

Is $H^i(M_g\mathcal{M}_g,F)$ necessarily finite dimensional for a coherent sheaf $F$?

Let $M_g$$\mathcal{M}_g$ be the coarse moduli spacestack of smooth genus $g$ curves. Let $F$ be a locally free sheaf (or even coherent sheaf) on $M_g$, is$\mathcal{M}_g$.

Is $H^i(M_g,F)$$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$F=\mathcal{O}_{\mathcal{M}_g}$. We know $H^0(M_g,F)=\mathbb{C}$, see GTM187, "Moduli of curves", p45p45b)

Is $H^i(M_g,F)$ necessarily finite dimensional for a coherent sheaf $F$?

Let $M_g$ be the coarse moduli space of smooth genus $g$ curves. Let $F$ be a locally free sheaf (or even coherent sheaf) on $M_g$, is $H^i(M_g,F)$ always finite dimensional?

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

Is $H^i(\mathcal{M}_g,F)$ necessarily finite dimensional for a coherent sheaf $F$?

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}_{\mathcal{M}_g}$. We know $H^0(M_g,F)=\mathbb{C}$, see GTM187, "Moduli of curves", p45b)

deleted 494 characters in body; edited title
Source Link
user39380
user39380

Is the Satake compactification of $M_g$ normal$H^i(M_g,F)$ necessarily finite dimensional for a coherent sheaf $F$?

Let $M_g$ be the coarse moduli space of smooth genus $g$ curves. Taking Jacobian induces an embedding $f\colon M_g\to A_g$, where $A_g$ is the coarse moduli space of $g$-dimensional prinicpally polarized abelian varieties. Let $\widetilde{A}_g$$F$ be the Borel-Baily compactification $A_g$. Leta locally free sheaf $\widetilde{M}_g$ be the closure of(or even coherent sheaf) on $M_g$ in $\widetilde{A}_g$, it is called the Satake compactification of $M_g$. (See GTM187, "Moduli of curves", p45)

Is $\widetilde{M}_g$ normal$H^i(M_g,F)$ always finite dimensional?

(We know that $\widetilde{M}_g$ coincides with $M_g$ in codim $1$. If $\widetilde{M}_g$ is normal (or equivalently,In the case $S_2$)$F=\mathcal{O}_{M_g}$, we can directly show $H^0(M_g,\mathcal{O}_{M_g})=\mathbb{C}$ by Hartogs theorem. I am curious if $H^i(M_g,F)$ is always finite dimensional for any coherent sheaf $F$ onknow $M_g$?$H^0(M_g,F)=\mathbb{C}$, see GTM187, "Moduli of curves", p45)

Is the Satake compactification of $M_g$ normal?

Let $M_g$ be the coarse moduli space of smooth genus $g$ curves. Taking Jacobian induces an embedding $f\colon M_g\to A_g$, where $A_g$ is the coarse moduli space of $g$-dimensional prinicpally polarized abelian varieties. Let $\widetilde{A}_g$ be the Borel-Baily compactification $A_g$. Let $\widetilde{M}_g$ be the closure of $M_g$ in $\widetilde{A}_g$, it is called the Satake compactification of $M_g$. (See GTM187, "Moduli of curves", p45)

Is $\widetilde{M}_g$ normal?

(We know that $\widetilde{M}_g$ coincides with $M_g$ in codim $1$. If $\widetilde{M}_g$ is normal (or equivalently, $S_2$), we can directly show $H^0(M_g,\mathcal{O}_{M_g})=\mathbb{C}$ by Hartogs theorem. I am curious if $H^i(M_g,F)$ is always finite dimensional for any coherent sheaf $F$ on $M_g$?)

Is $H^i(M_g,F)$ necessarily finite dimensional for a coherent sheaf $F$?

Let $M_g$ be the coarse moduli space of smooth genus $g$ curves. Let $F$ be a locally free sheaf (or even coherent sheaf) on $M_g$, is $H^i(M_g,F)$ always finite dimensional?

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

added 25 characters in body
Source Link
user39380
user39380
Loading
Source Link
user39380
user39380
Loading