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

-1
votes
0answers
67 views

Automorphism group of a class of abelian varieties

Given two abelian varieties $V$ and $V'$ sharing the same Hasse-Weil L-function, is there a well known, 'canonical' notion of automorphism groups thereof such that $Aut(V)\cong Aut(V')$? If so, does ...
3
votes
0answers
149 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 ...
4
votes
1answer
149 views

Does complex multiplication for higher dimensional abelian varieties give some generalization of class field theory?

I am currently learning some aspects of the theory of complex multiplication for elliptic curves, and the relationship with class field theory. As I understand it, there is a very special class of ...
5
votes
2answers
307 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 ...
4
votes
1answer
227 views

How to construct an abelian variety with CM by a given CM field?

Let $F$ be a totally real number field, and let $K$ be a quadratic extension of $F$ which cannot be embedded into $\mathbb{R}$. Then $K$ is a so called CM field. For instance, take $F = \mathbb{Q}(\...
3
votes
0answers
94 views

Is a Kummer surface unirational over a sufficiently large finite field of characteristic 2?

Let $A$ be a supersingular abelian surface over a sufficiently large finite field $\mathbb{F}_q$ of characteristic $2$ and let $K_A = A/(-1)$ be the Kummer surface. Shioda ("Kummer surfaces in ...
7
votes
1answer
293 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 $\mathscr{A},\...
8
votes
0answers
284 views

Semisimplicity of Frobenius on *integral* Tate module

Let $K$ be a number field and $A/K$ an Abelian variety; let $l$ be a (rational) prime. Do there exist infinitely many primes $\mathfrak{p}$ of $K$ such that the Frobenius at $\mathfrak{p}$ acts ...
11
votes
0answers
291 views

Singular curve on an abelian surface

Let $C_2$ be a smooth genus $2$ curve and $J(C_2)$ its Jacobian. It is well known that the blow-up of $J(C_2)$ at the origin $o$ is isomorphic to the second symmetric product $\textrm{Sym}^2(C_2)$, ...
1
vote
2answers
167 views

How to prove that $A$ is supersingular iff the Picard number $\rho(A)$ is equal to the second $l$-adic Betti number $b_2(A) = 6$?

Let $A$ be an abelian surface over algebraically closed field $k$ of characteristic $p > 2$. How to prove that $A$ is supersingular (in other words, there is an isogeny between $A$ and $E^2$, where ...
6
votes
1answer
67 views

Bilinearity of the Cassels-Tate pairing

Let $K$ be a number field and let $A$ be an abelian variety over $K$ (I'm mostly interested in the case that $A$ is an elliptic curve). We use $v$ to denote places of $K$ and we write $H^i(k, A)$ for ...
7
votes
3answers
2k views

What is the Theorem of the Cube?

What is the "theorem of the cube" for abelian varieties? What is the statement and how should I think about it?
2
votes
0answers
121 views

Reduction “modulo $p$” of $\mathfrak{p}$-torsion points of CM elliptic curves

Let $E/L$ be an elliptic curve defined over a number field $L$. Assume moreover that $E$ has complex multiplication by an imaginary quadratic field $K$. Let $\mathfrak{p}$ be a prime ideal of $K$. ...
0
votes
0answers
80 views

Action of a lattice on abelian varieties

Let $\pi\colon Y\to\mathbb{P}_\mathbb{C}^1$ be a ramified cover of degree two of $\mathbb{P}_{\mathbb{C}}^1$ such that $Y$ is smooth. I fix a point $x$ on $\mathbb{P}^1$, over which the cover is étale,...
5
votes
0answers
97 views

Is a Kummer surface over an finite field $\mathbb{F}_q$ supersingular iff $\mathbb{F}_q$-unirational?

Let $A$ be an abelian surface over an finite field $\mathbb{F}_q$. In particular, I am interested in the case when $A$ is a Jacobian variety. Is the Kummer surface $K_A/\mathbb{F}_q$ Shioda-...
2
votes
0answers
63 views

Characters on lattices and isogenies of Abelian varieties

Let $V:=\mathbb{C}^g$ and $\Lambda \subset V$ be a lattice, i.e. a discrete subgroup of rank $2g$. Then $A:=V/ \Lambda$ is a complex torus of dimension $g$. We moreover assume that $A$ is algebraic, ...
11
votes
1answer
426 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
379 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 ...
0
votes
1answer
154 views

Frobenius eigenvalues of abelian variety

Let $A$ be an abelian variety over a finite field $\mathbb{F}_q$ and $x_i$ the Frobenius eigenvalues on $H^1$. Does $x_i \mapsto q/x_i$ permute the $x_i$, and why? It should follow from Poincare ...
5
votes
0answers
146 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
289 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
176 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 ...
5
votes
2answers
756 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 ...
2
votes
1answer
84 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
78 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
57 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
155 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 \...
3
votes
1answer
178 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 ...
4
votes
1answer
148 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 $\mathcal{L}...
8
votes
1answer
237 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 Mordell–...
11
votes
1answer
234 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
245 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
192 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
130 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
558 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
76 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
175 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 two-...
7
votes
0answers
221 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 ...
7
votes
1answer
155 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
1answer
210 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
161 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
1answer
1k views

Poincaré line bundle

I am being stuck by the proof of the existence of Poincaré line bundle of complex torus in Griffiths-Harris. Here is the question: Let $M$ be a complex torus and $M'$ be the complex torus dual to $M$...
6
votes
0answers
166 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 ...
2
votes
1answer
132 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
113 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
259 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
274 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
100 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
157 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
123 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 ...