Algebraic group

Summary

In mathematics, an algebraic group is an algebraic variety endowed with a group structure that is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory.

Many groups of geometric transformations are algebraic groups; for example, orthogonal groups, general linear groups, projective groups, Euclidean groups, etc. Many matrix groups are also algebraic. Other algebraic groups occur naturally in algebraic geometry, such as elliptic curves and Jacobian varieties.

An important class of algebraic groups is given by the affine algebraic groups, those whose underlying algebraic variety is an affine variety; they are exactly the algebraic subgroups of the general linear group, and are therefore also called linear algebraic groups.[1] Another class is formed by the abelian varieties, which are the algebraic groups whose underlying variety is a projective variety. Chevalley's structure theorem states that every algebraic group can be constructed from groups in those two families.

Definitions

edit

Formally, an algebraic group over a field   is an algebraic variety   over  , together with a distinguished element   (the neutral element), and regular maps   (the multiplication operation) and   (the inversion operation) that satisfy the group axioms.[2]

Examples

edit
  • The additive group: the affine line   endowed with addition and opposite as group operations is an algebraic group. It is called the additive group (because its  -points are isomorphic as a group to the additive group of  ), and usually denoted by  .
  • The multiplicative group: Let   be the affine variety defined by the equation   in the affine plane  . The functions   and   are regular on  , and they satisfy the group axioms (with neutral element  ). The algebraic group   is called multiplicative group, because its  -points are isomorphic to the multiplicative group of the field   (an isomorphism is given by   ; note that the subset of invertible elements does not define an algebraic subvariety in  ).
  • The special linear group   is an algebraic group: it is given by the algebraic equation   in the affine space   (identified with the space of  -by-  matrices), multiplication of matrices is regular and the formula for the inverse in terms of the adjugate matrix shows that inversion is regular as well on matrices with determinant 1.
  • The general linear group   of invertible matrices over a field   is an algebraic group. It can be realised as a subvariety in   in much the same way as the multiplicative group in the previous example.[3]
  • A non-singular cubic curve in the projective plane   can be endowed with a geometrically defined group law that makes it into an algebraic group (see elliptic curve).
edit

An algebraic subgroup of an algebraic group   is a subvariety   of   that is also a subgroup of   (that is, the maps   and   defining the group structure map   and  , respectively, into  ).

A morphism between two algebraic groups   is a regular map   that is also a group homomorphism. Its kernel is an algebraic subgroup of  , its image is an algebraic subgroup of  .[4]

Quotients in the category of algebraic groups are more delicate to deal with. An algebraic subgroup is said to be normal if it is stable under every inner automorphism (which are regular maps). If   is a normal algebraic subgroup of   then there exists an algebraic group   and a surjective morphism   such that   is the kernel of  .[5] Note that if the field   is not algebraically closed, the morphism of groups   may not be surjective (the default of surjectivity is measured by Galois cohomology).

Lie algebra of an algebraic group

edit

Similarly to the Lie group–Lie algebra correspondence, to an algebraic group over a field   is associated a Lie algebra over  . As a vector space the Lie algebra is isomorphic to the tangent space at the identity element. The Lie bracket can be constructed from its interpretation as a space of derivations.[6]

Alternative definitions

edit

A more sophisticated definition of an algebraic group over a field   is that it is that of a group scheme over   (group schemes can more generally be defined over commutative rings).

Yet another definition of the concept is to say that an algebraic group over   is a group object in the category of algebraic varieties over  .

Affine algebraic groups

edit

An algebraic group is said to be affine if its underlying algebraic variety is an affine variety. Among the examples above the additive, multiplicative groups and the general and special linear groups are affine. Using the action of an affine algebraic group on its coordinate ring it can be shown that every affine algebraic group is a linear (or matrix group), meaning that it is isomorphic to an algebraic subgroup of the general linear group.

For example the additive group can be embedded in   by the morphism  .

There are many examples of such groups beyond those given previously:

Linear algebraic groups can be classified to a certain extent. Levi's theorem states that every such is (essentially) a semidirect product of a unipotent group (its unipotent radical) with a reductive group. In turn reductive groups are decomposed as (again essentially) a product of their center (an algebraic torus) with a semisimple group. The latter are classified over algebraically closed fields via their Lie algebra.[8] The classification over arbitrary fields is more involved but still well-understood.[9] If can be made very explicit in some cases, for example over the real or p-adic fields, and thereby over number fields via local-global principles.

Abelian varieties

edit

Abelian varieties are connected projective algebraic groups, for instance elliptic curves. They are always commutative. They arise naturally in various situations in algebraic geometry and number theory, for example as the Jacobian variety of a curve.

Structure theorem for general algebraic groups

edit

