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

2
votes
0answers
25 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 ...
0
votes
0answers
21 views

Sketching varieties.

So I'm trying to learn by myself about Varieties using a book called Ideals, Varieties, and Algorithms - Springer, that someone recommended me and I just started yesterday, but I noticed that I'm the ...
1
vote
1answer
33 views

References about moduli space of abelian varieties with level structure

In the course of one of my research project, I have been advised to try to have a look to "Moduli Space of Abelian Varieties with Level Structure". I am interested in references where this topic is ...
0
votes
0answers
27 views

the zeros of theta function?

Recall that the theta function with character $(a,b)\in \mathbb{R}^2$ is defined by $$ \vartheta_{a,b}(z, \tau) :=\sum^\infty_{n=-\infty} e^{\pi i (n + a)^{2} \tau + 2 \pi i(n + a)(z + b)},\quad a,b ...
2
votes
1answer
27 views

What is the ideal sheaf of a translated subvariety of an abelian variety?

Let $A$ be an abelian variety (over an algebraically closed field $k$) and $X\subset A$ a nonsingular subvariety with ideal sheaf $\mathscr I_X\subset \mathscr O_A$. Let $\tau_a:A\to A$ be the ...
0
votes
0answers
11 views

A $(d_1,\ldots,d_l)$-polarization of an abelian variety

I want to understand a $(d_1,\ldots,d_l)$-polarization of an abelian variety $A$ concretely. What does it mean to have such a polarization when $A$ is an elliptic curve? What kind of divisor does it ...
1
vote
0answers
38 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 ...
2
votes
0answers
64 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 ...
3
votes
1answer
28 views

Find normal affine subgroup $N$ such that $G/N $ is an abelian variety ( $G=\mathbb{A}^1 \setminus 0 $)

I'm reading Shafarevich Basic Algebraic Geometry. I read Chevalley Theorem. It asserts that every algebraic group $G$ has a normal subgroup $N$ such that $N$ is affine and $G/N$ is an abelian variety. ...
1
vote
0answers
41 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, ...
3
votes
1answer
48 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 ...
1
vote
1answer
19 views

Linear system which gives $(m,n)$-polarization?

What is the dimension of $H^0(T,\mathcal{L})$, where $T$ is a complex torus of dimension $2$ and $\mathcal{L}$ is a line bundle which gives $T$ a $(m,n)$-polarization?
3
votes
1answer
54 views

Real Lie groups and elliptic curves

Let $f:A\to A'$ be a morphism of elliptic curves over the real numbers $\mathbb R$. It canonically induces a morphism $f(\mathbb R): A(\mathbb R)\to A'(\mathbb R)$ between the sets of real points, ...
4
votes
2answers
116 views

Can an elliptic curve have discrimant one?

Can the discriminant, $4a^3 +27b^2$ of an elliptic curve $$E: y^2=x^3+ax+b$$ be equal to 1. I believe that this should not be possible otherwise the curve would have good reduction at all primes $p$, ...
2
votes
0answers
23 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 ...
3
votes
2answers
63 views

Deforming line bundles on abelian varieties

Let $X$ ba an abelian variety over $\mathbb C$. I would like to understand how line bundles on $X$ deform. The obstructions to deform line bundles lie in $$\textrm{Ext}^2(L,L)=H^2(X,\mathscr O_X).$$ ...
0
votes
1answer
32 views

Is there a field k, not necessarily algebraically closed, for which variety V(y) in k^2 is reducible?

I am looking for a field $k$ such that the variety V in $k^2$ given by $V =\{(x,y)\in k^2|y=0\}$ is reducible. Thanks
9
votes
1answer
733 views

What is the Albanese map good for?

I am reading a textbook on complex manifolds and come across the Albanese map. For a compact Kähler manifold $X$, $$ T=H^0(X,\Omega_{X}^1)^*/H_1(M,\mathbb{Z}) $$ is a complex torus, called the ...
1
vote
0answers
49 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?
2
votes
0answers
49 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 \ | \ ...
0
votes
1answer
36 views

Why is the $\mu_n$ representation rational?

In their paper "On the irregularity of cyclic coverings of algebraic surfaces" by F. Catanese and C. Ciliberto, the authors consider the following situation. Let $A = V/\Lambda$ be a $g$-dimensional ...
1
vote
0answers
122 views

Theta divisor on the jacobian

