[論文レビュー] Classification of semisimple symmetric spaces with proper SL(2,R)-actions

Takayuki Okuda|arXiv (Cornell University)|May 6, 2012

Advanced Algebra and Geometry参考文献 25被引用数 8

ひとこと要約

本稿は、Kobayashiの適切な作用の基準と、複素ノンアーベル的軌道および双曲的軌道に関する組合せ論的技法を用いて、等長写像としての適切な $SL(2,\mathbb{R})$-作用をもつ不可約半単純対称空間 $G/H$ を分類する。主な結果は、非アーベル的離散的群の存在、複素反対双曲的軌道の存在、および複素化されたリー代数における $c$-双対条件を含む、同値条件を用いたその完全分類である。

ABSTRACT

We give a complete classification of irreducible symmetric spaces for which there exist proper SL(2,R)-actions as isometries, using the criterion for proper actions by T. Kobayashi [Math. Ann. '89] and combinatorial techniques of nilpotent orbits. In particular, we classify irreducible symmetric spaces that admit surface groups as discontinuous groups, combining this with Benoist's theorem [Ann. Math. '96].

研究の動機と目的

• 不可約半単純対称空間 $G/H$ が等長写像として適切な $SL(2,\mathbb{R})$-作用をもつものについて分類すること。
• どの対称空間が $g \geq 2$ の曲面群 $\pi_1(\Sigma_g)$ を離散的群として許容するかを特定すること。
• 非仮想アーベル的離散的群の存在と、$\mathfrak{g}_{\mathbb{C}}$ 内の複素ノンアーベル的軌道および双曲的軌道の幾何学的性質との間の関係を確立すること。
• Lie理論的特徴付けとして、$c$-双対条件と重み付きDynkin図を用いて、適切な $SL(2,\mathbb{R})$-作用をもつ対称空間を特定すること。
• 表現論的データと幾何的作用性質を結びつけることで、対称空間における離散的群の存在問題を解決すること。

提案手法

• T. Kobayashiの適切な群作用の基準を適用し、問題を $\mathfrak{g}$ と $\mathfrak{h}$ の実ランクの比較に還元する。
• $\mathfrak{g}_{\mathbb{C}}$ 内の複素ノンアーベル的軌道に関する組合せ論的技法を用い、特に $\mathfrak{g}$ および $\mathfrak{g}^c$ との交わりに注目する。
• 複素反対双曲的軌道の概念を、適切な $SL(2,\mathbb{R})$-作用を検出するための主要な不変量として用いる。
• Satake図と重み付きDynkin図を用いて、軌道論的条件を満たす対称ペア $(\mathfrak{g}, \mathfrak{h})$ を分類する。
• Benoytの曲面群作用に関する定理と軌道論的特徴付けを組み合わせ、非アーベル的離散的群と適切な $SL(2,\mathbb{R})$-作用との同値性を確立する。
• 5つの条件の同値性を検証する：適切な $SL(2,\mathbb{R})$-作用、曲面群の離散的作用、非仮想アーベル的離散的群の存在、$\mathfrak{g}^c$ と交わらない複素ノンアーベル的軌道の存在、および非交わる複素反対双曲的軌道の存在。

実験結果

リサーチクエスチョン

• RQ1 どの不可約半単純対称空間 $G/H$ が等長写像として適切な $SL(2,\mathbb{R})$-作用をもつのか？
• RQ2 非仮想アーベル的離散的群の存在と、$\mathfrak{g}_{\mathbb{C}}$ 内の複素ノンアーベル的軌道の幾何学的性質との間の明確な関係は何か？
• RQ3 曲面群の離散的作用が $G/H$ に存在するための条件を、Lie理論的データの観点からどのように特徴づけられるか？
• RQ4 対称ペア $(\mathfrak{g}, \mathfrak{h})$ にどのような条件が課されると、$SL(2,\mathbb{R})$ が $G/H$ 上で適切に作用するのか？
• RQ5 複素反対双曲的軌道が $\mathfrak{g}_{\mathbb{C}}$ 内に存在し、$\mathfrak{g}$ とは交わるが $\mathfrak{g}^c$ とは交わらないのはどのような条件下か？

主な発見

• 定理1.3の5つの条件は同値である：適切な $SL(2,\mathbb{R})$-作用、曲面群の離散的群の存在、非仮想アーベル的離散的群の存在、$\mathfrak{g}_{\mathbb{C}}$ 内で交わらない複素ノンアーベル的軌道の存在、および非交わる複素反対双曲的軌道の存在。
• 適切な $SL(2,\mathbb{R})$-作用をもつ対称ペア $(\mathfrak{g}, \mathfrak{h})$ の分類は完全であり、表3に明示的にリストアップされており、古典的および例外的リー代数をカバーしている。
• $G/H$ に対して、適切な $SL(2,\mathbb{R})$-作用が存在することは、$\mathfrak{g}_{\mathbb{C}}$ 内に $\mathfrak{g}$ とは交わるが $\mathfrak{g}^c$ とは交わらない複素反対双曲的軌道が存在することと同値である。
• Calabi–Markus現象が $G/H$ に現れるのは、そのような軌道が存在しない場合、すなわちすべての複素反対双曲的軌道が $\mathfrak{g}^c$ と交わる場合に限る。
• 分類には、$\mathfrak{sl}(2k,\mathbb{R})/\mathfrak{sl}(k,\mathbb{C}) \oplus \mathfrak{so}(2)$、$\mathfrak{su}(2p,2q)/\mathfrak{sp}(p,q)$、および $\mathfrak{e}_6, \mathfrak{e}_7, \mathfrak{e}_8$ の特定の実形式と、それに対応する $H$-部分代数が含まれる。
• 非アーベル的離散的群が $G/H$ に存在することは、$SL(2,\mathbb{R})$ が $G/H$ 上で適切に作用するようなリー群準同型 $\Phi: SL(2,\mathbb{R}) \to G$ が存在することを示している。