|
|
| Line 1: |
Line 1: |
| {{Lie groups |Homogeneous spaces}}
| | I would like to introduce myself to you, I am Jayson Simcox but I don't like when individuals use my full name. North Carolina is where we've been living for many years and will never transfer. To perform lacross is the factor I adore most of all. Distributing manufacturing has been his profession for some time.<br><br>my homepage - [http://www.prograd.uff.br/novo/facts-about-growing-greater-organic-garden tarot readings] |
| In [[mathematics]], a '''Hermitian symmetric space''' is a [[Hermitian manifold]] which at every point has as 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 manifold]]s to [[complex manifold]]s.
| |
| | |
| 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 [[Armand Borel|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 homogenous 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 '''T'''. 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 system]]s, [[several complex variables]], [[complex geometry]], [[automorphic form]]s and [[group representation]]s, in particular permitting the construction of the [[holomorphic discrete series representation]]s of semisimple Lie groups.<ref>{{harvnb|Knapp|1972}}</ref>
| |
| | |
| ==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''<sup>σ</sup> the fixed point subgroup of σ. Let ''K'' be a closed subgroup of ''H'' lying between ''H''<sup>σ</sup> and its [[identity component]]. The compact homogeneous space ''H'' / ''K'' is called a [[symmetric space|symmetric space of compact type]]. The Lie algebra <math>\mathfrak{h}</math> admits a decomposition
| |
| | |
| :<math>\displaystyle{\mathfrak{h}=\mathfrak{k}\oplus\mathfrak{m},}</math>
| |
| | |
| where <math>\mathfrak{k}</math>, the Lie algebra of ''K'', is the +1 eigenspace of σ and <math>\mathfrak{m}</math> the –1 eigenspace.
| |
| If <math>\mathfrak{k}</math> contains no simple summand of <math>\mathfrak{h}</math>, the pair (<math>\mathfrak{h}</math>, σ) is called an [[orthogonal symmetric Lie algebra]] of ''compact type''.<ref name="Wolf-2010">{{harvnb|Wolf|2010}}</ref>
| |
| | |
| Any inner product on <math>\mathfrak{h}</math>, 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, <math>\mathfrak{k}</math> and <math>\mathfrak{m}</math> are orthogonal. ''H'' / ''K'' is then a Riemannian symmetric space of compact type.<ref>See:
| |
| *{{harvnb|Helgason|1978}}
| |
| *{{harvnb|Wolf|2010}}
| |
| </ref>
| |
| | |
| 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 ''J''<sup>2</sup> = −''I'' on <math>\mathfrak{m}</math> which preserves the inner product and commutes with the action of ''K''.
| |
| | |
| ===Symmetry and center of isotropy subgroup===
| |
| If (<math>\mathfrak{h}</math>,σ) 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 <math>\mathfrak{k}</math> and exp ''tJ'' forms a one-parameter group in the center of ''K''. This follows because if ''A'', ''B'', ''C'', ''D'' lie in <math>\mathfrak{m}</math>, then by the invariance of the inner product on <math>\mathfrak{h}</math><ref>{{harvnb|Kobayashi|Nomizu|1996|pp=149–150}}</ref>
| |
| | |
| :<math>\displaystyle{([[A,B],C],D)=([A,B],[C,D])=([[C,D],B],A).}</math>
| |
| | |
| Replacing ''A'' and ''B'' by ''JA'' and ''JB'', it follows that
| |
| | |
| :<math>\displaystyle{[JA,JB] = [A,B].}</math>
| |
| | |
| Define a linear map δ on <math>\mathfrak{h}</math> by extending ''J'' to be 0 on <math>\mathfrak{k}</math>. The last relation shows that δ is a derivation of <math>\mathfrak{h}</math>. Since <math>\mathfrak{h}</math> is semisimple, δ must be an inner derivation, so that
| |
| | |
| :<math>\displaystyle{\delta(X)=[T + A,X],}</math>
| |
| | |
| with ''T'' in <math>\mathfrak{k}</math> and ''A'' in <math>\mathfrak{m}</math>. Taking ''X'' in <math>\mathfrak{k}</math>, it follows that ''A'' = 0 and ''T'' lies in the center of <math>\mathfrak{k}</math> and hence that ''K'' is non-semisimple. The symmetry σ is implemented by ''z'' = exp π''T'' and the almost complex structure by exp π/2 ''T''.<ref>{{harvnb|Kobayashi|Nomizu|1996|pp=261–262}}</ref>
| |
| | |
| The innerness of σ implies that ''K'' contains a maximal torus of ''H'', so has maximal rank. On the other hand the centralizer of the subgroup generated by the torus ''S'' of elements exp ''tT'' is connected, since if ''x'' is any element in ''K'' there is a maximal torus containing ''x'' and ''S'', which lies in the centralizer. On the other hand it contains ''K'' since ''S'' is central in ''K'' and is contained in ''K'' since ''z'' lies in ''S''. So ''K'' is the centralizer of ''S'' and hence connected. In particular ''K'' contains the center of ''H''.<ref name="Wolf-2010" />
| |
| | |
| ===Irreducible decomposition===
| |
| The symmetric space or the pair (<math>\mathfrak{h}</math>, σ) is said to be ''irreducible'' if the adjoint action of <math>\mathfrak{k}</math> (or equivalently the identity component of ''H''<sup>σ</sup> or ''K'') is irreducible on <math>\mathfrak{m}</math>. This is equivalent to the maximality of <math>\mathfrak{k}</math> as a subalgebra.<ref>See:
| |
| *{{harvnb|Wolf|2010}}
| |
| *{{harvnb|Helgason|1978|p=378}}</ref>
| |
| | |
| In fact there is a one-one correspondence between intermediate subalgebras <math>\mathfrak{l}</math> and ''K''-invariant subspaces
| |
| <math>\mathfrak{m}_1</math> of <math>\mathfrak{m}</math> given by
| |
| | |
| :<math>\displaystyle{\mathfrak{l}=\mathfrak{k}\oplus \mathfrak{m}_1,\,\,\,\ \mathfrak{m}_1=\mathfrak{l}\cap \mathfrak{m}.}</math>
| |
| | |
| Any orthogonal symmetric algebra (<math>\mathfrak{g}</math>, σ) of Hermitian type can be decomposed as an (orthogonal) direct sum of irreducible orthogonal symmetric algebras of Hermitian type.<ref>See:
| |
| *{{harvnb|Helgason|1978|pp=378–379}}
| |
| *{{harvnb|Wolf|2010}}</ref>
| |
| | |
| In fact <math>\mathfrak{h}</math> can be written as a direct sum of simple algebras
| |
| | |
| :<math>\displaystyle{\mathfrak{h}=\oplus_{i=1}^N \mathfrak{h}_i,}</math>
| |
| | |
| each of which is left invariant by the automorphism σ and the complex structure ''J'', since they are both inner. The eigenspace decomposition of <math>\mathfrak{h}_1</math> coincides with its intersections with <math>\mathfrak{k}</math> and <math>\mathfrak{m}</math>. So the restriction of σ to <math>\mathfrak{h}_1</math> is irreducible.
| |
| | |
| This decomposition of the orthogonal symmetric Lie algebra yields a direct product decomposition of the corresponding compact symmetric space ''H'' / ''K'' when ''H'' is simply connected. In this case the fixed point subgroup ''H''<sup>σ</sup> is automatically connected. For simply connected ''H'', the symmetric space ''H'' / ''K'' is the direct product of ''H''<sub>''i''</sub> / ''K''<sub>''i''</sub> with ''H''<sub>''i''</sub> simply connected and simple. In the irreducible case, ''K'' is a maximal connected subgroup of ''H''. Since ''K'' acts irreducibly on <math>\mathfrak{m}</math> (regarded as a complex space for the complex structure defined by ''J''), the center of ''K'' is a one-dimensional torus '''T''', given by the operators exp ''tT''. Since each ''H'' is simply connected and ''K'' connected, the quotient ''H''/''K'' is simply connected.<ref>{{harvnb|Helgason|1978}}</ref>
| |
| | |
| ===Complex structure===
| |
| {{Main|Complex structures on homogeneous spaces}}
| |
| if ''H'' / ''K'' is irreducible with ''K'' non-semisimple, the compact group ''H'' must be simple and ''K'' of maximal rank. From [[Borel-de Siebenthal theory]], the involution σ is inner and ''K'' is the centralizer of its center, which is isomorphic to '''T'''. In particular ''K'' is connected. It follows that ''H'' / ''K'' is simply connected and there is a [[parabolic subgroup]] ''P'' in the [[complexification (Lie group)|complexification]] ''G'' of ''H'' such that ''H'' / ''K'' = ''G'' / ''P''. In particular there is a complex structure on ''H'' / ''K'' and the action of ''H'' is holomorphic. Since any Hermitian symmetric space is a product of irreducible spaces, the same is true in general.
| |
| | |
| At the [[Lie algebra]] level, there is a symmetric decomposition
| |
| :<math>\mathfrak h = \mathfrak k\oplus\mathfrak m,</math>
| |
| where <math>(\mathfrak m,J)</math> is a real vector space with a complex structure ''J'', whose complex dimension is given in the table. Correspondingly, there is a [[graded Lie algebra]] decomposition
| |
| :<math>\mathfrak g = \mathfrak{m}_{+}\oplus\mathfrak l\oplus\mathfrak{m}_-</math>
| |
| where <math>\mathfrak m\otimes\mathbb C= \mathfrak m_{-}\oplus\mathfrak m_{+}</math> is the decomposition into +''i'' and −''i'' eigenspaces of ''J'' and <math>\mathfrak l=\mathfrak k\otimes\mathbb C</math>. The Lie algebra of ''P'' is the semidirect product <math>\mathfrak m^{+}\oplus\mathfrak l</math>. The complex Lie algebras <math>\mathfrak{m}_\pm</math> are Abelian. Indeed if ''U'' and ''V'' lie in <math>\mathfrak{m}_\pm</math>, [''U'',''V''] = ''J''[''U'',''V''] = [''JU'',''JV''] = [±''iU'',±''iV''] = –[''U'',''V''], so the Lie bracket must vanish.
| |
| | |
| The complex subspaces <math>\mathfrak{m}_\pm</math> of <math>\mathfrak{m}_{\mathbb C}</math> are irreducible for the action of ''K'', since ''J'' commutes with ''K'' so that each is isomorphic to <math>\mathfrak{m}</math> with complex structure ±''J''. Equivalently the centre '''T''' of ''K'' acts on <math>\mathfrak{m}_+</math> by the identity representation and on <math>\mathfrak{m}_-</math> by its conjugate.<ref>{{harvnb|Mok|1989}}</ref>
| |
| | |
| The realization of ''H''/''K'' as a generalized flag variety ''G''/''P'' is obtained by taking ''G'' as in the table (the [[complexification (Lie group)|complexification]] of ''H'') and ''P'' to be the [[parabolic subgroup]] equal to the semidirect product of ''L'', the complexification of ''K'', with the complex Abelian subgroup exp <math>\mathfrak{m}_+</math>. (In the language of [[algebraic groups]], ''L'' is the [[Levi factor]] of ''P''.)
| |
| | |
| ===Classification===
| |
| Any Hermitian symmetric space of compact type is simply connected and can be written as a direct product of irreducible hermitian symmetric spaces ''H''<sub>''i''</sub> / ''K''<sub>''i''</sub> with ''H''<sub>''i''</sub> simple, ''K''<sub>''i''</sub> connected of maximal rank with center '''T'''. The irreducible ones are therefore exactly the non-semisimple cases classified by [[Borel–de Siebenthal theory]].<ref name="Wolf-2010" />
| |
|
| |
| Accordingly the irreducible compact Hermitian symmetric spaces ''H''/''K'' are classified as follows.
| |
| | |
| {| class="wikitable"
| |
| |-
| |
| ! ''G''
| |
| ! ''H''
| |
| ! ''K''
| |
| ! width=10% |complex dimension
| |
| ! width=5% |rank
| |
| ! geometric interpretation
| |
| |-
| |
| | <math>\mathrm{SL}(p+q,\mathbb{C})</math>
| |
| | <math>\mathrm{SU}(p+q)\,</math>
| |
| | <math>\mathrm{S}(\mathrm{U}(p) \times \mathrm{U}(q))</math>
| |
| | ''pq''
| |
| | min(''p'',''q'')
| |
| | [[Grassmannian]] of complex ''p''-dimensional subspaces of <math>\mathbb{C}^{p+q}</math>
| |
| |-
| |
| | <math>\mathrm{SO}(2n,\mathbb C)</math>
| |
| | <math>\mathrm{SO}(2n)\,</math>
| |
| | <math>\mathrm{U}(n)\,</math>
| |
| | <math> \tfrac 12 n(n-1) </math>
| |
| | <math> [\tfrac 12 n] </math>
| |
| | Space of orthogonal complex structures on <math>\mathbb{R}^{2n}</math>
| |
| |-
| |
| | <math>\mathrm{Sp}(2n,\mathbb C)\,</math>
| |
| | <math>\mathrm{Sp}(n)\,</math>
| |
| | <math>\mathrm{U}(n)\,</math>
| |
| | <math> \tfrac 12 n(n+1) </math>
| |
| | ''n''
| |
| | Space of complex structures on <math>\mathbb{H}^n</math> compatible with the inner product
| |
| |-
| |
| | <math>\mathrm{SO}(n+2,\mathbb{C})</math>
| |
| | <math>\mathrm{SO}(n+2)\,</math>
| |
| | <math>\mathrm{SO}(n) \times \mathrm{SO}(2)</math>
| |
| | ''n''
| |
| | 2
| |
| | [[Grassmannian]] of oriented real ''2''-dimensional subspaces of <math>\mathbb{R}^{n+2}</math>
| |
| |-
| |
| | <math>E_6^{\mathbb C}\,</math>
| |
| | <math>E_6\,</math>
| |
| | <math>\mathrm{SO}(10)\times\mathrm{SO}(2)</math>
| |
| | 16
| |
| | 2
| |
| | Complexification <math>(\mathbb{C}\otimes\mathbb{O})P^2</math> of the [[Cayley projective plane]] <math>\mathbb{O}P^2</math>
| |
| |-
| |
| | <math>E_7^{\mathbb C}</math>
| |
| | <math>E_7\,</math>
| |
| | <math>E_6\times\mathrm{SO}(2)</math>
| |
| | 27
| |
| | 3
| |
| | Space of symmetric submanifolds of [[Rosenfeld projective plane]] <math>(\mathbb{H}\otimes\mathbb{O})P^2</math> which are isomorphic to <math>(\mathbb{C}\otimes\mathbb{O})P^2</math>
| |
| |}
| |
| | |
| In terms of the classification of compact Riemannian symmetric spaces, the Hermitian symmetric spaces are the four infinite series AIII, DIII, CI and BDI with ''p'' = 2 or ''q'' = 2, and two exceptional spaces, namely EIII and EVII.
| |
| | |
| ===Classical examples===
| |
| The irreducible Hermitian symmetric spaces of compact type are all simply connected. The corresponding symmetry σ of the simply connected simple compact Lie group is inner, given by conjugation by the unique element ''S'' in ''Z''(''K'') / ''Z''(''H'') of period 2. For the classical groups, as in the table above, these symmetries are as follows:<ref>{{harvnb|Helgason|1978|pp=444–447,451–455}}</ref>
| |
| | |
| *AIII: <math>S=\begin{pmatrix}-\alpha I_p & 0\\ 0 & \alpha I_q\end{pmatrix}</math> in S(U(''p'')×U(''q'')), where α<sup>''p''+''q''</sup>=(−1)<sup>''p''</sup>.
| |
| *DIII: ''S'' = ''iI'' in U(''n'') ⊂ SO(2''n''); this choice is equivalent to <math>J_n=\begin{pmatrix}0 &I_n \\ -I_n & 0\end{pmatrix}</math>.
| |
| *CI: ''S''=''iI'' in U(''n'') ⊂ Sp(''n'') = Sp(''n'','''C''') ∩ U(2''n''); this choice is equivalent to ''J''<sub>''n''</sub>.
| |
| *BDI: <math>S=\begin{pmatrix}I_p & 0\\ 0 & -I_2\end{pmatrix}</math> in SO(''p'')×SO(2).
| |
| | |
| The maximal parabolic subgroup ''P'' can be described explicitly in these classical cases. For AIII
| |
| | |
| :<math>\displaystyle{P(p,q)= \begin{pmatrix}A_{pp} & B_{pq}\\ 0 & D_{qq}\end{pmatrix}}</math>
| |
| | |
| in SL(''p''+''q'','''C'''). ''P''(''p'',''q'') is the stabilizer of a subspace of dimension ''p'' in '''C'''<sup>''p''+''q''</sup>.
| |
| | |
| The other groups arise as fixed points of involutions. Let ''J'' be the ''n'' × ''n'' matrix with 1's on the antidiagonal and 0's elsewhere and set
| |
| | |
| :<math>\displaystyle{A=\begin{pmatrix} 0 & J\\ -J & 0\end{pmatrix}.}</math>
| |
| | |
| Then Sp(''n'','''C''') is the fixed point subgroup of the involution θ(''g'') = ''A'' (''g''<sup>''t''</sup>)<sup>−1</sup> ''A''<sup>−1</sup> of SL(2''n'','''C'''). SO(''n'','''C''') can be realised as the fixed points of ψ(''g'') = ''B'' (''g''<sup>''t''</sup>)<sup>−1</sup> ''B''<sup>−1</sup> in SL(''n'','''C''') where ''B'' = ''J''. These involutions leave invariant ''P''(''n'',''n'') in the cases DIII and CI and ''P''(''p'',2) in the case BDI. The corresponding parabolic subgroups ''P'' are obtained by taking the fixed points. The compact group ''H'' acts transitively on ''G'' / ''P'', so that ''G'' / ''P'' = ''H'' / ''K''.
| |
| | |
| ==Hermitian symmetric spaces of noncompact type==
| |
| | |
| ===Definition===
| |
| As with symmetric spaces in general, each compact Hermitian symmetric space ''H''/''K'' has a noncompact dual ''H''<sup>*</sup>/''K'' obtained by replacing ''H'' with the closed real Lie subgroup ''H''<sup>*</sup> of the complex Lie group ''G'' with Lie algebra
| |
| :<math>\mathfrak h^* = \mathfrak k \oplus i\mathfrak m\subset\mathfrak g.</math>
| |
| | |
| ===Borel embedding===
| |
| Whereas the natural map from ''H''/''K'' to ''G''/''P'' is an isomorphism, the natural map from ''H''<sup>*</sup>/''K'' to ''G''/''P'' is only an inclusion onto an open subset. This inclusion is called the '''Borel embedding''' after [[Armand Borel]]. In fact ''P'' ∩ ''H'' = ''K'' = ''P'' ∩ ''H''*. The images of ''H'' and ''H''* have the same dimension so are open. Since the image of ''H'' is compact, so closed, it follows that ''H''/''K'' = ''G''/''P''.<ref>See:
| |
| *{{harvnb|Borel|1952}}
| |
| *{{harvnb|Helgason|1978}}</ref>
| |
| | |
| ===Cartan decomposition===
| |
| The polar decomposition in the complex linear group ''G'' implies the Cartan decomposition ''H''* = ''K'' ⋅ exp <math>i\mathfrak{m}</math> in ''H''*.<ref>{{harvnb|Dieudonné|1977}}</ref>
| |
| | |
| Moreover given a maximal Abelian subalgebra <math>\mathfrak{a}</math> in t, ''A'' = exp <math>\mathfrak{a}</math> is a toral subgroup such that σ(''a'') = ''a''<sup>−1</sup> on ''A''; and any two such <math>\mathfrak{a}</math>'s are conjugate by an element of ''K''. A similar statement holds for <math>\mathfrak{a}^*=i\mathfrak{a}</math>. Morevoer if ''A''* = exp <math>\mathfrak{a}^*</math>, then
| |
| | |
| :<math>\displaystyle{H^*=KA^*K.}</math>
| |
| | |
| These results are special cases of the Cartan decomposition in any Riemannian symmetric space and its dual. The geodesics emanating from the origin in the homogeneous spaces can be identified with one parameter groups with generators in <math>i\mathfrak{m}</math> or <math>\mathfrak{m}</math>. Similar results hold for in the compact case: ''H''= ''K'' ⋅ exp <math>i\mathfrak{m}</math> and ''H'' = ''KAK''.<ref>{{harvnb||Helgason|1978}}</ref>
| |
| | |
| The properties of the [[totally geodesic]] subspace ''A'' can be shown directly. ''A'' is closed because the closure of ''A'' is a toral subgroup satisfying σ(''a'') = ''a''<sup>−1</sup>, so its Lie algebra lies in <math>\mathfrak{m}</math> and hence equals <math>\mathfrak{a}</math> by maximality. ''A'' can be generated topologically by a single element exp ''X'', so <math>\mathfrak{a}</math> is the centralizer of ''X'' in <math>\mathfrak{m}</math>. In the ''K''-orbit of any element of <math>\mathfrak{m}</math> there is an element ''Y'' such that (X,Ad ''k'' Y) is minimized at ''k'' = 1. Setting ''k'' = exp ''tT'' with ''T'' in <math>\mathfrak{k}</math>, it follows that (''X'',[''T'',''Y'']) = 0 and hence [''X'',''Y''] = 0, so that ''Y'' must lie in <math>\mathfrak{a}</math>. Thus <math>\mathfrak{m}</math> is the union of the conjugates of <math>\mathfrak{a}</math>. In particular some conjugate of ''X'' lies in any other choice of <math>\mathfrak{a}</math>, which centralizes that conjugate; so by maximality the only possibilities are conjugates of <math>\mathfrak{a}</math>.
| |
| <ref>{{harvnb||Helgason|1978|p=248}}</ref>
| |
| | |
| The decompositions
| |
| | |
| :<math>\displaystyle{H=KAK,\,\,\,H = K\cdot \exp \mathfrak{m}}</math>
| |
| | |
| can be proved directly by applying the [[slice theorem]] for [[transformation group|compact transformation groups]] to the action of ''K'' on ''H'' / ''K''.<ref>See:
| |
| *{{harvnb|Duistermaat|Kolk|2000}}
| |
| *{{harvnb|Bourbaki|1981|pp=35–36}}
| |
| *{{harvnb|Bourbaki|1982|pp=8–9}}</ref> In fact the space ''H'' / ''K'' can be identified with
| |
| | |
| :<math>\displaystyle{M=\{ \sigma(g)g^{-1}:g\in H\},}</math>
| |
| | |
| a closed submanifold of ''H'', and the Cartan decomposition follows by showing that ''M'' is the union of the ''kAk''<sup>−1</sup> for ''k'' in ''K''. Since this union is the continuous image of ''K'' × ''A'', it is compact and connected. So it suffices to show that the union is open in ''M'' and for this it is enough to show each ''a'' in ''A'' has an open neighbourhood in this union. Now by computing derivatives at 0, the union contains an open neighbourhood of 1. If ''a'' is central the union is invariant under multiplication by ''a'', so contains an open neighbourhood of ''a''. If ''a'' is not central, write ''a'' = ''b''<sup>2</sup> with ''b'' in ''A''. Then τ = Ad ''b'' − Ad ''b''<sup>−1</sup> is a skew-adjoint operator on <math>\mathfrak{h}</math> anticommuting with σ, which can be regarded as a '''Z'''<sub>2</sub>-grading operator σ on <math>\mathfrak{h}</math>. By an [[Euler–Poincaré characteristic]] argument it follows that the superdimension of <math>\mathfrak{h}</math> coincides with the superdimension of the kernel of τ. In other words
| |
| | |
| :<math>\displaystyle{\mathrm{dim} \,\mathfrak{k} - \mathrm{dim} \,\mathfrak{k}_a = \mathrm{dim} \,\mathfrak{m} - \mathrm{dim} \,\mathfrak{m}_a,}</math>
| |
| | |
| where <math>\mathfrak{k}_a</math> and <math>\mathfrak{m}_a</math> are the subspaces fixed by Ad ''a''. Let the orthogonal complement of <math>\mathfrak{k}_a</math> in <math>\mathfrak{k}</math> be <math>\mathfrak{k}_a^\perp</math>. Computing derivstives it follows that Ad ''e''<sup>''X''</sup> (''a'' ''e''<sup>''Y''</sup>), where ''X'' lies in <math>\mathfrak{k}_a^\perp</math> and ''Y'' in <math>\mathfrak{m}_a</math>, is an open neighbourhood of ''a'' in the union. Here the terms ''a'' ''e''<sup>''Y''</sup> lie in the union by the argument for central ''a'': indeed ''a'' is in the center of the identity component of the centralizer of ''a'' which is invariant under σ and contains ''A''.
| |
| | |
| The dimension of <math>\mathfrak{a}</math> is called the '''rank''' of the Hermitian symmetric space.
| |
| | |
| ===Strongly orthogonal roots===
| |
| In the case of Hermitian symmetric spaces, Harish-Chandra gave a canonical choice for <math>\mathfrak{a}</math>.
| |
| This choice of <math>\mathfrak{a}</math> is determined by taking a maximal torus ''T'' of ''H'' in ''K'' with Lie algebra <math>\mathfrak{t}</math>. Since the symmetry σ is implemented by an element of ''T'' lying in the centre of ''H'', the root spaces <math>\mathfrak{g}_\alpha</math> in <math>\mathfrak{g}</math> are left invariant by σ. It acts as the identity on those contained in <math>\mathfrak{k}_{\mathbb{C}}</math> and minus the identity on those in <math>\mathfrak{m}_{\mathbb{C}}</math>.
| |
| | |
| The roots with root spaces in <math>\mathfrak{k}_{\mathbb{C}}</math>
| |
| are called '''compact roots''' and those with root spaces in <math>\mathfrak{m}_{\mathbb{C}}</math> are called '''noncompact roots'''. (This terminology originates from the symmetric space of noncompact type.) If ''H'' is simple, the generator ''Z'' of the centre of ''K'' can be used to define a set of positive roots, according to the sign of α(''Z''). With this choice of roots <math>\mathfrak{m}_+</math> and <math>\mathfrak{m}_-</math> are the direct sum of the root spaces <math>\mathfrak{g}_\alpha</math> over positive and negative noncompact roots α. Root vectors ''E''<sub>α</sub> can be chosen so that
| |
| | |
| :<math>\displaystyle{X_\alpha=E_\alpha + E_{-\alpha}, \,\,\, Y_\alpha=i(E_\alpha - E_{-\alpha})}</math>
| |
| | |
| lie in <math>\mathfrak{h}</math>. The simple roots α<sub>1</sub>, ...., α<sub>''n''</sub> are the indecomposable positive roots. These can be numbered so that α<sub>''i''</sub> vanishes on the center of <math>\mathfrak{h}</math> for ''i'', whereas α<sub>1</sub> does not. Thus α<sub>1</sub> is the unique noncompact simple root and the other simple roots are compact. Any positive noncompact root then has the form β = α<sub>1</sub> + ''c''<sub>2</sub> α<sub>2</sub> + ⋅⋅⋅ + ''c''<sub>''n''</sub> α<sub>''n''</sub> with non-negative coefficients ''c''<sub>''i''</sub>. These corfficients lead to a [[lexicographic order]] on positive roots. The coefficient of α<sub>1</sub> is always one because <math>\mathfrak{m}_-</math> is irreducible for ''K'' so is spanned by vectors obtained by successively applying the lowering operators ''E''<sub>–α</sub> for simple compact roots α.
| |
| | |
| Two roots α and β are said to be '''strongly orthogonal''' if ±α ±β are not roots or zero, written α ≐ β. The highest positive root ψ<sub>1</sub> is noncompact. Take ψ<sub>2</sub> to be the highest noncompact positive root strongly orthogonal to ψ<sub>1</sub> (for the lexicographic order). Then continue in this way taking ψ<sub>3''i'' + 1</sub> to be the highest noncompact positive root strongly orthogonal to ψ<sub>1</sub>, ..., ψ<sub>''i''</sub> until the process terminates. The corresponding vectors
| |
| | |
| :<math>\displaystyle{X_i= E_{\psi_i} + E_{-\psi_i}}</math>
| |
| | |
| lie in <math>\mathfrak{m}</math> and commute by strong orthogonality. Their span <math>\mathfrak{a}</math> is Harish-Chandra's canonical maximal Abelian subalgebra.<ref>See:
| |
| *{{harvnb|Helgason|1978|pp=375–387}}
| |
| *{{harvnb|Wolf|1972}}
| |
| *{{harvnb|Mok|1989|pp=88–94}}</ref> (As Sugiura later showed, having fixed ''T'', the set of strongly orthogonal roots is uniquely determined up to applying an element in the Weyl group of ''K''.<ref>{{harvnb|Agaoka|Kaneda|2002}}</ref>)
| |
| | |
| Maximality can be checked by showing that if
| |
| | |
| :<math>\displaystyle{[\sum c_\alpha E_\alpha + \overline{c_\alpha}E_{-\alpha}, E_{\psi_i} + E_{-\psi_i}]=0}</math>
| |
| | |
| for all ''i'', then ''c''<sub>α</sub> = 0 for all positive noncompact roots α different from the ψ<sub>''j''</sub>'s. This follows by showing inductively that if ''c''<sub>α</sub> ≠ 0, then α is strongly orthogonal to ψ<sub>1</sub>, ψ<sub>2</sub>, ... a contradiction. Indeed the above relation shows ψ<sub>''i''</sub> + α cannot be a root; and that if ψ<sub>''i''</sub> – α is a root, then it would necessarily have the form β – ψ<sub>''i''</sub>. If ψ<sub>''i''</sub> – α were negative, then α would be a higher positive root than ψ<sub>''i''</sub>, strongly orthogonal to the ψ<sub>''j''</sub> with ''j'' < ''i'', which is not possible; similarly if β – ψ<sub>''i''</sub> were positive.
| |
| | |
| ===Polysphere and polydisk theorem===
| |
| Harish-Chandra's canonical choice of <math>\mathfrak{a}</math> leads to a polydisk and polysphere theorem in ''H''*/''K'' and ''H''/''K''. This result reduces the geometry to products of the prototypic example involving SL(2,'''C'''), SU(1,1) and SU(2), namely the unit disk inside the Riemann sphere.
| |
| | |
| In the case of ''H'' = SU(2) the symmetry σ is given by conjugation by the diagonal matrix with entries ±''i'' so that
| |
| | |
| :<math>\displaystyle{\sigma\begin{pmatrix} \alpha & \beta\\ -\overline{\beta} & \overline{\alpha}\end{pmatrix} =
| |
| \begin{pmatrix} \alpha & -\beta\\ \overline{\beta} & \overline{\alpha}\end{pmatrix}}</math>
| |
| | |
| The fixed point subgroup is the maximal torus ''T'', the diagonal matrices with entries ''e''<sup> ±''it''</sup>. SU(2) acts on the Riemann sphere '''C''' ∪ ≈ transitively by Möbius transformations and ''T'' is the stabilizer of 0. SL(2,'''C'''), the complexification of SU(2), also acts by Möbius transformations and the stabiliser of 0 is the subgroup ''B'' of lower triangular matrices. The noncompact subgroup SU(1,1) acts with precisely three orbits: the open unit disk |''z''| < 1; the unit circle ''z'' = 1; and its exterior |''z''| > 1. Thus
| |
| | |
| :<math>\displaystyle{\mathrm{SU}(1,1)/\mathbf{T} = \{z: |z|<1\} \,\,\, \subset \,\,\, B_+/\mathbf{T}_{\mathbb{C}} = \mathbb{C}\,\,\, \subset \,\,\,\mathrm{SL}(2,\mathbb{C})/B = \mathbb{C}\cup\{\infty\},}</math>
| |
| | |
| where ''B''<sub>+</sub> and ''T''<sub>'''C'''</sub> denote the subgroups of upper triangular and diagonal matrices in SL(2,'''C'''). The middle term is the orbit of 0 under the upper unitriangular matrices
| |
| | |
| :<math>\displaystyle{\begin{pmatrix} 1 & z\\ 0 & 1\end{pmatrix} =\exp \begin{pmatrix} 0 & z\\ 0 & 0\end{pmatrix}.}</math>
| |
| | |
| Now for each root ψ<sub>''i''</sub> there is a homomorphism of π<sub>''i''</sub> of SU(2) into ''H'' which is compatible with the symmetries. It extends uniquely to a homomorphism of SL(2,'''C''') into ''G''. The images of the Lie algebras for different ψ<sub>''i''</sub>'s since they are strongly orthogonal. Thus there is a homomorphism π of the direct product SU(2)<sup>''r''</sup> into ''H'' compatible with the symmetries. It extends to a homomorphism of SL(2,'''C''')<sup>''r''</sup> into ''G''. The kernel of π is contained in the center (±1)<sup>''r''</sup> of SU(2)<sup>''r''</sup> which is fixed pointwise by the symmetry. So the image of the center under π lies in ''K''. Thus there is an embedding of the polysphere (SU(2)/T)<sup>''r''</sup> into ''H'' / ''K'' = ''G'' / ''P'' and the polysphere contains the polydisk (SU(1,1)/T)<sup>''r''</sup>. The polysphere and polydisk are the direct product of ''r'' copies of the Riemann sphere and the unit disk. By the Cartan decompositions in SU(2) and SU(1,1),
| |
| the polysphere is the orbit of ''T''<sub>r</sub>''A'' in ''H'' / ''K'' and the polydisk is the orbit of ''T''<sub>''r''</sub>''A''*, where ''T''<sub>''r''</sub> = π('''T'''<sup>''r''</sup>) ⊆ ''K''. On the other hand ''H'' = ''KAK'' and ''H''* = ''K'' ''A''* ''K''.
| |
| | |
| Hence every element in the compact Hermitian symmetric space ''H'' / ''K'' is in the ''K''-orbit of a point in the polysphere; and every element in the image under the Borel embedding of the noncompact Hermitian symmetric space ''H''* / ''K'' is in the ''K''-orbit of a point in the polydisk.<ref>See:
| |
| *{{harvnb|Wolf|1972}}
| |
| *{{harvnb|Helgason|1978}}
| |
| &{{harvnb|Mok|1989|pp=88–94}}</ref>
| |
| | |
| ===Harish-Chandra embedding===
| |
| ''H''* / ''K'', the Hermitian symmetric space of noncompact type, lies in the image of <math>\exp \mathfrak m_+</math>, a dense open subset of ''H'' / ''K'' biholomorphic to <math>\mathfrak m_+</math>. The corresponding domain in <math>\mathfrak m_+</math> is bounded. This is the '''Harish-Chandra embedding''' named after [[Harish-Chandra]].
| |
|
| |
| In fact Harish-Chandra showed the following properties of the space <math>\mathbf{X}=\exp (\mathfrak{m}_+)\cdot K_{\mathbb{C}} \cdot \exp(\mathfrak{m}_-)=\exp (\mathfrak{m}_+)\cdot P</math>:
| |
| | |
| # As a space, '''X''' is the direct product of the three factors.
| |
| # '''X''' is open in ''G''.
| |
| # '''X''' is dense in ''G''.
| |
| # '''X''' contains ''H''*.
| |
| # The closure of ''H''* / ''K'' in '''X''' / ''P'' = <math>\exp \mathfrak{m}_+ </math> is compact.
| |
| | |
| In fact <math>M_\pm=\exp \mathfrak{m}_\pm</math> are complex Abelian groups normalised by ''K''<sub>'''C'''</sub>. Moreover <math>[\mathfrak{m}_+,\mathfrak{m}_-] \subset \mathfrak{k}_{\mathfrak{C}}</math> since <math>[\mathfrak{m},\mathfrak{m}] \subset \mathfrak{k}</math>.
| |
| | |
| This implies ''P'' ∩ ''M''<sub>+</sub> = {1}. For if ''x'' = ''e''<sup>''X''</sup> with ''X'' in
| |
| <math>\mathfrak{m}_+</math> lies in ''P'', it must normalize ''M''<sub>-</sub> and hence <math>\mathfrak{m}_-</math>. But if ''Y'' lies in <math>\mathfrak{m}_-</math>, then
| |
| | |
| :<math>\displaystyle{Y=\mathrm{Ad}(X)\cdot Y= Y + [X,Y] + {1\over 2} [X,[X,Y]]\in \mathfrak{m}_+ \oplus \mathfrak{k}_{\mathbb{C}} \oplus \mathfrak{m}_-,}</math>
| |
| | |
| so that ''X'' commutes with <math>\mathfrak{m}_-</math>. But if ''X'' commutes with every noncompact root space, it must be 0, so ''x'' = 1. It follows that the multiplication map μ on ''M''<sub>+</sub> × ''P'' is injective so (1) follows. Similarly the derivative of μ at (''x'',''p'') is
| |
| | |
| :<math>\displaystyle{\mu^\prime(X,Y)=\mathrm{Ad}(p^{-1})X + Y =\mathrm{Ad}(p^{-1})(X\oplus\mathrm{Ad}(p)Y),}</math>
| |
| | |
| which is injective, so (2) follows. For the special case ''H'' = SU(2), ''H''* = SU(1,1) and ''G'' = SL(2,'''C''') the remaining assertions are consequences of the identification with the Riemann sphere, '''C''' and unit disk. They can be applied to the groups defined for each root ψ<sub>''i''</sub>. By the polysphere and polydisk theorem ''H''*/''K'', '''X'''/''P'' and ''H''/''K'' are the union of the ''K''-translates of the polydisk, '''C'''<sup>''r''</sup> and the polysphere. So ''H''* lies in '''X''', the closure of ''H''*/''K'' is compact in '''X'''/''P'', which is in turn dense in ''H''/''K''.
| |
| | |
| Note that (2) and (3) are also consequences of the fact that the image of ''X'' in ''G''/''P'' is that of the big cell ''B''<sub>+</sub>''B'' in the [[Complexification (Lie group)#Gauss decomposition|Gauss decomposition]] of ''G''.<ref>See:
| |
| *{{harvnb|Helgason|1978|pp=382–396}}
| |
| *{{harvnb|Wolf|1972|p=281}}
| |
| *{{harvnb|Mok|1989}}
| |
| </ref>
| |
| | |
| Using results on the [[restricted root system]] of the symmetric spaces ''H''/''K'' and ''H''*/''K'',
| |
| [[Robert Hermann (mathematician)|Hermann]] showed that the image of ''H''*/''K'' in <math>\mathfrak{m}_+</math> is a generalized unit disk. In fact it is the [[convex set]] of ''X'' for which the [[operator norm]] of ad Im ''X'' is less than one.<ref>See:
| |
| *{{harvnb|Wolf|1972|pp=284–286}}
| |
| *{{harvnb|Mok|1989|p=98}}</ref>
| |
| | |
| ===Bounded symmetric domains===
| |
| A bounded domain ''Ω'' in a complex vector space is said to be a '''bounded symmetric domain''' if for every ''x'' in ''Ω'', there is an involutive biholomorphism ''σ''<sub>''x''</sub> of ''Ω'' for which ''x'' is an isolated fixed point. The Harish-Chandra embedding exhibits every Hermitian symmetric space of noncompact type ''H''* / ''K'' as a bounded symmetric domain. The biholomorphism group of ''H''<sup>*</sup> / ''K'' is equal to its isometry group ''H''<sup>*</sup>.
| |
| | |
| Conversely every bounded symmetric domain arises in this way. Indeed given a bounded symmetric domain ''Ω'', the [[Bergman kernel]] defines a [[Riemannian metric|metric]] on ''Ω'', the [[Bergman metric]], for which every biholomorphism is an isometry. This realizes ''Ω'' as a Hermitian symmetric space of noncompact type.<ref>See:
| |
| *{{harvnb|Helgason|1978}}
| |
| *{{harvnb|Wolf|1972}}
| |
| *{{harvnb|Mok|1989}}</ref>
| |
| | |
| ===Classification===
| |
| The irreducible bounded symmetric domains are called '''Cartan domains''' and are classified as follows.
| |
| | |
| {| class="wikitable"
| |
| |-
| |
| ! Type
| |
| ! width=10% |complex dimension
| |
| ! geometric interpretation
| |
| |-
| |
| | I<sub>''pq''</sub>
| |
| | ''pq''
| |
| | Complex ''p'' × ''q'' matrices with operator norm less than 1
| |
| |-
| |
| | II<sub>''n''</sub> (''n'' > 4)
| |
| | ''n''(''n'' − 1)/2
| |
| | Complex antisymmetric ''n'' × ''n'' matrices with operator norm less than 1
| |
| |-
| |
| | III<sub>''n''</sub> (''n'' > 1)
| |
| | ''n''(''n'' + 1)/2
| |
| | Complex symmetric ''n'' × ''n'' matrices with operator norm less than 1
| |
| |-
| |
| | IV<sub>''n''</sub>
| |
| | ''n''
| |
| | Lie-sphere:<math>|z|^2< {1\over 2} (1 + (z\cdot z)^2) < 1 </math>
| |
| |-
| |
| | V
| |
| | 16
| |
| | 2 × 2 matrices over the [[Cayley algebra]] with operator norm less than 1
| |
| |-
| |
| | VI
| |
| | 27
| |
| | 3 × 3 Hermitian matrices over the [[Cayley algebra]] with operator norm less than 1
| |
| |}
| |
| | |
| ===Classical domains===
| |
| In the classical cases (I–IV), the noncompact group can be realized by 2 × 2 block matrices<ref>See:
| |
| *{{harvnb|Borel|1952}}
| |
| *{{harvnb|Wolf|1972|pp=321–331}}
| |
| *{{harvnb|Mok|1989|pp=61–80}}</ref>
| |
| | |
| :<math>\displaystyle{g=\begin{pmatrix} A & B \\ C & D\end{pmatrix}}</math>
| |
| | |
| acting by generalized [[Möbius transformation]]s
| |
| | |
| :<math>\displaystyle{g(Z)=(AZ+B)(CZ+D)^{-1}.}</math>
| |
| | |
| The polydisk theorem takes the following concrete form in the classical cases:<ref>See:
| |
| *{{harvnb|Siegel|1943|pp=14–15}}
| |
| *{{harvnb|Mok|1989|pp=61–80}}</ref>
| |
| | |
| * '''Type I'''<sub>'''''pq'''''</sub> (''p'' ≤ ''q''): for every ''p'' × ''q'' matrix ''M'' there are unitary matrices such that ''UMV'' is diagonal. In fact this follows from the [[polar decomposition]] for ''p'' × ''p'' matrices.
| |
| | |
| * '''Type III'''<sub>'''''n'''''</sub>: for every complex symmetric ''n'' × ''n'' matrix ''M'' there is a unitary matrix ''U'' such that ''UMU''<sup>''t''</sup> is diagonal. This is proved by a classical argument of [[Carl Ludwig Siegel|Siegel]]. Take ''V'' unitary so that ''V''*''M''*''MV'' is diagonal. Then ''V''<sup>''t''</sup>''MV'' is symmetric and its real and imaginary parts commute. Since they are real symmetric matrices they can be simultaneously diagonalized by a real orthogonal matrix ''W''. So ''UMU''<sup>''t''</sup> is diagonal if ''U'' = ''WV''<sup>''t''</sup>.
| |
| | |
| * '''Type II'''<sub>'''''n'''''</sub>: for every complex skew symmetric ''n'' × ''n'' matrix ''M'' there is a unitary matrix such that ''UMU''<sup>''t''</sup> is made up of diagonal blocks <math>\begin{pmatrix} 0 & a\\ -a & 0\end{pmatrix}</math> and one zero if ''n'' is odd. As in Siegel's artgument, this can be reduced to case where the real and imaginary parts of ''M'' commute. Any real skew-symmetric matrix can be reduced to the given [[Skew-symmetric matrix#Spectral theory|canonical form]] by an orthogonal matrix and this can be done simultaneously for commuting matrices.
| |
| | |
| * '''Type IV'''<sub>'''''n'''''</sub>: by a transformation in SO(''n'') × S0(2) any vector can be transformed so that all but the first two coordinates are non-zero.
| |
| | |
| ===Boundary components===
| |
| The noncompact group ''H''* acts on the complex Hermitian symmetric space ''H''/''K'' = ''G''/''P'' with only finitely many orbits. The orbit structure is described in detail in {{harvtxt|Wolf|1972}}. In particular the closure of the bounded domain ''H''*/''K'' has a unique closed orbit, which is the [[Shilov boundary]] of the domain. In general the orbits are unions of Hermitian symmetric spaces of lower dimension. The complex function theory of the domains, in particular the analogue of the [[Cauchy integral formula]]s, are described for the Cartan domains in {{harvtxt|Hua|1979}}. The closure of the bounded domain is the [[Baily–Borel compactification]] of ''H''*/''K''.<ref>{{harvnb|Borel|Ji|2006|pp=77–91}}</ref>
| |
| | |
| The boundary structure can be described using [[Cayley transform]]s. For each copy of SU(2) defined by one of the noncompact roots ψ<sub>''i''</sub>, there is a Cayley transform ''c''<sub>''i''</sub> which as a Möbius transformation maps the unit disk onto the upper half plane. Given a subset ''I'' of indices of the strongly orthogonal family ψ<sub>1</sub>, ..., ψ<sub>''r''</sub>, the ''partial Cayley transform'' ''c''<sub>''I''</sub> is defined as the product of the ''c''<sub>''i''</sub>'s with ''i'' in ''I'' in the product of the groups π<sub>''i''</sub>. Let ''G''(''I'') be the centralizer of this product in ''G'' and ''H''*(''I'') = ''H''* ∩ ''G''(''I''). Since σ leaves ''H''*(''I'') invariant, there is a corresponding Hermitian symmetric space ''M''<sub>''I''</sub> ''H''*(''I'')/''H''*(''I'')∩''K'' ⊂ ''H''*/''K'' = ''M'' . The boundary component for the subset ''I'' is the union of the ''K''-translates of ''c''<sub>''I''</sub> ''M''<sub>''I''</sub>. When ''I'' is the set of all indices, ''M''<sub>''I''</sub> is a single point and the boundary component is the Shilov boundary. Moreover ''M''<sub>''I''</sub> is in the closure of ''M''<sub>''J''</sub> if and only if ''I'' ⊇ ''J''.<ref>{{harvnb|Wolf|1972|pp=286–293}}</ref>
| |
| | |
| ==Geometric properties==
| |
| Every Hermitian symmetric space is a [[Kähler manifold]]. They can be defined equivalently as Riemannian symmetric spaces with a parallel complex structure with respect to which the Riemannian metric is [[Hermitian metric|Hermitian]]. The complex structure is automatically preserved by the isometry group ''H'' of the metric, and so any Hermitian symmetric space ''M'' is a homogeneous complex manifold. Some examples are [[complex vector space]]s and [[complex projective space]]s, with their usual [[Hermitian metric]]s and [[Fubini-Study metric]]s, and the complex [[unit ball]]s with suitable metrics so that they become [[complete]] and Riemannian symmetric. The [[compact space|compact]] Hermitian symmetric spaces are [[projective variety|projective varieties]], and admit a strictly larger [[Lie group]] ''G'' of [[biholomorphism]]s with respect to which they are homogeneous: in fact, they are [[generalized flag manifold]]s, i.e., ''G'' is [[semisimple Lie group|semisimple]] and the stabilizer of a point is a [[parabolic subgroup]] ''P'' of ''G''. Among (complex) generalized flag manifolds ''G''/''P'', they are characterized as those for which the [[Nilradical of a Lie algebra|nilradical]] of the Lie algebra of ''P'' is abelian. The non-compact Hermitian symmetric spaces can be realized as bounded [[domain (mathematics)|domains]] in complex vector spaces.
| |
| | |
| ==Jordan algebras==
| |
| {{See also|Mutation (Jordan algebra)|Symmetric cone|Quadratic Jordan algebra}}
| |
| Although the classical Hermitian symmetric spaces can be constructed by ad hoc methods, [[Jordan triple system]]s, or equivalently Jordan pairs, provide a uniform algebraic means of describing all the basic properties connected with a Hermitian symmetric space of compact type and its non-compact dual. This theory is described in detail in {{harvtxt|Koecher|1969}} and {{harvtxt|Loos|1977}} and summarized in {{harvtxt|Satake|1981}}. The development is in the reverse order from that using the structure theory of compact Lie groups. It starting point is the Hermitian symmetric space of noncompact type realized as a bounded symmetric domain. It can be described in terms of a [[Jordan pair]] or hermitian [[Jordan triple system]]. This Jordan algebra structure can be used to reconstruct the dual Hermitian symmetric space of compact type, including in particular all the associated Lie algebras and Lie groups.
| |
| | |
| The theory is easiest to describe when the irreducible compact Hermitian symmetric space is of tube type. In that case the space is determined by a simple real Lie algebra <math>\mathfrak{g}</math>
| |
| with negative definite Killing form. It must admit an action of SU(2) which only acts via the trivial and adjoint representation, both types occurring. Since <math>\mathfrak{g}</math> is simple, this action is inner, so implemented by an inclusion of the Lie algebra of SU(2) in <math>\mathfrak{g}</math>. The complexification of <math>\mathfrak{g}</math> decomposes as a direct sum of three eigenspaces for the diagonal matrices in SU(2). It is a three-graded complex Lie algebra, with the Weyl group element of SU(2) providing the involution. Each of the ±1 eigenspaces has the structure of a unital complex Jordan algebra explicitly arising as the complexification of a Euclidean Jordan algebra. It can be identified with the multiplicity space of the adjoint representation of SU(2) in <math>\mathfrak{g}</math>.
| |
| | |
| The description of irreducible Hermitian symmetric spaces of tube type starts from a simple Euclidean Jordan algebra ''E''. It admits [[Jordan frame]]s, i.e. sets of orthogonal minimal idempotents ''e''<sub>''1''</sub>, ..., ''e''<sub>''m''</sub>. Any two are related by an automorphism of ''E'', so that the integer ''m'' is an invariant called the '''rank''' of ''E''. Moreover if ''A'' is the complexification of ''E'', it has a unitary [[structure group (Jordan algebra)|structure group]]. It is a subgroup of GL(''A'') preserving the natural complex inner product on ''A''. Any element ''a'' in ''A'' has a polar decomposition {{math|1=''a'' = ''u'' ∑ α<sub>''i''</sub> ''a''<sub>''i''</sub>}} with {{math|1=α<sub>''i''</sub> ≥ 0}}. The spectral norm is defined by ||a|| = sup α<sub>''i''</sub>. The associated [[bounded symmetric domain]] is just the open unit ball ''D'' in ''A''. There is a biholomorphism between ''D'' and the tube domain ''T'' = ''E'' + ''iC'' where ''C'' is the open self-dual convex cone of elements in ''E'' of the form {{math|1=''a'' = ''u'' ∑ α<sub>''i''</sub> ''a''<sub>''i''</sub>}} with ''u'' an automorphism of ''E'' and α<sub>''i''</sub> > 0. This gives two descriptions of the Hermitian symmetric space of noncompact type. There is a natural way of using [[mutation (Jordan algebra)|mutations]] of the Jordan algebra ''A'' to compactify the space ''A''. The compactification ''X'' is a complex manifold and the finite dimensional Lie algebra <math>\mathfrak{g}</math> of holomorphic vector fields on ''X'' can be determined explicitly. One parameter groups of biholomorphisms can be defined such that the corresponding holomorphic vector fields span <math>\mathfrak{g}</math>. This includes the group of all complex Moebius transformations corresponding to matrices in SL(2,'''C'''). The subgroup SU(1,1) leaves invariant the unit ball and its closure. The subgroup SL(2,'''R''') leaves invariant the tube domain and its closure. The usual Cayley transform and its inverse, mapping the unit disk in '''C''' to the upper half plane, establishes analogous maps between ''D'' and ''T''. The polydisk corresponds to the real and complex Jordan subalgebras generated by a fixed Jordan frame. It admits a transitive action of SU(2)<sup>''m''</sup> and this action extends to ''X''. The group ''G'' generated by the one-parameter groups of biholomorphisms acts faithfully on <math>\mathfrak{g}</math>. The subgroup generated by the identity component ''K'' of the unitary structure group and the operators in SU(2)<sup>''m''</sup>. It defines a compact Lie group ''H'' which acts transitively on ''X''. Thus ''H'' / ''K'' is the corresponding Hermitian symmetric space of compact type. The group ''G'' can be identified with the [[complexification (Lie group)|complexification]] of ''H''. The subgroup ''H''* leaving ''D'' invariant is a noncompact real form of ''G''. It acts transitively on ''D'' so that ''H''* / ''K'' is the dual Hermitian symmetric space of noncompact type. The inclusions ''D'' ⊂ ''A'' ⊂ ''X'' reproduce the Borel and Harish-Chandra embeddings. The classification of Hermitian symmetric spaces of tube type reduces to that of simple Euclidean Jordan algebras. These were classified by {{harvtxt|Jordan|von Neumann|Wigner|1934}} in terms of [[Euclidean Hurwitz algebra]]s, a special type of [[composition algebra]].
| |
| | |
| In general a Hermitian symmetric space gives rise to a 3-graded Lie algebra with a period 2 conjugate linear automorphism switching the parts of degree ±1 and preserving the degree 0 part. This gives rise to the structure of a [[Jordan pair]] or hermitian [[Jordan triple system]], to which {{harvtxt|Loos|1977}} extended the theory of Jordan algebras. All irreducible Hermitian symmetric spaces can be constructed uniformly within this framework. {{harvtxt|Koecher|1969}} constructed the irreducible Hermitian symmetric space of non-tube type from a simple Euclidean Jordan algebra together with a period 2 automorphism. The −1 eigenspace of the automorphism has the structure of a Jordan pair, which can be deduced from that of the larger Jordan algebra. In the non-tube type case corresponding to a [[Siegel domain]] of type II, there is no distinguished subgroup of real or complex Moebius transformations. For irreducible Hermitian symmetric spaces, tube type is characterized by the real dimension of the Shilov boundary {{math|''S''}} being equal to the complex dimension of {{math|''D''}}.
| |
| | |
| ==See also==
| |
| *[[Complexification (Lie group)|Complexification]]
| |
| *[[Borel–de Siebenthal theory]]
| |
| *[[Baily–Borel compactification]]
| |
| *[[Invariant convex cone]]
| |
| | |
| ==Notes==
| |
| {{reflist|3}}
| |
| | |
| ==References==
| |
| *{{citation|last=Agaoka|first= Yoshio|last2=Kaneda|first2= Eiji|title= Strongly orthogonal subsets in root systems|journal= Hokkaido Math. J.|volume= 31 |year=2002|pages=107–136}}
| |
| *{{citation|last=Arazy|first=Jonathan|title =A survey of invariant Hilbert spaces of analytic functions on bounded symmetric domains|pages=7–65|journal=Contemporary Mathematics|volume=185|year=1995}}
| |
| *{{citation|last=Borel|first= Armand |title=Les espaces hermitiens symétriques, Exposé No. 62|series= Séminaire Bourbaki| volume=2 |url=http://www.numdam.org/numdam-bin/fitem?id=SB_1951-1954__2__121_0|year=1952}}
| |
| *{{citation|title=Compactifications of Symmetric and Locally Symmetric Spaces|first=Armand|last= Borel| first2=Lizhen|last2= Ji|publisher=Springer|year= 2006|isbn=0817632476}}
| |
| *{{citation|first=N.|last=Bourbaki|series=Éléments de Mathématique|title=Groupes et Algèbres de Lie (Chapitres 7-8)|publisher=Masson|year=1981|isbn=3540339396}}
| |
| *{{citation|first=N.|last=Bourbaki|series=Éléments de Mathématique|title=Groupes et Algèbres de Lie (Chapitre 9)|publisher=Masson|year=1982|isbn=354034392X}}
| |
| *{{citation|journal=Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg|year=1935|volume=11|pages=116–162|title=
| |
| Sur les domaines bornés homogènes de l’espace des variables complexes|url=http://link.springer.com/article/10.1007%2FBF02940719?LI=true|first=Élie|last= Cartan}}
| |
| *{{citation|last=Dieudonné|first= J.|series =Treatise on analysis|title=Compact Lie groups and semisimple Lie groups, Chapter XXI|volume=5|publisher=Academic Press|year= 1977|isbn= 012215505X}}
| |
| *{{citation|title=Lie groups|publisher=Springer|year= 2000|isbn=3540152938|first=J.J.|last=Duistermaat|first2=A.|last2=Kolk|series=Universitext}}
| |
| *{{citation|last=Gilmore|first=Robert|title=Lie groups, Lie algebras, and some of their applications|publisher=Krieger|year=1994|isbn=0-89464-759-8}}
| |
| * {{citation|first=Sigurdur|last= Helgason|title=Differential geometry, Lie groups, and symmetric spaces|year=1978|publisher=Academic Press|isbn= 0-8218-2848-7}} The standard book on Riemannian symmetric spaces.
| |
| * {{citation|first=Sigurdur|last=Helgason|title=Geometric Analysis on Symmetric Spaces|publisher= American Mathematical Society|year= 1994|isbn= 0-8218-1538-5}}
| |
| *{{citation|last=Hua|first= L. K.|title= Harmonic analysis of functions of several complex variables in the classical domains|series= Translations of Mathematical Monographs|volume=6|publisher=American Mathematical Society, Providence|year=1979|isbn=0-8218-1556-3}}
| |
| *{{citation|last=Jordan|first=P.|last2=von Neumann|first2= J.|last3= Wigner|first3= E.|title=
| |
| On an algebraic generalization of the quantum mechanical formalism|journal=Ann. of Math.|volume= 35| year=1934|pages= 29–64|url=http://www.jstor.org/stable/1968117}}
| |
| *{{citation|last=Knapp|first= Anthony W.|chapter=Bounded symmetric domains and holomorphic discrete series|title= Symmetric spaces (Short Courses, Washington University)|pages= 211–246|publisher= Dekker|year= 1972|editor1-first=William|editor1-last=Boothby|editor2-first=Guido|editor2-last=Weiss|series=Pure and Applied Mathematics|volume=8}}
| |
| *{{citation|last=Kobayashi|first=Shoshichi|last2=Nomizu|first2=Katsumi|title=Foundations of differential geometry|volume=2|publisher=Wiley-Interscience|year=1996|isbn=0-471-15732-5}}
| |
| *{{citation|first=Max|last=Koecher|title=An elementary approach to bounded symmetric domains|year=1969|series=Lecture notes in mathematics|publisher=Rice University|url=http://archive.org/details/lecturenotesinma19691rice}}
| |
| *{{citation|last=Loos|first=Ottmar|title=Bounded symmetric domains and Jordan pairs|series=Mathematical lectures|publisher=University of California, Irvine|year=1977|url=http://molle.fernuni-hagen.de/~loos/jordan/archive/irvine/irvine.pdf}}
| |
| * {{citation|first=Ngaiming|last= Mok|title=Metric Rigidity Theorems on Hermitian Locally Symmetric Manifolds|publisher= World Scientific|year=1989|isbn=9971-5-0802-8}}
| |
| * {{citation|title=Algebraic Structures of Symmetric Domains|first=Ichiro|last= Satake|year=1981|publisher=Princeton University Press|isbn=9780691082714}}
| |
| *{{citation|title=Symplectic Geometry|first=Carl Ludwig|last= Siegel|journal= American Journal of Mathematics|volume=65|year= 1943|pages= 1–86|url= http://www.jstor.org/stable/2371774}}
| |
| *{{citation|first=Joseph A.|last=Wolf|title=On the Classification of Hermitian Symmetric Spaces|journal=Indiana Univ. Math. J.|volume=13|year=1964|pages=489–495|url=http://www.iumj.indiana.edu/IUMJ/FULLTEXT/1964/13/13028}}
| |
| * {{citation|last=Wolf|first=Joseph A.|title=Spaces of constant curvature|publisher= American Mathematical Society|edition= 6th|year=2010|series= AMS Chelsea Publishing|isbn=0821852825}}. Chapter 8 contains a self-contained account of Hermitian symmetric spaces of compact type.
| |
| *{{citation|last=Wolf|first= Joseph A.|chapter=Fine structure of Hermitian symmetric spaces|title= Symmetric spaces (Short Courses, Washington University)|pages= 271–357|publisher= Dekker|year= 1972|editor1-first=William|editor1-last=Boothby|editor2-first=Guido|editor2-last=Weiss|series=Pure and Applied Mathematics|volume=8}}. This contains a detailed account of Hermitian symmetric spaces of noncompact type.
| |
| | |
| [[Category:Differential geometry]]
| |
| [[Category:Complex manifolds]]
| |
| [[Category:Riemannian geometry]]
| |
| [[Category:Lie groups]]
| |
| [[Category:Homogeneous spaces]]
| |