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

25
votes
3answers
2k views

In which ways can the isogeny theorem fail for local fields?

Fix a field $K$ with absolute Galois group $G$. By an isogeny theorem over $K$, I mean the statement that the map $\operatorname{Hom}(A,B)\otimes\mathbb{Z}_l \to \operatorname{Hom}_G(T_l A, T_l B)$ is ...
4
votes
2answers
509 views

Moduli Spaces of Higher Dimensional Complex Tori

I know that the space of all complex 1-tori (elliptic curves) is modeled by $SL(2, \mathbb{R})$ acting on the upper half plane. There are many explicit formulas for this action. Similarly, I have ...
3
votes
2answers
253 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 ...
27
votes
5answers
5k views

Why no abelian varieties over Z?

Motivation I learned about this question from a wonderful article Rational points on curves by Henri Darmon. He gives a list of statements (some are theorems, some conjectures) of the form the set ...
20
votes
4answers
3k views

Why do people think that abelian varieties are the hardest case for the Hodge conjecture?

Today, I heard that people think that if you can prove the Hodge conjecture for abelian varieties, then it should be true in general. Apparently this case is important enough (and hard enough) that ...
3
votes
4answers
1k views

reduction of CM elliptic curves

Can someone indicate how to prove the following equivalences for a CM elliptic curve $E$: (i) $p$ is inert in End($E$) (ii) $E_p$ is supersingular (iii) The trace of the Frobenius at $p$ is $0$ [...
13
votes
4answers
1k views

Torsion points in Abelian varieties over number fields

Hello, Suppose $A$ is an Abelian variety of dimension $g$ over a number field $k$. Then using height functions one can show that there are non-torsion points in $A(\bar k)$. This looks like an ...
7
votes
0answers
282 views

Mirror symmetry for polarized abelian surfaces and Shioda-Inose K3s

It is well known (cf. Dolgachev) that there is a beautiful notion of mirror symmetry for lattice-polarized K3 surfaces. That is, if we are given a rank $r$ lattice $M$ of signature $(1, r - 1)$ and a ...
2
votes
2answers
331 views

Why is the norm map dual to restriction under Tate local duality?

Let $L/K$ be a finite Galois extension of nonarchimedean local fields, and let $A$ and $A^t$ be dual abelian varieties over $K$. Tate local duality tells us that $A^t(K)$ and $H^1(K, A)$ are ...
1
vote
1answer
235 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 ...
12
votes
1answer
459 views

The torsion point count in higher dimension

It is an easy consequence of the Serre open image theorem that for the torsion point count on elliptic curves, the following possibilities arise. If $E/\bar{\mathbb{Q}}$ is an elliptic curve without ...
11
votes
0answers
368 views

Can an abelian variety/Q have no non-trivial points over Q_sol?

Let $A/\mathbb{Q}$ be an abelian variety. Must there be a finite solvable extension $K/\mathbb{Q}$ such that $A(K)$ is nontrivial? This follows from the conjecture that the maximal (pro-)solvable ...
11
votes
1answer
423 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 ...
9
votes
1answer
542 views

Can we always find a curve which doesn't have semi-stable reduction

Let $K$ be a number field and let $g$ be a positive integer. Does there exist a smooth projective geometrically connected curve $X/K$ of genus $g$ such that $X$ does not have semi-stable reduction ...
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 $V/\mathbb{...
6
votes
1answer
558 views

Abelian varieties with given endomorphism algebra

I am confused by a statement in the very classical paper of A. A. Albert "On the construction of Riemman matrices II", Ann. Math. 1935, Thm 16. If I understand what he saying, the theorem says that ...
6
votes
1answer
660 views

Mumford-Tate group and Galois representations

Could someone please point me towards a proof of why the image of a Galois representation on the Tate-module of an abelian variety is limited by its Mumford-Tate group?
4
votes
1answer
435 views

Nakai-Moishezon theorem for abelian varieties

In Birkenhake and Lange's book, they prove a version of the Nakai-Moishezon theorem for complex abelian varieties that says that if $L_0$ is an ample line bundle on a complex abelian variety $X$ of ...
2
votes
0answers
102 views

Subgroups-ideals correspondence for abelian varieties over $\mathbf{F}_p$

The question I have arose while reading Waterhouse's Thesis (Abelian varieties over finite fields. Ann. Sci. École Norm. Sup. (4) 2 1969 521–560.), and motivates another question I recently asked. ...
1
vote
1answer
195 views

a problem about ideals of polynomial rings

Let $\{f_n\}_{n=1}^\infty\in \mathbb{C}[x,y]$ be a sequence of polynomials given by the following expressions $$ f_n(x,y)=\sum_{i=0}^{[\dfrac{n}{2}]}(-1)^{n-i}{{n-i}\choose i}x^{n-2i}y^i. $$ Let $(...
5
votes
0answers
177 views

Semiabelian actions appearing in the toroidal campactification of a degenearting abelian varieties

Given a totally degenerated abelian variety $A_K$ (to make it easier) over a complete discrete valuation field $K$ with $R$, $\pi$ and $k$ the corresponding discrete valuation ring, uniformiser and ...
4
votes
1answer
142 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}...
3
votes
1answer
207 views

Duality for rank one modules over a number ring

Let $K$ be a number field, and $R$ an order of $K$. Consider the category $\mathcal{M}$ of all finitely generated $R$-submodules of $K$. If $X$ is an object of $\mathcal{M}$ such that $R=\textrm{End}...
3
votes
1answer
171 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 ...
3
votes
0answers
162 views

field of definition of isogenies of abelian varieties

Let $A$ be an abelian variety over a field $k$, and let $N$ be a finite subgroup of $A$. Suppose that $N$ is also defined over $k$, or at least that all Galois automorphisms fixing $k$ leave $N$ ...
2
votes
1answer
183 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)$ ...