3
$\begingroup$

Hi everybody,

let $\mathcal{P}_g$ be the moduli stack parametrizing pairs $(S,C)$ where $S$ is a K3 surface with a primitive polarization $L$ of genus $g$ and $C \in |L|$ is a smooth curve of genus $g$. Let $\mathcal{M}_g$ be the moduli stack of smooth curves of genus $g$ and let $c_g:\mathcal{P}_g \rightarrow \mathcal{M}_g$ be the morphism defined as $c_g((S,C))=[C]$. Define $\mathcal{K}_g$ as the image of $c_g$ and $\overline{\mathcal{K}}_g$ as its closure inside $\overline{\mathcal{M}}_g$, the moduli stack of stable curves of genus $g$.

Is it something known about the codimension of the singular locus $\text{Sing}(\overline{\mathcal{K}}_g)$ in $\overline{\mathcal{K}}_g$?

Maybe $\overline{\mathcal{K}}_g$ is even smooth as a substack of $\overline{\mathcal{M}}_g$...

I'm particularly interested in the case $g=10$, but all contributions are welcome.

Thank you!

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.