Namespaces
Variants
Actions

Difference between revisions of "Parabolic subgroup"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex,mr,zbl,msc)
Line 1: Line 1:
A parabolic subgroup of a linear algebraic group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p0712701.png" /> defined over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p0712702.png" /> is a subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p0712703.png" />, closed in the [[Zariski topology|Zariski topology]], for which the quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p0712704.png" /> is a projective algebraic variety. A subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p0712705.png" /> is a parabolic subgroup if and only if it contains some [[Borel subgroup|Borel subgroup]] of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p0712706.png" />. A parabolic subgroup of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p0712708.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p0712709.png" />-rational points of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127010.png" /> is a subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127011.png" /> that is the group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127012.png" />-rational points of some parabolic subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127013.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127014.png" /> and which is dense in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127015.png" /> in the Zariski topology. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127017.png" /> is the Lie algebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127018.png" />, then a closed subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127019.png" /> is a parabolic subgroup if and only if its Lie algebra is a [[Parabolic subalgebra|parabolic subalgebra]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127020.png" />.
+
{{MSC|14L|20G}}
 +
{{TEX|done}}
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127021.png" /> be a connected reductive linear algebraic group, defined over the (arbitrary) ground field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127022.png" />. A <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127023.png" />-subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127024.png" /> is a closed subgroup which is defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127025.png" />. Minimal parabolic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127026.png" />-subgroups play in the theory over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127027.png" /> the same role as Borel subgroups play for an algebraically closed field (see ). In particular, two arbitrary minimal parabolic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127028.png" />-subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127029.png" /> are conjugate over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127030.png" />. If two parabolic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127031.png" />-subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127032.png" /> are conjugate over some extension of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127033.png" />, then they are conjugate over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127034.png" />. The set of conjugacy classes of parabolic subgroups (respectively, the set of conjugacy classes of parabolic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127035.png" />-subgroups) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127036.png" /> has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127037.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127038.png" />) elements, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127039.png" /> is the rank of the commutator subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127040.png" /> of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127041.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127042.png" /> is its <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127043.png" />-rank, i.e. the dimension of a maximal torus in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127044.png" /> that splits over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127045.png" />. More precisely, each such class is defined by a subset of the set of simple roots (respectively, simple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127046.png" />-roots) of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127047.png" /> in an analogous way to that in which each parabolic subalgebra of a reductive Lie algebra is conjugate to one of the standard subalgebras (see , ).
+
A parabolic subgroup of a linear algebraic group $G$ defined over a field $k$ is a subgroup $P\subset G$, closed in the
 +
[[Zariski topology|Zariski topology]], for which the quotient space $G/P$ is a projective algebraic variety. A subgroup $P\subset G$ is a parabolic subgroup if and only if it contains some
 +
[[Borel subgroup|Borel subgroup]] of the group $G$. A parabolic subgroup of the group $G_k$ of $k$-rational points of the group $G$ is a subgroup $P_k\subset G_k$ that is the group of $k$-rational points of some parabolic subgroup $P$ in $G$ and which is dense in $P$ in the Zariski topology. If $\textrm{char}\; k = 0$ and $\def\fg{\mathfrak{g}}$ is the Lie algebra of $G$, then a closed subgroup $P\subset G$ is a parabolic subgroup if and only if its Lie algebra is a
 +
[[Parabolic subalgebra|parabolic subalgebra]] of $\fg$.
  
Each parabolic subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127048.png" /> of a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127049.png" /> is connected, coincides with its normalizer and admits a Levi decomposition, i.e. it can be represented in the form of the semi-direct product of its unipotent radical and a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127050.png" />-closed reductive subgroup, called a Levi subgroup of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127051.png" />. Any two Levi subgroups in a parabolic subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127052.png" /> are conjugate by means of an element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127053.png" /> that is rational over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127054.png" />. Two parabolic subgroups of a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127055.png" /> are called opposite if their intersection is a Levi subgroup of each of them. A closed subgroup of a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127056.png" /> is a parabolic subgroup if and only if it coincides with the normalizer of its unipotent radical. Each maximal closed subgroup of a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127057.png" /> is either a parabolic subgroup or has a reductive connected component of the unit (see , ).
+
Let $G$ be a connected reductive linear algebraic group, defined over the (arbitrary) ground field $k$. A $k$-subgroup of $G$ is a closed subgroup which is defined over $k$. Minimal parabolic $k$-subgroups play in the theory over $k$ the same role as Borel subgroups play for an algebraically closed field (see ). In particular, two arbitrary minimal parabolic $k$-subgroups of $G$ are conjugate over $k$. If two parabolic $k$-subgroups of $G$ are conjugate over some extension of the field $k$, then they are conjugate over $k$. The set of conjugacy classes of parabolic subgroups (respectively, the set of conjugacy classes of parabolic $k$-subgroups) of $G$ has $2^r$ (respectively, $2^{r_k}$) elements, where $r$ is the rank of the commutator subgroup $[G,G]$ of the group $G$, and $r_k$ is its $k$-rank, i.e. the dimension of a maximal torus in $[G,G]$ that splits over $k$. More precisely, each such class is defined by a subset of the set of simple roots (respectively, simple $k$-roots) of the group $G$ in an analogous way to that in which each parabolic subalgebra of a reductive Lie algebra is conjugate to one of the standard subalgebras (see , ).
  
