数理解析研究所講究録
第 1722 巻 2010 年 9-19

9Proper actions ofon semisimple symmetricspaces$SL(2, \mathbb{R})$東京大学大学院数理科学研究科 奥田 隆幸 (Takayuki Okuda)
Graduate School of Mathematical Science, The University of Tokyo

1 序
局所対称空間の大域構造についての以下の問題を考える．
問題 1.1 (See [13]). モデル空間として対称空間を固定する．このとき， と局所同型となる完備なアファイン多様体 $M$ の基本群として，どのような群が現れるか ?
この場合には，モデル空間$M_{0}$$M_{0}$$M_{0}$

は単連結であるとして構わない．\’E.Cartan の定理により，対称空間は，その変換群をとしたとき，等質空間 $G/H$ として表せる．こ$M$ の基本群はの離のとき， と局所同型な局所対称空間 $M$ に対して，
散部分群であって，$M_{0}=G/H$ に固有不連続に作用する．逆に， の離散部分群 が$G$$M_{0}$$M_{0}$$\pi_{1}(M)$

$G$

$G$

$\Gamma$$M_{0}=G/H$ に固有不連続に作用しているとき (このような離散群は不連続群と呼ばれる),

Clifford-Klein 形 $M$$:=\Gamma\backslash G/H$

は $M_{0}$ と局所同相な局所対称空間となる．

このことを踏まえると，問題 1.1 は次のような問題として考えてもよい．
問題 12. 対称対 $(G, H)$ を固定する．
$G/H$ の不連続群としてどのような群が現れるか?
ここで $(G, H)$

$H$
に対して，
がコンパクトである場合には，任意の の離散部分群
は $G/H$ に固有不連続に作用する．従って，この場合には，問題 12 は， の離散部分群の$G$$\Gamma$$G$

分類の問題 ( $H$ とは無関係) であるといえる．この報告において興味があるのは，$H$ が非コンパクトの場合である．この場合には， の離散部分群であっても，$G/H$ に固有不連
続に作用するとは限らない．例えば，ローレンツ対称空間 $SO(n+1,1)/SO(n, 1)$ につい$G$$SO(n+1, I)$ の任意の無限離散部分群は固有不連続に作用しないことが知られているて，(Calabi-Markus 現象 [5]).

10が非コンパクトの場合の体系的な研究は，80 年代後半の小林 [9, 10, 11] の仕事に始まり，[16,19,21,23,27] などの結果がある．この話題についてのまとめとしては$H$[14,15,22] などが挙げられる．
がを通じて固有に作用しこの報告では，半単純対称空間 $G/H$ に対して，得るための必要十分条件を述べる．またその結果として，曲面群 (i.e. 種数 $g\geq 2$ の閉りー$G$$SL(2, \mathbb{R})$

マン面の基本群) と同型な群を不連続群として持つような半単純対称空間 $G/H$ の分類を行う．

2 主定理と分類
次のような設定を考える．
$H$ を $G^{\sigma}:=\{g\in G|$
設定 2.1. $G$ を連結半単純 Lie 群， を $G$ の Lie 群としての対合，$\sigma$$\sigma g=g\}$の開部分群とする．

$G/H$ の自然なアファイン接続について対称空この設定において，等質空間 $G/H$ は，$G,$ $H$ の Lie 環をそれぞれ 9, りと書く． : $Garrow G$ の微分は， の対合間となる．以降，$g$$\sigma$として作用するが，これも同じ記号
$(g,$

に

り

$)$

$g_{\mathbb{C}}$の c-dual を $g^{c}:=$ り $\oplus\sqrt{-1}q$$q:=\{X\in g|\sigma X=-X\}$ とし，で表す．また，は共と定義する． の複素化をと書けば， と$\sigma$$g$$g_{\mathbb{C}}$$g$$g^{c}$の実形である．

以下の定理がこの報告の主定理である．

主定理．設定 2.1 において，対称対 $(G, H)$ に対する次の条件は互いに同値である :(i) Lie 群の準同型$\Phi$: $SL(2, \mathbb{R})arrow G$ であって， を通じた$\Phi$$SL(2, \mathbb{R})$の $G/H$ への作用が固有であるものが存在する．

