[論文レビュー] Holomorphic actions of higher rank lattices in dimension three

Serge Cantat, Abdelghani Zeghib|ArXiv.org|Sep 8, 2009

Geometry and complex manifolds参考文献 33被引用数 8

ひとこと要約

本稿は、コンpakto Kähler 3次元多様体上の高ランク格子の正則作用を分類し、その作用が自動同型群の単位成分にほぼ含まれるか、あるいは Kummer 型—つまり、有限群による複素トーラスの商として得られるアフィン作用—にほぼ含まれることを証明する。この主要結果により、次元3における正則作用の Zimmer プログラムが完了する。

ABSTRACT

We classify all holomorphic actions of higher rank lattices on compact Kaehler manifolds of dimension 3. This provides a complete answer to Zimmer's program for holomorphic actions on compact Kaehler manifolds of dimension at most 3.

研究の動機と目的

• コンパクト Kähler 3次元多様体上の高ランク格子の正則作用をすべて分類すること。
• 低次元における正則微分同相写像の Zimmer プログラムの中心的ケースを解決すること。
• コンパクト Kähler 3次元多様体の自動同型群の連結成分の構造を理解すること。
• このような作用が、特に Kummer 軌体の幾何的構成から生じる条件を特定すること。
• 2通りの分類：作用がほぼ接続的か、ほぼ Kummer 型であり、非連結の場合の正確な分類を確立すること。

提案手法

• 多様体のコホモロジーへの格子作用の分析に、ホッジ理論と剛性定理を用いる。
• 高ランクリー群の格子における Margulis の超剛性および性質 (T) を適用し、可能な表現を制約する。
• Selberg の補題を用いて、 torsion-free な有限指数部分群への問題の還元により、コホモロジー的解析を可能にする。
• 不変な解析的部分集合および自動同型群の連結成分とその商の構造を研究する。
• リー群論および半単純リー代数の実形式の分類を用いて、可能な標的群を同定する。
• 有限群による複素トーラスの商とその解消を用いた Kummer 型作用の構成により、非連結ケースをすべて尽くすことを示す。

実験結果

リサーチクエスチョン

• RQ1 高ランク格子の正則作用がコンパクト Kähler 3次元多様体上で可能なのはどのようなものか？
• RQ2 このような作用は、トーラス作用から生じるような幾何的に意味のあるクラスに分類可能か？
• RQ3 格子作用の像がコンパクト Kähler 3次元多様体の自動同型群の単位成分にほぼ含まれる条件は何か？
• RQ4 どのようなリー群がこのような作用の Zariski 閉包として現れ得るか？ また、それらは自動同型群内でどのように実現されるか？
• RQ5 Kummer 型の構成—特に複素トーラスの有限群による商—は、すべての非連結作用をどれだけまでカバーするか？

主な発見

• コンパクト Kähler 3次元多様体上の高ランク格子の正則作用は、すべて自動同型群の単位成分にほぼ含まれるか、あるいは Kummer 型である。
• 非可換な高ランクリー群で非自明に作用できるのは、局所的に $\mathrm{SL}_3(\mathbf{R})$ または $\mathrm{SL}_3(\mathbf{C})$ に同型であるものに限る。
• Kummer 型の場合、格子 $\Gamma$ は $\mathrm{SL}_3(\mathbf{Z})$ または $\mathrm{SL}_3(\mathcal{O}_d)$ と可換である。ここで $\mathcal{O}_d$ は虚二次体の整数環である。
• コホモロジーへの作用は有限または $\mathrm{SL}_3(\mathbf{R})$ または $\mathrm{SL}_3(\mathbf{C})$ の非自明な表現にほぼ拡張可能であり、強い剛性を示唆する。
• 多様体 $M$ は Kummer 軌体に双有理同型、または以下の4つの標準例のいずれかに同型である：$\mathbb{P}^3(\mathbf{C})$、$\mathbb{P}^2$ 上の $\mathbb{P}^2$-バンドル、$\mathbb{P}^2$ 上の主トーラスバンドル、または $g(B) \geq 2$ を満たす $B$ との積 $\mathbb{P}^2 \times B$。
• 環境となるリー群 $G$ の中心が無限大であっても、その実ランクが2以上でリー代数が単純であれば、分類は成り立つ。