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

9
votes
1answer
256 views

Why polarization of abelian varieties?

Maybe this question is not suitable for here, but I don't think I would receive a satisfactory answer in Math StackExchange. I could never understand the intuition behind polarization of abelian ...
1
vote
2answers
102 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 ...
0
votes
0answers
85 views

Differential of the Albanese map

Let $A$ be an abelian surface with a polarization $H$, $C$ a curve on $A$, $\mathcal{J}^H$ the universal Jacobian over $\{C\}$, i.e. the moduli space of $H$-semistable sheaves on $A$ of dimension $1$ ...
0
votes
0answers
48 views

Do principally polarized abelian varieties enjoy a genus expansion?

This is a vague question from an interested outsider: It is well known that abelian varieties which arise as Jacobian of a curve (or a bit more general as Prym variety) are distinguished by the fact ...
0
votes
1answer
90 views

rank of Abelian schemes under ample hypersurface section

Let $k$ be an algebraic closure of a finite field, $\ell \neq \mathrm{Char}(k)$ be prime, $S/k$ a smooth projective geometrically connected surface and $C/k$ a smooth ample connected hypersurface ...
0
votes
0answers
70 views

the CM type of a CM abelian variety

Let $(A, F, i)$ be a CM abelian variety, by which I mean an abelian variety $A$ defined over $\overline{\mathbb{Q}}$, say of dimension $n$, a CM number field $K$ of degree $2n$ and an embedding $i: F ...
2
votes
2answers
347 views

Elliptic curve E and Galois representation

Assume that an elliptic curve $E$ over $\Bbb Q$ has a reducible mod $p$ representation. Then Q: Why is the semi-simplification of $E[p]$ the direct sum of ${\Bbb Z}/p{\Bbb Z}$ and $\mu_p$? Next ...
0
votes
2answers
192 views

Absolute Hodge implies Galois invariant?

Let $X$ be an Abelian variety defined over a number field $K$, suppose that it has a good reduction over a fine place $\mathfrak{p}$ of $K$. Let $G_{\mathfrak{p}}$ be the local Galois group for ...
1
vote
1answer
156 views

Rigidity lemma over non-algebraically closed field

