complex deformations of abelian varieties - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T02:55:43Z http://mathoverflow.net/feeds/question/94150 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/94150/complex-deformations-of-abelian-varieties complex deformations of abelian varieties Hugo Chapdelaine 2012-04-15T21:04:08Z 2012-04-16T12:44:55Z <p>Let $A$ be an abelian variety defined over $\mathbf{C}$ (of dimension $>1$) and let $\Theta_A$ be the holomorphic tangent sheaf of $A$.</p> <p>Q: How does one compute $H^1(A,\Theta_A)$ ?</p> <p>If $A$ has dimension $1$ then using Serre's duality one finds that $H^1(A,\Theta_A)\simeq H^0(A,\omega_A^2)$ where $\omega_A$ is the canonical line bundle of $A$. Since $\omega_A\simeq\mathcal{O}_A$ one finds that $h^1(A,\Theta_A)=h^0(A,\mathcal{O}_A)=1$.</p> http://mathoverflow.net/questions/94150/complex-deformations-of-abelian-varieties/94208#94208 Answer by Donu Arapura for complex deformations of abelian varieties Donu Arapura 2012-04-16T12:44:55Z 2012-04-16T12:44:55Z <p>Hugo,</p> <p>Although this was already discussed in the comments, perhaps I can write few more details here. The material can be found in many books such as Mumford's Abelian Varieties or the book on the same by Birkenhake and Lange.</p> <p>Claim $\dim H^1(A,\Theta)= g^2$.</p> <p>The first thing to observe is that $A$ is a group, so a basis for the tangent space at $0$ can be translated to give a global basis. Thus the tangent bundle $\Theta=\mathcal{O}_A^g$ where $g=\dim A$. Thus $H^1(A,\Theta)= H^1(A,\mathcal{O}_A)^g$. So this reduces the claim to checking $\dim H^1(A,\mathcal{O}_A)=g$. For this, let me use the Hodge theorem (alternatives can be found in the above refs.). Write $A$ as the quotient of $\mathbb{C}^g$ by a lattice. The Euclidean metric induces a Kähler metric on $A$, with respect to which $H^1(A,\mathcal{O}_A)$ can be realized as the space of harmonic forms of type $(0,1)$. These are necessarily invariant under the group, because the metric is. $\lbrace d\bar z_1,\ldots, d\bar z_g\rbrace$ give a basis for the invariant $(0,1)$-forms, and they are clearly harmonic. So this proves the claim.</p> <p>Finally, by Kodaira-Spencer, $H^1(A,\Theta)$ is the space of first order deformations of $A$. As noted above, the moduli space of principally polarized abelian varieties has dimension only $g(g+1)/2$. Which means that roughly half these deformations are nonalgebraic!</p>