[論文レビュー] Random graphs of free groups contain surface subgroups

Danny Calegari, Henry Wilton|arXiv (Cornell University)|Mar 11, 2013

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

ひとこと要約

この論文は、辺群を頂点群へ長さnの準同型でランダムに写すことで構成される自由群のランダムグラフが、nが増加するにつれて確率1に近づく割合で閉じた曲面部分群を含むことを証明している。証明は、擬似ランダムな境界条件を満たす折りたたみ済みのファットグラフに依拠する構成的で、このような曲面部分群がランダムな準同型のもとで、自由群の拡張やHNN拡張においても存在することを確立している。

ABSTRACT

A random graph of free groups contains a surface subgroup

研究の動機と目的

• 自由群のランダムグラフという特殊ケースにおいて、グロモフの曲面部分群問題を解決すること。
• 自由群のランダムグラフが双曲的であり、また仮想的に特別であることを示し、小さなキャンセレーション条件を満たしていることを示すこと。
• 高い確率で、閉じた曲面部分群をこのようなグラフに構成的に埋め込むための方法を提供すること。
• 立方体化可能で仮想的に特別な群に関する既知の結果を拡張し、ランダムな構成のもとでそれらが曲面部分群を含むことを示すこと。
• 自由群のランダムグラフに無限個の異なる曲面部分群が存在することを確立すること。

提案手法

• 辺群から頂点群への長さnのランダムな準同型を用いて、自由群のランダムグラフを定義する。
• 境界語が(T,ε)-擬似ランダム性を満たすように指定された折りたたみ済みファットグラフを用いて、曲面部分群を構成する。
• Calegari–Walker（2013）の上昇HNN拡張における単射曲面部分群に関する結果を、ランダムグラフの文脈に応用する。
• 折りたたみ済みファットグラフ上の局所的な組合せ的条件を用いて、曲面部分群の単射性を証明する。
• ランダムな準同型が高い確率でC′(λ)小キャンセレーション条件を満たすという事実を活用し、双曲性を保証する。
• 特定のケースにおいてこのような曲面部分群の存在を実験的に検証するために、プログラムscallopを用いる。

実験結果

リサーチクエスチョン

• RQ1 自由群のランダムグラフは、高い確率で閉じた曲面部分群を含むか？
• RQ2 自由群のランダムグラフに、明示的に曲面部分群を構成するための方法を用いることができるか？
• RQ3 折りたたみ済みファットグラフにどのような擬似ランダム性の条件が、単射曲面部分群の存在を保証するか？
• RQ4 ランダム準同型の長さnが増加するにつれて、曲面部分群を含む確率はどのように変化するか？
• RQ5 自由群のランダムグラフは、どの程度小キャンセレーションおよび仮想的特別性の性質を満たしているか？

主な発見

• n → ∞ のとき、自由群のランダムグラフは、確率 1 - O(e^(-Cn)) で閉じた曲面部分群を含む。
• 曲面部分群の構成は明示的であり、折りたたみ済みファットグラフ上の局所的な組合せ的条件によって証明可能である。
• 長さnのランダム準同型は、任意のλ > 0 に対して、確率 1 - O(e^(-Cn)) で小キャンセレーション条件C′(λ)を満たす。
• 証明により、1つの自由群のランダムグラフ内に無限個の異なる曲面部分群が存在することが示された。
• この結果は、C′(1/6)群や密度<1/6のランダム群といった多くの双曲群が曲面部分群を含むことを示唆している。
• これらの手法はプログラムscallopと互換性があり、曲面部分群の埋め込みの計算的検証が可能である。