Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\pi :D \subset \mathcal{X} \to S$ be a flat family of stable curves of genus $g$ with marked points $D$. Let $\mathcal{X} \to X$ be a flat family of stable morphism in the sense of Kontsevich over $\mathcal{X} \to S$. In Li and Tian's article, they showed at the beginning of section $4$ that the tangent-obstruction complex they constructed is perfect by choosing a sufficiently ample line bundle $\mathcal{L}$ on $X$ then using the following exact sequence:

$$0 \to W_2 \to W_1 \to f^*\Omega_X \to 0$$ where $$W_1 = \pi^*{\pi}_*\left( \omega_{\mathcal{X}/S}(D)^{\otimes 5} \otimes f^*(\mathcal{L} \otimes \Omega_X) \right) \otimes \left(\omega_{\mathcal{X}/S}(D)^{\otimes 5}\otimes f^*\mathcal{L}\right)^{-1}.$$

Here I have several questions:

  1. Why is $W_2$ locally free?
  2. What are reasons they consider $W_1$ as above? For example, why do we consider $\otimes 5$, $\pi^*\pi_*$...etc.
  3. Why do we have the vanishing of $\mathcal{E}xt^2([W_1 \to \Omega_{\mathcal{X}/S}] , \mathcal{O}_X)$?

Thank you for your answers.

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.