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

6
votes
0answers
156 views
+50

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 ...
6
votes
1answer
179 views

Do complex tori contain quasi-projective open subsets?

Complex tori are not associated to projective varieties in general. But can one find an open $U$ inside a complex torus $\mathbb C^g/L$ such that $U$ is the analytification of a quasi-projective ...
10
votes
2answers
432 views

On a proposition in Hartshorne's paper “Ample vector bundles on curves”

In Prop. 4.1, p. 87 of the article "Ample vector bundles on curves" (Nagoya Math. J. 43 [1971], 73--89), R. Hartshorne states the following: Let $A$ be an abelian variety [over an alg. closed field ...
2
votes
0answers
54 views

Abel-Prym map for Prym-Tyurin varieties

Let $(J,\Theta)$ be the Jacobian of a smooth projective curve $C$, and let $i:P\hookrightarrow J$ be an abelian subvariety of $J$ such that $i^*\Theta\equiv e\Xi$ for some principal polarization $\Xi$ ...
10
votes
2answers
445 views

Faltings height in short exact sequences

Let $K$ be a number field and $0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ a short exact sequence of abelian varieties over $K$. Let $h(A)$ denote the logarithmic Faltings height ...
1
vote
0answers
123 views

Marten's proof of torelli theorem

I am trying to read the proof of torelli theorem by Henrik H.Martens "A new proof of torelli's theorem" Annals of mathematics vol78 no. 1 .The proof seems to me like using mysterious combination of 3 ...
4
votes
0answers
109 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
27 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
72 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
79 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
86 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
99 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
155 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
179 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
138 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
135 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
148 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
179 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
149 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
142 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
488 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
186 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
67 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
375 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
201 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
166 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
125 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
83 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
70 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
229 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
125 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
335 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
373 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
94 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
293 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
41 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
414 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
234 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
60 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
232 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
127 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
135 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
179 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
151 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
56 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
121 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 ...