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 ...

learn more… | top users | synonyms

11
votes
1answer
409 views

Elements of arbitrary large order in the first Galois cohomology of an elliptic curve

Let $E$ be an elliptic curve over $k=\mathbb{Q}$. Consider $H^1(k,E)$. In this answer Daniel Loughran writes: "I'm pretty sure that this cohomology group has elements of arbitrarily large order". I ...
5
votes
3answers
340 views

Families of abelian varieties on the line (or more generally simply connected varieties)

I'm curious whether the following is true: Question 1: Let $V/\mathbb{C}$ be a smooth connected variety such that $V^\text{an}$ is simply connected. Then, is every abelian scheme $f:\mathscr{A}\to ...
7
votes
1answer
245 views

Morphisms for good reduction are maps respecting filtration

Please see edits below! So, let $A,A'/K$ be abelian varieties where $K$ is a $p$-adic local field with residue field $k$. Suppose further that they have good reduction with models ...
5
votes
0answers
121 views

$p$-adic uniformisation of abelian varieties

In the paper $p$-adic L-functions and $p$-adic periods of modular forms of Greenberg and Stevens $\S3$ page $420$ they make the following statement: Let $A$ over $\mathbf{Q}_p$ be an abelian variety ...
4
votes
1answer
272 views

Shafarevich conjecture for abelian varieties

In the paper "Arakelov's theorem for abelian varieties" Faltings proves the Shafarevich conjecture for abelian varieties. The statement is the following: Let B be smooth projective a curve, S a ...
2
votes
1answer
173 views

Reduction of Abelian Varieties with Complex Multiplication have Complex Multiplication

Let $A$ be an abelian variety of dimension $g$ over $C$ with complex multiplication by a CM field $K$ where $[K:Q] =2g$. By this I mean that End($A$) $\cong \mathcal{O}_K$. Then, $A$ has a model over ...
2
votes
1answer
82 views

Are the Prym varieties geometrcally nondegenerate subvarieties of the Jacobians?

A subvariety $V$ of an abelian variety $X$ is geometrically nondegenerate if it meets any subvariety of $X$ of dimension bigger than or equal $codim(V)$. My question is about the Prym varieties as ...
2
votes
0answers
76 views

What is $\mathrm{Num}(X)$ for the canonical cover $X$ of a bielliptic surface $S$?

A bielliptic surface $S$ is a smooth projective complex surface of Kodaira dimension 0 with $h^1(\mathcal O_S)=1$ and $h^2(\mathcal O_S)=0$. It is well known that $S=(A\times B)/G$, where $G$ is a ...
1
vote
0answers
53 views

Polarization of the Prym variety

Let $X\rightarrow Y$ a ramifield double cover of curves, $J_X, J_Y$ their jacobians, $P\subset J_X$ the Prym variety, for any line bundle $L$ on $X$ of degree $g_X-1$, denote by $\Theta_L$ the ...
3
votes
1answer
142 views

Identifying the canonical principal polarization of a Jacobian

Let $X$ be a curve over an algebraically closed field $k$ (even over $k = \mathbb{C}$ if you want), let $J = Pic^0_{X/k}$ be its Jacobian, let $P \in X(k)$ be a point, and let $i \colon X ...
4
votes
1answer
139 views

Lifting of Frobenius on torsors over abelian varieties

This is related to my previous question Assume that $A$ is an abelian variety over a field $k$ of characteristic $p$, $\mathcal{L}$ is a line bundle on $A$. Assume that $A$ is ordinary and ...
3
votes
1answer
165 views

Lifting of Frobenius on semi-abelian varieties

Let $A$ be a semi-abelian variety over a field $k$($char\, k=p$). Namely, there is an exact sequence of group schemes $$0\to T\to A\to B\to 0$$ where $T$ is a torus, $B$ an abelian variety. Assume ...
11
votes
1answer
224 views

Property of bundles with connections on abelian variety doesn't hold for additive or multiplicative group?