Not all algebraic groups are linear groups or abelian varieties, for instance some group schemes occurring naturally in arithmetic geometry are neither.[10] Chevalley's structure theorem asserts that every connected algebraic group is an extension of an abelian variety by a linear algebraic group. More precisely, if K is a perfect field, and G a connected algebraic group over K, there exists a unique normal closed subgroup H in G, such that H is a connected linear algebraic group and G/H an abelian variety.

Connectedness

edit

As an algebraic variety   carries a Zariski topology. It is not in general a group topology, i.e. the group operations may not be continuous for this topology (because Zariski topology on the product is not the product of Zariski topologies on the factors[11]).

An algebraic group is said to be connected if the underlying algebraic variety is connected for the Zariski topology. For an algebraic group this means that it is not the union of two proper algebraic subsets.[12]

Examples of groups that are not connected are given by the algebraic subgroup of  th roots of unity in the multiplicative group   (each point is a Zariski-closed subset so it is not connected for  ). This group is generally denoted by  . Another non-connected group are orthogonal group in even dimension (the determinant gives a surjective morphism to  ).

More generally every finite group is an algebraic group (it can be realised as a finite, hence Zariski-closed, subgroup of some   by Cayley's theorem). In addition it is both affine and projective. Thus, in particular for classification purposes, it is natural to restrict statements to connected algebraic group.

Algebraic groups over local fields and Lie groups

edit

If the field   is a local field (for instance the real or complex numbers, or a p-adic field) and   is a  -group then the group   is endowed with the analytic topology coming from any embedding into a projective space   as a quasi-projective variety. This is a group topology, and it makes   into a topological group. Such groups are important examples in the general theory of topological groups.

If   or   then this makes   into a Lie group. Not all Lie groups can be obtained via this procedure, for example the universal cover of SL2(R), or the quotient of the Heisenberg group by an infinite normal discrete subgroup.[13] An algebraic group over the real or complex numbers may have closed subgroups (in the analytic topology) that do not have the same connected component of the identity as any algebraic subgroup.

Coxeter groups and algebraic groups

edit

There are a number of analogous results between algebraic groups and Coxeter groups – for instance, the number of elements of the symmetric group is  , and the number of elements of the general linear group over a finite field is (up to some factor) the q-factorial  ; thus the symmetric group behaves as though it were a linear group over "the field with one element". This is formalized by the field with one element, which considers Coxeter groups to be simple algebraic groups over the field with one element.

See also

edit

References

edit
  1. ^ Borel 1991, p.54.
  2. ^ Borel 1991, p. 46.
  3. ^ Borel 1991, 1.6(2), p. 49.
  4. ^ Borel 1991, Corollary 1.4, p. 47.
  5. ^ Borel 1991, Theorem 6.8, p. 98.
  6. ^ Borel 1991, 3.5, p. 65.
  7. ^ Borel 1991, pp. 55-56.
  8. ^ Borel 1991, 24.1.
  9. ^ Borel 1991, 24.2.
  10. ^ Conrad, Brian (2002). "A modern proof of Chevalley's theorem on algebraic groups". J. Ramanujan Math. Soc. 17 (1): 1–18. Zbl 1007.14005.
  11. ^ Borel 1991, p. 16.
  12. ^ Borel 1991, p. 47.
  13. ^ "Non-linear Lie group". MathOverflow. Retrieved May 13, 2022.
  • Chevalley, Claude, ed. (1958), Séminaire C. Chevalley, 1956--1958. Classification des groupes de Lie algébriques, 2 vols, Paris: Secrétariat Mathématique, MR 0106966, Reprinted as volume 3 of Chevalley's collected works., archived from the original on 2014-11-04, retrieved 2012-06-25
  • Borel, Armand (1991). Linear algebraic groups. 2nd enlarged ed. Graduate Texts in Mathematics. Springer-Verlag. pp. x+288. Zbl 0726.20030.
  • Humphreys, James E. (1972), Linear Algebraic Groups, Graduate Texts in Mathematics, vol. 21, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90108-4, MR 0396773
  • Lang, Serge (1983), Abelian varieties, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90875-5
  • Milne, J. S. (2017), Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field, Cambridge University Press, doi:10.1017/9781316711736, ISBN 978-1107167483, MR 3729270
  • Milne, J. S., Affine Group Schemes; Lie Algebras; Lie Groups; Reductive Groups; Arithmetic Subgroups
  • Mumford, David (1970), Abelian varieties, Oxford University Press, ISBN 978-0-19-560528-0, OCLC 138290
  • Springer, Tonny A. (1998), Linear algebraic groups, Progress in Mathematics, vol. 9 (2nd ed.), Boston, MA: Birkhäuser Boston, ISBN 978-0-8176-4021-7, MR 1642713
  • Waterhouse, William C. (1979), Introduction to affine group schemes, Graduate Texts in Mathematics, vol. 66, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90421-4
  • Weil, André (1971), Courbes algébriques et variétés abéliennes, Paris: Hermann, OCLC 322901

Further reading

edit
  • Algebraic groups and their Lie algebras by Daniel Miller