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
6
votes
1
answer
391
views
Homogeneous vector bundles on Abelian varieties
I recently encountered a result about vector bundles on Abelian varieties, which I found interesting. It characterizes homogeneous (translation invariant) vector bundles on Abelian varieties. More ...
3
votes
0
answers
120
views
Isomorphism of certain irreducible representations over finite fields
We are given a faithful representation of a cyclic group of order 5 $\rho: C_5=G \rightarrow End_{\mathbb{F}_3}(V) $ with $dim_{\mathbb{F}_3}V=8$ as vector space. It is also known that $V=U\oplus W$ ...
1
vote
0
answers
128
views
A map on Jacobians coming from a correspondence explicitly
From this question, we know that every map of the form $J(C) \to J(C)$ for a curve $C$ and it's jacobian $J(C)$ comes from a correspondence between $C\times C$ and in fact we can take this ...
0
votes
1
answer
439
views
Why does MAGMA claim that the automorphism group of a curve is trivial?
I have been trying to compute the Automorphism group of a curve using MAGMA with no success. This is what I have tried: I have tried to compute the Automorphism group of the curve $y^3=x^4-x$ and no ...
6
votes
1
answer
612
views
On the moduli stack of abelian varieties without polarization
(I am especially interested in abelian surfaces and characteristic 0).
How bad is the moduli stack of abelian varieties (with no polarization or level structure)? Is it an Artin stack? DM (Deligne-...
6
votes
0
answers
128
views
Sections of infinite order of elliptic surfaces
Let $X\to \mathbb{P}^1$ be a non-isotrivial elliptic surface over $\mathbb{C}$ with a section and with $X$ a smooth projective connected surface over $\mathbb{C}$. Let $\sigma:\mathbb{P}^1\to X$ be a ...
6
votes
0
answers
122
views
For which (g,q) does there exist a supersingular curve?
We say a curve over a finite field $\mathbb F_q$ is supersingular if it's Frobenius eigenvalues (on $H^1(X,\mathbb Z_\ell)$) are of the form $q^{1/2}\alpha$ for $\alpha$ a root of unity.
As far as I ...
3
votes
1
answer
187
views
Surfaces of general type with $q=1$
Let $X$ be a smooth projective connected surface of general type over $\mathbb{C}$ with $q(X) = 1$, where $q(X) = \mathrm{h}^1(X,\mathcal{O}_X)$.
Let $E$ be the Albanese variety of $X$, and let $X\to ...
0
votes
0
answers
73
views
Proving the Immersion part of an Embedding
Trying to see the proof of embedding the Jacobian of a Compact Riemann Surface $X$ using Theta functions. So, using the Theta divisor we have the corresponding line bundle say $L$, we want to prove ...
4
votes
0
answers
99
views
The profinite topology on the Mordell Weil group
In this lecture of Serre on his open image theorem, around 6 minutes, Serre mentions the following theorem of Tate:
Let $A/k$ be an abelian variety over a number field and consider the Mordell-Weil ...
2
votes
0
answers
122
views
A Lefschetz style formula for the $\ell^\infty$ torsion of an Abelian variety over a finite field
Let $A/\mathbb F_q$ be an abelian variety over a finite field. Define $A_\ell = A[\ell^\infty](\mathbb F_q)$, the $\ell^n$ ($n\geq 0)$ torsion points defined over the base field. I can assume $\ell \...
2
votes
0
answers
155
views
Chow variety of 1-cycles on abelian surface
It is an easy exercise to show that on a K3 surface, a smooth genus $g$ curve moves in a $g$-dimensional linear system. Nearly the same exercise shows that on an abelian surface, the corresponding ...
2
votes
0
answers
167
views
Structure of non-big divisors in an abelian variety
Let $A$ be an abelian variety over $\mathbb{C}$. If $A$ has an effective non-big divisor, then $A$ is not simple. (In a simple abelian variety, every non-zero effective divisor is ample.)
What can ...
5
votes
0
answers
335
views
Jacobian fibration of an abelian fibration
Let $f \colon S \rightarrow C$ be a minimal elliptic surface and let $g \colon J \rightarrow C$ be its jacobian fibration. In this case, we know that the fibers of $g$ are better behaved that the ones ...
1
vote
0
answers
454
views
The Picard scheme of an ordinary singular curve
Let $k$ be an algebraically closed field, $C$ a proper reduced connected scheme over $k$ of dimension 1, whose singularity is at worse ordinary, $\pi : \tilde{C} \to C$ the normalization of $C$ and $...
1
vote
0
answers
96
views
When a CM abelian variety has complex multiplication by $\mathcal{O}_E$?
I'm reading Milne's note, Complex Multiplication. There are many properties, such as Shimura-Taniyama Formula provided that $A$ is an abelian variety with complex multiplication by $\mathcal{O}_E$. So ...
0
votes
0
answers
164
views
Elliptic curves and archimedean place
here is my question :
Let $K$ be any field, $ E \to spec(K)$. Let $ v \in M_K $ an archimedean place.
We know that $ \overline{K_v} \simeq \mathbb{C}$ and there exists $\tau_v \in \mathbb{H}$ such ...
2
votes
0
answers
425
views
Uniqueness of theta divisor
Let $A$ be an abelian variety (at least over $\mathbb{C}$). Suppose we have two theta divisors $\Theta_1$ and $\Theta_2$ on $A$, which give two principal polarizations on $A$.
In general, are those ...
1
vote
0
answers
262
views
Application of Galois descent
I not understand an assumption done at the beginning of the proof of Rigidity lemma in Moonens and van der Geers book about Abelian variaties (page 12). Here is it:
Question: Why the assumption $k= \...
1
vote
0
answers
185
views
Nef divisors on abelian varieties are pullbacks of ample ones
It is well known that for any polarization ( that is, ample line bundle) $L$ on an abelian variety $A$, there is an isogeny $\phi\colon A \to B$ to another abelian variety with a principal ...
32
votes
4
answers
4k
views
Over which fields does the Mordell-Weil theorem hold?
According to a well-known theorem of Mordell, the group of rational points $E(\mathbf{Q})$ of an elliptic curve $E/\mathbf{Q}$ is finitely generated. Weil generalized this theorem to abelian varieties ...
4
votes
3
answers
599
views
General curves of genus 3 as plane sections of Kummer surfaces
Is it true that a general curve of genus 3 is a plane section of an appropriate Kummer surface in $\mathbb P^3$? By Kummer surface I mean image of a principally polarized Abelian surface w.r.t. the ...
1
vote
0
answers
312
views
Compatiblity of completion and fibre products. (Formal completion and formal groups)
Let $S$ be a scheme (not necessarily locally noetherian), $X$ a smooth separated group scheme over $S$, and $\hat{X}$ be the formal completion along with the identity section.
Then does the group ...
9
votes
1
answer
419
views
Isomorphic Jacobian Varieties Just Like Abelian Varieties — Torelli's Theorem
Torelli's theorem states:
Let $R$, $R'$ be compact Riemann surfaces of genus $g$, $J(R)$, $J(R')$ their Jacobian varieties, $\Theta$, $\Theta'$ their respective theta divisors. The Riemann surfaces ...
9
votes
1
answer
696
views
Tamagawa numbers
Let $K$ be a finite extension of $\mathbb{Q}_p$ with absolute Galois group $G_K$. Let $A$ be an abelian variety defined over $K$. The (geometric) Tamagawa number is defined as the order of the ...
6
votes
0
answers
160
views
What are the genus 4 curves with Jacobians that are 4-th powers?
Consider the moduli space of all genus $4$ curves $\overline{\mathscr M_4}$ of dimension $3\times 4 - 3 = 9$. Under the Torelli map, there is a map to $\overline{\mathscr A_4}$ (which has dimension $...
11
votes
1
answer
333
views
Lifting a splitting of an Abelian variety to characteristic 0
Let $R$ be the ring of integers in a (complete) algebraic closure of $\mathbb Q_p$ with maximal ideal $\mathfrak p$. Suppose I have an Abelian surface $\mathcal A/R$ such that over every $R/\mathfrak ...
3
votes
0
answers
196
views
Genus two curves on abelian surfaces
Considering a smooth genus two curve $C_2$, let $J(C_2)$ be its Jacobian surface, and take $p \in J(C_2)$ an $m$-torsion point. Let $A = J(C_2)/Z_m$, where $Z_m$ acts by $x \mapsto x+p$. The image of $...
4
votes
0
answers
214
views
Mordell-Weil group of an abelian variety on the perfect closure of a finitely generated field
This question is closely related the question Over which fields does the Mordell-Weil theorem hold?
I consider the following question:
(1) Let $K$ be a finitely generated field extension of $\...
5
votes
0
answers
457
views
A functor on Abelian varieties corresponding to this operation on Weil numbers
Let $A/\mathbb F_q$ be an abelian variety over a finite field with Weil numbers $q^{1/2}\alpha_1,\dots,q^{1/2}\alpha_n$.
Consider the numbers $q^{d/2}\alpha_1,\dots,q^{d/2}\alpha_n$. These are still ...
7
votes
2
answers
2k
views
Faltings height of a CM abelian variety
Let A be a CM abelian variety, say simple of dimension g, with $End(A) = O_K$, where $K$ is a CM field
of degree $2g$.
Is there an upper bound for the Faltings height $h(A)$ in terms of the ...
7
votes
1
answer
467
views
Does the compactified Torelli map extend to a proper map of stacks?
Let $M_g^{ct}$ denote the moduli stack of compact type genus $g$ stable curves and $A_g$ the moduli stack of principally polarized $g$-dimensional abelian varieties.
Can someone provide a reference ...
1
vote
1
answer
90
views
Intersection of a certain linear ideals of $K[[X_1,\ldots,X_{np}]]$ for ${\mathrm{ch}}(K) = p > 0$
Suppose ${\mathrm{ch}}(K) = p > 0$ and we consider the formal power series ring $K[[X_1,\ldots,X_{np}]]$ over $K$ in $np$ variables $X_1,\ldots, X_{np}$. Let $\Lambda$ be the set defined as follows$...
1
vote
0
answers
148
views
Application of Stein factorisation: rigidity lemma
Let $X,Y$ Noetherian schemes and $f:X \to Y$ proper map. The Stein factorisation factorizes $f$ as $X \xrightarrow{g} Spec \text{ } f_* \mathcal{O}_X \xrightarrow{h} Y$ with $h$ finite and $g$ has ...
3
votes
0
answers
271
views
Abelian varieties by Moonen and van der Geer: proof of rigidity lemma
I try to understand a reduction step in the proof of rigidity lemma as proved in Moonen's and van der Geer's Abelian varieties (Lemma 1.11 on page 12- if the link not work the draft version is online ...
7
votes
0
answers
149
views
Conditions for $p$-divisible group to come from an abelian variety
Over $\mathbb{Z}_p$ or $\mathbb{Q}_p$, are there any known sufficient conditions on a $p$-divisible group for it to come from an abelian variety?
2
votes
0
answers
233
views
Standard application of Oort-Tate classification theorem
$\DeclareMathOperator{\Spec}{Spec}
\DeclareMathOperator{\tors}{tors}$In Mazur's paper “Modular curves and the Eisenstein ideals”, on the bottom of page 159, it says that if $T$ is a open subscheme of $...
0
votes
0
answers
57
views
abelian variety with all over non degenerate pairing
Suppose we have an abelian variety $A$ defined over the rational numbers $\mathbb{Q}$. It is known that the Weil pairing
$$
e_\ell: A[\ell]\times A[\ell] \rightarrow \mu_\ell
$$
is non degenerate, ...
3
votes
0
answers
173
views
The Weil restriction of an elliptic curve with respect to $\mathbb{F}_{p^2}/\mathbb{F}_{p}$
For a prime $p > 3$ consider the quadratic finite field extension $\mathbb{F}_{p^2}/\mathbb{F}_{p}$. Also, consider the elliptic curves
$$
E\!: y_0^2 = x_0^3 + ax_0 + b,\qquad
E^{(1)}\!: y_1^2 = ...
2
votes
1
answer
183
views
Is there a way to find any $\mathbb{F}_2(t)$-point on the elliptic curve $\mathcal{E}$?
Consider the ordinary elliptic curves
$$
E\!:y_1^2 + x_1y_1 = x_1^3 + 1,\qquad E^\prime\!: y_2^2 + x_2y_2 = x_2^3 + x_2^2 + 1
$$
over the field $\mathbb{F}_2$. They are quadratic twists to each other....
3
votes
1
answer
211
views
What is the geometric quotient of the abelian threefold?
Consider a finite field $\mathbb{F}_p$ such that $p \equiv 1 \ (\mathrm{mod} \ 3)$ and its element $\zeta \neq 1$, $\zeta^3 = 1$.
Also, let $E\!: y^2 = x^3 + b$ be an elliptic curve of $j$-invariant ...
2
votes
1
answer
169
views
What is the quotient $E \!\times\! E^\prime / G$?
Consider a finite field $\mathbb{F}_p$ such that $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$, $\mathbb{F}_{p^2}$-isomorphic elliptic curves (of $j$-invariant $0$)
$$
E\!:y_1^2 ...
1
vote
1
answer
175
views
Is the Jacobian isogenous over $\mathbb{F}_p$ to the direct product of the elliptic curves?
Let $\mathbb{F}_p$ be a finite field such that $p \equiv 1 \ (\mathrm{mod} \ 3)$ and $p \equiv 3 \ (\mathrm{mod} \ 4)$. Consider the Jacobian of the hyperelliptic curve $C\!: y^2 = (x^3 + b)(x^3-b)$, ...
2
votes
0
answers
263
views
Which endomorphisms of the Tate module of an abelian variety are "algebraic"?
For an abelian variety $A$ over a field $k$ with characteristic different from $\ell$ and Galois group $G = Gal(\overline k/k)$, there is always an injective map of the form:
$$\mathbb Q_\ell\otimes ...
-2
votes
1
answer
271
views
Existence of divisor in the Jacobian of smooth curve of genus two whose intersection with theta divisor is 1
Let $C$ be a smooth projective curve of genus $2$ and $J$ denotes the Jacobian of $C$. Let $\theta$ be the image of $C$ under the abel Jacobi map.
Is there exist a divisor $D$ in $J$ such that $D.\...
3
votes
0
answers
175
views
Subquotients of abelian varieties with good reduction
Let $B$ be an abelian variety over a DVR with good reduction, and let $A$
be a subquotient of $B$. Then $A$ has good reduction.
I know a proof of this statement using Neron-Ogg-Shafarevich. Is ...
1
vote
0
answers
74
views
Is there a non-singular irreducible genus $2$ curve $C/\mathbb{F}_p$ and two $\mathbb{F}_p$-coverings $C \to E$, $C \to E^{(1)}$ of some degree $n$?
Consider a finite field $\mathbb{F}_p$ (where $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$), $\mathbb{F}_{p^2}$-isomorphic elliptic curves (of $j$-invariant $0$)
$$
E\!:y_1^2 = ...
2
votes
0
answers
243
views
Vector extension for p-divisible group
Background:
I am trying to understand a proof of Messing's book at Page 120. My goal it to understand the universal vector extention.
Reference:
Messing, The crystals associated to Barsotti-Tate ...
2
votes
0
answers
141
views
Is there a way to explicitly find any rational $\mathbb{F}_p$-curve on the Kummer surface?
Consider a finite field $\mathbb{F}_p$ (where $p \equiv 1 \ (\mathrm{mod} \ 3)$, $p \equiv 3 \ (\mathrm{mod} \ 4)$), $\mathbb{F}_{p^2}$-isomorphic elliptic curves (of $j$-invariant $0$)
$$
E\!:y_1^2 = ...
4
votes
0
answers
268
views
The $p$-divisible groups which arise from an abelian variety over characteristic $p$?
Can you classify all conditions for $p$-divisible groups arising from an abelian variety? For example, $2\dim = \mbox{height}$.