This question is a followup to two of my previous questions, see here and here. Let $A$ be an abelian variety over a field $k$ of characteristic $0$. How do I prove, without using ...
4
votes
1answer
236 views

Which hypersurfaces in $\mathbb{P}^n$ are abelian varieties?

Over an algebraically closed field $k$, which smooth hypersurfaces $X \subset \mathbb{P}^n$ are abelian varieties? If $n=2$, then the smooth hypersurfaces of degree 3 (i.e. elliptic curves) are ...
4
votes
1answer
178 views

Essential dimension and the moduli space of abelian varieties

The following problem is listed here: http://www-personal.umich.edu/~erman/Papers/Questions2.pdf and attributed to Vistoli: Let $\mathcal A_g$ denote the moduli stack of principally polarized abelian ...
4
votes
0answers
126 views

Deformations of the moduli space of ppav's

Consider the complex algebraic moduli space $X:=\mathcal A_g^n$ of ppav's of dimension $g$ with some high enough level $n$ structure (so that it represents the corresponding functor). Can one compute ...
18
votes
1answer
544 views

Is hyperelliptic cryptography “practical”?

Previosly my impression on this subject was that hyperelliptic cryptography systems (as well as other possible cryptosystems based on abelian varieties of dimension $>1$) have no advantages over ...
3
votes
0answers
75 views

How order of divisor with support at infinity is changed at reduction?

Jing Yu in his paper "On Arithmetic Of Hyperelliptic Curves" on page 5 asserts the following The most interesting case is certainly the case $k = \mathbb Q$ and $D \in \mathbb Z[t]$. To ...
3
votes
1answer
171 views

Is there a covering of Prym variety?

$\mathstrut$Hi, guys! Let $C$, $C^\prime$ be projective smooth irreducible algebraic curves over an algebraically closed field $k$ ($\mathrm{char}(k) \neq 2$), $\phi : C$ $\to$ $C^\prime$ a ...
3
votes
1answer
202 views

Why is dual lattice a lattice, in the context of complex tori

I have a simple linear algebra question regarding the definition of dual of a lattice; it was asked by someone else here three months ago on mathstackexchange but got no answer and few views, so ...
0
votes
1answer
158 views

Will any two linearly equivalent ample divisors on an abelian variety intersect?

Let $X$ be an abelian variety of dimension $n>2$. Let $L$ be a very ample line bundle on $X$. Is it possible to find two divisors $D_1,D_2\in |L|$ which do not intersect or intersect in codimension ...
7
votes
0answers
216 views

Quadratic twists of 1-motives

Quadratic twists of elliptic curves (or, more generally, abelian varieties) are familiar objects in arithmetic geometry. I would like to extend that definition to the category of 1-motives over global ...
2
votes
1answer
130 views

Points $\alpha_n$ of $A$ over the $m_n$-th layer in a $\mathbb{Z}_p$-ext. of $K$, where $A$ is an Ab. var. and $m_n$ is strictly increasing

I have the following setting: 1.) A Galois extension of number fields $K\hookrightarrow L$, with $\operatorname{Gal}(L/K)=\mathbb{Z}_{p}$. In my terminology, number field does not imply finiteness ...
1
vote
1answer
109 views

Derived equivalence of families of dual abelian varieties

Let $B$ be a smooth projective complex variety and $\pi:X\to B$ a smooth projective map whose fibres $X_b$ are abelian varieties. Let $\psi:Y\to B$ be the naturally associated bundle such that the ...
4
votes
0answers
254 views

Moduli of coherent sheaves on abelian varieties

Let $\mathcal{A}_g$ be the moduli space (stack?) of $g$-dimensional principally polarized abelian varieties. We have the universal family of abelian varieties $\chi_g\rightarrow \mathcal{A}_g$, where ...
7
votes
2answers
260 views

