Questions tagged [abelian-varieties]
Abelian varieties are projective algebraic varieties endowed with an Abelian group structure. Over the complex numbers, they can be described as quotients of a vector space by a lattice of full rank. They are analogs in higher dimensions of elliptic curves, and play an important role in algebraic geometry and number theory.
799
questions
2
votes
0
answers
116
views
Direct factors of Jacobian
Is there any characterization of abelian varieties appearing as direct factor of the Jacobian of some curve?
Are there some special kind of abelian varieties that are known to be direct factor of ...
- 1,433
9
votes
1
answer
495
views
Pull-back of an irreducible ample divisor via an isogeny of abelian varieties
In the (wonderful) book by C. Birkenhake and H. Lange Complex Abelian Varieties we can find the following result, see Corollary 4.3.4 page 77. It is stated in any dimension $g \geq 2$, but let us ...
- 65.1k
4
votes
0
answers
112
views
How to describe the subspace of invariants under the Rosati involution?
Consider the Jacobian $J_C$ of hyperelliptic curve
$$C\!: y^2 = x^5 + a$$
over a finite field $\mathbb{F}_p$, where $a \in \mathbb{F}_p^*$, $p \equiv 2 \ (\mathrm{mod} \ 5)$, $p > 2$. Let $\pi \...
- 1,801
6
votes
1
answer
504
views
Rationality of the Tate module of an abelian variety relative to the algebra of its endomorphisms
Suppose that $K/\mathbb{Q}_p$ is a finite extension and $k_K$ the residue field of $K$. Let $A/K$ be an abelian variety with good reduction. Suppose that $E\to\mathrm{End}^0_K(A)$ is an inclusion of a ...
- 323
5
votes
0
answers
513
views
Reduction of torsion points on Neron Model
Let $K/\mathbb{Q}_p$ be a finite extension with ring of integers $R$ and residue field $k$. Let $A/K$ be an abelian variety with Neron model $\mathcal{A}/R$. We denote by $\tilde{\mathcal{A}}/k$ the ...
- 411
1
vote
0
answers
162
views
Theta functions, a natural basis.
Let $L$ be the principal polarization of an abelian variety $A$. Some people say that the theta functions with characteristics form a natural basis of the global section $\Gamma(A,L^{\otimes n})$ for $...
- 11
6
votes
0
answers
373
views
Hrushovski's proof of the Manin-Mumford Conjecture
For my master's thesis, I am studying Hrushovski's model-theoretic proof of the Manin-Mumford Conjecture. Among the references I have used are the following:
Lecture notes 'Model Theory of Difference ...
- 61
6
votes
2
answers
315
views
Abel-Jacobi map for Mumford curves analytically
Let $K$ be a field equipped with a non-Archimedean absolute value, let $\Gamma$ be a Schottky group in $PGL_2(K)$, and let $X_\Gamma$ be the associated Mumford curve, which is a proper smooth rigid ...
- 4,060
5
votes
1
answer
553
views
A surjective morphism of abelian varieties induces an epimorphism on the torsion subgroups
Let $f:A\to B$ be a surjective morphism of abelian varieties (over an algebraically closed field).
Why is it true that $f$ induces an epimorphism on the points of finite order $A_{\mathrm{tors}}\to ...
user107042
3
votes
1
answer
345
views
$\mathbb Q_p$ étale local sytem in characteristic $p>0$
Let $k$ a field with $char(k)=p>0$, separable closure $k^{sep}$ and $f:X\rightarrow Y$ a smooth projective morphism of smooth variety over $k$.
1)Is it true that there exists a (EDIT) dense open ...
- 718
7
votes
1
answer
229
views
Commutation of endomorphisms of abelian varieties
Let $A$ be an abelian variety over an algebraically closed field $k$.
Let $\phi:A\to A$ be an étale isogeny (over $k$). Suppose that the set $\cup_{r\geq 0}({\rm ker}\,\phi^{\circ r})(k)$ is
...
- 3,046
2
votes
1
answer
487
views
extending homomorphisms of Abelian schemes
Let $S$ be an integral scheme with function field $K = K(S)$. Let $\mathscr{A}, \mathscr{B}$ be Abelian schemes over $S$. Let $L/K$ be a separable field extension. Given $f_L \in \mathrm{Hom}(\mathscr{...
user19475
1
vote
0
answers
67
views
Basis of homomorpshims of abelian varieties with minimal degree
Let $A, B$ be simple abelian varieties of dimension $g$ defined over a finite field $k$. We know that $Hom_k(A, B)$ is a free $\mathbb{Z}$-module of dimension $2g$.
Is it always possible to have a $\...
- 389
2
votes
2
answers
516
views
morphism of abelian variety
Let $f: A \rightarrow B$ be a morphism of abelian varieties defined over a finite field $k$. Let $G$ be a finite group of $A$ and $\pi:A\rightarrow A/G$ the quotient morphism.
Looking at just the ...
- 389
4
votes
0
answers
235
views
On the class of Shimura data of Hodge type that cover a given Shimura datum of abelian type
A Shimura datum $(G,X)$ is of Hodge type if there exists an injective morphism of Shimura data $(G,X) \hookrightarrow (\mathrm{GSp}_{2g}, \mathfrak{H}^{\pm})$, for some integer $g$.
Let $(G',X')$ be ...
- 123
8
votes
0
answers
606
views
Weil pairing and Tate module for $p$-torsion in characteristic $p$
Let $A/\mathbf{F}_{p^n}$ be an Abelian variety with $\bar{A} = A \times_{\mathbf{F}_{p^n}} \bar{\mathbf{F}}_{p^n}$.
If $\ell \neq p$ is prime, there is a natural isomorphism $$\mathrm{H}^2_{\mathrm{...
user19475
4
votes
0
answers
255
views
Dimension of the moduli space of abelian varieties with a prescribed endomorphism algebra
Let $D$ be a division algebra over a number field $K$, and consider abelian varieties $A$ over the complex numbers, of dimension $g$ with an action of (an order of) $D$. Is it known when this set is ...
- 2,814
2
votes
1
answer
288
views
supersingular Abelian scheme
By a supersingular Abelian scheme, I mean an Abelian scheme which is fibrewise a supersingular Abelian variety, i.e. isogenous to a product of supersingular elliptic curves (F. Oort, Subvarieties of ...
user19475
1
vote
1
answer
237
views
Endomorphisms of abelian varieties defined over finite fields
Let $A$ be an abelian variety defined over a finite field $k$, and $End(A)$ be it ring of endomorphisms defined over an algebraic closure $\overline{k}$ of $k$. Suppose that for an integer $M$ ...
- 389
2
votes
1
answer
136
views
Fiber of the Prym map in dim 2
This must be very classical, but I can't find a reference.
Is there an explicit description of the (generic?) fibers of the Prym map $\mathcal{R}_3 \to \mathcal{A}_2$?
By this I mean the map ...
- 3,717
14
votes
0
answers
526
views
Geometry underlying a comparison of Dieudonné theories
Maybe these hypotheses aren't necessary, but for me $\mathbb G$ will be a smooth formal group of dimension 1 and finite height over a perfect field $k$.
There are several presentations of the ...
- 6,218
17
votes
2
answers
1k
views
Albanese variety over non-perfect fields
It is a result of Serre (Morphismes universels et varietes d'albanese) that the Albanese (abelian) variety, i.e. an initial object for morphisms to (torsors over) abelian varieties, exists for any ...
- 1,413
1
vote
1
answer
237
views
Isogeny from kernel in higher dimensional abelian varieties
Is there any kind of generalization of Vélu formulae for Jacobians?
The question technically is:
Given a hyperelliptic curve $H/\overline{\mathbb{F}}_q$ and its jacobian $J_H$ of dimension $2$, if $...
3
votes
1
answer
257
views
Polarization on Prym varieties
Let $C\rightarrow C'$ be a double cover of curves, the restriction of the polarisation of $J_C$ to the Prym varieties $P$ attached to this double cover, gives a polarization on $P$,
Does this ...
- 39
5
votes
0
answers
344
views
Line bundles of characteristic $0$ on abelian varieties
Maybe what I'm asking is well-known to the experts, however I was not able to find a suitable reference. Any pointer to the literature will be appreciated.
For the notation and teminology, I refer ...
- 65.1k
3
votes
1
answer
238
views
Geometric (or at least non-cohomological) proof of Lefschetz trace formula for curves
There is an isomorphism between (rational) correspondences on a curve $C/\mathbb{F}_p$ orthogonal to the "valence zero" ones (i.e. orthogonal under intersection pairing to $\{*\}\times C$ and $C\times ...
- 693
15
votes
0
answers
486
views
Zariski vs etale torsors over abelian varieties
Question. Let $A$ be an abelian variety (say, over the complex numbers), $G$ an algebraic group, $c$ a class in $H^1_{\rm et}(A, G)$. Denote the multiplication by $N$ map on A by $m_N:A\to A$. Does ...
- 15.3k
0
votes
1
answer
202
views
Prime divisors on the Jacobian of a genus 2 curve over $\mathbb{F}_q$ under the $n$ map
Let $H$ be a hyperelliptic curve geometrically irreducible of genus 2 over $\mathbb{F}_q$ with a rational point $\infty$ given by the model $y^2=f(x)$, where $f$ is monic of degree 5.
Consider the ...
18
votes
1
answer
1k
views
On Tate's "Endomorphisms of Abelian Varieties over Finite Fields", sketch of proof of main result?
Let $k$ be a field, $\overline{k}$ its algebraic closure, and $A$ an abelian variety defined over $k$, of dimension $g$. For each integer $m \ge 1$, let $A_m$ denote the group of elements $a \in A(\...
user97565
5
votes
1
answer
618
views
What is the maximal order of the automorphism group of a given Shimura variety?
Background:
Given an elliptic curve $E$, it seems that $max(ord(Aut(E)))$ over the prime 2 is 24, and $(max(ord(Aut(E)))$ over the prime 3 is 12.
The endomorphism algebra of an elliptic curve over $...
- 3,519
1
vote
0
answers
115
views
Poincare complete reducibility with an endomorphism ring
Let $A$ be an abelian variety over a field of characteristic $0$ and let $R \subset \mathrm{End}(A)$ be a (commutative, if that matters) subring. Suppose that $B \subset A$ is an $R$-stable abelian ...
- 2,623
2
votes
0
answers
215
views
What are the point-like objects in $D^b(X)$ when $X$ is an abelian variety?
Let $X$ be a projective variety over an algebraically closed field $k$ and $D^b(X)$ be the derived category of bounded complexes of coherent sheaves on $X$. Let $S$ be the Serre functor on $D^b(X)$. ...
- 8,707
10
votes
1
answer
822
views
How to compute the formal group law of a Shimura variety (using its invariant differentials)?
I have a 3 dimensional abelian variety whose formal group law breaks into a formal summand where one of the pieces is one-dimensional.
I am desperately wondering how to compute the $p$-series of ...
- 3,519
1
vote
0
answers
99
views
Base locus of the Eigen spaces of global sections of totally symmetric line bundle
Let $X$ be an abelian surface over complex numbers. Let $L$ be a totally symmetric line bundle of type $(r,r)$ for $r\geq 2$.
The involution $i$ on $X$ gives an action on $H=H^0(X,L)$ thus giving a ...
- 169
2
votes
0
answers
185
views
How can I find a basis of $H^0(Y, -K_Y)$ for the del Pezzo surface $Y$ of degree 5?
Consider the surface $X \subset \mathbb{P}^2_{x, y, z}\times\mathbb{P}^1_{t, s}$:
$$
s^3y^2 + t^3yz = (t+s)x^2 + tsxz + t(t^2 +s^2)z^2
$$
over a finite field $k = \mathbb{F}_{2^d}$, $\mathrm{gcd}(d, 6)...
- 1,801
11
votes
3
answers
550
views
When $k = \mathbb{F}_q$ finite field, $X$ always has $k$-rational point, and so $A \simeq X$?
Let $k$ be an arbitrary field. Let $(A, e)$ be an abelian variety over $k$, and let $X$ be a torsor for $A$, i.e. $X$ is a proper smooth $k$-variety, and there is an $A$-action acting $:A \times X \to ...
user97565
4
votes
0
answers
164
views
Are there methods to compute the induced action of Frobenius map on the Neron-Severi group of a supersingular abelian surface over a finite field?
Let $A$ be a supersingular abelian surface over a finite field $\mathbb{F}_q$. In that case the Neron-Severi group $NS(A\otimes\overline{\mathbb{F}_q})$ is the lattice of rank $6$. Are there methods ...
- 1,801
1
vote
0
answers
187
views
Mumford's claim on the quasi-projectiveness of the coarse moduli of ppav over $\mathbb{Z}$
In paragraph 3 of chapter 7 of Mumford's Geometric Invariant Theory, the author proves that the coarse moduli space $A_{g,d,n}$ of abelian varieties of dimension $g$, with a degree $d^2$ polarization ...
user85435
0
votes
0
answers
250
views
Translation morphism of abelian variety
I am new to study of abelian varieties. But I need it in my work. Let $X$ be a ppav, say a Jacobian of a genus 2 curve. Let $L$ be a very ample line bundle on $X$.
The set $K(L)=\{x\in X : T_x^* L\...
- 169
6
votes
1
answer
676
views
Selmer Group versus Selmer Variety
For an abelian variety $A$, the $p$-adic Selmer group is defined to be the subset of $H^1(G_k,H_1^{et}(A;\mathbb{Q}_{p}))$ whose restriction to $G_{k_v}$ is in the image of $A(k_v)$ for all places $v$ ...
- 15.1k
2
votes
2
answers
318
views
What are sufficient and necessary conditions to be a generalized Zariski surface over a finite field?
Let $X$ be an absolutely irreducible reduced surface over a finite field $k$ of characteristic $p$. What are sufficient and necessary conditions for $X$ to be a generalized Zariski surface over $k$ (...
- 1,801
0
votes
1
answer
335
views
Reference for Hodge loci on moduli space of principally polarised abelian varieties
Can someone suggest a reference to study Hodge locus, period mappings and period domains on moduli space of principally polarised abelian varieties?
More precisely, consider the moduli space of ...
- 1,949
5
votes
0
answers
201
views
Real field of definition of an abelian variety of CM-type?
Question 0. Can a field of definitions (without automorphisms) of an (almost arbitrary) abelian variety of CM-type, originally defined over ${\mathbb{C}}$,
be chosen to be a totally real number ...
- 13.6k
2
votes
0
answers
137
views
Is a supersingular Kummer surface $k$-unirational in characteristic 2?
Let $k$ be a perfect field of even characteristic. Consider the simplest example of a supersingular genus 2 curve, i.e.,
$$
C\!: y^2 + y = x^5.
$$
By the article of J. S. Müller "Explicit Kummer ...
- 1,801
11
votes
0
answers
303
views
Surfaces with $q=2$ and generically finite Albanese map
I have a family of surfaces of general type $S$ with $q(S)=2$, and such that the Albanese map $$\alpha \colon S \longrightarrow A:=\mathrm{Alb}(S)$$ is generically finite of degree $n$. By a result of ...
- 65.1k
10
votes
1
answer
558
views
Does every Shimura variety contain a generic point defined over a number field?
This question is related to my previous question, to which I got a partial answer.
Consider the cyclotomic field $L={{\mathbb{Q}}}(\zeta_8)={{\mathbb{Q}}}(\sqrt{2},i)$, where $\zeta_8$ is a primitive ...
- 13.6k
11
votes
2
answers
631
views
Abelian variety with prescribed endomorphism ring
Consider the cyclotomic field $L={{\mathbb{Q}}}(\zeta_8)={{\mathbb{Q}}}(\sqrt{2},i)$, where $\zeta_8$ is a primitive 8-th root of unity. Let $\Lambda={{\mathbb{Z}}}[\zeta_8]$ denote the ring of ...
- 13.6k
4
votes
1
answer
698
views
Vanishing of $\text{Ext}^2$ sheaf from abelian variety to multiplicative group
Does anyone know a proof or reference for the following statement? Or if it's false (which seems unlikely to me), a counterexample?
Let $k$ be a field (maybe we need it to be perfect) and $A$ an ...
- 3,525
7
votes
1
answer
1k
views
Ordinary abelian varieties over a finite field
Let $q$ be a power of a prime $p$. Deligne's paper "Variétés abéliennes ordinaires sur un corps fini" seems to describe an equivalence of categories between
ordinary abelian varieties over a finite ...
- 637
6
votes
1
answer
497
views
Fields generated by torsion points of CM elliptic curves
I'm using the same setup as Corollary 1.7 on p. 44 of de Shalit manuscript (Iwasawa theory of elliptic curves with complex multiplication).
I think there is a mistake in his Corollary 1.7 and I'm ...
- 7,521