In mathematics, particularly in algebraic geometry, complex analysis and number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. (Def: http://en.m.wikipedia.org/wiki/Abelian_variety)

learn more… | top users | synonyms

5
votes
1answer
89 views

Etale subgroup-scheme

Let $A$ and $B$ be two abelian varieties over a field $k$ and let $l$ be a prime number not dividing the caracteristic of $k$. Let $\phi : A \to B \in Hom(A,B)$ be such that $\phi$ is zero on $A_{l^n}(...
3
votes
1answer
77 views

Weil pairing, cyclotomic field in division field and determinant map for ell curve and abelian variety

Question 1: If $E/K$ is an elliptic curve defined over a number field $K$, then the Weil Pairing gives me that $K(\mu_n) \subseteq K(E[n](\bar{K}))$. If i identify $Gal(K(\mu_n)/K)$ with a subgroup ...
4
votes
0answers
51 views

Why is the index $i(\mathcal{L})$ of an ample line bundle on an abelian variety equal to $0$?

I've seen that here https://www.math.uchicago.edu/~ngo/Shimura.pdf there's a theorem called Mumford's Vanishing Theorem (Theorem 2.2.2) which says: Let $\mathcal{L}$ be a line bundle on $X$ (...
4
votes
0answers
105 views

Are there invariants of formal group laws other than height?

By a theorem of Lazard, 1-d formal group laws over separably closed fields of char $p$ are classified up to isomorphism by their height. Are there invariants of formal group laws other than height (...
4
votes
0answers
151 views

If $X\times C$ is isomorphic to $Y\times C$, does it follow that $X$ is isomorphic to $Y$

Let $k$ be a field. Let $X$, $Y$ and $C$ be varieties over $k$ such that $X\times_k C $ is isomorphic to $Y\times_k C$. Assume that $C$ is a curve. (The varieties $X$, $Y$ and $C$ are assumed to be ...
3
votes
0answers
35 views

Connected component of $0$: why is it an abelian variety?

With "Abelian variety" I mean a integral scheme $X$, proper over an algebraically closed field (complete variety) with a group law $m: X\times X \rightarrow X$ such that $m$ and the inverse map are ...
3
votes
0answers
70 views

Cohomology of structure sheaf of abelian variety

Let $X$ be an abelian variety over $\mathbb{C}$ of dimension $n$. Consider the structure sheaf $O_X$. It's Euler characteristic is zero, because $\chi(O_X)= (O_X^n)/n!$. And the self intersection of $...
3
votes
0answers
82 views

Does roots of L-polynomial of curve being roots of unity imply the curve is supersingular?

If $C$ is a supersingular curve over $\mathbb F_q$, then $\frac1{\sqrt q}$ of roots of $L$ function are roots of unity. What about converse? If $\frac{1}{\sqrt q}$ of roots of $L$ polynomial are ...
3
votes
0answers
62 views

Where does the terminology “fake/false elliptic curve” come from?

In describing, say, the moduli of Shimura curves, people often refer to "fake" or "false elliptic curves" ("les fausses courbes elliptiques"), which are abelian surfaces whose endomorphism ring is an ...
3
votes
0answers
116 views

Triviality of the tangent space of an abelian variety

The tangent bundle of an abelian variety $A/K$ is trivial. Mumford's proof of this fact goes something like this: given the (non-zero) value of a section in a fiber, one can determine the value in all ...
3
votes
0answers
78 views

Is there a construction known for associating a K3 surface to a curve or cover of curves

Let $X$ be a curve of genus at least two. Then one can associate an abelian variety to $X$; this is the Jacobian. Let $X\to Y$ be a double cover of curves. Then we can associate an abelian variety to ...
3
votes
0answers
38 views

Are there generalizations of Prym varieties to higher dimensions

Prym varieties are abelian varieties that are associated to a double cover of algebraic curves. Can we also associate an abelian variety to a double cover of algebraic surfaces in a reasonable way? ...
3
votes
0answers
136 views

Some complex torus is not an abelian variety

Let $e_1,...,e_4\in\mathbb{C}^2$ whose coordinates are all algebraically independent. Let $\Lambda$ be the lattice spanned by these vectors. Why is $\mathbb{C}^2/\Lambda$ not an abelian variety?
3
votes
0answers
134 views

Why is the trace map on an abelian variety continuous

Let $X$ be a (EDIT) variety with a group structure. For $a\in A$, let $t_a$ be the translation on $X$: $t_a(x) = a+x$. Why is the function $f:X\to \mathbf{C}$ given by $$f(a) = \sum_{i} (-1)^i \...
2
votes
0answers
33 views

Dimension of an abelian subvariety in the proof of the Poincaré's Reducibility Theorem

I am trying to understand the proof of the Poincaré's Reducibility Theorem, that I'm reading from the book "Abelian varieties" of J.S. Milne (see Proposition 10.1) and from the book "Abelian varieties"...
2
votes
0answers
45 views

Asking for some exercises to help me understanding abelian varieties better?

I want to study Mumford's Abelian Varieties in the coming winter break. I tried to study it before, but I didn't find my self really understanding(or memorizing) too much. I guess a better and more ...
2
votes
0answers
33 views

Abelian hypersurfaces

Is there any way to tell from its defining equation when an affine hypersurface has a group law? I am aware that all such groups are matrix groups; in that case I might want to ask when a variety over ...
2
votes
0answers
34 views

Equation of the curve corresponding to a principal polarization

Let $\mathbb{C}^2/\Lambda$ be a principally polarized abelian surface. I think it is well-known how to write down the equation of the divisor (Riemann surface) corresponding to the polarization, in ...
2
votes
0answers
54 views

zeta function of abelian varieties and the exterior algebra

Let $X$ be a smooth projective variety over a finite field $k$. By Grothendieck, the zeta function of $X$ admits the cohomological expression $$ Z(X, t)=\prod_{j=0}^{2\dim X} \det (1-F t \ | \ H^j(X_{...
2
votes
0answers
272 views

Theta divisor on the jacobian

Given a curve $X$ of genus $g$, and let $\Theta$ be a theta divisor on the associated jacobian $J$. What is the degree of $\Theta$? and does $H^i(J,\Theta)=0$ for $i>0$? is two theta divisor are ...
2
votes
0answers
106 views

Miranda's Exercise on the Jacobian of a complex torus

I have to prove that the Jacobian of a complex torus $X=\mathbb{C}/L$ is isomorphic to $X$ by explicity showing that the subgroups of periods $\Lambda \subset \mathbb{C}$ is a lattice which is ...
2
votes
0answers
53 views

Decomposition of abelian varieties up to isogeny

Let $A_1,A_2,B_1,B_2$ be simple abelian varieties over a number field $k$. Suppose that $A_1\times A_2$ is $k$-isogenous to $B_1\times B_2$. Can we deduce that (up to reordering the factors) $A_1$ is $...
2
votes
0answers
47 views

The characteristic polynomial of Frobenius of an RM curve

Let $C$ be a genus two curve over $\mathbb{Q}$. We can reduce $C$ modulo a prime $p$ to obtain a curve $\bar{C}$ over $\mathbb{F}_p$. By counting points of $\bar{C}$ over $\mathbb{F}_p$ and $\mathbb{F}...
2
votes
0answers
76 views

Trivial divisor on elliptic curve

Suppose $E$ is an elliptic curve over $k$, and $(E,+)$ is an abelian group(suppose we fix some closed point as identity). Let $[p]$ denote the Weil divisor corresponding to the closed point $p \in E$....
2
votes
0answers
54 views

Specifying the real multiplication on a curve

Suppose we have a curve $C$ of genus two over an algebraically closed field of characteristic zero with a given Weierstrass point $p_0$, furthermore we assume this curve to have real multiplication by ...
2
votes
0answers
54 views

Theta group representation

Let $(X,L)$ be a polarized abelian variety over $k=\overline{k}$, and let $K(L)$ be the kernel of the isogeny $X\to X^\vee$ that sends $x$ to $t_x^*L\otimes L^{-1}$. The theta group $\mathscr{G}(L)$ ...
2
votes
0answers
131 views

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

This may be a somewhat silly question, but there it goes. Let $k$ be an algebraically closed field of characteristic $p>0$ and let $A=A_{/k}$ be an ordinary abelian variety of dimension $g\geq1$. ...
1
vote
0answers
37 views

elliptic k3 surface and Shioda Inose structure

We know that suppose given two elliptic curves $E$ and $E'$, there is a Kummer surface $km(E,E')$. And I'm curious suppose we know a $K3$ surface is kummer, how do we recover the pair $(E,E')$? For ...
1
vote
0answers
85 views

Global sections and divisors

I'm trying to understand the proof of the Theorem at page 163 from Mumford, Abelian Varieties, and I have a question about one step. This is the situation: $X$ is an abelian variety (hence there's ...
1
vote
0answers
52 views

Why is $Supp D=Supp(\pi^*(\pi(Supp D)))$?

I'm trying to understand the proof of the theorem at page 163 of Mumford, Abelian Varieties. At some point we have the following situation: $X$ is an abelian variety, $D$ is an effective Weil divisor ...
1
vote
0answers
45 views

Certain map of modules is iso [Mumford Abelian Varieties]

I have trouble showing the following in the proof of Prop. 2 in Abelian Varieties (pg.70 my edition, Chapter about quotients by finite groups): Suppose you have a Noetherian ring $B=A^G$ as ...
1
vote
0answers
32 views

How can I “groupify” an elliptic curve over a non-field?

The book Primes of the form $x^2+ny^2$ by David A. Cox contains the following definitions regarding an elliptic curve (by which he means an equation $y^2=4x^3-g_2x-g_3$ such that $\Delta=g_2^3-27g_3^2$...
1
vote
0answers
50 views

A Complex Torus is generally simple!

Lets parametrize the set of lattices inside $\mathbb C^g$ with the open dense subset $U= GL_{2g}(\mathbb R)$ of $\mathbb R^{4g^2}$. Show that there exists a coutable family $(Z_n)_{n \in \mathbb ...
1
vote
0answers
22 views

The induced map $\phi: \mathbb{C}^n \to \mathbb{C}^m$ in the construction of toric varieties

Let $\Sigma(1)$ denote the set of one dimensional cones in a fan $\Sigma$. The corresponding vectors in the lattice are denoted $(v_1, \ldots, v_n)$ and to each $v_i$ we associate a homogeneous ...
1
vote
0answers
48 views

Period matrix of abelian surface

Let's construct a complex torus as $(\mathbb{C}^\times)^2/\mathbb{Z}^2$, where the $\mathbb{Z}^2$-action is generated by $$ (z_1,z_2)\mapsto(az_1,bz_2), \ \ \ (z_1,z_2)\mapsto(cz_1,dz_2). $$ My ...
1
vote
0answers
45 views

Existence of Shafarevich maps(theorem 3.6) on Kollar 's book

I have some problem when reading Theorem 3.6 of Kollar's book Shafarevich Maps and Automorphic Forms, page 41 (Corollary 3.5 of this article ), which states that Let $X$ be a normal variety, $H\...
1
vote
0answers
53 views

How to see whether a tori is an abelian variety or not?

Given an explicit lattice $\Lambda \cong \mathbb{Z}^{2n}$ in $\mathbb{C}^n$, how can one check whether the complex torus $\mathbb{C}^n/\Lambda$ is a projective or not?
1
vote
0answers
30 views

$X\to \textrm{End}(O_{X,e}/m_{X,e}^r)$ is a morphism

Suppose $X^n$ is a complete group variety over algebaically closed field $k$, then the group law can be shown to be commutative. In proving this, one step is to show $X\to \textrm{End}(O_{X,e}/m_{X,e}^...
1
vote
0answers
22 views

is it possible to express the moduli of ppav's using torelli loci?

This is a probably vague question from an outsider: It is well known that it is possible to embed "the" moduli space of curves $M_g$ with fixed genus g into the moduli space of principally polarized ...
1
vote
0answers
132 views

Deformation polarized abelian variety

In "$C$ is not algebraically equivalent to $C^{-}$ in its Jacobian" by Ceresa and then in "On the periods of certain rational integrals, II" by Griffiths (which is quoted as a reference in the first ...
0
votes
0answers
40 views

Is any abelian subvariety of an abelian variety closed?

I am wondering because Milne here in Proposition 10.1, page 42, takes any abelian subvariety $B$ of an abelian variety $A$, with $0\neq B\neq A$, then he takes an ample line bundle $\mathcal{L}$ on $A$...
0
votes
0answers
26 views

Lifting morphisms of $p$-divisible groups using Grothendieck Messing theory

During my reading of Peter Scholze and Jared Weinstein's paper ``Moduli of $p$-divisible groups'' I found this assertion in the proof of Proposition 6.1.3. Consider the following situation. Let $k$ be ...
0
votes
0answers
42 views

Degree of étale morphism $\pi:X\rightarrow X/F$

Let $X$ be an abelian variety and let $F\subset X$ be a finite group. Then we get an étale morphism $\pi:X\rightarrow X/F$ (see construction of $X/F$ and $\pi$ in Mumford, Abelian varieties from page ...
0
votes
0answers
33 views

Why is it true that $Supp (T^*_xD)=SuppD-x$?

Let $X$ be an abelian variety, let $T_x: X\rightarrow X$, $z\mapsto z+x$ be the translation morphism, let $D=\sum n_iY_i$ be a Weil divisor. As I said here: Pullback of a Weil divisor? I am trying to ...
0
votes
0answers
62 views

Pullback of a Weil divisor?

How to define the pullback of a Weil divisor $D=\sum n_iY_i$? I'm particulary interested in $T^*_xD$ where $x\in X$, $X$ is an abelian variety and $T_x: X\rightarrow X$, $z\mapsto z+x$ is the ...
0
votes
0answers
57 views

Pushforward of structure sheaf by multiplication map

Let $A$ be an abelian variety (over $\mathbf C$ for simplicity), of dimension $d$. For any integer $n$, denote by $f_n: A \rightarrow A$ the multiplication-by-$n$ map. This is an etale map of ...
0
votes
0answers
20 views

Explicit models for abelian surfaces

Is there a nice descriprion of birational models for abelian surfaces of given polarization degree?
0
votes
0answers
34 views

A curve and its translate are linearly equivalent in a complex torus?

Let $X=\frac{V}{\Lambda}$ be a complex torus of dimension $2$. Suppose $C$ is a curve in $X$. Consider $C+a=C_1$, the curve which is a translate of $C$ by $a\in X$. Are $C$ and $C_1$ linearly ...
0
votes
0answers
45 views

What are some elementary books which discuss projective lines on surfaces with examples?

I have the books: W. H. Blythe, On models of cubic surfaces (1905) and A. Henderson, The twenty-seven lines upon the cubic surface, and a couple more modern algebraic geometry books including I. R. ...
0
votes
0answers
41 views

What is $H_1(A_\mathbb{C}^{top},\mathbb{Q})$

Let $A$ be an abelian variety defined over a number field. I have seen in a few papers the singular homology $H_1(A_\mathbb{C}^{top},\mathbb{Q})$ being used. I read up on the singular homology but it ...