[論文レビュー] Quasi-isometric rigidity for graphs of virtually free groups with two-ended edge groups

Sam O. Shepherd, Daniel J. Woodhouse|arXiv (Cornell University)|Jul 20, 2020

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

ひとこと要約

本稿では、2端の辺群をもつ virtually free 群のグラフとして分解される広範なクラスの群に対して、準等長的剛性を確立する。Bass-Serre理論、JSJ分解、および色付き端を持つグラフへのLeightonの定理の新規応用を用いて、このような群に準等長的な任意の群が、抽象的に共通部分群をもつことを証明する。これは、剛性結果を一般のHNN拡大および自由群の巡回部分群を含む部分群への結合に拡張する。

ABSTRACT

We study the quasi-isometric rigidity of a large family of finitely generated groups that split as graphs of groups with virtually free vertex groups and two-ended edge groups. Let $G$ be a group that is one-ended, hyperbolic relative to virtually abelian subgroups, and has JSJ decomposition over two-ended subgroups containing only virtually free vertex groups that aren't quadratically hanging. Our main result is that any group quasi-isometric to $G$ is abstractly commensurable to $G$. In particular, our result applies to certain "generic" HNN extensions of a free group over cyclic subgroups.

研究の動機と目的

• 2端の辺群をもつvirtually free 群のグラフとして分解される、広範な有限生成群のクラスに対して、準等長的剛性を確立すること。
• 1端性および四次的にぶら下がる頂点群の不在を含む、やや弱い条件下で、このような群に準等長的な任意の群が、抽象的に共通部分群をもつことの証明。
• 既知の剛性結果を、自由群の巡回部分群への一般のHNN拡大および結合に一般化すること。
• 幾何群論における空間のグラフの有限共通被覆を構成するために、Leightonの定理と色付き端構造を組み合わせる新規な手法を開発すること。
• 高ランクの円筒的因子が存在する場合の準等長的剛性の失敗を解消するため、反例を構成すること。

提案手法

• Bass-Serre理論を用いて、群が木上の作用をし、virtually free な頂点群と2端の辺群をもつ群のグラフに分解されることを分析する。
• 2端の部分群を基準としてJSJ分解を用い、標準的な分解を特定し、四次的につながる頂点のような非剛性構造を排除する。
• 頂点群および辺群の空間の有限共通被覆を構成するため、色付き端を持つグラフに対するLeightonの定理の新バージョンを導入する。
• 円筒数、伸縮比、密度係数を定義し、空間のグラフの幾何を制御し、準等長的同値性を保証する。
• リンク写像および頂点群・辺群空間の分解間の局所同型を分析することで、共通有限被覆のテンプレートを構築する。
• 高ランクの円筒的因子を含む反例を構成し、円筒的構造のランクが1より大きい場合には、主な剛性結果が成立しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 2端の辺群をもつvirtually free 群のグラフに準等長的な群が、どのような条件下で元の群と抽象的に共通部分群をもつのか。
• RQ2 自由群の巡回部分群への一般のHNN拡大および結合に対して、rigid line patterns をもつ場合に、準等長的剛性を確立できるか。
• RQ3 JSJ分解および四次的につながる頂点群の不在が、剛性を保証するために果たす役割は何か。
• RQ4 Leightonの定理を色付き端を持つグラフにどのように適合させ、幾何群論における有限共通被覆を構成できるか。
• RQ5 なぜ、高ランクの円筒的因子をもつ群では、準等長的剛性の結果が失敗するのか。どのような構造的障害が生じるのか。

主な発見

• 1端性、相対的双曲性、および四次的につながる頂点群をもたないvirtually free な非四次的頂点群のみをもつ、2端の部分群を基準としたJSJ分解をもつ群に準等長的な任意の群は、元の群と抽象的に共通部分群をもつ。
• 結果は、頂点群に付随する線形パターンがrigid である限り、自由群の巡回部分群を含む部分群への一般のHNN拡大および結合に適用可能である。
• 色付き端を持つグラフに対するLeightonの定理の新バージョンにより、有限共通被覆の構成が可能となり、これは共通部分群の証明の中心的役割を果たす。
• 共通被覆における頂点の次数は、自由因子における頂点群の像の指数に依存し、これは自由像のランクと周囲の自由群のランクに依存する。
• 円筒的因子のランクが1より大きい場合には、剛性結果が成立しないことを示す反例が構成された。これは、異なる自由群のランクにおける指数計算の不一致に起因する。
• 証明は、円筒の木の分解の一意性および、準等長写像下での局所構造の保存に依存し、これがグローバルな共通部分群に導く。