The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
144 views

Why is the Tate local duality pairing compatible with the Cartier duality pairing?

This question is a follow up to Why is the norm map dual to restriction under Tate local duality? Let $A$ and $B$ be dual abelian schemes over a base scheme $S$. For an integer $n \ge 1$, consider ...
0
votes
1answer
96 views

rank of Abelian schemes under ample hypersurface section

Let $k$ be an algebraic closure of a finite field, $\ell \neq \mathrm{Char}(k)$ be prime, $S/k$ a smooth projective geometrically connected surface and $C/k$ a smooth ample connected hypersurface ...
3
votes
0answers
95 views

Ampleness of Hodge bundles over complex curves

Let $C$ be a smooth, proper and connected curve over the complex numbers $\bf C$. Let ${\cal G}\to C$ be a smooth group scheme over $C$ and let $\epsilon_{\cal G}:C\to{\cal G}$ be its zero-section. ...
0
votes
2answers
138 views

Poincaré bundle and Weil pairing for Abelian schemes

In which situations is there a Poincaré bundle for Abelian schemes? In [Mumford, Abelian varieties] only the case of Abelian varieties is treated. The same question for the Weil pairing ...
10
votes
0answers
181 views

Purity for abelian schemes up to $p$-isogenies

Let $S$ be a noetherian excellent regular scheme and $U\subset S$ an everywhere dense open of codimension $\geq 2$. For some fibered categories of geometric objects, it makes sense to ask whether the ...
6
votes
0answers
153 views

Kernels and cokernels for morphisms of abelian schemes up to isogenies

For $S$ a noetherian scheme, let $\mathcal{A}(S)$ be the additive category of abelian schemes over $S$ and $\mathcal{A}_{\mathbb{Q}}(S)$ be the category of abelian schemes up to isogenies, i.e. ...
1
vote
3answers
419 views

projective subvarieties of the moduli space of abelian varieties

I know that the fibre of $A_{g,n}$ over $\mathbf{F}_p$ is quasi-projective (of what dimension?). Can one exhibit some smooth projective subvarieties of high dimension in it? What are references for ...
15
votes
1answer
1k views

every abelian scheme quotient of a Picard scheme?

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.
2
votes
0answers
154 views

When are Abelian schemes projective?

Under what conditions on the base $X$ are Abelian schemes $\mathcal{A}/X$ projective, and projective in which sense?
4
votes
1answer
312 views

Weil restriction of abelian schemes along finite étale (resp. finite locally free) morphisms

Q: Is there a simple proof of the fact that the Weil restriction of an abelian scheme along a finite étale morphism is an abelian scheme ? Details: Let $S$ be a scheme and $f:S'\rightarrow S$ a ...
13
votes
1answer
753 views

Status of Grothendieck's conjecture on homomorphisms of abelian schemes

In [1] Grothendieck posits the following: Conjecture. Let $S$ be a reduced connected scheme, locally of finite type over Spec($\mathbf{Z}$) or a field $k$, $A$ and $B$ two abelian schemes over $S$, ...
4
votes
0answers
253 views

Dieudonné modules over rings of charateristic zero

Dear Colleagues, would appreciate if you could recommend references, if such a theory exits, for the following question. Let $A$ be an Abelian scheme over $\text{Spec}(R)$, where $R$ is a subring of ...
1
vote
1answer
364 views

CM liftings of abelian varieties and liftings of Frobenius

It is well-known that if $A$ is an ordinary abelian variety over a finite perfect field $ k$ of characteristic $ p>0$ and $ W=W(k)$ is the ring of Witt vectors over $ k$, then the canonical ...
8
votes
1answer
405 views

Mordell-Weil group of the universal abelian scheme

Let $n>2$ and let $k$ be either $\bf Q$ or a finite field whose characteristic is prime to $n$. Let $A_{g,n}$ be the moduli scheme, which represents the functor, which with every $k$-scheme $S$ ...
2
votes
0answers
162 views

Level n-structure as defined by Mumford in GIT

In Mumford's GIT, the definition of level $n$ structure ($n \geq 2)$ is $2g$ sections $\{\sigma_1, \dots, \sigma_{2g}\} : S \rightarrow A$ such that two conditions hold: (i) For geometric points the ...
3
votes
1answer
317 views

vanishing of étale cohomology groups with small support with values in an abelian scheme

Let $S/k$ be a smooth variety and $A/S$ be an abelian scheme. Let $Z \hookrightarrow S$ be a reduced closed subscheme of codimension $\geq 2$. I want to show that in this situation, $H^i_Z(S, A) = 0$ ...
6
votes
3answers
566 views

étale cohomology with values in an abelian scheme is torsion?

Let $A/X$ be an abelian scheme. Is $H^n(X,A)$ torsion for $n > 0$? Perhaps this can be proved analogously as Proposition IV.2.7 of Milne's Étale cohomology (where it is proved that the ...
4
votes
1answer
318 views

Extending abelian schemes

Let $R$ be a regular local ring of dimension at least 2, and let $U$ be the complement of the closed point in $\mathrm{Spec} R$. Given a polarized abelian scheme over $U$, under what hypotheses can ...
1
vote
1answer
438 views

references for abelian schemes

Hi, I have a very basic question. I am looking for references explaining how to construct explicitily a Jacobian starting from a curve or examples of projective equations for an abelian scheme. I ...
6
votes
2answers
640 views

finite flat commutative group schemes arising from Abelian varieties

How are the finite flat group schemes $\mathcal{A}[\ell^n]$ arising from an Abelian scheme $\mathcal{A}/S$ singled out among other finite flat commutative group schemes of exponent $\ell^n$?
4
votes
1answer
414 views

Special fiber of the Neron Model of an Abelian scheme in terms of Limit Hodge Structure

Let $\mathcal{A}$ be an Abelian scheme over a smooth curve $S^*\subset S$ and let $\mathcal{A_S}$ be the Neron model of $\mathcal{A}$ over $S$. Is it possible to describe the special fiber of the ...
4
votes
1answer
458 views

A silly question: is the number of points on a Jacobian (of a curve, over a finite field) known?

In a cryptography book I read that people does not known how to compute the number of points on a Jacobian of a hyperelliptic curve $C$ over a finite field $F_q$? Is this true? It seems easy to ...
2
votes
1answer
327 views

equation for abelian varieties with a given polarization

Let $A$ be an abelian variety of dimension g and a polarization $L$ of type $(d_1,.....,d_g)$ (let alone the case $d_i=d_j,$ $\forall i, j$). What is the degree of the generators of the homogeneous ...
12
votes
1answer
835 views

What are the higher $\mathrm{Ext}^i(A,\mathbf{G}_m)$'s, where $A$ is an abelian scheme?

Let $S$ be a base scheme, let $A/S$ be an abelian scheme, and let $\mathbf{G}_m/S$ be the multiplicative group; consider $A$ and $\mathbf{G}_m$ as objects in the abelian category of sheaves of abelian ...
2
votes
1answer
358 views

Picard functor is not linear

Let $S$ be a locally noetherian scheme, $Y$ a locally noetherien $S$-scheme and $X$ an abelian scheme over $S$. It is known that the map between groups $Hom(Y,X) \to Hom(Pic(X/S),Pic(Y/S)), f \mapsto ...