6
$\begingroup$

Why it is true that, over an algebraically closed field, any abelian variety is isogenous to a principally polarized abelian variety?

$\endgroup$
2
  • 3
    $\begingroup$ Here is "why" proof at end of Mumford's book works only over sep. closed $k$ (better than alg. closed). Over any field $k$ always exists polarization $\phi$; seek to "modify" it to be principal. The finite $k$-gp scheme $G = \ker \phi$ contains a $k$-simple $G_0$, and wish to induct on order of $G$ using list of $k$-simple $G_0$. Over any $k$, list is: simple etale $E$ (irred. finite Galois modules), and for ${\rm{char}}(k) = p > 0$ also $\alpha_p$ and dual $E'$ of simple etale $E$ of $p$-power order. For sep. closed $k$, can say $E = \mathbf{Z}/(\ell)$ for prime $\ell$. That's "why". $\endgroup$
    – BCnrd
    Nov 1, 2010 at 15:12
  • 4
    $\begingroup$ [Above assumed $G \ne 1$; i.e., $\phi$ not principal.] "Hard" step in justifying list of $k$-simple $G_0$ over general $k$ is local-local case when char$(k) = p > 0$. Enough to show local-local $G_0$ of $p$-power order with vanishing Frob. and Ver. are precisely $\alpha_p^N$. Pf #1: $F = 0$ makes $G_0$ "equivalent" to its commutative $p$-Lie algebra, on which $p$-operator is linearization of ${\rm{Lie}}(V_G)$. Pf #2: Dieudonne theory gives result over perfect closure, so want $\alpha_p^N$ over $k$ has no nontriv. "fppf forms". Aut functor is ${\rm{GL}}_N$, so use (non-comm.) fppf Hilbert 90. $\endgroup$
    – BCnrd
    Nov 1, 2010 at 15:31

2 Answers 2

9
$\begingroup$

This is to fill some prerequisites to BCnrd's comment-answer.

First of all, there are several definitions of a polarization on an abelian variety, and the most "coordinate-free" one is that it is a homomorphism $\lambda:A\to A^t = Pic^0(A)$ given by some (non-unique) ample divisor $D$, so that $\lambda(a) = \mathcal O_A( T^*_a D - D)$, where $T_a:A\to A$ is the translation by $a\in A$. A polarization is principal if $\lambda$ is an isomorphism.

Then the basic steps, all requiring proof, are:

  1. Every abelian variety (over a field) has a polarization.

  2. $\lambda$ is surjective, and $K(\lambda)=\ker\lambda$ is a finite group subscheme of $A$ of length $d^2$. The degree of $\lambda$ is defined to be $d$. Thus, a polarization is principal iff $d=1$.

  3. $K(\lambda)$ comes with a perfect skew symmetric Weil pairing $b: K(\lambda)\times K(\lambda) \to \mathbb G_m$ with the values in the multiplicative group. "Perfect pairing" means that it defines an iso from $K(\lambda)$ to its Cartier dual.

  4. If $H\subset K(\lambda)$ is a subgroup which is isotropic w.r.t. this pairing (i.e. $b$ restricted to $H\times H$ is trivial), then $\lambda$ descends to a polarization on $B=A/H$ of degree $d/|H|$.

So then it is enough to find a nontrivial isotropic subgroup $H$, replace $A$ by $A/H$, and continue by induction, until you reach $d=1$.

In char 0, this is trivial: just pick any cyclic subgroup in $K(\lambda)$. Since $b$ is skew-symmetric, it is automatically isotropic.

In char p, you need to get into the classification of finite group schemes, and learn the difference between $\mathbb Z/p\mathbb Z$, $\mu_p$, and $\alpha_p$. Once you learn that (Introduction to affine group schemes by Waterhouse is a good source), then you are perhaps ready to read BCnrd's comment-answer.

$\endgroup$
5
$\begingroup$

Over $\mathbb{C}$ the proof of this fact is very simple.

In fact, given any complex Abelian variety $X:= V/\Gamma$ of dimension $g$, one can find strictly positive integers $d_1, \ldots ,d_g$ and a basis $\gamma_1, \ldots ,\gamma_{2g}$ of $\Gamma$ such that the matrix of the Kähler form in this basis is

$\left[\begin{matrix}0 & \Delta \cr - \Delta & 0 \end{matrix}\right],$

where $\Delta$ is the diagonal matrix with diagonal coefficients $d_1, \ldots, d_g$.

Now let $\Gamma'$ be the lattice generated by

$\gamma_1/d_1, \ldots, \gamma_g/d_g, \gamma_{g+1}, \ldots, \gamma_{2g}$

and set $Y:=V/ \Gamma'$.

The Kähler form is integer and unimodular when restricted on $\Gamma'$, hence $Y$ is a principally polarized Abelian variety. Moreover, the natural surjection $X \to Y$ is an isogeny.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.