$p$-torsion of an abelian variety of $p$-rank $0$

Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $A$ be an abelian variety over $k$ such that $A[p](k) = 0$, i.e., such that $A$ has $p$-rank $0$. If I am not mistaken, ...
3
votes
1answer
99 views

Is there a unique line bundle in the Kummer surface which pulls back to a totally symmetric line bundle?

Let $X=Jac(C)$ be an abelian surface over $\mathbb{C}$, the Jacobian of a genus 2 curve. Let $L$ be a symmetric line bundle. Let $Y$ be the Kummer surface, quotient of $X$ by the action of involution. ...
1
vote
1answer
148 views

Is an Isomorphism from an Abelian variety to a Shimura variety always defined over a solvable extension?

Are there counterexamples to the following: Given two varieties $A$, $\tilde{A}$, both defined over $\mathbb{Q}$, one of which, say $A$, is a Shimura variety. Then, every isomorphism defined over ...
2
votes
1answer
119 views

Pullback of line bundles and divisors from $Kum(C)$ to $Jac(C)$

Let $C$ be a genus 2 curve over $\mathbb{C}$. Let $X=J(C)$. Consider the involution $i$ on $X$, $x\mapsto -x$. Let $Y=\frac{X}{(i)}$. This is a singular surface with 16 points of singularity - these ...
3
votes
1answer
265 views

How do I find a smooth curve in $J(C)$ through the 2-torsion points?

Let $X$ be the Jacobian of a genus 2 curve over $\mathbb{C}$. Let $L=\mathcal{O}(nC)$, where n is an even number. Is it possible to find a smooth curve from $|L|$ which is fixed by the involution ...
11
votes
0answers
199 views

Are Hecke eigenvalues on the cohomology of the Newton polygon strata automorphic?

Fix a genus $g$, a prime $p$, and a Newton polygon $\Delta$ of an abelian variety of genus $g$. Let $\mathcal A_{g, \overline{\mathbb F}_p, \Delta}$ be the moduli stack of abelian varieties of genus ...
2
votes
1answer
173 views

A curve in an abelian surface and its image in the Kummer surface

This is related to a question that I already asked Curve through the 16 singular points of a Kummer surface. I am new to Abelian varieties and I am trying to understand more about them. Let $X=J(C)$ ...
3
votes
2answers
248 views

Curve through the 16 singular points of a Kummer surface

Let $X$ be an abelian surface over $\mathbb{C}$. Consider the Kummer surface $K$ associated to $X$, that is the quotient of $X$ by the action of involution on $X$, $x\mapsto -x$. Kummer surface is a ...
11
votes
0answers
200 views

Do all simple factors of jacobians of curves come from correspondences?

For this question I will let the overly ambiguous word curve mean: smooth projective and connected curve over $\mathbb C$ (or equivalently a smooth compact Riemann-Surface). Let $C$ be a curve over ...
10
votes
1answer
220 views

What can we say about tropical maps $\mathbb{P}^1 \to A$ for an Abelian variety $A$?

It's well known that maps $\mathbb{P}^1_\mathbb{C} \to A$ are constant for any Abelian variety $A$ (in fact, for any complex torus). Is there any similar statement in the tropical case? Naively, the ...
2
votes
0answers
157 views

Is the Jacobian of curve self-dual?

Given $C$ an algebraic curve, its Jacobian is isomorphic to its Albanese variety by Abel-Jacobi Theorem. But generally Jacobian and Albanese varieties are dual abelian varieties, does this imply that ...
12
votes
0answers
277 views

Counting abelian varieties over finite fields in a given isogeny class

Let $f(x) \in \mathbb Z[x]$ be a monic polynomial of degree $g$ with all roots having absolute value $\sqrt{q}$. How many principally polarized abelian varieties over $\mathbb F_q$ have $f(x)$ as the ...
9
votes
0answers
332 views

Does bounded-degree base extension yield Zariski-dense Mordell-Weil group?

