[論文レビュー] Small cancellation theory and Burnside problem

Rémi Coulon|arXiv (Cornell University)|Feb 27, 2013

Geometric and Algebraic Topology参考文献 21被引用数 19

ひとこと要約

本稿では、双曲群における小キャンセレーション理論の幾何的アプローチを提示する。擬凸部分集合と擬測地線を用いて、無限個の双曲商群の列を構成する。繰り返し幾何学的小キャンセレーション条件を適用することで、著者らは十分に大きな奇数の指数 $n$ に対して自由バーナイド群 $urn rn$ が無限であることを証明し、双曲幾何と双曲空間上の群作用を用いて、ノヴィコフ＝アディアンの結果に対する新たな証明を提示する。

ABSTRACT

In these notes we detail the geometrical approach of small cancellation theory used by T. Delzant and M. Gromov to provide a new proof of the infiniteness of free Burnside groups and periodic quotients of torsion-free hyperbolic groups.

研究の動機と目的

• 双曲群の文脈における小キャンセレーション理論の幾何的再解釈を提供すること。
• 繰り返し群の商を用いて、大きな奇数の $n$ に対して自由バーナイド群 $\burn rn$ の無限性を確立すること。
• 非仮想的巡回でトーショニスな双曲群の周期的商が無限であることを示すために、この手法を拡張すること。
• グロモフ積や直径の上限といった幾何的不変量を用いて、擬凸部分集合間の重なりを制御する枠組みを構築すること。
• 各段階で双曲性と仮想的巡回性の欠如を保つことで、上昇列としての双曲群の極限が無限であることを示すこと。

提案手法

• $\delta$-双曲空間と、適切かつコンパクトな等長作用をもつ群作用を用いて、幾何学的小キャンセレーションを定義すること。
• 集合 $Y$ が $2\delta$-擬凸で、$H$ が $Y$ 上にコンパクトに作用するようなペア $(H,Y)$ の族 $\mathcal{Q}$ を定義すること。
• 最大重なり $\Delta(\mathcal{Q})$ と最小長 $\ell(\mathcal{Q})$ を導入し、キャンセレーション条件を定量的に定式化すること。
• 擬測地線の安定性の応用：十分に大きな $L$ に対して、任意の $L$-局所 $(1,l)$-擬測地線は $l+8\delta$-擬凸である。
• グロモフ積を用いて、パスへの距離を抑え、重なりが制御された条件下で、擬測地線上の点が基準パスに近いまま保たれることを保証すること。
• 各ステップで双曲性と仮想的巡回性の欠如を保つように、$H$-部分群によって生成される正規部分群による商を用いて、群の列 $G_k$ を構成すること。

実験結果

リサーチクエスチョン

• RQ1 小キャンセレーション理論は、双曲群の文脈において幾何学的に再解釈可能であり、バーナイド群の無限性を示すために利用可能か？
• RQ2 双曲群上で小キャンセレーションを繰り返す際に、双曲性と仮想的巡回性の欠如が保たれる条件は何か？
• RQ3 グロモフ積や擬凸性といった幾何的不変量を用いて、商構成における群元間の重なりをどのように制御できるか？
• RQ4 結果として得られる商が無限であることを保証する最小の重なり条件（$\Delta(\mathcal{Q})$ と $\ell(\mathcal{Q})$ の観点から）は何か？
• RQ5 この手法は、任意の非仮想的巡回な双曲群の周期的商が無限であることを示すために拡張可能か？

主な発見

• 自由バーナイド群 $\burn rn$ は、すべての奇数の $n \geq n_0$ に対して無限である。ここで $n_0$ は群および小キャンセレーションパラメータに依存する。
• 構成により得られる群の列 $G_k$ は、非仮想的巡回かつ双曲的であり、極限群が有限でないことを保証する。
• 幾何学的小キャンセレーション条件 $C''(\lambda)$ は、擬凸部分集合とグロモフ積を用いて再定式化され、$\Delta(\mathcal{Q}) \leq \lambda \ell(\mathcal{Q})$ が主な基準となる。
• 擬測地線の安定性により、任意の $L$-局所 $(1,l)$-擬測地線が、$l$ と $\delta$ のみに依存する一様な距離でグローバルな擬測地線に近いことが保証される。
• 極限群 $\burn rn$ が無限であることが示された。これは、非仮想的巡回な双曲群の上昇列の直和極限であるからである。
• 本手法は、$urn rn$ の距離的作用に依存せず、幾何的に制御された商列の直和極限を分析することで、代替的に実現される。