Math 2.0

Topological groups, Lie groups Structure of Lie groups Theorem

Langlands decomposition

Builds on Semisimple Lie groupIwasawa decomposition of a Lie groupParabolic subgroupNilpotent Lie group

Statement

Let GG be a connected semisimple Lie group with finite center, with an Iwasawa decomposition G=KANG = KAN. Let 𝔞\mathfrak{a} be the Lie algebra of AA, and let Σ+\Sigma^+ be the positive restricted roots used to define NN. Let Π⊆Σ+\Pi \subseteq \Sigma^+ be the simple ones. Fix a subset F⊆ΠF \subseteq \Pi and let ΣF\Sigma_F be the set of restricted roots in the linear span of FF. Put 𝔞F={H∈𝔞:α(H)=0 for all α∈F}\mathfrak{a}_F = \set{H \in \mathfrak{a} : \alpha(H) = 0 \text{ for all } \alpha \in F} and 𝔫F=⨁λ∈Σ+∖ΣF𝔤λ\mathfrak{n}_F = \bigoplus_{\lambda \in \Sigma^+ \setminus \Sigma_F} \mathfrak{g}_\lambda. Let AF=exp⁡𝔞FA_F = \exp \mathfrak{a}_F, let NF=exp⁡𝔫FN_F = \exp \mathfrak{n}_F, and let LF=ZG(𝔞F)L_F = Z_G(\mathfrak{a}_F) be the centralizer of 𝔞F\mathfrak{a}_F under the adjoint action. Let MFM_F be the set of x∈LFx \in L_F with ∣χ(x)∣=1\abs{\chi(x)} = 1 for every continuous homomorphism χ ⁣:LF→ℝ×\chi \colon L_F \to \R^\times. Then PF=LFNFP_F = L_F N_F is a parabolic subgroup of GG, and:

  1. MFM_F and AFA_F are closed subgroups that commute with each other, MF∩AF={e}M_F \cap A_F = \set{e}, and LF=MFAFL_F = M_F A_F;
  2. NFN_F is a closed, simply connected, nilpotent normal subgroup of PFP_F;
  3. the map MF×AF×NF→PFM_F \times A_F \times N_F \to P_F, (m,a,n)↦man(m, a, n) \mapsto man, is a diffeomorphism.

The factorization PF=MFAFNFP_F = M_F A_F N_F is the Langlands decomposition of PFP_F.

Remarks

Every parabolic subgroup that contains MANMAN equals PFP_F for exactly one FF, and every parabolic subgroup is conjugate to such a PFP_F. The group LF=MFAFL_F = M_F A_F is a Levi factor of PFP_F; it is reductive, and AFA_F is a vector group, isomorphic to ℝk\R^k with k=∣Π∖F∣k = \abs{\Pi \setminus F}.

For F=∅F = \emptyset, the group M∅M_\emptyset is M=ZK(𝔞)M = Z_K(\mathfrak{a}) and P∅=MANP_\emptyset = MAN is the minimal parabolic subgroup. For F=ΠF = \Pi, one gets 𝔞F=0\mathfrak{a}_F = 0, NF={e}N_F = \set{e} and PF=MF=GP_F = M_F = G, since a semisimple group has no nontrivial continuous homomorphism to ℝ>0\R_{>0}.

Example: in SLn(ℝ)\mathrm{SL}_n(\R), a subset FF corresponds to block sizes n1+⋯+nr=nn_1 + \cdots + n_r = n. Then PFP_F is the group of block upper triangular matrices, and NFN_F is the group of block unipotent ones. The group AFA_F consists of the matrices diag⁡(t1In1,…,trInr)\operatorname{diag}(t_1 I_{n_1}, \dots, t_r I_{n_r}) with ti>0t_i > 0 and determinant 11. The group MFM_F consists of the block diagonal matrices of determinant 11 whose blocks have determinant ±1\pm 1.

Going deeper

For a student

The decomposition is the basis of parabolic induction. A representation σ\sigma of MFM_F and a character ν\nu of AFA_F give a representation σ⊗ν⊗1\sigma \otimes \nu \otimes 1 of PFP_F, which one induces to GG. The principal series come from F=∅F = \emptyset, and Langlands used general FF to classify the irreducible admissible representations of GG. The groups MFM_F are again reductive groups, which makes induction on the size of the group possible.

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. Exponential map of a Lie group concept
  2. Maximal compact subgroup concept
  3. Nilpotent Lie group concept
  4. Parabolic subgroup concept
  5. Semisimple Lie group concept
  6. Cartan decomposition of a Lie group statement
  7. Iwasawa decomposition of a Lie group statement
  8. Langlands decomposition statement

Where this leads

2 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Langlands_decomposition
About this page
TagBM3TWJ0D4P
URIm2://BM3TWJ0D4P
Kindstatement, theorem
WritingW0 stub
MSC22E46, 22E15
StatusThis copy of the site has no build data. Run m2 status BM3TWJ0D4P.
AboutParabolic subgroup
UsesSemisimple Lie group, Iwasawa decomposition of a Lie group, Parabolic subgroup, Nilpotent Lie group
Same as
Changed2 November 2026

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

Used by