[論文レビュー] Subgroup conjugacy separability for surface groups

Oleg Bogopolski, Kai‐Uwe Bux|arXiv (Cornell University)|Jan 23, 2014

Geometric and Algebraic Topology参考文献 24被引用数 11

ひとこと要約

本稿では、可定向閉じたコンpakトな曲面の基本群が部分群共役分離性（SCS）を満たすことを確立し、自由群に対する既存の結果を拡張している。Bass–Serre理論、被覆空間論、Hurwitz実現問題の道具を用いて、非共役な有限生成部分群が、ある有限商においても非共役のままであることを証明している。これは、拡大自己同型が存在しないことと、部分群共役分離性（SICS）への還元に依拠している。

ABSTRACT

A group $G$ is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. We prove that free groups and the fundamental groups of orientable closed compact surfaces are SCS.

研究の動機と目的

• 可向きの閉じたコンパクトな曲面の基本群が部分群共役分離性（SCS）を満たすことを確立すること。
• 自由群に対するSCS結果を曲面群に拡張し、SCS群のより広範な分類を完成させること。
• 拡大自己同型が存在しない場合に、SICS（部分群への共役分離性）がSCSを意味することを示すこと。
• 被覆空間と曲面幾何学を用いた位相的および群論的枠組みを提供し、部分群共役性を分析すること。
• ScottおよびHurwitz実現定理とBass–Serre理論を用いて、曲面群のSCS性質を解消すること。

提案手法

• Takahasiの定理の部分群の上昇鎖に関する一般化を用いて、曲面群が拡大自己同型をもたないことを証明する。
• 非共役な部分群に関する構造的補題を用いて、SCS性質をSICS（部分群への共役分離性）に還元する。
• Hurwitz実現問題と次数を保つ上昇を用いて、分岐データが制御された曲面の有限被覆を構成する。
• Scott実現定理を用いて、抽象的な群の木への作用を、曲面への幾何的作用として実現する。
• 被覆空間論を適用して、特定の幾何的および位相的制約（例えば、短いループなし、境界に固定された測地線）を満たす有限被覆を構築する。
• 補題9.2, 9.3, 10.3–10.5の結果を組み合わせ、SICSの議論に必要な位相的および計量的条件を満たす被覆を構成する。

実験結果

リサーチクエスチョン

• RQ1 可向きの閉じたコンパクトな曲面の基本群は、部分群共役分離性（SCS）を満たすか？
• RQ2 拡大自己同型が存在しない群において、SCS性質を部分群への共役分離性（SICS）に還元できるか？
• RQ3 曲面の有限被覆に課されるどのような位相的および幾何的制約が、非共役な部分群が商においても非共役のまま保たれることを保証するか？
• RQ4 Hurwitz実現問題とBass–Serre理論を用いて、所望の分岐行動をもつ被覆をどのように構成できるか？
• RQ5 曲面の genus と境界成分にどのような条件を課すと、短いループがなく、境界成分に含まれない測地線がない有限被覆が存在するか？

主な発見

• 可向きの閉じたコンパクトな曲面の基本群は、部分群共役分離性（SCS）を満たし、自由群に対するSCS性質を拡張している。
• 曲面群に拡大自己同型が存在しないことから、二つの部分群が互いに内部で共役であるならば、実際に共役でなければならないことが示され、SICSへの還元が可能になる。
• 分岐データと幾何的性質（例えば、短いループなし、測地線が境界に制限される）が制御された曲面の有限被覆を、Hurwitz実現問題を用いて構成可能である。
• 任意の曲面 S について χ(S) ≤ -1 かつ C > 境界成分の最大長さを満たすとき、C-短いループがなく、境界から境界への測地線が境界上に限定される有限被覆が存在する。
• このような被覆の構成は、中間被覆を介した上昇に依拠しており、次数と分岐パターンが所望の位相的制約を保つように保証されている。
• 曲面群におけるSICS性質は、そのSCS性質を意味し、一連の還元と位相的構成を通じて証明が完成する。