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
1answer
50 views

What exactly is the $O_X$-module and the corresponding sheaf of modules?

I am very puzzled by the definition in the Wiki page. I understand that over a subset $U$ we can assign a sheaf of abelian groups, e.g. some analytic functions over $U$. So we consider that these ...
2
votes
1answer
29 views

Embedding Complex Tori in Projective Space

When we talk about projectively embedding complex tori $\mathbb{C}^{g}/\Lambda$ (i.e in Lefshetz Embedding Theorem), what exactly do we mean by an embedding. Is it in the differential geometry sense ...
2
votes
0answers
13 views

The bilinearity of the Cassels-Tate pairing

Let $K$ be a number field and let $A$ be an abelian variety over $K$ (I'm mostly interested in the case that $A$ is an elliptic curve). We use $v$ to denote places of $K$ and we write $H^i(k, A)$ for ...
0
votes
0answers
17 views

Translating from (short) Weierstrass form to a Lattice. [duplicate]

I know that given an elliptic curve in the form $\mathbb{C}/L$ for L some lattice, $\mathbb{Z}+\mathbb{Z}\tau$, then we can use the Weierstrass $\wp$ functions to turn it into short Weierstrass form, ...
3
votes
0answers
40 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 ...
1
vote
0answers
42 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 ...
1
vote
1answer
31 views

Does adjoining a $p$-power divisor to an elliptic curve, where $p\neq 2$ is a prime, always result in a Galois group of order greater than $2$?

The question says it: Suppose I have a field $K$, whose characteristic is, for simplicity, zero, and an elliptic curve $E$ over $K$, and $x\in E(K)$. Suppose that $p$ is a prime different from $2$, ...
0
votes
0answers
48 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
2answers
51 views

Does anyone know of any good sources on the algebraic theory of abelian varieties?

I have a copy of Mumford's book, but as a final year undergraduate I am finding it to be a little too dense as a starting text. Something lighter would be appreciated to get an intuition before ...
1
vote
0answers
19 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 ...
12
votes
1answer
162 views

Elliptic curve over algebraically closed field of characteristic $0$ has a non-torsion point

Let $E/k$ be an elliptic curve over an algebraically closed field $k$ of characteristic $0$. Can one prove that the abelian group $E(k)$ is non-torsion? Better yet, can one prove that $E(k) ...
2
votes
0answers
42 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 ...
3
votes
0answers
67 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 ...
0
votes
1answer
27 views

Sum of abelian subvarieties

Let $A$ be an abelian variety over a field $K$. Let $B,C\subseteq A$ be abelian subvarieties. 1) When people write $B+C$, do they mean something like the smallest abelian subvariety containing both ...
3
votes
1answer
60 views

Why is $\mathcal{O}_F \otimes \mathbb{Z}_p$ a Dedekind ring?

In the paper Compactifications de l'espace de modules de Hilbert-Blumenthal (Compositio. '78), M. Rapoport relates some assertions from a letter of Deligne to Serre, dated 1972. At the very beginning, ...
2
votes
1answer
45 views

Ribbons of abelian varieties

Let $X$ be a scheme over $\mathbb C$, such that $A=X_{\textrm{red}}$ is an abelian variety. Suppose the tangent spaces to $X$ are all of dimension $\dim X+1$. Then $X$ is non-reduced everywhere, but I ...
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
33 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 ...
3
votes
0answers
60 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 ...
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 ...
1
vote
1answer
116 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
1answer
79 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 ...
0
votes
0answers
12 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 ...
2
votes
1answer
39 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 ...
1
vote
0answers
45 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 ...
3
votes
1answer
33 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
44 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, ...
1
vote
1answer
20 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
68 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
119 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$, ...
3
votes
1answer
70 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 ...
2
votes
0answers
33 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
0answers
95 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
2answers
77 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).$$ ...
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?
2
votes
0answers
53 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
48 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 ...
2
votes
0answers
231 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 ...
3
votes
1answer
123 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
101 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
1answer
47 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
44 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
48 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
102 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
89 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
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 ...
4
votes
1answer
95 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
21 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 ...