[論文レビュー] Compact Clifford-Klein forms of symmetric spaces -- revisited

Toshiyuki Kobayashi, Taro Yoshino|arXiv (Cornell University)|Sep 23, 2005

Advanced Algebra and Geometry被引用数 4

ひとこと要約

本稿は、特に非リーマン幾何における対称空間に対するコンパクトなクラッフォード＝クライン形式の存在問題を再考する。再帰的群作用とクラッフォード代数を用いた一般枠組みを構築し、コンパクト商を許容する対称空間を分類する。15次元の符号型 (7,8) の擬リーマン多様体で、定数正の曲率を持つものが存在することを証明し、Hurwitz-Radon数条件 $ p < \rho(q) $ を用いて接空間形式問題を完全に解き、ここで $ \rho(q) $ は $ q $ のHurwitz-Radon数である。本研究は古典的な空間形式理論を拡張し、接対称空間に対する完全な特徴付けを提供する。

ABSTRACT

This article discusses the existence problem of a compact quotient of a symmetric space by a properly discontinuous group with emphasis on the non-Riemannian case. Discontinuous groups are not always abundant in a homogeneous space $G/H$ if $H$ is non-compact. The first half of the article elucidates general machinery to study discontinuous groups for $G/H$, followed by the most update and complete list of symmetric spaces with/without compact quotients. In the second half, as applications of general theory, we prove: (i) there exists a 15 dimensional compact pseudo-Riemannian manifold of signature $(7,8)$ with constant curvature, (ii) there exists a compact quotient of the complex sphere of dimension 1, 3 and 7, and (iii) there exists a compact quotient of the tangential space form of signature $(p,q)$ if and only if $p$ is smaller than the Hurwitz-Radon number of $q$.

研究の動機と目的

• 非リーマン的状況における、特に非コンパクトな $ H $ を持つ対称空間がコンパクトなクラッフォード＝クライン形式を許容するかを分類する一般理論の構築。
• 一般符号型 $ (p,q) $ の擬リーマン多様体における空間形式問題の解決、特に定数正の曲率の場合。
• Cartan 動き群 $ O(p+1,q)/O(p,q) $ の接空間形式問題の解決し、コンパクト商が存在する正確な条件を特定する。
• 群論的および幾何的障害に基づき、コンパクトなクラッフォード＝クライン形式を有するか否かの、非可約対称空間の完全かつ最新のリストの提供。
• リーマン的状況に限らず、このような形式が保証されるが、非リーマン的状況では稀または障害を受ける、コンパクト商理論の古典的枠組みの拡張。

提案手法

• 非コンパクトな $ H $ を持つ場合にも適用可能な、同次空間 $ G/H $ 上における properly discontinuous 群作用の一般化された概念を用いる。
• 再帰的リー群およびその最大コンパクト部分群の構造に基づく群作用の正規性の基準を適用する。
• 重要な技術的手段として、$ \mathfrak{a}(W) \cap \mathfrak{a}(H) = \{0\} $ を満たす $ \mathfrak{p} $ 内の $ q $ 次元部分空間 $ W \subset \mathfrak{p} $ の存在を用いて、コンパクトなクラッフォード＝クライン形式を構成する。ここで $ \mathfrak{a}(W) $ はリー代数に付随する部分空間である。
• 空間形式問題の分析に、不定な二次形式に関連するクラッフォード代数を用いる。特に $ SO(8,\mathbb{C})/SO(7,1) $ のような対称空間に対して有効である。
• 接空間形式問題に対しては、コンパクト商の存在を、核が自明な双線形写像 $ f: \mathbb{R}^{p+1} \times \mathbb{R}^q \to \mathbb{R}^q $ の存在に還元する。すなわち、$ f(v,w) = 0 $ ならば $ v=0 $ または $ w=0 $ である。
• このような双線形写像の存在と、$ p < \rho(q) $ という条件との間の同値性を、表現論的および代数的議論により確立する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトかつ非リーマン幾何的性質を持つ $ H $ を持つ対称空間 $ G/H $ が、コンパクトなクラッフォード＝クライン形式を許容する条件は何か？
• RQ2 符号型 $ (7,8) $ で定数正の断面曲率を持つコンパクトな擬リーマン多様体は存在するか？
• RQ3 どのペア $ (p,q) $ に対して接対称空間 $ O(p+1,q)/O(p,q) $ がコンパクトなクラッフォード＝クライン形式を許容するか？
• RQ4 接対称空間上に properly 作用する不連続群が存在するための正確な代数的条件は何か？
• RQ5 Hurwitz-Radon数 $ \rho(q) $ は、接空間形式問題におけるコンパクト商の存在をどのように規定するか？

主な発見

• 符号型 $ (7,8) $ で定数正の断面曲率を持つ15次元のコンパクトな擬リーマン多様体が存在し、空間形式問題における長年の未解決問題に答えを提示した。
• 7次元の複素球面 $ SO(8,\mathbb{C})/SO(7,1) $ はコンパクトなクラッフォード＝クライン形式を許容し、既知の複素対称空間に関する結果を拡張した。
• 接対称空間 $ O(p+1,q)/O(p,q) $ がコンパクトなクラッフォード＝クライン形式を許容するのは、$ p < \rho(q) $ のときであり、かつそのときのみである。ここで $ \rho(q) $ は $ q $ のHurwitz-Radon数である。接空間形式問題は完全に解決された。
• 接対称空間上に不連続群が存在することは、核が自明な双線形写像 $ f: \mathbb{R}^{p+1} \times \mathbb{R}^q \to \mathbb{R}^q $ の存在と同値であり、幾何的存在性と代数的構造を結びつける。
• 本稿は、非可約対称空間がコンパクトなクラッフォード＝クライン形式を許容するか否かの包括的かつ最新の分類を提供しており、非リーマン的およびパラ・ハミルトニアンの場合を含む。
• Calabi-Markus 現象および非コンパクト性の最大化は、特にパラ・ハミルトニアン対称空間において、コンパクト商の存在に対する主要な障害であると特定された。