The parabolic subgroups of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127058.png" /> of non-singular linear transformations of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127059.png" />-dimensional vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127060.png" /> over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127061.png" /> are precisely the subgroups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127062.png" /> consisting of all automorphisms of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127063.png" /> which preserve a fixed flag of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127064.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127065.png" />. The quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127066.png" /> is the variety of all flags of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127067.png" /> in the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127068.png" />.
+
Each parabolic subgroup $P$ of a group $G$ is connected, coincides with its normalizer and admits a Levi decomposition, i.e. it can be represented in the form of the semi-direct product of its unipotent radical and a $k$-closed reductive subgroup, called a Levi subgroup of the group $P$. Any two Levi subgroups in a parabolic subgroup $P$ are conjugate by means of an element of $P$ that is rational over $k$. Two parabolic subgroups of a group $G$ are called opposite if their intersection is a Levi subgroup of each of them. A closed subgroup of a group $G$ is a parabolic subgroup if and only if it coincides with the normalizer of its unipotent radical. Each maximal closed subgroup of a group $G$ is either a parabolic subgroup or has a reductive connected component of the unit (see , ).
  
In the case where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127069.png" />, the parabolic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127070.png" />-subgroups admit the following geometric interpretation (see ). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127071.png" /> be a non-compact real semi-simple Lie group defined by the group of real points of a semi-simple algebraic group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127072.png" /> which is defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127073.png" />. A subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127074.png" /> is a parabolic subgroup if and only if it coincides with the group of motions of the corresponding non-compact symmetric space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127075.png" /> preserving some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127076.png" />-pencil of geodesic rays of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127077.png" /> (two geodesic rays of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127078.png" /> are said to belong to the same <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127079.png" />-pencil if the distance between two points, moving with the same fixed velocity along their rays to infinity, has a finite limit).
+
The parabolic subgroups of the group $\def\GL{\textrm{GL}}\GL_n(k)$ of non-singular linear transformations of an $V$-dimensional vector space $k$ over a field $k$ are precisely the subgroups $P(\nu)$ consisting of all automorphisms of the space $V$ which preserve a fixed flag of type $\nu=(n_1,\dots,nt)$ of $V$. The quotient space $\GL_n(k)/P(\nu)$ is the variety of all flags of type $\nu$ in the space $V$.
  
