Abelian varieties are higher dimensional analogues of elliptic curves (which are included) – they are varieties equipped with a structure of an abelian group, hence abelian group schemes, whose multiplication and inverse are regular maps.
In his book Abelian Varieties, David Mumford defines an abelian variety over an algebraically closed field to be a complete algebraic group over . Remarkably, any such thing is an abelian algebraic group. The assumption of connectedness is necessary for that conclusion.
David Mumford gives at two proofs that every complete algebraic group over an algebraically closed field is automatically abelian. One of them uses a ‘rigidity lemma’ which has an interesting category-theoretic interpretation. We outline this here:
In simple terms, the rigidity lemma says that under certain circumstances “a 2-variable function that is independent of for one value of is independent of for all values of .”
More precisely, in a category with products, say a morphism is constant if it factors through the unique morphism . Say a morphism is independent of if it factors through the projection .
Say a point of is a morphism . Say a morphism is independent of at some point of if is constant.
Definition. A category with finite products obeys the rigidity lemma if any morphism that is independent of at some point of is in fact independent of .
Theorem 1. The category of complete algebraic varieties over an algebraically complete field has finite products and obeys the rigidity lemma.
The hard part, the rigidity lemma, is proved for complete algebraic varieties on page 43 of Mumford’s Abelian Varieties. Mumford mentions in a footnote that complete algebraic varieties are automatically irreducible, and he later seems to assume without much explanation that they are connected: these points could use some clarification, at least for amateurs.
Theorem 2. Suppose are group objects in a category with finite products obeying the rigidity lemma. Suppose is any morphism in preserving the identity. Then is a homomorphism.
The idea is this: suppose is a concrete category and look at the function given by
Assume . Then for all , so by the rigidity lemma is independent of and we can write . Furthermore for all so is independent of . This means that is independent of , but so for all . This says that , so preserves multiplication. This in turn implies that preserves inverses, so is a group homomorphism.
In fact a version of this argument works in any category with finite products obeying the rigidity lemma. The expression compiles to a particular morphism . The fact that preserves the identity implies that both composites and are constant at the identity . (This is a straightforward calculation in the internal logic of a category with products, or alternatively a slightly tedious diagram chase.)
In particular, is independent of the first in its domain at the point of the second in its domain. So by the rigidity lemma, there exists a morphism such that the composite is equal to . Now precompose both of these with : the first gives and the second gives . Thus, is constant at the identity of , and hence so is . This implies preserves multiplication, and thus also inverses (again, by a calculation in internal logic or a diagram chase).
Corollary 1. If is a category with finite products obeying the rigidity lemma, any group object in is abelian.
If is a group object in , the inverse map preserves the identity, so by the above theorem it is a group homomorphism. This in turn implies that is abelian.
Corollary 2. Let be the category of pointed complete varieties over an algebraically closed field , and let be the category of abelian varieties over . Then the forgetful functor is full.
This follows immediately from the two theorems above.
A consequence of Corollary 2 is that if is the left adjoint to , sending any connected pointed projective variety to its Albanese variety, the monad is an idempotent monad. For more on this see Albanese variety.
C. Bartocci, Ugo Bruzzo, D. Hernandez Ruiperez, Fourier-Mukai and Nahm transforms in geometry and mathematical physics, Progress in Mathematics 276, Birkhauser 2009.
M. Demazure, P. Gabriel, Groupes algebriques, tome 1 (later volumes never appeared), Mason and Cie, Paris 1970 – has functor of points point of view; for review see Bull. London Math. Soc. (1980) 12 (6): 476-478, doi
Daniel Huybrechts, Fourier-Mukai transforms in algebraic geometry, Oxford Mathematical Monographs. 2006. 307 pages.
J. S. Milne, Abelian varieties, course notes, pdf
David Mumford, Abelian varieties, Oxford Univ. Press 1970.
Alexander Polishchuk, Abelian varieties, theta functions and the Fourier transform, Cambridge Univ. Press 2003.
Goro Shimura, Abelian varieties with complex multiplication and modular functions, Princeton Univ. Press 1997.
André Weil, Courbes algébriques et variétés abéliennes, Paris: Hermann 1971
For a discussion of how the rigidity lemma gives ‘automatic abelianness’ see: