GIT quotient

In algebraic geometry, an affine GIT quotient, or affine geometric invariant theory quotient, of an affine scheme \operatorname {Spec} A with action by a group scheme G is the affine scheme \operatorname {Spec} (A^{G}), the prime spectrum of the ring of invariants of A, and is denoted by X/\!/G. A GIT quotient is a categorical quotient: any invariant morphism uniquely factors through it.

Taking Proj (of a graded ring) instead of \operatorname {Spec} , one obtains a projective GIT quotient (which is a quotient of the set of semistable points.)

A GIT quotient is a categorical quotient of the locus of semistable points; i.e., "the" quotient of the semistable locus. Since the categorical quotient is unique, if there is a geometric quotient, then the two notions coincide: for example, one has G/H=G/\!/H=\operatorname {Spec} k[G]^{H} for an algebraic group G over a field k and closed subgroup H.

If X is a complex smooth projective variety and if G is a reductive complex Lie group, then the GIT quotient of X by G is homeomorphic to the symplectic quotient of X by a maximal compact subgroup of G (Kempf–Ness theorem).

See also

References


This article is issued from Wikipedia - version of the Tuesday, December 15, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.