Iwasawa decomposition
E542127
The Iwasawa decomposition is a fundamental factorization in Lie group theory that expresses a semisimple Lie group as a product of a maximal compact subgroup, a maximal abelian subgroup, and a nilpotent subgroup, playing a key role in representation theory and harmonic analysis.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Iwasawa decomposition canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T5705604 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Iwasawa decomposition Context triple: [Cartan decomposition, relatedTo, Iwasawa decomposition]
-
A.
Cartan decomposition
Cartan decomposition is a fundamental structural result in Lie theory that expresses a Lie algebra or Lie group as a direct sum or product of subspaces or subgroups with specific symmetry properties, widely used in differential geometry and representation theory.
-
B.
Harish-Chandra isomorphism
The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
-
C.
Weil representation
The Weil representation is a fundamental projective unitary representation of symplectic groups (or their metaplectic covers) on spaces of functions, central to number theory, automorphic forms, and the theory of theta functions.
-
D.
Deligne–Lusztig theory
Deligne–Lusztig theory is a framework in algebraic geometry and representation theory that constructs and studies representations of finite groups of Lie type using varieties defined over finite fields.
-
E.
Iwasawa theory
Iwasawa theory is a branch of number theory that studies the growth of arithmetic invariants in infinite towers of number fields, particularly using p-adic methods.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Iwasawa decomposition Target entity description: The Iwasawa decomposition is a fundamental factorization in Lie group theory that expresses a semisimple Lie group as a product of a maximal compact subgroup, a maximal abelian subgroup, and a nilpotent subgroup, playing a key role in representation theory and harmonic analysis.
-
A.
Cartan decomposition
Cartan decomposition is a fundamental structural result in Lie theory that expresses a Lie algebra or Lie group as a direct sum or product of subspaces or subgroups with specific symmetry properties, widely used in differential geometry and representation theory.
-
B.
Harish-Chandra isomorphism
The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
-
C.
Weil representation
The Weil representation is a fundamental projective unitary representation of symplectic groups (or their metaplectic covers) on spaces of functions, central to number theory, automorphic forms, and the theory of theta functions.
-
D.
Deligne–Lusztig theory
Deligne–Lusztig theory is a framework in algebraic geometry and representation theory that constructs and studies representations of finite groups of Lie type using varieties defined over finite fields.
-
E.
Iwasawa theory
Iwasawa theory is a branch of number theory that studies the growth of arithmetic invariants in infinite towers of number fields, particularly using p-adic methods.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
decomposition in Lie theory
ⓘ
mathematical concept ⓘ |
| alsoKnownAs | KAN decomposition NERFINISHED ⓘ |
| appliesTo |
real semisimple Lie group
ⓘ
reductive Lie group ⓘ semisimple Lie group ⓘ |
| component |
maximal abelian subgroup A
ⓘ
maximal compact subgroup K ⓘ nilpotent subgroup N ⓘ |
| componentRole |
A corresponds to split part of Cartan subgroup
ⓘ
K captures compact directions of G ⓘ N corresponds to sum of positive root spaces ⓘ |
| context |
real forms of complex semisimple Lie groups
ⓘ
structure theory of Lie groups ⓘ |
| ensures | G is diffeomorphic to K × A × N as manifolds ⓘ |
| expresses | Lie group as product of subgroups ⓘ |
| field |
Lie group theory
ⓘ
differential geometry ⓘ harmonic analysis ⓘ representation theory ⓘ |
| generalizes | classical polar decomposition of matrices ⓘ |
| hasForm | G = K A N ⓘ |
| implies | every element g in G can be written uniquely as k a n ⓘ |
| namedAfter | Kenkichi Iwasawa NERFINISHED ⓘ |
| property |
A is abelian and consists of semisimple elements
ⓘ
K is a maximal compact subgroup of G ⓘ N is connected and nilpotent ⓘ multiplication map K × A × N → G is a diffeomorphism ⓘ |
| relatedTo |
Bruhat decomposition
NERFINISHED
ⓘ
Cartan decomposition NERFINISHED ⓘ Langlands decomposition NERFINISHED ⓘ polar decomposition ⓘ |
| requires |
choice of maximal abelian subspace of a Cartan subalgebra
ⓘ
choice of maximal compact subgroup K ⓘ choice of positive root system ⓘ |
| specialCase | G = SL(2,R) with K = SO(2), A diagonal, N unipotent upper triangular ⓘ |
| usedFor |
Fourier analysis on non-compact Lie groups
ⓘ
construction of invariant measures ⓘ parametrization of symmetric spaces ⓘ |
| usedIn |
Plancherel formula for semisimple Lie groups
NERFINISHED
ⓘ
analysis of eigenfunctions of invariant differential operators ⓘ construction of principal series representations ⓘ description of Haar measure on G in KAN coordinates ⓘ harmonic analysis on semisimple Lie groups ⓘ representation theory of real reductive groups ⓘ spherical functions on Lie groups ⓘ study of non-compact Riemannian symmetric spaces ⓘ theory of automorphic forms ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Iwasawa decomposition Description of subject: The Iwasawa decomposition is a fundamental factorization in Lie group theory that expresses a semisimple Lie group as a product of a maximal compact subgroup, a maximal abelian subgroup, and a nilpotent subgroup, playing a key role in representation theory and harmonic analysis.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.