User:Maximilian Janisch/latexlist/Algebraic Groups/Algebraic group of transformations

This page is a copy of the article Algebraic group of transformations in order to test automatic LaTeXification. This article is not my work.

An algebraic group $$k$$ acting regularly on an algebraic variety $$V$$. More precisely, it is a triplet $( G , V , \tau )$ where $$\tau : G \times V \rightarrow V$$ ($\tau ( g , x ) = g x$) is a morphism of algebraic varieties satisfying the conditions: $e x = x$, $g ( h x ) = ( g h ) x$ for all $x \in V$ and $g , h \in G$ (where $E$ is the unit of $$k$$). If $G , V$ and $$\pi$$ are defined over a field $$k$$, then $( G , V , \tau )$ is called an algebraic group of $$k$$-transformations. For instance, $( G , G , \tau )$, where $$\pi$$ is the adjoint action or an action by shifts, is an algebraic group of transformations. If $$k$$ is an algebraic subgroup in $GL ( n )$ and $$\pi$$ is its natural action on the affine space $V = k ^ { n }$, then $( G , V , \tau )$ is an algebraic group of transformations. For each point $x \in V$ one denotes by $G ( x ) = \{ g x : g \in G \}$ the orbit of $$\pi$$, and by $$G _ { X } = \{ g \in G : g x = x \}$$ the stabilizer of $$\pi$$. The orbit $G ( x )$ need not necessarily be closed in $$V$$, but closed orbits exist always, e.g. orbits of minimal dimension are closed. An algebraic group of transformations is sometimes understood to mean a group $$k$$ which is acting rationally (but not necessarily regularly) on an algebraic variety $$V$$ (this means that $$\tau : G \times V \rightarrow V$$ is a rational mapping, and the above properties of $$\pi$$ are valid for ordinary points). It was shown by A. Weil [3] that there always exists a variety $$V ^ { 1 }$$, birationally isomorphic to $$V$$, and such that the action of $$k$$ on $$V ^ { 1 }$$ induced by the rational action of $$k$$ on $$V$$ is regular. The problem of describing the orbits, stabilizers, fields of invariant rational functions (cf. Invariants, theory of), and of constructing quotient varieties are fundamental in the theory of algebraic groups of transformations and have numerous applications.

References

[1]	A. Borel, "Linear algebraic groups" , Benjamin (1969) MR0251042 Zbl 0206.49801 Zbl 0186.33201
[2a]	J.A. Dieudonné, "Invariant theory: old and new" , Acad. Press (1971) MR0279102 Zbl 0258.14011
[2b]	D. Mumford, "Geometric invariant theory" , Springer (1965) MR0214602 Zbl 0147.39304
[2c]	D. Mumford, "Projective invariants of projective structures and applications" , Proc. Internat. Congress mathematicians (Stockholm, 1962) , Inst. Mittag-Leffler (1963) pp. 526–530 MR0175899 Zbl 0154.20702
[2d]	C.S. Seshadri, "Quotient spaces modulo reductive groupes and applications to moduli of vector bundles on algebraic curves" , Proc. Internat. Congress Mathematicians (Nice, 1970) , 1 , Gauthier-Villars (1971) pp. 479–482
[3]	A. Weil, "On algebraic groups and homogeneous spaces" Amer. J. Math. , 77 : 2 (1955) pp. 355–391 MR0074084 Zbl 0065.14202

Comments

The notion in question is also called an algebraic transformation space.