[論文レビュー] Constructing Hyperbolic Manifolds

Brent Everitt, Colin M. MacLachlan|ArXiv.org|Jul 22, 1999

Geometric and Algebraic Topology参考文献 8被引用数 9

ひとこと要約

本稿では、古典的群へのコックスター群の表現を導出し、核が torsion-free であることを保証することにより、双曲的 n-多様体を構成する手法を提示する。主な貢献は、核の torsion-free 性を保証する基準を確立することであり、これにより群論的技法を用いた双曲的多様体の体系的構成が可能になる。

ABSTRACT

In this paper we show how to obtain representations of Coxeter groups acting on H^n to certain classical groups. We determine when the kernel of such a representation is torsion-free and thus the quotient a hyperbolic n-manifold.

研究の動機と目的

• 群表現を用いた双曲的多様体の構成法を開発すること。
• コックスター群の表現の核が torsion-free となる条件を特定すること。
• 幾何的構造（双曲的多様体）と代数的群表現を結びつけること。
• 高次元における双曲的多様体の体系的構成技法を提供すること。
• 対称空間を離散群で割った商が双曲的多様体となる条件を確立すること。

提案手法

• 幾何的・代数的技法を用いて、コックスター群の古典的群への表現を構成する。
• 群論的基準を用いて、群表現の核の torsion-free 性を分析する。
• モノドロミーまたは幾何的実現法を用いて、コックスター群の双曲的 n-空間への作用を実現する。
• 古典的群の離散的かつ torsion-free な部分群が H^n に作用するように、構成に依存する。
• コックスター図と関連する反射群の性質を用いて、核が torsion-free であることを保証する。
• H^n を表現の像で割った商が、核が torsion-free のとき双曲的多様体になる。

実験結果

リサーチクエスチョン

• RQ1 コックスター群の古典的群への表現の核が torsion-free となる条件は何か？
• RQ2 コックスター群の表現をどのように構成すれば、双曲的 n-空間に離散的かつ作用できるか？
• RQ3 H^n を群作用で割った商が双曲的多様体となるための代数的または幾何的基準は何か？
• RQ4 群表現論を用いて双曲的多様体の構成を体系化できるか？
• RQ5 コックスター図の性質が、核の torsion-free 性にどのように寄与するか？

主な発見

• 本稿では、商が多様体となるために不可欠な、コックスター群表現の核が torsion-free であるための基準を確立した。
• 特定の条件下では、コックスター群の古典的群への表現が、双曲的 n-空間に離散的かつ忠実な作用を与えることが示された。
• 核が torsion-free である場合、商空間は完全な双曲的 n-多様体になる。
• 本手法は、群論的データを用いた、次元 n ≥ 3 の双曲的多様体の一般枠組みを提供する。
• 特に算術的または幾何的実現が可能な図をもつコックスター群に対して、本構成は有効である。
• 本成果は、エディンバラ1998年ICMSワークショップの文脈で応用され、計算的および幾何的設定における本手法の実現可能性が示された。