Hodge numbers of a Calabi-Yau 3-fold via deformation theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T05:09:36Z http://mathoverflow.net/feeds/question/100636 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/100636/hodge-numbers-of-a-calabi-yau-3-fold-via-deformation-theory Hodge numbers of a Calabi-Yau 3-fold via deformation theory HNuer 2012-06-25T22:15:20Z 2012-07-12T12:55:20Z <p>In their paper "Calabi-Yau 3-folds and Moduli of Abelian Surfaces I", Gross and Popescu calculate the hodge numbers of smooth CY 3-folds obtained in the following way (see Remark 4.11 of their paper): suppose $X$ is a complete intersection CY 3-fold (i.e. dualizing sheaf is trivial) in $\mathbb P^{n+3}$ with only ODP's as singularities such that the $n$ equations $f_1,...,f_n$ which define $X$ all have the same degree $d$. Assume further that there exists a projective small resolution $\tilde{X}\rightarrow X$ of the singularities of $X$. Notice that $\tilde{X}$ is then a smooth CY 3-fold. Let $S=\mathbb C[x_0,...,x_{n+3}]/(f_1,...,f_n)$ be the homogeneous coordinate ring of $X$.</p> <p>Now they claim that there is a natural isomorphism $T^1\cong \left(\frac{S^n}{{(\partial f_1/\partial x_i,...,\partial f_n/\partial x_i)}}\right)_d$, where the subscript $d$ refers to the degree $d$ homogeneous part of this module and $T^1\cong Ext^1(\Omega_X^1,\mathcal O_X)$ is the space of infinitesimal deformations of $X$, or equivalent the tangent space to the deformation space of $X$. Why is there such a natural isomorphism?</p> <p>They further state that the space of infinitesimal deformations of the small resolution $\tilde{X}$ is obtained as the kernel of the natural map $T^1 \rightarrow T^1_{loc}$, where $T^1_{loc}$ is the tangent space of the deformation space of the germ of the singular locus of $X$. Why is this the case?</p> <p>Finally, they remark that this kernel is given by elements $(g_1,...,g_n)\in S^n$ representing an element of $T^1$ such that adding this as a new column to the Jacobian matrix gives a matrix which has rank <p>Thanks</p> http://mathoverflow.net/questions/100636/hodge-numbers-of-a-calabi-yau-3-fold-via-deformation-theory/102034#102034 Answer by Rhys Davies for Hodge numbers of a Calabi-Yau 3-fold via deformation theory Rhys Davies 2012-07-12T12:55:20Z 2012-07-12T12:55:20Z <p>Since nobody has answered you, let me give you some sort of answer. It will be somewhat lacking in rigour...</p> <p>First, let me frame the discussion in terms of $H^1(X, TX) \cong \mathrm{Ext}^1(\Omega^1_X, \mathcal{O}_X)$, and also write $P \equiv \mathbb{P}^{n+3}$. Start with the short exact sequence \begin{equation*} 0 \longrightarrow TX \longrightarrow TP\vert_X \stackrel{df}{\longrightarrow} \mathcal{N}_{X\vert P} \longrightarrow 0 ~. \end{equation*} Taking cohomology, this gives in part \begin{equation*} 0 \longrightarrow H^0(X, TP\vert_X) \stackrel{df}{\longrightarrow} H^0(X, \mathcal{N}_{X\vert P}) \longrightarrow H^1(X, TX) \longrightarrow 0 ~. \end{equation*} The global sections of $\mathcal{N}_{X\vert P}$ are just $n$-tuples of degree $d$ polynomials in the homogeneous coordinate ring $S$, and you can check that $H^0(X, TP\vert_X)$ is just the space of homogeneous linear polynomials. Since $df$ is represented by the matrix of first derivatives of $(f_1,\ldots, f_n)$, the specified isomorphism follows. The intuition is that polynomial deformations which are proportional to the first derivatives are realised by coordinate changes, and are therefore trivial.</p> <p>This is actually a special case of an old theorem of Green and Hübsch (Commun.Math.Phys. 113 (1987) 505), which gives conditions under which counting such 'polynomial deformations' gives the value of $h^{1,2}(X)$, for $X$ a complete intersection Calabi-Yau in a product of projective spaces.</p> <p>For the other parts, I don't know the details (e.g. the definition of $T^1_\mathrm{loc}$), but note that the moduli space of $\tilde X$ (the small resolution) coincides locally with the subspace of the moduli space of $X$ over which $X$ has the specified configuration of nodes. The kernel of the map $T^1 \to T^1_\mathrm{loc}$ must consist of those deformations which preserve the nodes, which can therefore be interpreted as deformations of $\tilde X$.</p>