Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $C$ be a connected smooth curve, $0\in C$ a closed point and $W\rightarrow C$ a family of projective schemes. Assume that the fibers $W_t$ of $W$ are smooth for all $t\neq 0$ and that $W_0=Y_1\cup Y_2$ where $Y_1, Y_2$ are smooth varieties intersecting at a smooth divisor.

Jun Li constructs a (proper DM) stack $\mathcal{M}(\mathfrak{M},\Gamma)$ of stable morphisms to the stack $\mathfrak{M}$ of expanded degenerations of $W/C$ of topological type $\Gamma$. According to lemma 3.10 in the paper "Stable morphisms to singular schemes and relative stable morphisms", there exists a surjective map $\mathcal{M}(W[n],\Gamma)^{st}\rightarrow \mathcal{M}(\mathfrak{M},\Gamma)$ for sufficiently large $n$. Here, $\mathcal{M}(W[n],\Gamma)^{st}$ is the locally closed substack of the stack of stable maps to $W[n]$ which are nondegenerate, predeformable and stable (in the sense of definition 3.1) morphisms of type $\Gamma$ to $W[n]$.

There is a $({\mathbb{C}^{*}})^n$ action on $W[n]$, which in turn induces a $({\mathbb{C}^{*}})^n$ action on $\mathcal{M}(W[n],\Gamma)^{st}$ with finite stabilizers. Also there is an induced map $\mathcal{M}(W[n],\Gamma)^{st}/({\mathbb{C}^{*}})^n\rightarrow \mathcal{M}(\mathfrak{M},\Gamma)$, which is claimed to be ├ętale and finite.

I don't understand the last claim. Is that map representable? Why is it proper? (I understand quasifinite.) Assuming the claim, $\mathcal{M}(W[n],\Gamma)^{st}/({\mathbb{C}^{*}})^n$ has to be proper. Is it obvious that $\mathcal{M}(W[n],\Gamma)^{st}/({\mathbb{C}^{*}})^n$ is proper? ($\mathcal{M}(W[n],\Gamma)^{st}$ is only separated finite type.) An explicit description of the map would be welcome, too.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.