Abelian variety

Builds on Algebraic group Algebraic variety Proper morphism

Definition

Let $k$ be a field. An abelian variety over $k$ is an algebraic group $A$ over $k$ such that:

$A$ is a geometrically integral variety over $k$ ;
$A$ is complete, that is, the structure morphism $A \to \operatorname{Spec} k$ is proper.

Here the group structure is given by a multiplication morphism $m \colon A \times_k A \to A$ , an inverse morphism $i \colon A \to A$ and a unit point $e \in A(k)$ that satisfy the group axioms.

Remarks

Example: an elliptic curve $E$ over $k$ , with its chord-and-tangent group law and the point at infinity as unit, is an abelian variety of dimension $1$ . It is a smooth projective curve, so it is geometrically integral and complete, and the group law is given by morphisms.

Non-example: the multiplicative group $\mathbb{G}_m = \operatorname{Spec} k[t, t^{-1}]$ is a geometrically integral algebraic group, but it is not complete. It is an open subset of the projective line, and it is affine of positive dimension, so it is not proper over $k$ .

The following three facts follow from the definition and are not part of it. The group law of an abelian variety is commutative, so it is often written additively. Every abelian variety is projective. An abelian variety is smooth over $k$ , since it is a geometrically reduced group variety.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph

Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.

no evidence level

Tag	`37CPGVHTAR`
URI	`m2://37CPGVHTAR`
Kind	definition
Writing	W0 stub
MSC	14K05, 11G10
Defines	Abelian variety
Uses	Algebraic group, Algebraic variety, Proper morphism

Abelian variety

Definition

Remarks

Reading path

Further reading

What this page needs for W1

What links here