In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds. Every Hermitian symmetric space is a homogeneous space for its isometry group and has a unique decomposition as a product of irreducible spaces and a Euclidean space. The irreducible spaces arise in pairs as a non-compact space that, as Borel showed, can be embedded as an open subspace of its compact dual space. Harish Chandra showed that each non-compact space can be realized as a bounded symmetric domain in a complex vector space. The simplest case involves the groups SU(2), SU(1,1) and their common complexification SL(2,C). In this case the non-compact space is the unit disk, a homogeneous space for SU(1,1). It is a bounded domain in the complex plane C. The one-point compactification of C, the Riemann sphere, is the dual space, a homogeneous space for SU(2) and SL(2,C). Irreducible compact Hermitian symmetric spaces are exactly the homogeneous spaces of simple compact Lie groups by maximal closed connected subgroups which contain a maximal torus and have center isomorphic to the circle group. There is a complete classification of irreducible spaces, with four classical series, studied by Cartan, and two exceptional cases; the classification can be deduced from Borel–de Siebenthal theory, which classifies closed connected subgroups containing a maximal torus. Hermitian symmetric spaces appear in the theory of Jordan triple systems, several complex variables, complex geometry, automorphic forms and group representations, in particular permitting the construction of the holomorphic discrete series representations of semisimple Lie groups.
Hermitian symmetric spaces of compact type
Definition Let H be a connected compact semisimple Lie group, σ an automorphism of H of order 2 and Hσ the fixed point subgroup of σ. Let K be a closed subgroup of H lying between Hσ and its identity component. The compact homogeneous space H / K is called a symmetric space of compact type. The Lie algebra h {\displaystyle {\mathfrak {h}}} admits a decomposition
h = k ⊕ m , {\displaystyle \displaystyle {{\mathfrak {h}}={\mathfrak {k}}\oplus {\mathfrak {m}},}}
where k {\displaystyle {\mathfrak {k}}} , the Lie algebra of K, is the +1 eigenspace of σ and m {\displaystyle {\mathfrak {m}}} the –1 eigenspace. If k {\displaystyle {\mathfrak {k}}} contains no simple summand of h {\displaystyle {\mathfrak {h}}} , the pair ( h {\displaystyle {\mathfrak {h}}} , σ) is called an orthogonal symmetric Lie algebra of compact type. Any inner product on h {\displaystyle {\mathfrak {h}}} , invariant under the adjoint representation and σ, induces a Riemannian structure on H / K, with H acting by isometries. A canonical example is given by minus the Killing form. Under such an inner product, k {\displaystyle {\mathfrak {k}}} and m {\displaystyle {\mathfrak {m}}} are orthogonal. H / K is then a Riemannian symmetric space of compact type. The symmetric space H / K is called a Hermitian symmetric space if it has an almost complex structure preserving the Riemannian metric. This is equivalent to the existence of a linear map J with J2 = −I on m {\displaystyle {\mathfrak {m}}} which preserves the inner product and commutes with the action of K.
Symmetry and center of isotropy subgroup If ( h {\displaystyle {\mathfrak {h}}} ,σ) is Hermitian, K has non-trivial center and the symmetry σ is inner, implemented by an element of the center of K. In fact J lies in k {\displaystyle {\mathfrak {k}}} and exp tJ forms a one-parameter group in the center of K. This follows because if A, B, C, D lie in m {\displaystyle {\mathfrak {m}}} , then by the invariance of the inner product on h {\displaystyle {\mathfrak {h}}}
( [ [ A , B ] , C ] , D ) = ( [ A , B ] , [ C , D ] ) = ( [ [ C , D ] , B ] , A ) . {\displaystyle \displaystyle {([[A,B],C],D)=([A,B],[C,D])=([[C,D],B],A).}}
Replacing A and B by JA and JB, it follows that
… excerpt ends here. Continue reading the full article.