(ii) 任意の $g\geq 2$ に対して，種数$g$の曲面群と同型な $G$ の離散部分群であって，対称空間 $G/H$ の不連続群となるものが存在する．

(iii) 対称空間 $G/H$ の不連続群$\Gamma$

であって，‘ほぼ可換”a . 指数有限の可換な部分群$e$を持つ) ではないものが存在する．

(iv) $G$ の幕単行列が生成する自由群であって，対称空間 $G/H$ の不連続群となるものが
存在する．

(v)

$g_{\mathbb{C}}$の Int$g_{\mathbb{C}}$存在する．

による幕零軌道$\mathcal{O}$であって， と交わり， とは交わらないものが$g$$g^{c}$

11
この定理の証明については，\S 3 でそのアイディアを述べる．
主定理は非可換群の固有作用についての命題であるが，これと対応する結果$SL(2, \mathbb{R})$として，可換群$\mathbb{R}$の固有作用についての次の Fact が成り立つ．

Fact 2.2. 設定 2.1 において，対称対 $(G, H)$ についての次の条件は互いに同値である :(1) Lie 群の準同型$\rho$:$\mathbb{R}arrow G$

であって， を通じた$\mathbb{R}$$\rho$の $G/H$ への作用が固有であるものが存在する．

(2) 可換群$\mathbb{Z}$に対して， と同型な$\mathbb{Z}$$G$の離散部分群であって，対称空間 $G/H$ の不連続群となるものが存在する．

(3) 対称空間 $G/H$ の不連続群として，無限群が存在する．
(4).

$G$

の双曲的な元が生成する自由群であって，対称空間 $G/H$ の不連続群となるものが存在する．

(5)$g_{\mathbb{C}}$の Int$g_{\mathbb{C}}$による双曲型軌道$\mathcal{O}_{hyp}$であって， と交わり， とは交わらないも$g^{c}$$g$のが存在する．

(6) $rank_{\mathbb{R}}G>rank_{\mathbb{R}}H$ .
$X\in g$ [resp. $x\in G$ ] が双曲的であることを，ad(X)
ここで，

$\in$

End(g) [resp. Ad $(x)\in$$GL(g)]$ が実対角化可能であることとして定義している．
この Fact において (1), (2),(3), (4), (6) の同値性については，小林 [9] において，より

一般の設定で証明されている．(1) と (5) の同値性については，主定理の証明と似た議論で証明される．また，Fact 2.2 における実ランクの条件 (6) は Calabi-Markus 現象 (cf.
条件 (3) の判定条件を与えている．
$)$の固有作用を持つか否かについては，Fact 2.2 の (6) を検証すれ$G/H$ がばよい．ここでは，の固有作用を持つか持たないかについて，主定理の(v) を検証することによる判定法を紹介する (see 定理 26below). そのためにまず，幕零対称空間 $G/H$ が$\mathbb{R}$$SL(2, \mathbb{R})$

軌道の構造についての Fact 2.5 を述べる．

一般に，複素半単純 Lie 環とその実形 9 を考える． についての被約ルート系から定義される Dynkin 図形に対して，その各頂点に $0,1,2$ のいずれかの数を重みとして対応させたものを，重みつき Dynkin 図形と呼ぶ．Jacobson-Morozov の定理，Kostant [17],Malcev [20] らの結果により， の Intによる幕零軌道には，それぞれに互いに異なる
重みつき Dynkin 図形が対応する．また， の被約ルート系からの制限ルート系への制限を表した図形として，佐武図形が定義される．佐武図形についての詳しい定義はここ$g_{\mathbb{C}}$$g_{\mathbb{C}}$$g_{\mathbb{C}}$$\mathfrak{g}_{\mathbb{C}}$$g_{\mathbb{C}}$$g$

