[論文レビュー] A combination theorem for cubulation in small cancellation theory over free products

Alexandre Martin, Markus Steenbock|arXiv (Cornell University)|Sep 12, 2014

Geometric and Algebraic Topology参考文献 26被引用数 12

ひとこと要約

本稿は、自由積上の小崩壊理論における立方体化の組み合わせ定理を確立し、有限個の立方体化可能な群の自由積の、古典的な $C^\prime(1/6)$ 条件を満たす有限個の関係式による商が、自身も立方体化可能であることを証明する。著者らは、自由因子からの壁と、関連する2次元複体群の普遍被覆からの壁を組み合わせることで壁空間構造を構成し、周辺部分群に幾何的制限を課さずに、CAT(0)立方体複体上でコ compact な作用を持つことを示した。

ABSTRACT

We prove that a group obtained as a quotient of the free product of finitely many cubulable groups by a finite set of relators satisfying the classical $C'(1/6)$--small cancellation condition is cubulable. This yields a new large class of relatively hyperbolic groups that can be cubulated, and constitutes the first instance of a cubulability theorem for relatively hyperbolic groups which does not require any geometric assumption on the peripheral subgroups besides their cubulability. We do this by constructing appropriate wallspace structures for such groups, by combining walls of the free factors with walls coming from the universal cover of an associated $2$-complex of groups.

研究の動機と目的

• 自由積上での小崩壊によって得られる群の立方体化のための一般化された組み合わせ定理を開発すること。
• 相対的に双曲的な群の立方体化定理において、周辺部分群に幾何的仮定を課さないことを実現すること。
• 自由因子からの壁と2次元複体群の普遍被覆からの壁を組み合わせることで、このような群の明示的な壁空間構造を構築すること。
• 得られる群の双対 CAT(0) 立方体複体への作用が、周辺部分群が双曲的でない、あるいは virtually なアーベル群でない場合でもコ compact であることを確立すること。

提案手法

• 小崩壊提示に関連する2次元複体群の普遍被覆から導かれる壁と、立方体化可能な自由因子の壁を組み合わせることで壁空間構造を構築する。
• 小崩壊条件 $C^\prime(1/6)$ を用いて、関連する多角形複体における非正曲率を保証し、壁の幾何を制御する。
• ガウス＝ボンネの定理を用いて頂点および多角形の曲率を分析し、与えられた角度割り当てのもとで、どの細胞の曲率も負でないことを証明する。
• ハイパーキャリアおよびその交差の構造を活用し、複体内に互いに交差するハイパーキャリアが空でない共通部分集合を持つことを示す。これは立方体化の証明における重要なステップである。
• ハイパーキャリアを境界ツリーに変形するリトラクトを用いて、パスの交差および複数のハイパーキャリア交差内での頂点の包含関係を分析する。
• 得られる壁空間構造が、双対 CAT(0) 立方体複体上でコ compact かつ適切な作用を誘導することを証明し、商群の立方体化を確認する。

実験結果

リサーチクエスチョン

• RQ1 自由因子からの壁と2次元複体群からの壁を、自由積上での小崩壊によって得られる群のためのグローバルな壁空間構造にどのように組み合わせることができるか。
• RQ2 周辺部分群に幾何的制約を課さずに、立方体化可能な群の自由積の $C^\prime(1/6)$ 小崩壊商においても立方体化が保たれる条件は何か。
• RQ3 自由因子が立方体化可能であるが、双曲的または virtually なアーベル群でない場合に、得られる群の双対 CAT(0) 立方体複体への作用がコ compact であるか。
• RQ4 $C^\prime(1/6)$ 条件が、関連する多角形複体における非正曲率をどのように保証するか、特に関係式に関連する頂点においては。
• RQ5 複数のハイパーキャリアの交差が頂点を含むことを保証する条件は何か。これはグローバルな壁空間の存在に必要な条件である。

主な発見

• 有限個の立方体化可能な群の自由積の $C^\prime(1/6)$ 小崩壊商として得られる商群 $G$ は立方体化可能である。
• 自由因子が双曲的でない、あるいは virtually なアーベル群でない場合でも、双対 CAT(0) 立方体複体上でコ compact な作用が得られる。
• 壁空間構造は、自由因子からの壁と2次元複体群の普遍被覆からの壁を組み合わせることで構築され、整合性とグローバルな一貫性が保証される。
• $C^\prime(1/6)$ 条件により、すべての多角形および頂点の曲率が非正であり、関係式に関連する頂点のみが曲率 $\frac{2\pi}{3}$ をとる。これは非正曲率と整合的である。
• 任意の3つの互いに交差するハイパーキャリアの交差には頂点が含まれる。これはグローバルな壁空間の存在に必要な重要な位相的条件である。
• 本手法により、周辺部分群に強い幾何的仮定を課さない相対的に双曲的な群の立方体化定理が、初めて得られた。