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

3
votes
3answers
432 views

Another question related to the isogeny theorem for elliptic curves

I was reading the following question: About isogeny theorem for elliptic curves and was interested in the following statement at the end of Torsten Ekedahl's answer: "Note also that the situation is ...
7
votes
1answer
391 views

On simple factors of modular jacobians: endomorphism ring and simplicity of mod p reduction

Let $A_f$ be the abelian variety over $\mathbf{Q}$ arising as a $\mathbf{Q}$-simple factor of the Jacobian $J_0(N)$ of the modular curve associated to a normalized newform $f$ of weight $2$ on the ...
3
votes
2answers
261 views

Defining isogenies over smaller fields

I'm having some issues with abelian varieties and fields of definition. This already became clear in my previous question on Jacobians. Here's another question. If somebody can explain some nice facts ...
6
votes
2answers
405 views

Jacobians defined over smaller fields

Let $L/K$ be an extension of number fields. Let $X$ be a curve over $L$ which can not be defined over $K$. Let $J(X)$ be the Jacobian of $X$ over $L$. In general, the Jacobian $J(X)$ probably ...
8
votes
1answer
378 views

Modularity of higher dimensional abelian varieties

In another question I asked about strategies for giving an effective version of the Shafarevich conjecture for abelian varieties over $\mathbb{Q}$. For elliptic curves, one can give a proof using ...
18
votes
3answers
1k 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 ...
3
votes
1answer
225 views

Explicit period lattices for abelian surfaces

Given an explicit description (as an intersection) of an abelian surface $A$ is there an algorithm for computing the period lattice of the surface? For the specific examples that I am interested in, ...
10
votes
1answer
295 views

What is the Brauer group of the moduli space of (p.p.) abelian varieties?

What is the Brauer group of the moduli space of principally polarized abelian varieties of a given dimension? I am primarily interested in the "open" moduli space, i.e. not a compactification. The ...
18
votes
1answer
2k views

Modern proof of Serre's open image theorem?

Let $E$ be an elliptic curve defined over a number field $K$ without complex multiplication. Serre's open image theorem (which appears in his book 'Abelian $l$-Adic Representations and Elliptic ...
2
votes
1answer
205 views

Can we control the size of the intersection of two abelian subfactors of an abelian variety ?

Let $A$ be an abelian variety over an algebraically closed field $K$, and $B$ an abelian subvariety. We know (for instance, from Milne course on AV) that there is an abelian "cofactor" $B'\subset A$ ...
1
vote
1answer
273 views

Serre-Tate canonical lifts for finite fields

A result of Serre-Tate states that we can canonically lift an ordinary abelian variety over a perfect field $k$ of positive characteristic to an abelian scheme over the ring of Witt vectors of $k$ and ...
3
votes
0answers
205 views

Does semi-stable reduction behave well with Weil restriction of scalars

Let $A$ be an abelian variety over a number field $K$ with semi-stable reduction over $O_K$. Does the Weil restriction $\textrm{Res}_{K/\mathbf{Q}}A$ of $A$ to $\mathbf{Q}$ have semi-stable reduction ...
8
votes
1answer
401 views

Mordell-Weil group of the universal abelian scheme

Let $n>2$ and let $k$ be either $\bf Q$ or a finite field whose characteristic is prime to $n$. Let $A_{g,n}$ be the moduli scheme, which represents the functor, which with every $k$-scheme $S$ ...
1
vote
0answers
135 views

Construction of RM abelian variety from eigenform

Let $f$ be a normalized eigenform of weight $2$ level $N$. If the Fourier coefficients of $f$ generate a totally real field $F$, then we associate to $f$ a system of $\ell$-adic Galois representations ...
0
votes
2answers
251 views

Does the self-product of a $g$-dimensional abelian variety contain an abelian variety of dimension smaller than $g$ at some point

Let me be more precise than the title. (This will be my last attempt to do something with abelian varieties. Sorry for all the basic questions. The answers have been great!) Let $A$ be a simple ...
0
votes
1answer
204 views

Is any simple abelian variety covered by a non-simple abelian variety

Let $A/k$ be a simple abelian variety. Does there exist a non-simple abelian variety $B/k$ and a finite homomorphism $f:B\to A$ over $k$? I don't need $f:B\to A$ to be etale.
2
votes
1answer
218 views

Are abelian varieties degree two covers of some projective space

Let $A$ be an abelian variety over a field $k$ of dimension $g\geq 2$. There exists a finite morphism $A\to \mathbf{P}^g_k$. Here's the question. Does there exist a finite morphism $A\to ...
0
votes
0answers
111 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 ...
6
votes
2answers
386 views

