Skip to main content

Timeline for Universal semistable curve

Current License: CC BY-SA 4.0

4 events
when toggle format what by license comment
Dec 3 at 14:47 comment added Jason Starr Oops, I was wrong. The image of the $1$-morphism is open. However, the original $1$-morphism is not immersive. Consider first one of the three stable $4$-pointed curves in the boundary of $\overline{\mathcal{M}}_{0,4}$. Then consider the associated semistable curve that has one (unstable) rational bridge between the two components of the stable curve. When we add a fifth marked point on the rational bridge, how do we know which of the two semistable curves it comes from? In fact, it comes from both.
Dec 3 at 13:32 comment added E. KOW Thank you! Do you know a reference for the last statement (open immersion) by any chance?
Dec 3 at 11:59 comment added Jason Starr The usual notation for the stack that you denote $\overline{\mathcal{M}}^{\text{ss}}_{g,n}$ is $\mathfrak{M}_{g,n}$. Yes, there is an $1$-morphism from the universal curve over $\mathfrak{M}_{g,n}$ to $\mathfrak{M}_{g,n+1}$ in the way that you describe. You do also need to address what happens when $x$ "crosses" one of the $n$ marked points $y_\ell$. In that case, you "sprout" a rational tail that is attached to the original curve at $y_\ell$ and contains $x$ as well as the $\ell^{\text{th}}$ marked point (and no other marked points). The $1$-morphism is representable by open immersions.
Dec 2 at 23:53 history asked E. KOW CC BY-SA 4.0