[論文レビュー] Absolute profinite rigidity and hyperbolic geometry

Martin R. Bridson, D. B. McReynolds+2 more|arXiv (Cornell University)|Nov 11, 2018

Geometric and Algebraic Topology被引用数 8

ひとこと要約

本稿は、絶対的意味でのプロフィニート的剛性を持つ、初めて知られている全サイズで、有限生成かつ残値的に有限な群の例を確立した。著者らは、表現の剛性と計算代数システムによる有限商の列挙を組み合わせた、算術的・幾何的・群論的技法を用いて、特定の算術的クラインィアン群（例えば、ω² + ω + 1 = 0 を満たす ω を用いた PSL(2, Z[ω])）の絶対的プロフィニート的剛性を証明した。この群は、PSL(2, C) の最小なコボリュームの非一様格子であり、ウィークス多様体の基本群である。

ABSTRACT

We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group $\mathrm{PSL}(2,\mathbb{Z}[ω])$ with $ω^2+ω+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$ and the fundamental group of the Weeks manifold (the closed hyperbolic $3$-manifold of minimal volume).

研究の動機と目的

• 群法則によって制約されない、無限大かつ全サイズの群（非可換自由部分群を含む）の絶対的プロフィニート的剛性を同定し、証明すること。
• 特定の算術的クラインィアン群が、すべての有限生成で残値的に有限な群の中で、そのプロフィニート完備化によって一意に決定されることを示すこと。
• 算術的構造、幾何的位相的トポロジー、計算群論を統合する枠組みを確立し、非可換設定における長年の未解決問題である絶対的プロフィニート的剛性に取り組むこと。
• 非可解的かつ非可換な群のうち、そのプロフィニート完備化が群の同型を除いて一意に決定する例を初めて提供すること。

提案手法

• SL(2, C) における表現の剛性を活用し、既約表現の数を制限することで、プロフィニート完備化を制約すること。
• 計算代数システム（Magma）を用いて、特に指数 8 および 24 の部分群の共轭類を列挙・比較し、プロフィニート完備化を区別すること。
• 低インデックス部分群探索とコセット列挙を用いて、置換像の位数とアーベル不変量を計算し、有限商を比較すること。
• 特にウィークス多様体とビアンキ群のトポロジーに着目した、双曲的3-軌道体および3-多様体の幾何的構造を活用し、算術的および部分群論的制約を導出すること。
• プロフィニート完備化が、他のすべての有限生成で残値的に有限な群とは区別されることを示し、Γ と同型でない異方的群 Λ が同型なプロフィニート完備化を持たないことを証明すること。
• 安定性をプロフィニート完備化に関して用いて、Γ × Z^r がすべての r ∈ N に対してプロフィニート的に剛性を持つことを示し、1つの例から無限個の共通可換類を生成すること。

実験結果

リサーチクエスチョン

• RQ1 非可換で全サイズの（すなわち、非可換自由部分群を含む）無限群で、絶対的意味でのプロフィニート的剛性を持つものはあるか？
• RQ2 双曲的3-軌道体から生じる算術的クラインィアン群は、そのプロフィニート完備化によって一意に決定されるか？
• RQ3 SL(2, C) における表現の剛性は、PSL(2, C) の格子のプロフィニート完備化をどの程度制約するか？
• RQ4 Magma を用いた有限商の計算的列挙は、同型でない群のプロフィニート完備化を区別できるか？
• RQ5 最小体積の閉じた双曲的3-多様体であるウィークス多様体の基本群は、プロフィニート的に剛性を持つか？

主な発見

• ω² + ω + 1 = 0 を満たす ω を用いたビアンキ群 PSL(2, Z[ω]) は、絶対的意味でプロフィニート的に剛性を持つ。
• PSL(2, C) の最小コボリュームの非一様格子は、絶対的意味でプロフィニート的に剛性を持つ。
• ウィークス多様体の基本群は、絶対的意味でプロフィニート的に剛性を持つ。Magma の計算により、指数 24 の部分群の共轭類がちょうど1つであり、非アーベル単純群（位数 3.1×10^23）を像とするものが確認された。
• すべての r ∈ N に対して Γ×Z^r はプロフィニート的に剛性を持つ。これにより、1つの例から無限個の共通可換類のプロフィニート的に剛性を持つ群が得られる。
• Γ_W は正確に11個の指数24の共轭類の部分群を持ち、そのうち1つは位数6072の単純群を像とし、他の2つはそれぞれ位数 2.2×10^6 および 3.1×10^23 の単純群を像とする。これにより、異なるプロフィニート完備化が確認された。
• Γ_W に対する指数8部分群の列挙では、正確に1つの共轭類が得られ、アーベル不変量 [5, 30] を持つ。これは、他の群とは区別するための重要な不変量となった。