Math 2.0

Topological groups, Lie groups Definition

Parabolic subgroup

Builds on Semisimple Lie groupIwasawa decomposition of a Lie groupBorel subgroup

Definition

Let GG be a connected semisimple Lie group with finite center. Let G=KANG = KAN be an Iwasawa decomposition, with 𝔞\mathfrak{a} the Lie algebra of AA. Let M=ZK(𝔞)M = Z_K(\mathfrak{a}) be the set of k∈Kk \in K with Ad(k)H=H\mathrm{Ad}(k) H = H for all H∈𝔞H \in \mathfrak{a}. The group P0=MANP_0 = MAN is the minimal parabolic subgroup. A parabolic subgroup of GG is a closed subgroup PP of GG such that gP0g−1⊆Pg P_0 g^{-1} \subseteq P for some g∈Gg \in G.

Remarks

Example: G=SL2(ℝ)G = \mathrm{SL}_2(\R), with K=SO(2)K = \mathrm{SO}(2), AA the positive diagonal matrices and NN the upper unipotent matrices. Then M={±1}M = \set{\pm 1}, and P0=MANP_0 = MAN is the group of all upper triangular matrices in SL2(ℝ)\mathrm{SL}_2(\R). So P0P_0 is parabolic, with g=eg = e.

Non-example: SO(2)\mathrm{SO}(2) in SL2(ℝ)\mathrm{SL}_2(\R) is closed, but it is not parabolic. It is compact, so each subgroup of it is relatively compact, while each conjugate of P0P_0 contains a conjugate of A≅ℝA \cong \R and is not.

In SLn(ℝ)\mathrm{SL}_n(\R), the minimal parabolic subgroup is the group of upper triangular matrices, and the parabolic subgroups are the conjugates of the block upper triangular subgroups. Equivalently, PP is parabolic when it is the normalizer in GG of a subalgebra 𝔮\mathfrak{q} of 𝔤\mathfrak{g} whose complexification contains a Borel subalgebra of 𝔤ℂ\mathfrak{g}_\C.

For complex or algebraic groups, a parabolic subgroup is a closed subgroup containing a Borel subgroup. The phrase also has a different meaning for Coxeter groups: a subgroup generated by a subset of the simple reflections.

Reading path

To understand this page from the ground up, read these 8 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Borel subgroup concept
  2. Exponential map of a Lie group concept
  3. Maximal compact subgroup concept
  4. Nilpotent Lie group concept
  5. Semisimple Lie group concept
  6. Cartan decomposition of a Lie group statement
  7. Iwasawa decomposition of a Lie group statement
  8. Parabolic subgroup definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Langlands_decomposition
About this page
TagM9DY1E7RKS
URIm2://M9DY1E7RKS
Kinddefinition
WritingW0 stub
MSC22E46, 22E15
DefinesParabolic subgroup
UsesSemisimple Lie group, Iwasawa decomposition of a Lie group, Borel subgroup

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.