Virtual dimension of moduli of stable maps - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T22:20:21Z http://mathoverflow.net/feeds/question/75749 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/75749/virtual-dimension-of-moduli-of-stable-maps Virtual dimension of moduli of stable maps mathoverflow 2011-09-18T14:06:59Z 2011-12-15T01:39:15Z <p>I apologize if this question was already asked somwhere else on this website. Let us consider $f:C \to X$ a stable map. This is a point in the moduli space of stable maps. It seems intuitively to me that any holomorphic global section of $f^*(T_X)$ gives a deformation of the stable map. It is well-known, but not clear to me, why the moduli space of stable maps in a neighbourood of this point looks like a closed subvariety in $H^0(C, f^*T_X)$ cut out by $h^1(C, f^*T_X)$ equations. Where do this equations come from? Is there a concrete way to see them? (e.g. some sections of $f^*(T_X)$ give forbidden deformations, or the same deformation,...).</p> http://mathoverflow.net/questions/75749/virtual-dimension-of-moduli-of-stable-maps/83488#83488 Answer by Tmonk for Virtual dimension of moduli of stable maps Tmonk 2011-12-15T01:39:15Z 2011-12-15T01:39:15Z <p>If we are looking at the space of stable maps, we need to allow $C$ to deform as well. Let $C$ be a curve with the set of marked points $P$. There is a following exact sequence: \begin{eqnarray*} 0 &amp;\to&amp; \text{Aut}(C,P) \to H^0(C, f^*(T_X)) \\ \to \text{Def}(C,P,f) &amp;\to&amp; \text{Def}(C,P) \to H^1(C,f^*T_X)) \\ \to \text{Ob}(C,P,f) &amp;\to&amp; 0 \end{eqnarray*} Thus the virtual dimension is \begin{eqnarray*} \text{virdim} &amp;=&amp; \dim \text{Def} (C,P,f) - \dim \text{Ob}(C,P,f) \\ &amp;=&amp; \dim \text{Def}(C,P) - \dim \text{Aut}(C,P) +h^0(f^*T_X) - h^1(f^*T_X) \end{eqnarray*}</p> <p>As to why we need to substract $h^1$ from the dimension. Let $(O,m)$ be the local ring of the map $f$ at the moduli space. If the space is smooth at $f$ then the dimension would be $h^0$. But this is not often the case. Generally $h^0$ would be the dimension of Zariski tangent space ( $= \dim_k m/m^2$). If $O$ is not regular, one way to measure its irregularity is by using infinitesimal lifting property: given a map $\phi: O \to A$, can we lift it to an infinitesimal extension $A':$ $0\to J \to A' \to A \to 0$. This is the same as extending a deformation of $f$ over $A$ to a higher order. Such a lift is obstructed by an element $\alpha \in H^1(f^*T_X)\otimes J$ (local to global).</p> <p>Let $O = (R,m_P)/I$ such that $R$ is regular having same Zariski tangent space. Then $\dim O$ is roughly $\dim R - \text{rank}(I) = \dim R - \dim I/m_pI$. Now $I/mP_I$ is the canonical obstruction for $O$ and it can be embedded into $H^1(C,f^*T_X)$, thus the dimension of $O$ is roughly $\dim R - \dim I/m_pI \approx h^0 -h^1$</p>