Complexity of action of reductive groups. (English. Russian original) Zbl 0601.14038

Funct. Anal. Appl. 20, 1-11 (1986); translation from Funkts. Anal. Prilozh. No. 1, 1-13 (1986).
Let \(T\) be a reductive algebraic group acting on an algebraic variety \(X\) and let \(B\) be a Borel subgroup of \(G\). The paper is devoted to the study of the connection between the complexity of actions of \(B\) on \(X\) and the modality of these actions (in the sense of singularity theory). If an algebraic group \(H\) operates on an algebraic variety \(X\), then the minimal codimension of \(H\)-orbits in \(X\) is equal to the transcendence degree of the field \(k(X)\beta H\) and is denoted by \(d(X,H)\). If \(B\) is a Borel subgroup of a reductive algebraic group \(G\) acting on an algebraic variety \(X\), then the complexity of the action of \(B\) on \(X\) equals \(d(X,B)\).
In the paper the following definition of the modality of an action is suggested: The modality of the action of an algebraic group \(H\) on an algebraic variety \(X\) is the maximum of \(d(X',H)\) on all subvarieties \(X'\subset X\). This number is denoted by \(\mathrm{mod}(X,H)\).
Theorem 1. If there is an open \(B\)-orbit in \(X\), then there are only finitely many \(B\)-orbits in \(X\). In particular, if \(d(X,B)=0\), then \(\mathrm{mod}(X,B)=0\).
Theorem 2. \(d(X,B)=\mathrm{mod}(X,B)\). The same is valid for any maximal unipotent subgroup of \(G\).


14L30 Group actions on varieties or schemes (quotients)
20G15 Linear algebraic groups over arbitrary fields
Full Text: DOI


[1] D. N. Akhiezer, ”On actions with finitely many orbits,” Funkts. Anal. Prilozhen.,19, No. 1, 1-5 (1985). · Zbl 0576.14045
[2] W. Bohro and H. Kraft, ”?ber Bahnen und deren Deformationen bei linearen Aktionen reduktiver Gruppen,” Commun. Math. Helvetici,54, No. 1, 61-104 (1979). · Zbl 0395.14013
[3] ?. B. Vinberg, ”On the closure of an orbit of a reductive linear group,” in: Algebra [in Russian], Moscow State Univ. (1980), pp. 31-36.
[4] ?. B. Vinberg and B. N. Kimel’fel’d, ”Homogeneous domains on flag varieties and spherical subgroups of semisimple Lie groups,” Funkts. Anal. Prilozhen.,12, No. 3, 12-19 (1978).
[5] ?. B. Vinberg and V. L. Popov, ”On one class of quasihomogeneous affine varieties,” Izv. Akad. Nauk SSSR, Ser. Mat.,36, No. 4, 749-763 (1972).
[6] V. Guillemin and S. Sternberg, ”Multiplicity-free spaces,” J. Diff. Geom.,19, No. 1, 31-56 (1984). · Zbl 0548.58017
[7] J. Dieudonne, J. Carrol, and D. Mumford, Geometrical Theory of Invariants [Russian translation], Mir, Moscow (1974).
[8] M. Kr?mer, ”Sph?rische Untergruppen in kompakten zusammenh?ngenden Liegruppen,” Comp. Math.,38, No. 2, 129-153 (1979). · Zbl 0402.22006
[9] D. Luna and Th. Vust, ”Plongements d’espaces homogenes,” Comm. Math. Helvetici,58, No. 2, 186-245 (1983). · Zbl 0545.14010
[10] I. V. Mikityuk, ”On integrability of invariant Hamiltonian systems with homogeneous configuration spaces,” Preprint, Inst. for Theoretical Physics, Acad. of Sciences, Ukr. SSR, Kiev (1985). · Zbl 0595.58024
[11] M. Rosenlicht, ”Some basic theorems on algebraic groups,” Am. J. Math.,78, No. 2, 401-443 (1956). · Zbl 0073.37601
[12] F. J. Servedio, ”Prehomogeneous vector spaces and varieties,” Trans. Am. Math. Soc.,176, 421-444 (1973). · Zbl 0266.20043
[13] H. Sumihiro, ”Equivariant completion,” J. Math. Kyoto Univ.,14, No. 1, 1-28 (1974). · Zbl 0277.14008
[14] Dzh. Khadzhiev, ”Some problems in the theory of vector invariants,” Mat. Sb.,72, No. 3, 420-435 (1967).
[15] J. Humphrey, Linear Algebraic Groups [Russian translation], Nauka, Moscow (1980).
[16] W. V. D. Hodge and D. Pedoe, Methods of Algebraic Geometry [Russian translation], Vol. 1, IL, Moscow (1954). · Zbl 0055.38705
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.