complex deformations of abelian varieties - MathOverflow most recent 30 from http://mathoverflow.net2013-05-22T02:55:43Zhttp://mathoverflow.net/feeds/question/94150http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/94150/complex-deformations-of-abelian-varietiescomplex deformations of abelian varietiesHugo Chapdelaine2012-04-15T21:04:08Z2012-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#94208Answer by Donu Arapura for complex deformations of abelian varietiesDonu Arapura2012-04-16T12:44:55Z2012-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>