[論文レビュー] Determining Fuchsian groups by their finite quotients

Martin R. Bridson, Marston Conder+1 more|arXiv (Cornell University)|Jan 15, 2014

Geometric and Algebraic Topology参考文献 27被引用数 4

ひとこと要約

本稿では、有限生成で残留有限な群の特定のクラス——特にフクシアン群、曲面群、右角アーティン群、非一様算術的格子——が、その有限商群によって同型を除いて一意に特定可能であることを確立している。プロファイント群論を用いて、2つのこのような群が同一の有限商群同型類の集合を持つならば、それらは同型であることを証明しており、幾何的群論における長年の未解決問題を、主要な群のクラスに対して解決した。

ABSTRACT

Let $\C(Γ)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $Γ$. We investigate the extent to which $\C(Γ)$ determines $Γ$ when $Γ$ is a group of geometric interest. If $Γ_1$ is a lattice in ${ m{PSL}}(2,\R)$ and $Γ_2$ is a lattice in any connected Lie group, then $\C(Γ_1) = \C(Γ_2)$ implies that $Γ_1$ is isomorphic to $Γ_2$. If $F$ is a free group and $Γ$ is a right-angled Artin group or a residually free group (with one extra condition), then $\C(F)=\C(Γ)$ implies that $F\congΓ$. If $Γ_1

研究の動機と目的

• 群の有限商群の集合が、幾何的群の主要クラス内において、同型を除いてそれを一意に特定するかどうかを同定すること。
• 残留有限性を超えて、フクシアン群および関連クラスにおける群分類の理解を、有限商群に基づいて拡張すること。
• 自由群、曲面群、算術的格子が、それらの有限商群集合によって区別可能かどうかという未解決問題を解消すること。
• 有限商群から得られる群同型不変量を分析するための理論的枠組みを、プロファイント群論を用いて提供すること。
• 部分群成長が漸近的に同値である非同型群でさえ、有限商群がそれらを区別できることを示すこと。

提案手法

• 著者たちは、群のプロファイント完備化の構造を分析することで、有限商群をすべて含む構造をプロファイント群論を用いて分析している。
• 特に、有限商群の集合や生成元のlcmといったプロファイント不変量の使用を含む、プロファイント剛性理論の結果を応用している。
• 証明は、生成元の可除性やlcm条件といった数論的および群論的制約を用いて、有限商群の構造を分析することに依存している。
• 明示的な構成と場合分けを用いて、非同型の三角群同士の同型を除外するため、区別可能な有限商群を提示している。
• 代数的数論およびリー群における格子の性質を用いて、非一様算術的格子とそのプロファイント完備化を分析している。
• セールの「良い群」理論およびLERF性質の結果を応用し、曲面群や残留自由群を自由群から区別している。

実験結果

リサーチクエスチョン

• RQ1 フクシアン群は、有限生成で残留有限な群の全体の中で、その有限商群の集合によって一意に特定可能か？
• RQ2 右角アーティン群および特定の性質を満たす残留自由群は、一意なプロファイント完備化を持つのか？
• RQ3 単純なリー群における非一様算術的格子は、その有限商群集合によって区別可能か？
• RQ4 2つの非同型の三角群を区別する有限商群は存在するか？
• RQ5 有限商群は、格子の周囲のリー群構造をどの程度まで特定可能にするか？

主な発見

• Γ₁ がフクシアン群で、Γ₂ が連結リー群内の格子であるとき、C(Γ₁) = C(Γ₂) ならば Γ₁ ≅ Γ₂ である。
• 自由群 F と特定のクラスの群 Γ（例えば、曲面群、表面部分群を含む残留自由群）について、C(F) = C(Γ) ならば F ≅ Γ である。
• 中心が自明で、コンパクト因子を含まない単純なリー群における非一様算術的格子について、C(Γ₁) = C(Γ₂) ならば G ≅ PSL(2,C) であり、Γ₂ は有限個の共通可換類の1つに属する。
• 生成元のlcmおよび和の条件を用いて、2つの非同型の三角群を区別する有限商群の明示的構成が提示された。
• 部分群成長がミュラーとシュラーゲ＝プッカの意味で漸近的に同値である群は、有限商群によって区別可能であることが示された。
• 積とlcm値が等しい非同型の三つ組 (r,s,t) と (u,v,w) が、補題 8.10 および補題 8.11 を用いて除外され、重要なケースにおける一意性が確認された。