## Tangent space of the stack $\overline{\mathcal{M}}_{g,n}(X,\beta)$.

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $\overline{\mathcal{M}}_{g,n}(X,\beta)$ be the moduli stack of stable maps $f$ from genus $g$, $n$-marked curve $C$ to a variety $X$ i nth curve class $\beta \in H^2(X,\mathbb{Z})$. I would like to know why the hyperext group $$Ext^1_C(f^*\Omega_X\rightarrow \Omega_C(\sum_{i=1}^n),\mathcal{O}_C)$$ represents tangent space of the moduli and the obstruction lies in
$$Ext^2_C(f^*\Omega_X\rightarrow \Omega_C(\sum_{i=1}^n),\mathcal{O}_C)?$$ I am aware that the deformation-obstrcution of a map $f:C\rightarrow X$ with a fixed curve $C$ is governed by $H^i(C,f^*T_X)$ for $i=1,2$ and the automorphism-deformation of a $n$-marked points $(C;p_1,\dots,p_n)$ is governed by $Ext^i_C(\Omega_C(\sum_{i=1}^n),\mathcal{O}_C)$ for $i=0,1$. However, I don't know how to combine them into one package in the hyperext groups above.

I would appreciate it if someone could kindly explain how to obtain and understand the hyperext groups above.

-
Are you looking for a reference? – Jason Starr Nov 30 at 11:44
I didn't mean reference request as I thought the claim would follow from my observation about two deformation theory (but I don't know how to combine). Of course I would appreciate any good reference. – Zheng Nov 30 at 17:56

1
In general it is quite difficult to "combine" deformation theories. There is an article by Jack Hall about the problem of combining deformation theories in general. On the other hand, the late sections of Behrend-Fantechi together with Behrend's paper on Gromov-Witten invariants do this for your moduli problem. – Jason Starr Nov 30 at 21:19

1
@jason: do you think you could expand your comments into a full answer? I personally would very much appreciate a detailed explanation of how to compute the cotangent complex of such a space. (actually, now that I think of it, there should be a formula for the cotangent complex of a mapping stack, is there not?) – Jacob Bell Nov 30 at 21:35
Note that the variety must be smooth above. Otherwise there are additional obstructions to deforming the map. – Jonathan Wise Dec 2 at 23:31

## 2 Answers

The classical reference is Illusie's PhD thesis "complexe cotangent et deformations".There the result without the marked points is proven in a very, very general context using the cotangent complex; then one needs to know that for a smoooth variety, or for a nodal curve (or, again, in many more cases) the cotangent complex is isomorphic in the derived category to the cotangent sheaf.

Fixing the case of the marked points can easily be done by hand (they're smooth points after all): I can expand on this step if it helps. Or, one can go modern and use logarithmic geometry.

If you want to get a feeling for why such a result is true, a very short reference is a paper by Ziv Ran on deformations of morphisms: Algebraic Curves and Projective Geometry Lecture Notes in Mathematics Volume 1389, 1989, pp 246-253 Deformations of maps

Another approach would be to sit down and prove it yourself using as only references a few classical facts about deformation theory (say, what you learn from the first ten pages of Artin's Tata lectures). Whether this is a useful exercise or a waste of time depends on your personality. Again, details upon request.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Let $L$ be the complex $[ f^\ast \Omega_X \rightarrow \Omega_C(D) ]$, concentrated in degrees $[-1,0]$ on $C$.

One way to understand the obstructions is to understand the deformations for affine curves first. Observe first that there is a canonical equivalence of categories between the category of deformations of a pointed map $f : C \rightarrow X$, with $C$ not-necessarily proper, and the category of extensions

$G(C) = \mathrm{Ext}(L, \mathcal{O}_C)$.

The meaning of the category on the right is the category of extensions $E$ of $\Omega_C(D)$ by $\mathcal{O}_C$ together with a trivialization of the induced extension of $f^\ast \Omega_X$ by $\mathcal{O}_C$. One checks explicitly that the category of extensions of $\Omega_C(D)$ by $\mathcal{O}_C$ is canonically equivalent to the category of deformations of the pointed curve $C$ and that splitting the induced extension of $f^\ast \Omega_X$ is the same as extending the map $f : C \rightarrow X$ to a map from the deformed curve to $X$.

Note that $G$ is a commutative group stack (what is sometimes called a "Picard stack"). It is easy to check that $G$ is non-empty when $C$ is an affine curve (use the fact that deformations of nodal curves are unobstructed and the formal criterion of smoothness for $X$), which means that any obstructions to deforming a proper curve come from the failure of local deformations to glue. There is a standard way to compute these local obstructions---e.g., by Cech cohomology, noting that mutatis mutandis, Cech cohomology still works for group stacks---and this yield a class in $H^1(C, G)$. Cohomology of a commutative group stack is the same as cohomology of the associated complex, so we get an obstruction in

$H^1(C, L^\vee[1]) = H^2(C, L^\vee) = \mathrm{Ext}^2(L, \mathcal{O}_C)$.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 40, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9355378746986389, "perplexity_flag": "head"}