And my understanding goes as follows:
Let $\mathscr{X}=M_{g,n}$ be the moduli stack of algebraic curves(genus $g$, n-marked point), and let $\mathscr{Y}=M_{g,n}(X,\beta)$ be the moduli stack of stable maps. Then there is a natural "forgetful" morphism:
$\pi : \mathscr{Y} \to \mathscr{X}$
by forgeting the "map".

We have a distinguished triangle of cotangent complexes in the derived category $D^{-} (\mathscr O_{\mathcal{Y}})$:

My questions:
(1). is it an exact sequence of sheaves on $\mathscr Y$ with the first long exact sequence as its stalks?
(2). If (1) is true, then how to see $\mathscr Ext^i (\pi^* L_{\mathscr X},\mathcal O_{\mathscr Y} )$ (i=0,1,2) corresponds to Aut,Def,Ob of curves? And why the two ends of the exact seqence vanishes?

1 Answer
1

I don't believe that this is correct. The easiest way to see this is to look at your second question: The automorphisms/deformations/obstructions of a curve come from $H^i(C, T_C)$, i.e. they are the sheaves

$R^i p_*\omega_{U/\overline{\mathcal{M}_{g,n}}}^\vee$

where $p : U \to \overline{\mathcal{M}_{g,n}}$ is the universal family, and $\omega_{U/\overline{\mathcal{M}_{g,n}}}$ the relative dualizing sheaf. But these do not depend on $\overline{\mathcal{M}_{g,n}}(X, \beta)$ !

In the end, I think the issue is that you have the wrong exact sequence. What you want (to produce the relative obstruction theory) is the complex

It is worth noting that Behrend and Fantechi's paper is a good source for reading about all of this material.
–
Simon RoseOct 3 '12 at 19:16

Yes, of course you are right, In my mind, $L_{\mathscr Y/\mathscr X}$ provides the relative theory, $L_{\mathscr Y}$ provides the deformation theory of stable maps, and $\pi^* L_{\mathscr X}$ should provide some "sub"deformation theory? I want a way to formulate the deformation long exact sequence, but it seems that Behrend and Fantechi's paper does not give me the answer?
–
Xiaobo ZhuangOct 4 '12 at 4:53

2

By the way, I think the automorphisms/deformations/obstructions of a curve should come from $H^i(C,T_C)$?
–
Xiaobo ZhuangOct 4 '12 at 4:54

I think that the idea is that a perfect obstruction theory is a morphism of complexes $\mathcal{E}^bullet \to L^\bullet$ which induces isomorphism/surjections in various degrees. Certainly, the cotangent complex is an example of such an obstruction theory, but it is not necessarily the right one to use.
–
Simon RoseOct 4 '12 at 20:31