A parabolic subgroup of a Tits system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127080.png" /> is a subgroup of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127081.png" /> that is conjugate to a subgroup containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127082.png" />. Each parabolic subgroup coincides with its normalizer. The intersection of any two parabolic subgroups contains a subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127083.png" /> that is conjugate to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127084.png" />. In particular, a parabolic subgroup of a [[Tits system|Tits system]] associated with a reductive linear algebraic group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127085.png" /> is the same as a parabolic subgroup of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p071/p071270/p07127086.png" /> (see [[#References|[3]]], [[#References|[4]]]).
+
In the case where $k=\R$, the parabolic $\R$-subgroups admit the following geometric interpretation (see ). Let $G_\R$ be a non-compact real semi-simple Lie group defined by the group of real points of a semi-simple algebraic group $G$ which is defined over $\R$. A subgroup of $G_\R$ is a parabolic subgroup if and only if it coincides with the group of motions of the corresponding non-compact symmetric space $M$ preserving some $\R$-pencil of geodesic rays of $M$ (two geodesic rays of $M$ are said to belong to the same $\R$-pencil if the distance between two points, moving with the same fixed velocity along their rays to infinity, has a finite limit).
 
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A. Borel, J. Tits, "Groupes réductifs" ''Publ. Math. IHES'' , '''27''' (1965) pp. 55–150 {{MR|0207712}} {{ZBL|0145.17402}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A. Borel, J. Tits, "Eléments unipotents et sous-groupes paraboliques de groupes réductifs I" ''Invent. Math.'' , '''12''' (1971) pp. 95–104 {{MR|0294349}} {{ZBL|0238.20055}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> N. Bourbaki, "Groupes et algèbres de Lie" , Hermann (1975) pp. Chapts. VII-VIII {{MR|0682756}} {{MR|0573068}} {{MR|0271276}} {{MR|0240238}} {{MR|0132805}} {{ZBL|0329.17002}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> J.E. Humphreys, "Linear algebraic groups" , Springer (1975) {{MR|0396773}} {{ZBL|0325.20039}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> F.I. Karpelevich, "The geometry of geodesics and the eigenfunctions of the Laplace–Beltrami operator on symmetric spaces" ''Trans. Moscow Math. Soc.'' , '''14''' (1967) pp. 51–199 ''Trudy Moskov. Mat. Obshch.'' , '''14''' (1965) pp. 48–185 {{MR|}} {{ZBL|}} </TD></TR></table>
 
 
 
 
 
 
 
====Comments====
 
  
 +
A parabolic subgroup of a [[Tits system]] $(G,B,N,S)$ is a subgroup of the group $G$ that is conjugate to a subgroup containing $B$. Each parabolic subgroup coincides with its normalizer. The intersection of any two parabolic subgroups contains a subgroup of $G$ that is conjugate to $T=B\cap N$. In particular, a parabolic subgroup of a Tits system associated with a reductive linear algebraic group $G$ is the same as a parabolic subgroup of the group $G$ (see
 +
{{Cite|Bo}},
 +
{{Cite|Hu}}).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Borel, "Linear algebraic groups" , Benjamin (1969) {{MR|0251042}} {{ZBL|0206.49801}} {{ZBL|0186.33201}} </TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|Bo}}||valign="top"| N. Bourbaki, "Groupes et algèbres de Lie", Hermann (1975) pp. Chapts. VII-VIII {{MR|0682756}} {{MR|0573068}} {{MR|0271276}} {{MR|0240238}} {{MR|0132805}} {{ZBL|0329.17002}}
 +
|-
 +
|valign="top"|{{Ref|Bo2}}||valign="top"| A. Borel, "Linear algebraic groups", Benjamin (1969) {{MR|0251042}} {{ZBL|0206.49801}} {{ZBL|0186.33201}}
 +
|-
 +
|valign="top"|{{Ref|BoTi}}||valign="top"| A. Borel, J. Tits, "Groupes réductifs" ''Publ. Math. IHES'', '''27''' (1965) pp. 55–150 {{MR|0207712}} {{ZBL|0145.17402}}
 +
|-
 +
|valign="top"|{{Ref|BoTi2}}||valign="top"| A. Borel, J. Tits, "Eléments unipotents et sous-groupes paraboliques de groupes réductifs I" ''Invent. Math.'', '''12''' (1971) pp. 95–104 {{MR|0294349}} {{ZBL|0238.20055}}
 +
|-
 +
|valign="top"|{{Ref|Hu}}||valign="top"| J.E. Humphreys, "Linear algebraic groups", Springer (1975) {{MR|0396773}} {{ZBL|0325.20039}}
 +
|-
 +
|valign="top"|{{Ref|Ka}}||valign="top"| F.I. Karpelevich, "The geometry of geodesics and the eigenfunctions of the Laplace–Beltrami operator on symmetric spaces" ''Trans. Moscow Math. Soc.'', '''14''' (1967) pp. 51–199 ''Trudy Moskov. Mat. Obshch.'', '''14''' (1965) pp. 48–185 {{MR|}} {{ZBL|}}
 +
|-
 +
|}

Revision as of 10:53, 28 April 2012

2020 Mathematics Subject Classification: Primary: 14L Secondary: 20G [MSN][ZBL]

A parabolic subgroup of a linear algebraic group $G$ defined over a field $k$ is a subgroup $P\subset G$, closed in the Zariski topology, for which the quotient space $G/P$ is a projective algebraic variety. A subgroup $P\subset G$ is a parabolic subgroup if and only if it contains some Borel subgroup of the group $G$. A parabolic subgroup of the group $G_k$ of $k$-rational points of the group $G$ is a subgroup $P_k\subset G_k$ that is the group of $k$-rational points of some parabolic subgroup $P$ in $G$ and which is dense in $P$ in the Zariski topology. If $\textrm{char}\; k = 0$ and $\def\fg{\mathfrak{g}}$ is the Lie algebra of $G$, then a closed subgroup $P\subset G$ is a parabolic subgroup if and only if its Lie algebra is a parabolic subalgebra of $\fg$.

Let $G$ be a connected reductive linear algebraic group, defined over the (arbitrary) ground field $k$. A $k$-subgroup of $G$ is a closed subgroup which is defined over $k$. Minimal parabolic $k$-subgroups play in the theory over $k$ the same role as Borel subgroups play for an algebraically closed field (see ). In particular, two arbitrary minimal parabolic $k$-subgroups of $G$ are conjugate over $k$. If two parabolic $k$-subgroups of $G$ are conjugate over some extension of the field $k$, then they are conjugate over $k$. The set of conjugacy classes of parabolic subgroups (respectively, the set of conjugacy classes of parabolic $k$-subgroups) of $G$ has $2^r$ (respectively, $2^{r_k}$) elements, where $r$ is the rank of the commutator subgroup $[G,G]$ of the group $G$, and $r_k$ is its $k$-rank, i.e. the dimension of a maximal torus in $[G,G]$ that splits over $k$. More precisely, each such class is defined by a subset of the set of simple roots (respectively, simple $k$-roots) of the group $G$ in an analogous way to that in which each parabolic subalgebra of a reductive Lie algebra is conjugate to one of the standard subalgebras (see , ).

Each parabolic subgroup $P$ of a group $G$ is connected, coincides with its normalizer and admits a Levi decomposition, i.e. it can be represented in the form of the semi-direct product of its unipotent radical and a $k$-closed reductive subgroup, called a Levi subgroup of the group $P$. Any two Levi subgroups in a parabolic subgroup $P$ are conjugate by means of an element of $P$ that is rational over $k$. Two parabolic subgroups of a group $G$ are called opposite if their intersection is a Levi subgroup of each of them. A closed subgroup of a group $G$ is a parabolic subgroup if and only if it coincides with the normalizer of its unipotent radical. Each maximal closed subgroup of a group $G$ is either a parabolic subgroup or has a reductive connected component of the unit (see , ).

The parabolic subgroups of the group $\def\GL{\textrm{GL}}\GL_n(k)$ of non-singular linear transformations of an $V$-dimensional vector space $k$ over a field $k$ are precisely the subgroups $P(\nu)$ consisting of all automorphisms of the space $V$ which preserve a fixed flag of type $\nu=(n_1,\dots,nt)$ of $V$. The quotient space $\GL_n(k)/P(\nu)$ is the variety of all flags of type $\nu$ in the space $V$.

In the case where $k=\R$, the parabolic $\R$-subgroups admit the following geometric interpretation (see ). Let $G_\R$ be a non-compact real semi-simple Lie group defined by the group of real points of a semi-simple algebraic group $G$ which is defined over $\R$. A subgroup of $G_\R$ is a parabolic subgroup if and only if it coincides with the group of motions of the corresponding non-compact symmetric space $M$ preserving some $\R$-pencil of geodesic rays of $M$ (two geodesic rays of $M$ are said to belong to the same $\R$-pencil if the distance between two points, moving with the same fixed velocity along their rays to infinity, has a finite limit).

A parabolic subgroup of a Tits system $(G,B,N,S)$ is a subgroup of the group $G$ that is conjugate to a subgroup containing $B$. Each parabolic subgroup coincides with its normalizer. The intersection of any two parabolic subgroups contains a subgroup of $G$ that is conjugate to $T=B\cap N$. In particular, a parabolic subgroup of a Tits system associated with a reductive linear algebraic group $G$ is the same as a parabolic subgroup of the group $G$ (see [Bo], [Hu]).

References

[Bo] N. Bourbaki, "Groupes et algèbres de Lie", Hermann (1975) pp. Chapts. VII-VIII MR0682756 MR0573068 MR0271276 MR0240238 MR0132805 Zbl 0329.17002
[Bo2] A. Borel, "Linear algebraic groups", Benjamin (1969) MR0251042 Zbl 0206.49801 Zbl 0186.33201
[BoTi] A. Borel, J. Tits, "Groupes réductifs" Publ. Math. IHES, 27 (1965) pp. 55–150 MR0207712 Zbl 0145.17402
[BoTi2] A. Borel, J. Tits, "Eléments unipotents et sous-groupes paraboliques de groupes réductifs I" Invent. Math., 12 (1971) pp. 95–104 MR0294349 Zbl 0238.20055
[Hu] J.E. Humphreys, "Linear algebraic groups", Springer (1975) MR0396773 Zbl 0325.20039
[Ka] F.I. Karpelevich, "The geometry of geodesics and the eigenfunctions of the Laplace–Beltrami operator on symmetric spaces" Trans. Moscow Math. Soc., 14 (1967) pp. 51–199 Trudy Moskov. Mat. Obshch., 14 (1965) pp. 48–185
How to Cite This Entry:
Parabolic subgroup. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Parabolic_subgroup&oldid=21905
This article was adapted from an original article by V.L. Popov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article