I would like to extend the rigidity lemma (as in Mumford's "Abelian varieties") to the case in which the base field $k$ is not algebraically closed. I found a suitable proof in the draft of "Abelian ...
1
vote
2answers
109 views

kernel of isogeny becomes constant after base change

Let $S = Spec(O_K)$ be the spectrum of the rings of integers of a number field $K$. Let $A/S \setminus T$ be an Abelian scheme over an open subscheme $S \setminus T \subseteq S$. Does the kernel of ...
2
votes
1answer
66 views

Units of Endomorphism Rings of Jacobian Varieties with Real Multiplication

Let $(A,a)$ be a principally polarised (with indecomposable polarisation) Abelian variety over $\mathbb C$. Assume that End(A) contains an order $R$ of a totally real number field of degree $>1$ ...
1
vote
1answer
54 views

group structure on (subsets of) tropicalizations of Abelian varieties

In this paper Vigeland shows how one can define a group law on subset of a tropical elliptic curve, so that this group is homeomorphic to $S^1$. It is not clear to me what is the relationship between ...
2
votes
1answer
224 views

Are Abelian varieties (sometimes) globally $F$-split?

As defined by Karen Smith here, beginning of section 3? If $E$ is an elliptic curve, then it is when $E$ is ordinary. I wonder about higher dimension cases. Any references would be greatly ...
0
votes
1answer
118 views

Linear system on an abelian surface

On a K3 surface $S$, a linear system $|C|$ is said to be hyperelliptic if the corresponding map is of degree 2 and the image is of degree $g_a(C)-1$ in $\mathbb P^{g_a}$. For $g_a(C) > 2$, if ...
6
votes
3answers
318 views

Torsion group of the following elliptic curve

Let $p_1=2, p_2 = 3,\ldots,$ be the prime numbers, and define $n_i = \prod_{j=1}^i p_j$. Moreover, let $E_i $ be the elliptic curve defined by $y^2 = x^3 + n_i$. Can one compute the torsion group ...
5
votes
2answers
332 views

Modularity theorem for abelian varieties

There's alredy two posts on MO about the extension of modularity to elliptic curves over fields other than $\mathbb{Q}$ ([1], [2]), and another one about general algebraic varieties [3]. What is ...
3
votes
0answers
88 views

Ampleness of Hodge bundles over complex curves

Let $C$ be a smooth, proper and connected curve over the complex numbers $\bf C$. Let ${\cal G}\to C$ be a smooth group scheme over $C$ and let $\epsilon_{\cal G}:C\to{\cal G}$ be its zero-section. ...
9
votes
1answer
253 views

Motives over finite field not generated by hyperelliptic curves

So the question is that, over a finite field, does there exist an abelian variety $A$ for which there does not exist a generically one-to-one morphism from a hyperelliptic curve $C$ to $A$. p.s. A ...
3
votes
0answers
33 views

Abelian varieties/$p$-divisible groups are an integral category

A preabelian category is called integral if epimorphisms are stable under pullbacks and monomorphisms are stable under pushouts. A major property of integral category is that by inverting bimorphisms ...
7
votes
1answer
379 views

The Tate conjecture for abelian varieties

Let $k$ be a number field. Recall that Faltings proved the famous Tate conjecture, which states that for any abelian variety $X$ over $k$ and any prime $\ell$, the natural map $$\mathrm{End}(X) ...
10
votes
0answers
220 views

Lifting Abelian Varieties to p-adic fields

Assume I have an abelian variety $A$ over a finite field $k$ of characteristic $p$. Work of Norman and Oort (1980) says I can lift $A$ to an abelian variety $\mathscr{A}$ over some characteristic ...
2
votes
1answer
181 views

Canonical lifts from $\mathbb F_q$ and CM-theory

One knows that (ordinary) Jacobians of hyperelliptic curves over a finite field $\mathbb F_q$ (mostly of genus 1 (elliptic curves) and 2) are extensively studied by cryptographers, as a platform for ...
1
vote
0answers
49 views

Ampleness of the Canonical Bundle for Siegel Modular Varieties

Background Throughout I only work with varieties over $\mathbb{C}$. For $p$ a prime number, Let $Y(p)$ denote the modular curve parametrizing elliptic curves together with full $p$-torsion ...
6
votes
1answer
212 views

Are there perverse sheaves on abelian varieties with small Euler characteristic?

Let $A$ be a simple abelian variety of dimension $g$. Let $K$ be an irreducible perverse sheaf on $A$. We know that $\chi(A,K)\geq 0$. (Corollary 1.4 of Franecki and Kapranov.) How small can ...
2
votes
0answers
121 views

Must the coordinates of a polynomial iteration have about the same size?

Original post. The following statements seem plausible (not to say intuitively obvious), but I do not see how to prove them. Let us say that a polynomial mapping of $\mathbb{C}^2$ is reducible if ...
0
votes
2answers
119 views

Poincaré bundle and Weil pairing for Abelian schemes

In which situations is there a Poincaré bundle for Abelian schemes? In [Mumford, Abelian varieties] only the case of Abelian varieties is treated. The same question for the Weil pairing ...
3
votes
2answers
177 views

abelian varieties with the same CM type are isogenous

Does anybody have a reference for the following fact? All abelian varieties with complex multiplication and same CM type are isogenous over $\overline{\mathbb{Q}}$? Here abelian variety with ...
1
vote
1answer
143 views

Algebraic Hodge decomposition of CM abelian varieties

On p. 205 of Katz's paper entitled "p-adic L-functions for CM fields" Katz says that "Shimura's algebraicity theorem, in our context, is an easy consequence of the fact that Hodge decomposition of ...
1
vote
0answers
48 views

Hasse-Weil L-Functions of CM Abelian Varieties

In Shimura's paper "On the Zeta Function of an Abelian Variety With Complex Multiplication", in his terminology, the `one-dimensional part' of the zeta function is identified with a Hecke $L$-function ...
2
votes
1answer
107 views

Potential good reduction of abelian varieties

In Corollary 3 on page 498 of the article "Good reduction of abelian varieties" it says that, under some specified conditions, the minimal subextension $L/K$ of $\overline{K}/K$ over which an abelian ...
1
vote
0answers
77 views

A question on Kähler differentials and cotangent spaces on schemes

I have the following question (should be easy for those who know something about the field): On page 92 (97 of the old edition) of Mumford's book "Abelian varieties", the author talks about an ...
2
votes
0answers
107 views

formal group laws of Abelian varieties in positive characteristic

Let $G$ be an algebraic group defined over an (algebraically closed) field $k$. Then one can obtain a formal group law by completing the multiplication map $m: G \times G \to G$ at the unit of $G$. ...
4
votes
1answer
137 views

Conductor CM abelian variety

This is probably well known but I am not an expert in the subject. Given an abelian variety $A$ of dimension $g$ with CM by $O_K$ where $K$ is a CM field of degree $2g$, let $N_A$ be the norm of the ...
6
votes
0answers
132 views

where do CM abelian varieties get good reduction?

Let $A$ be an abelian variety over $\overline{\mathbb{Q}}$ and assume that $A$ has complex multiplication by the ring of integers of a CM field $K$. Then $A$ has potentially good reduction, that is: ...
11
votes
3answers
616 views

Why study CM abelian varieties?

I know that abelian varieties of CM type have central importance in algebraic geomtry and number theory. There are many conjectures and concepts related to them like Andre-Oort, Coleman conjecture, ...
0
votes
0answers
160 views

Hodge structure of abelian surfaces

In my case, I have an abelian surface $A$ of (2,8)-polarization, and I have some finite group (may not be abelian group) $G$ acting on $A$ without fixed point. I want to understand when there is a ...
1
vote
1answer
118 views

the group of all biholomorphic group automorphisms of complex tori

My background is complex geometry, but when I confront complex tori, I feel it is easier to consider it as a compact connected complex Lie group although I just know the definition of Lie group. Let ...
3
votes
1answer
154 views

Covering of Abelian variety by product of elliptic curves

Let $A$ be an complex abelian variety of dimension $n$. Is it possible to find $n$ elliptic curves $E_1,\dots,E_n$ such that the product $E_1\times \dots \times E_n$ of the elliptic curves etale ...
4
votes
0answers
88 views

Effect of Hecke transform on the Mumford-Tate group

Let $Sh_{K}(G,X)$ be a Shimura variety and $Z\subset Sh_{K}(G,X)$ be a special subvariety. $Z$ is given by a Shimura sub-datum $(H,Y)$ with $H\subset G$ an algebraic subgroup which I call the ...
6
votes
0answers
122 views

Are automorphisms of abelian varieties detected by the formal group?

Let $A$ be an abelian variety of dimension $g$ over an algebraically closed field $k$. Assume $k$ has characteristic $p$ and denote by $A(p)$ the $p$-divisible group of dimension $g$ associated with ...
10
votes
0answers
327 views

Katz--Mazur for abelian varieties

Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties. Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac ...
6
votes
1answer
339 views

What is the motivation for defining the conductor of an abelian variety?

Let $K$ be a $p$-adic field, and let $A$ be an abelian variety over $K$. The conductor of the abelian variety is often defined as $2u+t+\delta$, where $u$, $t$ and $\delta$ are invariants related to ...
4
votes
0answers
99 views

Are torsion points in a semi-abelian variety over $\mathbb C_p$ bounded?

Let $A$ be a semi-abelian variety defined over (a subfield of) $\mathbb C_p$. Consider its $p$-adic topology with some (non-canonical) metric. Can we bound the distance of torsion points to $0$ with ...
5
votes
1answer
172 views

Picard number of principally polarized abelian varieties

Let $A$ be an abelian variety of dimension $n$. Over $\mathbb{C}$, at least, it is known that the Picard number (that is, the rank of the Neron-Severi group of $A$) is less than or equal to $n^2$, ...
4
votes
1answer
257 views

Fourier-Mukai transform for abelian varieties

Let $A$ be an abelian variety over $\mathbb{C}$, $L$ be a very ample line bundle on $A$, then the dual abelian variety is $\hat{A} \cong A/K(L)$ with $K(L)$ the kernel of surjective morphism $A \to ...
5
votes
2answers
159 views

can all CM types be realized by Jacobians?

The question is kind of self contained, but let me develop a bit further. Assume K is a CM field of degree $2g$, that is, a quadratic imaginary extension of a totally real field. A CM type of $K$ is ...
3
votes
2answers
298 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
275 views

Connected cycles of Shimura curves in $A_{g}$ not contained in larger Shimura subvarieties

Is there always a finite family of Shimura curves $(C_{i})$ in $A_{g}$ the moduli space of principally polarized abelian varieties of dimension $g(\geq 2)$, such that the union $\cup C_{i}$ is ...
1
vote
0answers
100 views

algebraicity of Néron-Tate canonical height for Abelian varieties over global function fields

(transcendence of canonical heights) Is the Néron-Tate canonical height for an Abelian variety $A$ over a global function field $K$, $\hat{h}: A(K) \times A^\vee(K) \to \mathbf{R}$ known to always ...
0
votes
1answer
304 views

Minimal polynomial of symmetric endomorphism on abelian variety

Let $(A,\Theta)$ be a principally polarized abelian variety over an algebraically closed field $k$, and let $f$ be a symmetric endomorphism of $A$ (that is, $f^\dagger=f$ where $\dagger$ denotes the ...