If $d$ and $n$ are positive integers, does there exist a constant $B=B(d,n)$ with the following property? For any $n$-dimensional abelian variety $A$ over a degree-$d$ number field $K$, there is an ...
6
votes
0answers
164 views

Simplicity of a rank 2 vector bundle over a principally polarized abelian surface

Let $A := \textrm{Jac}(C)$ be the Jacobian of a genus $2$ curve $C$, with principal polarization $\Theta$. Studying some branched covers of $A$, I was led to consider some rank $2$ holomorphic ...
7
votes
0answers
237 views

Is the compositum of all quadratic extensions of the rationals an ample field?

Let $K$ be the compositum of all quadratic extensions of $\mathbb{Q}$, that is $$K = \mathbb{Q}(\sqrt{d} \ : \ d \in \mathbb{Q}).$$ Is there a (geometrically irreducible) smooth variety ...
0
votes
1answer
137 views

Complex plane mod lattice to elliptic curve correspondence generalization

If we observe the correspondence $$\mathbb{C}/\Lambda \rightarrow E: Y^{2} = X^{3} - \frac{g_{2}(\Lambda)}{4}X - \frac{g_{3}(\Lambda)}{4},$$ we see the relationship between weight 4 and weight 6 ...
0
votes
0answers
75 views

Functor of order $n$ in Mumford's abelian variety

Let $T$ be a contravariant functor on the category of complete varieties into the Category $\underline{\mathrm{Ab}}$ of abelian groups. Let $X_0,\ldots,X_n$ be any system of complete varieties, ...
4
votes
2answers
295 views

Definition field of isogeny between abelian varieties

Let $K$ be a number field. Let $A$ and $B$ be abelian varieties over $K$. Assume that $A$ and $B$ are isogenous over $\bar{K}$, the algebraic closure of $K$. We further assume that the endomorphism ...
3
votes
1answer
160 views

CM abelian varieties over the rationals

Let $K$ be a number field and let $A$ be an abelian variety of dimension $g$ over $K$. Let $L$ be a CM field and suppose that $[L:{\bf Q}]=2g$. Suppose that there exists an embedding ...
8
votes
1answer
231 views

Distribution of Mordell–Weil ranks of higher genus curves

By "nice curve", I mean a smooth, projective, geometrically integral curve over $\newcommand{\Q}{\mathbb{Q}}\newcommand{\Jac}{\operatorname{Jac}}\Q$ with at least one $\Q$-rational point. The ...
3
votes
2answers
277 views

N-th root of unity in N-th division field of abelian variety?

Let K be a number field and A/K an abelian variety over it. Can it be that K(A[n]) does not contain a primitive n-th rooth of unity? If the answer is yes is it always possible to bound the bad n ...
6
votes
1answer
224 views

A Siegel modular form related to the product of two eta functions

I am looking for a Siegel modular form of genus $2$ (living on the Siegel modular 3-fold $A_2=\mathrm{Sp}(4,\mathbb{Z})\backslash \mathfrak H_2$) which becomes "roughly" the product of two eta ...
7
votes
1answer
152 views

Endomorphism algebras of abelian surfaces with real multiplication

Given an abelian variety $A$ over a field $F$, one may consider the ring of endomorphisms $End(A)$, the ring of $F$-rational maps $A \to A$ respecting the group structure on $A$. We may also consider ...
3
votes
0answers
131 views

Varieties acted upon faithfully by an abelian variety

Let $X$ be a smooth projective variety over the complex numbers. Suppose that some positive-dimensional abelian variety $A$ acts faithfully on $X$. Examples of such varieties $X$ are provided by ...
6
votes
2answers
251 views

Extending the Abel-Jacobi map over the DM-compactification $\overline{\mathcal{M}}_2$?

Let $\mathcal{M}_2$ be the moduli space of genus two curves and $\mathcal{A}_2$ the moduli space of principally polarized abelian surfaces. Then the Abel-Jacobi map gives an open embedding ...