Welcome to MathOverflow

Question

15

8

Is every abelian scheme $\mathcal{A}/X$ under suitable conditions on $X$ a quotient of a Picard scheme of a curve $\mathcal{C}/X$? I need it for $X/\mathbf{F}_q$ smooth projective.

edited Nov 19 at 15:24

asked Jan 16 2012 at 20:05

Timo Keller
2,621●4●17

1

Does your definition of abelian schemes include "projective over $X$"? This at least is necessary. (I assume that by "curve" you mean "smooth proper curve"). – Laurent Moret-Bailly Nov 15 at 16:12

2

As far as I see from the literature, the question is not settled already if $X$ is the spectrum of a finite field. – Matthieu Romagny Nov 15 at 17:10

4

@Matthieu: it is true over finite fields. The proof, as in the classical case, relies on Bertini's theorem over finite fields and it is proved by Gabber and by Poonen's around 2000. – Qing Liu Nov 15 at 21:15

3

@Timo: the statement should hold over local (maybe noetherian) rings because Bertini's theorem is true in this case. – Qing Liu Nov 15 at 21:17

1

Liu, good point! Of course Poonen's Bertini theorems involve sections with hypersurfaces of large degree. I thought that in the classical proof that abelian varieties are quotients of jacobians, it was important to cut by hyperplanes. Now that I think about it again, I see that it is not. – Matthieu Romagny Nov 19 at 20:20

show 6 more comments

Timo Keller · Answer 1 · 2013-02-14 15:19:21Z UTC

0

Let me sketch an idea why there are not enough Jacobians. At some points I have asked for references/proofs in []. Edit: Didn't work out as hoped.

edited Feb 14 at 15:19

answered Feb 2 at 9:51

Timo Keller
2,621●4●17

3

The Kodaira-Parshin construction produces lots of non-isotrivial proper and smooth curves over a smooth projective curve. See for example M. Martin-Deschamps, Astérisque vol. 127 (1985). – Laurent Moret-Bailly Feb 2 at 11:14

Thank you very much! – Timo Keller Feb 2 at 12:16

2

also, the complement of a divisor has no reason to be affine -- take $\mathbb{P}^1 \times \mathbb{P}^1 \setminus 0 \times \mathbb{P}^1 = \mathbb{A}^1 \times \mathbb{P}^1$. – Vivek Shende Feb 2 at 16:53

2

$M_{g,n}$ is very far from being affine. For every $g\geq 3$, there is a complete curve passing through any point. This follows from the existence of a compactification with boundary of codimension >1 (the Satake compactification). The problem is only the complement of a very ample divisor is guaranteed to be affine. – Simon Pepin Lehalleur Feb 8 at 19:15

every abelian scheme quotient of a Picard scheme?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.