Ample vector bundles on complex tori

Let $X$ be a $n$-dimensional complex torus and $\omega$ a Kähler form on $X$. Then, it is well known that a real $(1,1)$-class $[\alpha]\in H^{1,1}(X,\mathbb R)$ is a Kähler class if and only if for ...
1
vote
0answers
283 views

Component group of Neron model of a parametrized abelian variety

Let $A$ be an abelian variety of dimension $2$ over a $p$-adic field $K$ with (additive) valuation $v$. Assuming $A$ has multiplicative reduction, the theory of $p$-adic theta functions gives us an ...
0
votes
0answers
202 views

Chern class of line bundle inducing a principal polarisation

What can one say about the Chern class $c_1(\mathcal{L})$ of a line bundle $\mathcal{L}$ on an Abelian variety $A$ inducing a (principal) polarisation $A \to A^\vee$? Why am I asking this? My ...
3
votes
2answers
214 views

Induced maps of an automorphism of a curve on the tangent ot its jacobian and on its differential forms

Let $C$ be a smooth projective curve of genus $g$ over a field $k$ and $J$ be its jacobian (defined over $k$). Let $\sigma: C \rightarrow C$ be a $k$-automorphsm of $C$. This automorphism $\sigma$ ...
8
votes
0answers
306 views

Obstructions to deforming an abelian variety

Are abelian varieties unobstructed? That is, given an abelian scheme $X \to \mathrm{Spec}R $ for $R$ a local artinian ring and $\mathrm{Spec} R \to \mathrm{Spec} S $ a nilpotent thickening, can we ...
2
votes
1answer
800 views

books (or notes) on complex multiplication

This would be a vague question, but I still want to ask here. Do you have any recommended book on complex multiplicaton. I know only 2 books: Shimura's book ...
2
votes
1answer
266 views

Weil reciprocity on abelian varieties and biextensions?

I was once told, by someone who would likely be right about such things, that the version of Weil reciprocity for abelian varieties (as in Lang, Abelian Varieties) should come out of consideration of ...
2
votes
1answer
166 views

kernel of an isogeny and coker of its induced map on the Tate module

In a proof in Milne's note "Abelian Variety" (top on p.52), I saw an equality: $ \mathrm{Ker}(\beta)(l) = \mathrm{Coker}(T_{l}(\beta))$, here $\beta$ is an (separable) isogeny of an abelian variety ...
1
vote
0answers
194 views

Where can I find a copy of Serre's Cours au college de France 1985-1986?

Hi, I was wondering: where might I be able to find a copy of this work online? And are there any other resources for the proof of the open image theorem for abelian varieties with endomorphism ring ...
3
votes
1answer
188 views

upper bounds for the ranks of the minus parts of modular jacobians

Let $p$ be a prime, and $J^-(p)$ be the maximal quotient of the Jacobian of the modular curve $X_0(p)$ on which the involution acts by $-1$. Is anything known or conjectured about upper bounds for ...
3
votes
2answers
366 views

Quotients of Tate modules

Let $p$ be a prime number, let $K$ denote a finite extension $\mathbb{Q}_{p}$ and let $\overline{K}$ be an algebraic closure of $K$. Let $A$ be an ellitpic curve over $K$ and denote by $T_{p}A$ its ...
0
votes
1answer
134 views

Terminology about Abelian varieties over finite fields

Is there a standard meaning for ordinary and supersingular Abelian varieties over finite fields? If so, where can I find it (together with basic properties about them)?
1
vote
1answer
187 views

etale covers of line bundles on an abelian variety

subj: etale covers of line bundles on an abelian variety Is there an explicit decryption of finite etale covers of a line bundle $L$ on an abelian variety and its associated C*-bundles $L^o = L ...
4
votes
1answer
329 views

Albert classification of rational endomorphism rings of simple Abelian varieties over finite fields

Recall the Albert classification of rational endomorphism rings with involution of simple Abelian varieties over arbitrary fields: Type I: totally real, trivial involution Type II and III: ...
2
votes
0answers
228 views

deRham cohomoloy of CM liftings of Jacobians

Let $k$ be field of characteristic $p>0$ and $W=W(k)$ the ring of Witt vectors of $k$. We call a smooth curve over $k$, ordinary, when the Jacobian of $J(X)$ of $X$ is an ordinary abelian variety. ...
2
votes
0answers
138 views

Notation for a canonical quotient of an abelian variety in positive characteristic

