3
$\begingroup$

Let $A$ be an abelian variety over a field $k$ of dimension $g\geq 2$.

There exists a finite morphism $A\to \mathbf{P}^g_k$. Here's the question.

Does there exist a finite morphism $A\to \mathbf{P}^g_k$ of degree two?

Can we say something about the minimal degree of a finite morphism $A\to \mathbf{P}^g_k$?

$\endgroup$
  • 5
    $\begingroup$ A better analogue of the degree 2 map $E\to\mathbb{P}^1$ for an elliptic curve is the degree 2 map $A\to A/\pm1$ from $A$ to the associated Kummer variety. (Of course, you need to blow up some points if you want a smooth quotient, and then then map is only rational, it's not a morphism.) $\endgroup$ – Joe Silverman Aug 1 '12 at 14:05
11
$\begingroup$

For a very general, principally polarized Abelian variety $(A,\Theta)$ of dimension $g$ over $\mathbb{C}$, every Cartier divisor $D$ on $A$ is numerically equivalent to $m\Theta$ for some integer $m$. In particular, the intersection number $D^g$ is $m^g \Theta^g$. So the minimal degree of an effective, nonzero divisor is $g!$, not $2$.

$\endgroup$
  • 2
    $\begingroup$ Your argument works for any abelian variety of dimension at least $3$: by Riemann-Roch, $g!$ divides $D^g$ for any ample divisor $D$. One can also eliminate the $g=2$ case using the fact that any double cover of $\mathbb{P}^2$ with trivial canonical bundle is a $K3$ surface. $\endgroup$ – ulrich Aug 1 '12 at 13:33
  • $\begingroup$ @ulrich -- I agree. $\endgroup$ – Jason Starr Aug 1 '12 at 14:35
  • $\begingroup$ How to prove that any $\mathbb{P}^n$ is finitely covered by an Abelian variety of the same dimension? Maybe it is elementary, but I can not see it. $\endgroup$ – Tong Jun 20 '16 at 22:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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