Algebraic groups blend algebra and geometry, giving us powerful tools to study symmetries and transformations. They're like mathematical Swiss Army knives, helping us understand everything from simple shapes to complex geometric structures.
In this part, we'll see how these groups work and how they act on varieties. We'll explore their structure, learn about important examples, and see how they're used to solve real-world problems in math and beyond.
Algebraic groups and properties
Definition and basic structure
Top images from around the web for Definition and basic structure
Use the Complex Number System – Intermediate Algebra View original
Is this image relevant?
1 of 3
An is a variety G equipped with morphisms for multiplication μ: G × G → G and inversion ι: G → G, satisfying the group axioms
The of an algebraic group is a distinguished point e in G
The group axioms (associativity, identity, inverses) hold in the category of varieties, meaning they are satisfied by the morphisms μ and ι
The multiplication map μ and the inversion map ι are required to be morphisms of varieties, ensuring compatibility between the group structure and the algebraic geometry of G
Examples of algebraic groups
The Gm is the variety A1∖{0} with multiplication (x,y)↦xy and inversion x↦x−1
The Ga is the variety A1 with addition (x,y)↦x+y and inversion x↦−x
The general linear group GLn is the variety of invertible n×n matrices with matrix multiplication and inversion
The special linear group SLn is the of GLn consisting of matrices with determinant 1
Elliptic curves and abelian varieties are examples of projective algebraic groups
Structure of algebraic groups
Subgroups and quotients
A subgroup H of an algebraic group G is a closed subvariety that is also a subgroup in the group-theoretic sense
The identity component G0 of an algebraic group G is the connected component containing the identity element e
The quotient G/H of an algebraic group G by a H has a natural structure of an algebraic group induced by the group operations on G
The quotient morphism π: G → G/H is a morphism of algebraic groups with kernel H
Lie algebras and the exponential map
The g of an algebraic group G is the tangent space at the identity TeG, equipped with a Lie bracket operation [⋅,⋅]:g×g→g
The exp: g → G is a local isomorphism from a neighborhood of 0 in g to a neighborhood of e in G, relating the Lie algebra to the algebraic group
The differential of the multiplication map μ at (e, e) induces the Lie bracket on g, making it compatible with the group structure
The Ad: G → GL(g) describes the action of G on its Lie algebra by conjugation
Classification of algebraic groups
An algebraic group is solvable if it has a composition series with solvable quotients (successive extensions by Ga or Gm)
An algebraic group is unipotent if it has a composition series with unipotent quotients (successive extensions by Ga)
An algebraic group is if it has no non-trivial solvable normal subgroups
The expresses an algebraic group as an extension of a semisimple group by a
The classification of semisimple algebraic groups is related to the classification of root systems and Dynkin diagrams
Group actions on varieties
Definition and orbits
An action of an algebraic group G on a variety X is a morphism α: G × X → X satisfying the usual axioms: α(e,x)=x and α(g,α(h,x))=α(gh,x)
The orbit of a point x in X under the G-action is the set G·x = {α(g,x) | g in G}, which is a locally closed subvariety of X
Orbits partition X into disjoint subvarieties, each isomorphic to a quotient of G by a stabilizer subgroup
The stabilizer subgroup Gx of a point x is the subgroup {g in G | α(g,x) = x}, which is a closed subgroup of G
Quotients and fibers
There is a bijective correspondence between orbits G·x and cosets of stabilizers G/Gx, given by gGx↦g⋅x
A G-action is transitive if it has only one orbit, meaning every point can be reached from any other point by the action of G
A G-action is free if all stabilizers are trivial, i.e., Gx={e} for all x in X
A G-action is faithful if the map G → Aut(X) given by g↦(x↦g⋅x) is injective
A geometric quotient of X by a G-action is a variety Y with a morphism π: X → Y constant on orbits, such that π induces a bijection between orbits and points of Y
Fibers of the quotient map π are the orbits of the G-action, and Y parameterizes the set of orbits
Algebraic groups for geometry
Symmetries and automorphisms
Algebraic groups can be used to study symmetries and automorphisms of algebraic varieties
The Aut(X) of a variety X is an algebraic group, often with a rich structure
Symmetries of X correspond to elements of Aut(X) or its subgroups, and can be used to simplify the study of X
The structure theory of algebraic groups helps classify certain types of varieties with large automorphism groups, e.g., toric varieties, spherical varieties, flag varieties
Homogeneous spaces and bundles
Group actions encode the geometry of homogeneous spaces, fiber bundles, and principal bundles in algebraic geometry
A is a variety X with a transitive action of an algebraic group G, e.g., projective spaces, Grassmannians, flag varieties
A over X is a variety E with a G-action and a G-invariant morphism π: E → X, such that π is locally trivial with fibers isomorphic to a fixed G-variety F
A is a G-equivariant bundle where the fibers are isomorphic to G acting on itself by multiplication
The quotient of E by the G-action is isomorphic to X, and E can be recovered from X and the cocycle defining the bundle
Representation theory and invariant theory
theory of algebraic groups provides tools for studying linear actions on vector spaces and sheaves
A representation of an algebraic group G is a morphism of algebraic groups ρ: G → GL(V) for some finite-dimensional vector space V
Representations can be used to construct G-equivariant sheaves and study their cohomology, which often has additional structure coming from the representation
describes polynomials and rational functions invariant under a , and their relations to quotients
The C[V]G of a G-representation V is the subring of G-invariant polynomials, which is finitely generated by the Hilbert Basis Theorem
The V//G is the variety Spec(C[V]G), which parameterizes closed orbits of the G-action on V
Applications over finite fields
Algebraic groups over finite fields are used in coding theory, cryptography, and other applications
The states that the fixed points of a Frobenius endomorphism on a connected algebraic group over a finite field form a finite subgroup
Finite subgroups of algebraic groups over finite fields are used to construct error-correcting codes, such as Goppa codes and algebraic-geometric codes
Cryptographic protocols based on the hardness of the discrete logarithm problem or the Diffie-Hellman problem can be formulated using algebraic groups over finite fields
Algebraic groups over finite fields also appear in the study of zeta functions, L-functions, and other arithmetic invariants of varieties