This is a light question about notation, but I received no answer in Stackexchange. Let $k$ be an algebraically closed field of characteristic $p>0$ and let $A=A_{/k}$ be an ordinary abelian ...
1
vote
0answers
265 views

Weil pairing as an algebraic cycle?

Is there an algebraic cycle corresponding to the Weil pairing on an abelian variety (of dim>1)? Ideally I'd like to see an example as explicit as possible, e.g. an explicitly given variety of dim>1 ...
1
vote
1answer
283 views

complex deformations of abelian varieties

Let $A$ be an abelian variety defined over $\mathbf{C}$ (of dimension $>1$) and let $\Theta_A$ be the holomorphic tangent sheaf of $A$. Q: How does one compute $H^1(A,\Theta_A)$ ? If $A$ has ...
4
votes
0answers
228 views

false elliptic curves and principal polarizations

Hi, Let $\Delta$ be a quaternion algebra over $\mathbf Q$ and let $\mathcal O_\Delta$ be a maximal order in $\Delta$. Recall that a false elliptic curve over a field $K$ is a pair $(A/K,i)$ ...
2
votes
0answers
89 views

Dual Honda systems

Hello, There is an equivalence of categories between p-divisible groups over the ring of Witt vectors $W(k)$ and the category of "Honda systems", that is couples $(M,L)$ formed by a Dieudonné module ...
3
votes
0answers
240 views

lifting abelian varieties

Hello, Let A be an abelian variety over $k=\overline{\mathbb{F}_p}$. This abelian variety is endowed with a principal polarization and an action by $\mathcal{O}_E$, the ring of integers of an ...
3
votes
1answer
332 views

Construction of Kummer map for abelian variety

Let $A$ be an abelian variety over the rational numbers $\mathbf{Q}$. Let $V=T_p A \otimes \mathbf{Q}_p$ be the $\mathbf{Q}_p$-Tate module of $A$. Let $G$ be the absolute Galois group of $\mathbf{Q}$. ...
3
votes
1answer
503 views

Algebraic relationships between elliptic functions

Let $f$ and $g$ be tow elliptic function with the same periods, then there exists an algebraic relationship of the form $P(f,g)=0$, where $P$ a polynomial of tow variables and constants coefficients. ...
2
votes
0answers
168 views

CM abelian variety from an algebraic Hecke character?

Hi, Given an algebraic Hecke character $\chi$ of a number field $k$ there should be a "rank 1 CM-motive" $M$ with $\overline Q$-coefficients such that $L(s,M) = L(s,\chi)$. This follows from the ...
4
votes
1answer
471 views

Deformation space of non-ordinary abelian varieties

It is a well known result of Serre and Tate that if $A$ is an ordinary abelian variety over a field $k$ of characteristic $p>0$, then the deformation space $\mathcal{M}$ of $A$ to an abelian ...
11
votes
0answers
290 views

Does every Abelian variety have a finite resolution by Jacobians?

One knows that every Abelian variety is a quotient of a Jacobian. Does every Abelian variety have a finite resolution by Jacobians?
2
votes
1answer
440 views

Generalization of singular moduli

$j$-invariants of CM curves $E$ over (say) the complex numbers are known as singular moduli. As the theory of complex multiplication explains, singular moduli are algebraic integers of great ...
2
votes
0answers
184 views

Question on division field of abelian variety

I am wondering if the following holds or not. Let A be an abelian variety of dimension $d\geq 1$ over $\mathbb{Q}$. Then there is a positive number c depending on d and A such that ...
8
votes
5answers
667 views

Schottky locus in genus 2

Let $\phi_g : \mathcal{M}_g \rightarrow \mathcal{A}_g$ be the period mapping from the open moduli space of genus $g$ Riemann surfaces to the moduli space of $g$-dimensional principally polarized ...
2
votes
1answer
425 views

finite non-commutative local group schemes

Can I have some examples of finite non-commutative connected group schemes over a field $k$? I would like also to see some non-trivial torsors over a $k$-scheme $X$ under such group schemes. Thanks. ...
5
votes
2answers
362 views

Explicit way to construct simple complex tori/abelian varieties of dimension at least 2

The following question was motivated by one of the earliest exercises of Complex Abelian Variaties by Birkenhake and Lange during my presentation last year. It can be shown that any complex torus ...
5
votes
1answer
376 views

Mumford-Tate groups of abelian varieties with potentially good reduction everywhere

Let $A$ be an abelian variety defined over a number field, and let $MT(A)$ be its Mumford-Tate group. It is a conjecture of Morita that if $MT(A)$ is anisotropic-mod-center (that is, it has no ...