, , ,

Keywords. Symmetric space, Involution, Embedded submanifold

1 Introduction

Suppose

G

is a connected Lie group with an involution

σ

. Then the Lie algebra

g

G

has a canonical decomposition

g = k \oplus p

, where

k

and

p

are the eigenspaces of

d σ

g

with eigenvalues

1

and

- 1

, respectively. Let

G^{σ} = {g \in G | σ (g) = g}

, and suppose

K

is an open subgroup of

G^{σ}

. Suppose moreover that

A d_{G} (K) |_{p}

is compact, that is,

G / K

has a structure of Riemannian symmetric space. In the particular case that

K = G^{σ}

, it was proved in [1] that

P = exp (p)

is a closed submanifold of

G

, and there is a natural isomorphism

G / G^{σ} \sim = P

. This gave a realization of the symmetric space

G / G^{σ}

G

. In this paper we generalize this result to the case of arbitrary symmetric space

G / K

, that is, the case that

K

is an arbitrary open subgroup of

G^{σ}

such that

A d_{G} (K) |_{p}

is compact.

In Section 2 we will make some preparation for this generalized realization. Some properties of the subgroup

G^{σ}

will be examined. We will prove the following results.

$∙$ There exists a covering group $G^{'}$ of $G$ with covering homomorphism $π$ such that $π^{- 1} (K) = (G^{'})^{σ^{'}}$ , where $σ^{'}$ is the induced involution of $σ$ on $G^{'}$ .
$∙$ The quotient group $G^{σ} / G_{0}^{σ}$ is isomorphic to $(Z_{2})^{r}$ for some non-negative integer $r$ , where $G_{0}^{σ}$ is the identity component of $G^{σ}$ .
$∙$ $G^{σ}$ is connected if $G$ is simply connected.

In Section 3 we will give the precise statement of the realization of arbitrary symmetric spaces in Lie groups. Briefly speaking, a symmetric space

G / K

is diffeomorphic to a closed submanifold

P^{'}

of a covering group

G^{'}

G

, where

G^{'}

is chosen such that

π^{- 1} (K) = (G^{'})^{σ^{'}}

. The idea of the proof is that

G / K \sim = G^{'} / π^{- 1} (K) = G^{'} / (G^{'})^{σ^{'}} \sim = {exp}_{G^{'}} (p) = P^{'}

We would like to thank the referee of [1] , whose suggestion of correction motivated us considering the problems of the paper.

2 The subgroups of fixed points of involutions

For a Lie group

H

with an automorphism

θ

, we always denote

H^{θ} = {h \in H | θ (h) = h}

, and denote the identity component of

H^{θ}

H_{0}^{θ}

. In this section we prove the following two theorems. The realization of arbitrary symmetric spaces in Lie groups will be based on Theorem 2.1 .

Theorem 2.1. Let

G

be a connected Lie group with an involution

σ

, K an open subgroup of

G^{σ}

. Then there is a covering group

G^{'}

G

with covering homomorphism

π

such that

π^{- 1} (K) = (G^{'})^{σ^{'}}

, where

σ^{'}

is the induced involution of

σ

G^{'}

Theorem 2.2. Let

G

be a connected Lie group with an involution

σ

. Then the quotient group

G^{σ} / G_{0}^{σ}

is isomorphic to

(Z_{2})^{r}

for some non-negative integer

r

, and

r = 0

G

is simply connected.

First we introduce some notations. Let

G

be a connected Lie group with an involution

σ

. For

g, h \in G

, denote the set of all continuous paths

γ : [0, 1] \to G

with

γ (0) = g

and

γ (1) = h

Ω (G, g, h)

, and denote

π_{1} (G, g, h) = {[γ] | γ \in Ω (G, g, h)}

, where

[γ]

is the homotopy class relative to endpoints determined by

γ

. Note that

π_{1} (G, g, g)

is the fundamental group

π_{1} (G, g)

G

with basepoint

g

. For

g \in G^{σ}

and

γ_{g} \in Ω (G, e, g)

, let

γ_{g}^{σ} \in Ω (G, e, e)

be defined as

γ_{g}^{σ} (t) = {\begin{matrix} γ_{g} (2 t) & t \in [0, \frac{1}{2}]; \\ σ (γ_{g} (2 - 2 t)) & t \in [\frac{1}{2}, 1] . \end{matrix}

The set

π_{g} = {[γ_{g}^{σ}] | γ_{g} \in Ω (G, e, g)}

is a subset of

π_{1} (G, e)

. For

g_{1}, g_{2} \in G^{σ}

, if they belong to the same coset space of

G_{0}^{σ}

, it is obvious that

π_{g_{1}} = π_{g_{2}}

. So we can define

π_{[g]} = π_{g}

for

g \in G^{σ}

, where

[g]

denotes the coset space

g G_{0}^{σ}

. We denote the identity element of

π_{1} (G, e)

e

Lemma 2.3. For

g \in G^{σ}

π_{[g]}^{- 1} = π_{[g]}

, that is,

x \in π_{[g]} \Leftrightarrow x^{- 1} \in π_{[g]}

Proof. It is obvious from the equation $[γ_{g}^{σ}]^{- 1} = [(σ \circ γ_{g})^{σ}]$ . □

Lemma 2.4. For

g \in G^{σ}

π_{[g]} = π_{[g^{- 1}]}

Proof. For $[γ_{g}^{σ}] \in π_{[g]}$ , $[(γ_{g}^{- 1})^{σ}] \in π_{[g^{- 1}]}$ , where $γ_{g}^{- 1} (t) = γ_{g} (t)^{- 1}$ . But by Lemma 16.7 in [4] , $[γ_{g}^{σ}] \cdot [(γ_{g}^{- 1})^{σ}] = [γ_{g}^{σ}] \cdot [(γ_{g}^{σ})^{- 1}] = [γ_{g}^{σ} (γ_{g}^{σ})^{- 1}] = e$ , where $(γ_{g}^{σ} (γ_{g}^{σ})^{- 1}) (t) = γ_{g}^{σ} (t) (γ_{g}^{σ})^{- 1} (t)$ . So by Lemma 2.3 , $[γ_{g}^{σ}] = [(γ_{g}^{- 1})^{σ}]^{- 1} \in π_{[g^{- 1}]}^{- 1} = π_{[g^{- 1}]}$ . This proves $π_{[g]} \subset π_{[g^{- 1}]}$ . By the symmetry, we have the equality. □

Lemma 2.5. For

g_{1}, g_{2} \in G^{σ}

[γ_{g_{1}}^{σ}] \cdot π_{[g_{2}]} = π_{[g_{1} g_{2}]}

for each

[γ_{g_{1}}^{σ}] \in π_{[g_{1}]}

Hence

π_{[g_{1}]} \cdot π_{[g_{2}]} = π_{[g_{1} g_{2}]}

Proof. Let $[γ_{g_{2}}^{σ}] \in π_{[g_{2}]}$ . By Lemma 16.7 in [4] , $[γ_{g_{1}}^{σ}] \cdot [γ_{g_{2}}^{σ}] = [γ_{g_{1}}^{σ} γ_{g_{2}}^{σ}] = [(γ_{g_{1}} γ_{g_{2}})^{σ}] \in π_{[g_{1} g_{2}]}$ . So we have $[γ_{g_{1}}^{σ}] \cdot π_{[g_{2}]} \subset π_{[g_{1} g_{2}]}$ . To prove the equality, denote $x = [γ_{g_{1}}^{σ}]$ , and consider the map $l_{x} : π_{[g_{2}]} \to π_{[g_{1} g_{2}]}$ defined by $l_{x} (y) = x y$ . Since $x^{- 1} \in π_{[g_{1}]}^{- 1} = π_{[g_{1}]} = π_{[g_{1}^{- 1}]}$ , $x^{- 1} \cdot π_{[g_{1} g_{2}]} \subset π_{[g_{2}]}$ . So we can also define the map $l_{x^{- 1}} : π_{[g_{1} g_{2}]} \to π_{[g_{2}]}$ by $l_{x^{- 1}} (y) = x^{- 1} y$ . Since $l_{x} \circ l_{x^{- 1}} = i d$ , $l_{x}$ is surjective. This means $x \cdot π_{[g_{2}]} = π_{[g_{1} g_{2}]}$ , hence $π_{[g_{1}]} \cdot π_{[g_{2}]} = π_{[g_{1} g_{2}]}$ . □

Lemma 2.6. Let

K

be an open subgroup of

G^{σ}

. Then

π_{K} : = \cup_{k \in K} π_{[k]}

is a subgroup of

π_{1} (G, e)

Proof. By Lemma 2.3 , each $π_{[k]}$ is closed under the inverse operation, hence so is $π_{K}$ . By Lemma 2.5 , $π_{K}$ is also closed under multiplication. □

By Lemma 2.6 ,

π_{[e]} = π_{(G_{0}^{σ})}

and

π_{(G^{σ})}

are subgroups of

π_{1} (G, e)

. By Lemma 2.5 , for each

g \in G^{σ}

and each

x \in π_{[g]}

π_{[g]} = x \cdot π_{[e]}

. So

π_{[g]}

is a coset space of

π_{[e]}

π_{(G^{σ})}

, that is, an element in the quotient group

Π^{σ} = π_{(G^{σ})} / π_{[e]}

(note that the fundamental group of a Lie group is always abelian). Define the map

f : G^{σ} / G_{0}^{σ} \to Π^{σ}

f ([g]) = π_{[g]}

. By Lemma 2.5 ,

f

is a homomorphism.

Lemma 2.7. Let

G

be a connected Lie group with an involution

σ

Then

G^{σ}

has finite many connected components. If moreover

G

is simply connected, then

G^{σ}

is connected.

Proof. The subgroup $Σ = {i d, σ}$ of the automorphism group $A u t (G)$ of $G$ has a natural action on $G$ , which we also denote by $σ$ . We form the semidirect product $G = G \times_{σ} Σ$ . Denote $x = (e, σ) \in G$ . Since the identity component $G_{0}$ of $G$ is naturally isomorphic to $G$ by $i : (g, i d) \mapsto g$ , and $σ (i (y)) = i (x y x^{- 1}), \forall y \in G_{0}$ , to prove the lemma, it is sufficient to show that $G_{0}^{x} = {y \in G_{0} | x y x^{- 1} = y}$ has finite many connected components, and is connected when $G_{0}$ is simply connected.
Since $x = (e, σ)$ is an element of order two in $G$ , it lies in some maximal compact subgroup $L$ of $G$ . By Theorem 3.1 of Chapter XV in [3] , there exist some linear subspaces $m_{1}, \dots, m_{k}$ of the Lie algebra $g$ of $G$ (which is isomorphic to the Lie algebra of $G$ ) such that (1) $g = l \oplus m_{1} \oplus \dots \oplus m_{k}$ , where $l$ is the Lie algebra of $L$ ; (2) $A d (l) (m_{i}) = m_{i}, \forall l \in L, i \in {1, \dots, k}$ (in particular, $A d (x) (m_{i}) = m_{i}$ ); (3) the map $ψ : L_{0} \times m_{1} \times \dots \times m_{k} \to G_{0}$ defined by $ψ (l, X_{1}, \dots, X_{k}) = l e^{X_{1}} \dots e^{X_{k}}$ is a diffeomorphism, where $L_{0}$ is the identity component of $L$ .
Denote $L_{0}^{x} = {l \in L_{0} | x l x^{- 1} = l}$ , $m_{i}^{x} = {X \in m_{i} | A d (x) (X) = X}, i = 1, \dots, k$ . We claim that $G_{0}^{x} = ψ (L_{0}^{x} \times m_{1}^{x} \times \dots \times m_{k}^{x})$ . In fact, for $y \in G_{0}^{x}$ , write $y = l e^{X_{1}} \dots e^{X_{k}}$ , where $l \in L_{0}, X_{i} \in m_{i}$ . Then $y = x y x^{- 1} = (x l x^{- 1}) e^{A d (x) (X_{1})} \dots e^{A d (x) (X_{k})}$ . By (3), we have $x l x^{- 1} = l$ , $A d (x) (X_{i}) = X_{i}, i = 1, \dots, k$ . That is, $l \in L_{0}^{x}$ , $X_{i} \in m_{i}^{x}$ . Hence we have $G_{0}^{x} \subset ψ (L_{0}^{x} \times m_{1}^{x} \times \dots \times m_{k}^{x})$ . The inverse direction is obvious.
Since $L_{0}$ is a connected compact Lie group, $L_{0}^{x}$ has finite many connected components, hence so is $G_{0}^{x} = ψ (L_{0}^{x} \times m_{1}^{x} \times \dots \times m_{k}^{x})$ . If $G_{0}$ is simply connected, by (3), $L_{0}$ is also simply connected. By Theorem 8.2 of Chapter VII in [2] , $L_{0}^{x}$ is connected, so is $G_{0}^{x}$ . This proves the lemma. □

Lemma 2.8. For

g \in G^{σ}

, if

e \in π_{[g]}

, then

[g] = G_{0}^{σ}

Proof. We endow the canonical smooth manifold structure and the canonical group structure on $\tilde{G} = \cup_{g \in G} π_{1} (G, e, g)$ such that $\tilde{G}$ is the universal covering group of $G$ with covering homomorphism $π ([γ]) = γ (1)$ . The induced involution of $σ$ on $\tilde{G}$ is $\tilde{σ} ([γ]) = [σ \circ γ]$ . Let $g \in G^{σ}$ . If $e \in π_{[g]}$ , by the definition of $π_{[g]}$ , there is a $γ_{g} \in Ω (G, e, g)$ such that $[γ_{g}] = [σ \circ γ_{g}]$ in $π_{1} (G, e, g)$ . That is, $[γ_{g}] \in (\tilde{G})^{\tilde{σ}}$ .
By Lemma 2.7 , $(\tilde{G})^{\tilde{σ}}$ is connected. So $g = π ([γ_{g}]) \in π ((\tilde{G})^{\tilde{σ}}) = G_{0}^{σ}$ , that is, $[g] = G_{0}^{σ}$ . □

Proposition 2.9. Each non-identity element of

Π^{σ}

has order

2

, and the homomorphism

f : G^{σ} / G_{0}^{σ} \to Π^{σ}

is an isomorphism.

Proof. The first assertion follows from Lemma 2.3 , the surjectivity of $f$ follows from the definition of $Π^{σ}$ , and the injectivity of $f$ follows from Lemma 2.8 . □

In particular, we have

Lemma 2.10. For

g_{1}, g_{2} \in G^{σ}

, if

[g_{1}] \neq [g_{2}]

, then

π_{[g_{1}]} \cap π_{[g_{2}]} = \emptyset

. □

Now we are prepared to prove Theorem 2.1 and Theorem 2.2 .

Proof of Theorem 2.2 . By Lemma 2.7 ,

G^{σ} / G_{0}^{σ}

is a finite group. By Proposition 2.9 ,

G^{σ} / G_{0}^{σ}

is abelian, and each non-identity element has order

2

. By the structure theorem of finitely generated abelian groups,

G^{σ} / G_{0}^{σ}

is isomorphic to

(Z_{2})^{r}

for some non-negative integer

r

. If

G

is simply connected, by Lemma 2.7 ,

G^{σ} / G_{0}^{σ}

is trivial. □ Proof of Theorem 2.1 . We define an equivalence relation on the set

\cup_{g \in G} Ω (G, e, g)

as follows. For

γ_{1}, γ_{2} \in \cup_{g \in G} Ω (G, e, g)

γ_{1} \sim γ_{2}

if and only if

γ_{1} (1) = γ_{2} (1)

and

[γ_{12}] \in π_{K}

, where

γ_{12} \in Ω (G, e, e)

is defined by

γ_{12} (t) = {\begin{matrix} γ_{1} (2 t) & t \in [0, \frac{1}{2}]; \\ γ_{2} (2 - 2 t) & t \in [\frac{1}{2}, 1] . \end{matrix}

Denote

G^{'} = (\cup_{g \in G} Ω (G, e, g)) / \sim

, and denote the equivalence class of a

γ \in \cup_{g \in G} Ω (G, e, g)

〈 γ 〉

. Endow the smooth manifold structure on

G^{'}

in the canonical way, and define the group operation on

G

as follows. For

〈 γ_{1} 〉, 〈 γ_{2} 〉 \in G

, let

α (t) = γ_{1} (t) γ_{2} (t)

and

β (t) = γ_{1} (t)^{- 1}

, and define

〈 γ_{1} 〉 〈 γ_{2} 〉 = 〈 α 〉, 〈 γ_{1} 〉^{- 1} = 〈 β 〉

It is easy to check that these are well defined, and

G^{'}

thus assembled becomes a Lie group. Let

π : G^{'} \to G

be the map

π (〈 γ 〉) = γ (1)

, then

π

is a covering homomorphism. Since

σ_{*} (π_{K}) = π_{K}

, the map

σ^{'} : G^{'} \to G^{'}, σ^{'} (〈 γ 〉) = 〈 σ \circ γ 〉

is a well defined involution of

G^{'}

. It is obvious that

π \circ σ^{'} = σ \circ π

, that is,

σ^{'}

is just the induced involution of

σ

G^{'}

. Now we have

\begin{matrix} 〈 γ 〉 \in (G^{'})^{σ^{'}} \end{matrix}

\begin{matrix} \Leftrightarrow & 〈 σ \circ γ 〉 = 〈 γ 〉 \end{matrix}

\begin{matrix} \Leftrightarrow & σ \circ γ \sim γ \end{matrix}

\begin{matrix} \Leftrightarrow & γ (1) \in G^{σ}, [γ_{γ (1)}^{σ}] \in π_{K} \end{matrix}

\begin{matrix} \Leftrightarrow & γ (1) \in K (by LemmaL:disjoint 2.10) \end{matrix}

\begin{matrix} \Leftrightarrow & 〈 γ 〉 \in π^{- 1} (K) . \end{matrix}

\begin{matrix}  \end{matrix}

That is,

(G^{'})^{σ^{'}} = π^{- 1} (K)

. This complete the proof of Theorem 2.1 . □

3 Covering groups and the realization of symmetric spaces

Let

G

be a connected Lie group with an involution

σ

, and let

K

be an open subgroup of

G^{σ}

. Let

g = k \oplus p

be the canonical decomposition of the Lie algebra

g

G

. Suppose

A d_{G} (K) |_{p}

is compact, that is,

G / K

has a structure of Riemannian symmetric space. Suppose

π : G^{'} \to G

is a covering homomorphism of Lie groups. Then the twisted conjugate action

τ

G

G

, which is defined by

τ_{g} (h) = g h σ (g)^{- 1}

, can be lifted to a well defined action

τ^{'}

G

G^{'}

, that is,

τ_{g} (h^{'}) = g^{'} h^{'} σ^{'} (g^{'})^{- 1}, g \in G, h^{'} \in G^{'}

, where

g^{'} \in π^{- 1} (g)

σ^{'}

is the induced involution of

σ

G^{'}

Theorem 3.1. Under the above assumptions, there is a covering group

G^{'}

G

with covering homomorphism

π

such that

P^{'} = {exp}_{G}^{'} (p)

is a closed submanifold of

G^{'}

, and such that the map

φ : G / K \to P^{'}

defined by

φ (g K) = g^{'} σ^{'} (g^{'})^{- 1}

is a diffeomorphism, where

g^{'} \in π^{- 1} (g)

σ^{'}

is the induced involution of

σ

G^{'}

. With respect to the actions of

G

by left multiplication on

G / K

and by the action

τ^{'}

P^{'}

φ

is equivariant.

Proof. By Theorem 2.1 , there is a covering group $G^{'}$ of $G$ with covering homomorphism $π$ such that $π^{- 1} (K) = (G^{'})^{σ^{'}}$ . So $π$ induces a $G$ -equivariant diffeomorphism $\bar{π} : G^{'} / (G^{'})^{σ^{'}} \to G / K$ with respect to left multiplications (note that the left multiplication of $G$ on $G^{'} / (G^{'})^{σ^{'}}$ is well defined). Since $A d_{G^{'}} ((G^{'})^{σ^{'}}) |_{p} = A d_{G} (K) |_{p}$ is compact, by Corollary 2.6 in [1] , $P^{'} = {exp}_{G^{'}} (p)$ is a closed submanifold of $G^{'}$ , and the map $φ^{'} : G^{'} / (G^{'})^{σ^{'}} \to P^{'}, φ^{'} (g^{'} (G^{'})^{σ^{'}}) = g^{'} σ^{'} (g^{'})^{- 1}$ is a $G^{'}$ -equivariant diffeomorphism with respect to left multiplication and twisted conjugate action of $G^{'}$ . Let $φ = φ^{'} \circ (\bar{π})^{- 1}$ . Then $φ (g K) = φ^{'} (g^{'} (G^{'})^{σ^{'}}) = g^{'} σ^{'} (g^{'})^{- 1}$ . It is obviously a $G$ -equivariant diffeomorphism with respect to left multiplication on $G / K$ and the action $τ^{'}$ on $P^{'}$ . □

References

An, J., Wang, Z., On the realization of Riemannian symmetric spaces in Lie groups, to appear in Topology Appl., math.GT/0502028.
Helgason, S., Differential geometry, Lie groups, and symmetric spaces, Acadymic Press, New York, 1978.
Hochschild, G., The structrue of Lie groups, Holden-Day, San Francisco, 1965.
Steenrod, N., The topology of fibre bundles, Princeton University Press, Princeton, New Jersey, 1951.

School of mathematical science, Peking University, Beijing, 100871, P. R. China E-mail address : anjinpeng@pku.edu.cn School of mathematical science, Peking University, Beijing, 100871, P. R. China E-mail address : zdwang@pku.edu.cn

¹ This work is supported by the 973 Project Foundation of China ( $♯$ TG1999075102). AMS 2000 Mathematics Subject Classifications: Primary 22E15; secondary 57R40, 53C35.

Jinpeng An

Zhengdong Wang