Geometric Invariant Theory

Geometric invariant theory (GIT) is the geometric study of quotients of algebraic varieties by group actions. Developed by David Mumford in the 1960s, it provides criteria for constructing well-behaved quotient spaces — called moduli spaces — that parametrize families of geometric objects such as curves, surfaces, or vector bundles. The central insight is that not all orbits of a group action are equally suitable for quotienting: GIT identifies the stable and semistable orbits that produce geometrically meaningful quotients, discarding the unstable orbits as pathological. The method is now essential in algebraic geometry, string theory, and the classification of dynamical systems.

The theory resolves a fundamental tension: the set-theoretic quotient of a variety by a group action is often not itself an algebraic variety. GIT replaces it with a categorical quotient that respects the algebraic structure. The same techniques appear in the physical construction of moduli spaces of vacua in supersymmetric gauge theories.

The choice of which orbits to keep and which to discard is not merely technical. It is an editorial decision about what counts as a genuine geometric object — and it reveals that classification in mathematics is never neutral.