では述べない (詳しくは [1, 8, 24] などを参照) が，図形としては， の Dynkin 図形のい$g_{\mathbb{C}}$12
くつかの頂点を黒く塗り，残った頂点同士のいくつかのペアを矢印で結んだものである．
定義 2.3. 複素半単純 Lie 環と，その実形 について考える． のある重みつき
Dynkin 図形
を固定し， を の佐武図形とする．このとき， が に match するということを， の黒い頂点におけるでの重みは全て零であって， で矢印で結ばれ
$D$

$g$

$g_{\mathbb{C}}$$S$$g_{\mathbb{C}}$

$D$

$g$

$S$

$S$

$D$

$S$

ている任意の二頂点における $D$ での重みは等しいこととして定義する．

例 2.4. 例として，複素単純 Lie 環$su(4,2)$ の佐武図形
える．

$S$

と，その実形 $g=\epsilon u(4,2)$ について考$\mathfrak{g}_{\mathbb{C}}=5[(6, \mathbb{C})$は，$-\bullet-$で与えられる．ここで，$\epsilon 1(6, \mathbb{C})$の重みつき Dynkin 図形21$D_{1},$

1$0$$D_{2}$

2$D_{1}:=$–$D_{2};=$

2
2
2
2
2
–

としてとったとき，定義 2.3 によると，$D_{1}$

は $S$ とを:match するが，

$D_{2}$

は $S$ とmatch し

の Int

による幕

ない．

関口 [25] と Djokovic [6] の結果を用いると次の Fact が成り立つ．

Fact 2.5. 複素半単純 Lie 環$g_{\mathbb{C}}$と，その実形$g$について考える．

$g_{\mathbb{C}}$$g_{\mathbb{C}}$について， が 9 と交わることと， に対応する重みつき Dynkin 図形がと match することは同値である．
の佐武図形

零軌道

$\mathcal{O}$$\mathcal{O}$$\mathcal{O}$

$g$

$S$

従って，設定 2.1 において，Fact 2.5 を佳 の二つの実形$\mathbb{C}$$g$と$g^{c}$に適用すれば，次の定理が得られたことになる．

定理 26. 設定 2.1 において，主定理における対称対 $(g,$ り についての条件 (v) と以下の$)$条件は同値である．

(vi)

$g$

の Int

であって， に対応する重みつき Dynkin 図形がの佐武図形とは match していての佐武図形とは match しない，というもの$g_{\mathbb{C}}$$g_{\mathbb{C}}$が存在する．

による幕零軌道$\mathcal{O}$$\mathcal{O}$$g^{c}$

13複素半単純 Lie 環の罧零軌道の分類は Dynkin-Kostant [7, 17] および Bala-Carter [2]によって行われている．また，半単純対称対 $(g, b)$ は Berger [4] によって分類されている．
従って，定理 26 を用いれば，主定理の条件を満たす対称対 $(G, H)$ の分類ができる．次の定理は， が単純である場合について，Fact の条件を満たすが，主定理の条件を満たさな$G$

いような対称対 $(G, H)$ の分類である．
定理 2.7.

設定 2.1 において， を単純 Lie 群であるとする．このとき，対称空間 $G/H$$G$が， と同型な不連続群を持つが曲面群と同型な不連続群は持たないということと 対称
対 $(g,$ り が以下の表に現れることは同値である :$\mathbb{Z}$$\ovalbox{\tt\small REJECT}$

$)$

り

$g$

5【

$(2k, \mathbb{R})$【 $(2k, \mathbb{R})$$5\mathfrak{p}(k,\mathbb{R})$$5$

50 $(k, k)$$\epsilon\iota c^{*}(4m+2)$

卵 $(m+1, m)$$\epsilon\iota\iota^{*}(4m)$$5\mathfrak{p}(m, m)$$\epsilon u^{*}(2k)$$\epsilon 0^{*}(2k)$$B0(2k+1,2k+1)$$so$ $(i+1, i)\oplus\epsilon 0(j, j+1)$$(i+j=2k)$$e_{6(6)}$$e_{6(6)}$$e_{6(-26)}$$\int_{4(4)}$$sp(4, \mathbb{R})$$\epsilon \mathfrak{p}(3,1)$$\frac{t_{6(-26)}\int_{4(-20)}}{\mathfrak{s}1(n,\mathbb{C})\epsilon o(n,\mathbb{C})}$

$g$

sp

$z\downarrow(2k, \mathbb{C})$$\epsilon u(k, k)$soso【 $(2k, \mathbb{C})$$(4m+2, \mathbb{C})$$(k, \mathbb{C})$$(i, \mathbb{C})\oplus so(j, \mathbb{C})$$\frac{(i+j=4n+2,i,jareodd)}{\mathfrak{s}o(4m+2,\mathbb{C})\epsilon o(2m+2,2m)}$$e_{6,\mathbb{C}}$$\mathfrak{e}_{6,\mathbb{C}}$$t_{6,\mathbb{C}}$$\epsilon \mathfrak{p}(4, \mathbb{C})$$f4,\mathbb{C}$$e_{6(2)}$14
り (cf. Fact
特に， が線形単純 Lie 群であるような対称対 $(G, H)$ が，$(g,$ り22(6) であって，が上の表に現れなければ，対称空間 $G/H$ は曲面群と同型な不連$G$$rank_{\mathbb{R}\emptyset}>rank_{\mathbb{R}}$

$)$

$)$

続群を持っ．

Remark 2.8. この表において， もりも複素 Lie 環であるものについては，手塚 [26]$g$において， の固有作用を持っが$\mathbb{R}$$SL(2, \mathbb{R})$の固有作用を持たない対称対として，既に知られていたものである．

3 主定理の証明のアイディア
この章では，主定理の証明のアイディアを述べる．特に主定理の鍵となるのは，(i) と(V) の同値性であるから，この証明のアイディアについて詳しく紹介する．

その他の同値性の証明についても簡単に述べておくと，(i)$\Rightarrow$(ii) や (ii)$\Rightarrow$(iii) は，曲面群の持ち上げについての結果 (see [18]) などを用いて証明される．また，(i) と (iv) の同値性は，既に小林 [12] において証明されている．(iii) と (v) の同値性の証明については，Benoist [3] の結果を用いて行う．以降，(i) と (v) の同値性の証明について述べる．
主定理の$(i)\Leftrightarrow(v)$の証明のアイディア．まず，設定 2.1 において，主定理の条件 (i) は，

Lie 群の準同型の同値類の集合$A:=${Lie group homomorphisms: $SL(2, \mathbb{R})arrow G$
acts properly on $G/H$ via
such that$\Phi$$SL(2, \mathbb{R})$が空でないという条件である (ただし，二つの準同型$\Phi,$$\Phi’:SL(2, \mathbb{R})arrow G$$\Phi$}$/\sim$に対して，ある $g\in G$ が存在して，$g\cdot\Phi(x)\cdot g^{-1}=\Phi’(x)$$(^{\forall}x\in SL(2, \mathbb{R}))$となるとき $\Phi\sim\Phi’$ であるとしている). また主定理の条件 (v) については，幕零軌道の集合$B:=$ {Nilpotent orbits$\mathcal{O}$of Int$g_{\mathbb{C}}$in$g_{\mathbb{C}}$which meets$g$but notが空でないという条件である．条件 (i) と条件 (v) の同値性は，集合全射写像を構成することで証明される．

Step 1( $H$ とは無関係に成り立つ対応):$A$$g^{c}$}

から集合 $B$ への15
以下の三つの写像について詳しく見る (ただし以下の集合における各写像$\Phi,$$\phi,$$\psi$

は，

Lie 群または Lie 環の準同型を表していることとする).
$\{\Phi:SL(2, \mathbb{R})arrow G\}/\sim$

微分$\{\phi:\epsilon t(2, \mathbb{R})arrow g\}/Intg$

複素化$arrow${$\psi$$R\#\overline{\pi}’arrow\backslash$: $z1(2,$る$\{$

Nilotent orbits$d\Phi$:$\mathcal{B}((2, \mathbb{R})arrow g$

の複素化

:

$9\mathbb{C}$in$9\mathbb{C}$

} Int
$/$

$g\cdot\psi(\mathfrak{s}\mathfrak{l}(2,$ $\mathbb{R}))\subset g_{\mathbb{C}}$which meets$9\mathbb{C}$$\emptyset\}$: $SL(2, \mathbb{R})arrow G$ の $G$ による同値類に対して，その Int 9 による同値類を対応させる．

二つ目の写像の定義: Lie 環の準同型$\phi_{\mathbb{C}}$$\Phi$

such that$9\mathbb{C}$of Int$\mathcal{O}$–つ目の写像の定義: Lie 群の準同型
の微分

Int

$\mathbb{C})arrow 9\mathbb{C}|\text{ョ_{}g\in}$$\epsilon t(2, \mathbb{C})arrow g_{\mathbb{C}}$:の Int$\phi$$\mathcal{B}((2, \mathbb{R})arrow g$

三つ目の写像の定義: 複素 Lie 環の準同型$g$による同値類に対して，そによる同値類を対応させる．

$g_{\mathbb{C}}$$\psi$の Int:$zt(2, \mathbb{R})arrow g_{\mathbb{C}}$の Int g$\mathbb{C}$による同値類に対して，幕零軌道Int$g_{\mathbb{C}}\cdot\psi((\begin{array}{ll}0 10 0\end{array}))\subset$

佳$\mathbb{C}$を対応させる．

ここで，$SL(2, \mathbb{R})$$G$ が線形半単純であるの複素化 $SL(2, \mathbb{C})$ が単連結であることと，( $G$ の複素化が存在する) ことを用いると，一つ目の写像は一対一対応であることが証明できる．二つ目の写像は，その定義から全射である．最後に三つ目の写像について考えたい．
関口 [25, Proposition 1.11] から直ちに，次の Fact が成り立つ．

Fact 3.1. 複素半単純 Lie 環$g_{\mathbb{C}}$$g_{\mathbb{C}}$

とその実形

$g$

について，Lie 環の準同型$\psi$:$\epsilon\downarrow(2, \mathbb{C})arrow$に対して，次の三つの条件は同値である．
(a) ある $g\in$ Int g

(b)

(c)

$\emptyset \mathbb{C}$$g_{\mathbb{C}}$$\mathbb{C}$が存在して，の幕零軌道 Int$g\cdot\psi(\epsilon((2, \mathbb{R}))\subset g$$g_{\mathbb{C}}\cdot\psi((\begin{array}{ll}0 10 0\end{array}))$の双曲型軌道 Intとなる．

か j と交わる．

$g_{\mathbb{C}}\cdot\psi((\begin{array}{ll}1 00 -1\end{array}))$が 9 と交わる．

この Fact と Jacobson-Morozov の定理から，三つ目の写像が一対一対応であることが証明される．これで，Lie 群の準同型の集合{Lie group homomorphisms$\Phi$: $SL(2,$$\mathbb{R})arrow G$}$/\sim$16から，幕零軌道の集合{Nilpotent orbits$\mathcal{O}$of Intin$g_{\mathbb{C}}$$g_{C}$}

への全射写像が定義された．

Remark 3.2. 二つ目の写像は一般には単射にはならないが，各点の逆像は高々有限であが Int によがによる幕零軌道る．このことは， の Intと交わるとき，$\mathcal{O}$る$g$$\mathcal{O}\cap g$$g$$g_{\mathbb{C}}$$g_{\mathbb{C}}$$g$の幕零軌道として有限個に分かれるということと関係している．

Step 2( $H$ と関連する対応):
先に定義した集合 $A$ は{Lie group homomorphisms$\Phi$: $SL(2,$$\mathbb{R})arrow G$}$/\sim$の部分集合であり，集合 $B$ は{Nilpotent orbits$\mathcal{O}$の部分集合である．Step 1 で定義した写像をof Int$A$in$\emptyset c$$g_{C}$}に制限すると， への全射となることを
$B$

示そう．

Step 2-1: まず，小林 [9] の結果より，次の補題が証明できる:
補題 33.

設定 2.1 において，Lie 群の準同型を考える．このとき， を通じた

: $SL(2, \mathbb{R})arrow G$ と f その微分

$SL(2, \mathbb{R})$$\Phi$$\epsilon 1(2, \mathbb{R})arrow g$$\Phi$$d\Phi$:の $G/H$ への作用が固有である

ことと，双曲型軌道

Int$g\cdot d\Phi((\begin{array}{ll}1 00 -1\end{array}))\subset g$

が，りと交わらないことは同値である．
これより，Step 1 の一つ目の写像を $A$ に制限すると，Lie 環の準同型の同値類の集合$A’:=${ :$\phi$$\epsilon\downarrow(2,$$\mathbb{R})arrow 9|$Int$g\cdot\phi((\begin{array}{ll}1 00 -1\end{array}))$does not meet り} $/Intg$

への一対一対応を与えることが分かる．

Step 2-2: Lie 環の構造論とルート系についての議論を行うことで，次の双曲型軌道についての命題が得られる．

命題 3.4. 設定 2.1(Int g)$\cdot X$

値である．

において，任意の双曲的な元 $X\in g$ に対して， の双曲型軌道がと交わることは同がりと交わることと， の双曲型軌道 (Int )$g$$g_{\mathbb{C}}$$g_{\mathbb{C}}$$\cdot X$$g^{c}$

17
この命題から，Step 1 の二つ目の写像を $A’$ に制限すると，複素 Lie 環の準同型の同値類の集合$A”$ $:=\{\psi$:$\mathfrak{g}\mathfrak{l}(2, \mathbb{C})arrow 9\mathbb{C}|\text{ョ_{}g\in}$Int$9\mathbb{C}$and Int

such that$g\cdot\psi(g[(2, \mathbb{R}))\subset g_{\mathbb{C}}$$g_{\mathbb{C}}\cdot\phi((\begin{array}{ll}1 00 -1\end{array}))$,does not meet$g^{c}$} Int$g^{c}$

}

$/$

$9c$

への全射を与えることが分かる．

Step 2-3: Fact 3.1 を， の実形$9\mathbb{C}$$\{\psi$:$g\downarrow(2, \mathbb{C})arrow 9\mathbb{C}|\text{ョ_{}g\in Intg_{\mathbb{C}}}$$g^{c}$$A”$ は集合として，に適用すると，

such thatand Int$g.\cdot\psi(\epsilon\downarrow(2,\mathbb{R}))\subset g_{\mathbb{C}}$$g_{\mathbb{C}}\cdot\phi((\begin{array}{ll}0 10 0\end{array}))$,does not meet$/Intg_{\mathbb{C}}$と等しいことが分かる．従って，Step 1 の三つ目の一対一対応を $A”$ に制限すると，$B=$ {Nilpotent orbits$\mathcal{O}$of Int$g_{\mathbb{C}}$in$g_{\mathbb{C}}$which meets$g$but not$g^{c}$}

への一対一対応を与えることが分かった．

これで，集合$A$から集合 $B$ への全射が構成できたので，特に $A$ が非空であること (主$B$ が非空であること
定理の条件 $(i))$ と，(主定理の条件 $(v)$ ) は同値である．口

参考文献[1] S. Araki. On root systems and an infinitesimal classification of irreducible sym-

metric spaces. J. Math. Osaka City Univ., 13:1-34, 1962.
[2] P. Bala and R. W. Carter. Classes of unipotent elements in simple algebraic
groups. I, II. Math. Proc. Cambridge Philos. Soc., 79:401-425, 1976; bid 80:1-

17,1976,[3] Y. Benoist. Actions propres sur les espaces homog\‘enes r\’eductifs. Ann. of Math.
(2), 144:315-347, 1996.
[4] M. Berger. Les espaces sym\’etriques noncompacts. Ann. Sci. \’Ecole Norm. Sup.
(3), 74:85-177, 1957.

[5] E. Calabi and L. Markus. Relativistic space forms. Ann. of Math. (2), 75:63-76,

1962.
[6] D. \v{Z}. Djokovi\v{c}. Classification of Z-graded real semisimple Lie algebras. J. Algebm, 76:367-382, 1982.

18[7] E. B. Dynkin. Semisimple subalgebras of semisimple Lie algebras. Mat. Sbomik
N.S., $30(72):349-462$ ( plates), 1952.
[8] A. G. Helminck. Algebraic groups with a commuting pair of involutions andsemisimple symmetric spaces. $Adv$ . in Math., 71:21-91, 1988.
$3$[9] T. Kobayashi. Proper action on a homogeneous space of reductive type. Math.
Ann., 285:249-263, 1989.
[10] T. Kobayashi. Discontinuous groups acting on homogeneous spaces of reductive
type. In Representation theow of Lie groups and Lie algebms (Fuji-Kawaguchiko,1990), pages 59-75. World Sci. Publ., River Edge, NJ, 1992.

[11] T. Kobayashi. A necessary condition for the existence of compact Clifford-Klein

forms of homogeneous spaces of reductive type. Duke Math. J., 67:653-664, 1992.
[12] T. Kobayashi. On discontinuous groups acting on homogeneous spaces with
noncompact isotropy subgroups. J. Geom. Phys., 12:133-144, 1993.

[13] T. Kobayashi. Discontinuous groups for non-Riemannian homogeneous spaces.
In Mathematics unlimited–2001 and beyond, pages 723-747. Springer, Berlin,

2001.
[14] T. Kobayashi. Introduction to actions of discrete groups on pseudo-Riemannian
homogeneous manifolds. Acta Appl. Math., 73:115-131, 2002. The 2000 Twente
Conference on Lie Groups (Enschede).
[15] T. Kobayashi. On discontinuous group actions on non-Riemannian homogeneous
spaces [translation of Sugaku 57 (2005), 267-281]. Sugaku Expositions, 22:1-19,
2009. Sugaku Expositions.
[16] T. Kobayashi and T. Yoshino. Compact Clifford-Klein forms of symmetricspaces–revisited. Pure Appl. Math. Q., 1:591-663, 2005.
[17] B. Kostant. The principal three-dimensional subgroup and the Betti numbers ofa complex simple Lie group. Amer. J. Math., 81:973-1032, 1959.
[18] I. Kra. On lifting Kleinian groups to SL(2, C). In Differential geometry andcomplex analysis, pages 181-193. Springer, Berlin, 1985.
[19] F. Labourie and R. J. Zimmer. On the non-existence of cocompact lattices for
SL $(n)/SL(m)$ . Math. Res. Lett., 2:75-77, 1995.
[20] A. I. Malcev. On semi-simple subgroups of Lie groups. Amer. Math. Soc. Translation, $1950(33):43$ , 1950.
[21] G. A. Margulis. Existence of compact quotients of homogeneous spaces, measur-

19
ably proper actions, and decay of matrix coefficients. Bull. Soc. Math. France,$125(3):447-456$ , 1997.

[22] G. A. Margulis. Problems and conjectures in rigidity theory. In Mathematics:
frontiers and perspectives, pages 161-174. Amer. Math. Soc., 2000.
[23] H. Oh and D. Witte. Compact Clifford-Klein forms of homogeneous spaces of
SO 2, $n)$ . Geom. Dedicata, 89:25-57, 2002.
$($[24] I. Satake. On representations and compactifications of symmetric Riemannian
spaces. Ann. of Math. (2), 71:77-110, 1960.
[25] J. Sekiguchi. Remarks on real nilpotent orbits of a symmetric pair. J. Math. Soc.
Japan, 39: 127-138, 1987.

[26] K. Teduka. Proper actions of SL(2, C) on irreducible complex symmetric spaces.

Proc. Japan Acad. Ser. A Math. Sci., 84:107-111, 2008.
[27] R. J. Zimmer. Discrete groups and non-Riemannian homogeneous spaces.
Amer. Math. Soc., 7:159-168, 1994.

$J$.