I have a classic questions!!(I can't find in the literature) so forgive me if it is so easy! Given a curve $X$ of genus $g$, and let $\Theta$ be a theta divisor on the associated jacobian $J$. What ...
3
votes
1answer
77 views

How Appell-Humbert theorem works in the simplest case of an elliptic curve

Line bundles on complex tori $V/\Lambda$ could be described by a pair $(H, \chi)$, where $H$ is a hermitian form on $V$ s.t. $\operatorname{Im} H(\Lambda, \Lambda) \subset \mathbb{Z}$, and $\chi$ is a ...
2
votes
0answers
71 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 ...
4
votes
2answers
236 views

Prym variety associated to an étale cover of degree 2 of an hyperelliptic curve.

In view of this question, I have an additional question. The situation is as follows. Let $C$ be the hyperelliptic curve over $\mathbb{C}$, which is given on an affine by the equation $y^2 = x^5 +1 ...
2
votes
1answer
42 views

Sheaf on abelian variety preserved by tensor product with a translation invariant line bundle

If $A$ is an abelian variety, $\mathscr{F}$ is a coherent sheaf on $A$, and $\mathscr{F}\otimes \mathscr{L}\cong \mathscr{F}$ for all translation invariant line bundles $\mathscr{L}$, why is the ...
0
votes
0answers
39 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. ...
2
votes
0answers
38 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 ...
5
votes
1answer
91 views

Differential of a morphism of abelian varieties

I am reading the lecture notes of J.S. Milne on Abelian varieties and I got stuck at some point. Let $\alpha,\beta\colon X\rightarrow Y$ be homomorphisms of abelian varieties $X$ and $Y$. Then for ...
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 ...
7
votes
1answer
78 views

Isogenies of abelian varieties

Let $\pi:X\to Y$ be a finite morphism of smooth projective curves over an algebraically closed field (of characteristic zero if necessary) which are both of genus $>1$. We have two "natural" maps ...
0
votes
0answers
35 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 ...
0
votes
0answers
40 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 ...
4
votes
1answer
75 views

Examples of varieties with torsion in their integral Hodge structure

I am not so used to thinking about integral Hodge structures, so this question might be completely trivial. What are easy and interesting examples of smooth projective connected varieties $X$ with ...
1
vote
1answer
33 views

Is finiteness of rational points preserved by duality?

Sorry if this is obvious. I don't know much about Abelian varieties. Let $A/k$ be an abelian variety. Let's say $k$ has characteristic zero. Let $\widehat{A}$ be the dual abelian variety. Suppose ...
1
vote
0answers
18 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 ...
0
votes
1answer
31 views

Dual isogenies of complex tori in Birkenhake-Lange

Let $f: X\to Y$ be an isogeny of complex tori, of degree $n$. On page 13 of Complex Abelian Varieties, Birkenhake-Lange show that there is a dual isogeny $g: Y\to X$. Basically, they show ...
2
votes
0answers
39 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 ...
1
vote
1answer
50 views

Order of $A/2A$ for $A$ an Abelian variety

Let $A$ be an Abelian variety over $\mathbb R$ of dimension $g$. Then the size of $A(\mathbb R)/2A(\mathbb R)$ is $(\# A(\mathbb R)[2])/2^g$. I'm wondering how one might go about proving such a ...
3
votes
1answer
312 views

Picard group and jacobian of a singular curve

I found somewhere written that the jacobian of a reducible curve is the product of the jacobians, which seems quite reasonable to me. Where can I find some proof of it and a description of the Picard ...
3
votes
1answer
132 views

Subtori of a complex torus

I am beginning to read Birkenhake-Lange, Complex Abelian Varieties, where they define a complex torus as being a quotient $X=\mathbb{C}^g/\Lambda$, where $\Lambda$ is a lattice in $\mathbb{C}^g$. ...
1
vote
0answers
120 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 ...
4
votes
1answer
66 views

What is this cycle on the Jacobian of a curve?

Let $C$ be a curve and $J$ it's Jacobian. There is the standard Abel-Jacobi map $a:C\rightarrow J$ which is given by $Q\rightarrow Q-P$ for some fixed point $P$ (here I am regarding $J$ as the degree ...
5
votes
1answer
87 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 ...
1
vote
1answer
72 views

Abelian Varieties over C vs. Abelian Varieties over C_p

Suppose $A$ is a complex abelian variety. Then $A$ is a complex torus $\mathbb C^g/\Lambda$ where $\Lambda$ is a lattice. On the other hand abelian varieties over $\mathbb C_p$ can have good ...
1
vote
1answer
61 views

Group schemes appearing in the $p$-torsion of an abelian scheme

This question is motivated by this one. In that question, there is stated without reference the fact that for an abelian variety over a field of characteristic $p$ (which I assume means the base field ...
2
votes
1answer
110 views

calculate the group of all biholomorphic group automorphisms of complex tori

My backgrand 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 ...
4
votes
2answers
146 views

Tate module of product of abelian varieties

Is there a way to relate the Tate module $T_{l}(A \times B)$ of the product of two abelian varieties $A$ and $B$ over a field $k$ (where $l \neq \text{char}(k)$), to the Tate modules $T_{l}(A)$ and ...
2
votes
0answers
64 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 ...
3
votes
2answers
117 views

Pullback of a vector bundle on Abelian variety via $(-1)$

Let $A$ be an abelian variety over some field $k$ and $(-1) : A \to A$ is the inverse map of $A$ as an algebraic group. If $V$ is a vector bundle over $A$ what is $(-1)^* V$? In other words, is there ...