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

4
votes
0answers
95 views

On the cohomology ring of the Hilbert scheme of points on k3 or abelian surfaces

There are many results on the cohomology of the Hilbert scheme of points of a surface. Gottsche calcaluted the Betti numbers and Nakajima got the generators of the cohomology. Also there are results ...
0
votes
0answers
25 views

singular locus of $\mathcal{A}_3(2)^{hyp}$

The geometry of the Satake compactification of $\mathcal{A}_2(2)$ is very well known. It is the singular quartic 3-fold in $P^4$ known as $Igusa\ quartic$. I am looking for references (or ...
2
votes
1answer
61 views

Endomorphism Ring of Simple Abelian Varieties

I know that if $A$ is a simple abelian variety over a number field $k$ with all endomorphisms defined over $K$ then $\mbox{End}(A_K)\otimes \mathbb{Q}$ is a division algebra with a positive ...
1
vote
1answer
77 views

What is Rosati Form

I was reading a paper and they mentioned the Rosati form. Particularly, what they said was: Let $A$ be an abelian surface defined over $k$ such that $ST_A^0$ (the connected component of the Sato-Tate ...
0
votes
1answer
84 views

Action of $(\mathbb{Z}/2g\mathbb{Z})$ on quadratic forms on $\mathbb{Z}/2\mathbb{Z}$-vector space

Let $\mathbb{Z}/2\mathbb{Z}$ the 2 elements field, with additive notation. I need some clarifications on the relation between quadratic forms on a $\mathbb{Z}/2\mathbb{Z}$-vector space (say, of ...
1
vote
0answers
51 views

symmetric theta structures and arithmetic subgroups

A symmetric theta structure is a theta structure that commutes with (a lift of) the natural involution $\imath: A \to A$ an an abelian variety. For simplicity I will assume that $A$ is a surface. ...
2
votes
1answer
97 views

Degree of a smooth curve in an abelian variety

Let $A$ be an abelian variety, $g$ be a positive integer and $\mathcal{L}$ be an ample line bundle on $A$. Question : Is there a real $r>0$ such that, for all smooth curve $C$ of genus $g$ in ...
3
votes
0answers
153 views

Uniruled degenerations of abelian varieties

Suppose I have a smooth projective variety $X$ over $\mathbb{C}$ with $K_X$ semiample, and consider the fiber space $f:X\to Y$ given by $|\ell K_X|$, for some $\ell>0$ large, where $Y$ is a normal ...
-1
votes
2answers
177 views

Interpretation of $H_1(A_\mathbb{C}^{top},\mathbb{Q})$

In the paper "Sato-Tate Distributions and Galois Endomorphism Modules in Genus 2" (arxiv: http://arxiv.org/abs/1110.6638), the authors use the singular homology $H_1(A_\mathbb{C}^{top},\mathbb{Q})$ ...
4
votes
0answers
135 views

Is a semiabelian algebraic space a scheme?

Let $S$ be a scheme and let $A$ be a commutative separated smooth $S$-group algebraic space of finite presentation each of whose geometric fibers is an extension of an abelian variety by a torus. Is ...
1
vote
1answer
132 views

Divisors on an abelian surface

Let $A$ be an abelian surface given by the quotient of a product of two generic elliptic curves $E_1 \times E_2$ by the product $T_1 \times T_2$ of two translations by $2$-torsion points. Then $A$ ...
2
votes
0answers
147 views

Is there an excplicit number field of definition for an Abelian Variety $A/\mathbb{C}$ with CM?

Consider a simple abelian variety $A/\mathbb{C}$ with sufficiently many CMs by $\mathcal{O}$, where $\mathcal{O}$ is an order in a CM field $K$. Specifically, $K$ is a CM field of degree $2g$, where ...
0
votes
1answer
177 views

About Weil's proof of “Weil conjectures for curves and abelian varieties”

I know that the Weil's proof of the Weil conjectures for curves and abelian varieties is made under the lenguage of his "Foundation of algebraic geometry", however in "Polarizations and Grothendieck's ...
4
votes
1answer
148 views

Reference or proof for the fact that $J(X_0(N))$ splits into abelian varieties with real multiplication

It´s known that $J_0(N) = J(X_0(N))= \bigoplus_f E(f)$ splits as a sum of abelian varieties parametrized by the Hecke eingenfunctions and that it´s an elliptic curve iff the Hecke eingenvalue is an ...
1
vote
1answer
138 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 ...
14
votes
2answers
473 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 ...
2
votes
2answers
175 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
61 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
96 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
72 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
368 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
198 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
160 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
123 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
80 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$ ...
2
votes
1answer
66 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
226 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
124 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
330 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
352 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
93 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
280 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
38 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
406 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
229 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
189 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
56 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
227 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
125 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
130 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
178 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
149 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
54 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
120 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
80 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
120 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
139 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
136 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
624 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
165 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 ...