Sign up ×
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|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.