[論文レビュー] The Geometry of the Handlebody Groups II: Dehn functions

Ursula Hamenstädt, Sebastian Hensel|arXiv (Cornell University)|Apr 30, 2018

Geometric and Algebraic Topology被引用数 2

ひとこと要約

本稿では、 genus g ≥ 3 のハンドル体群 Hg のデーン関数が指数的であることを確立している。一方、H2 は立方体的かつ双自己同型的であり、これは二次的デーン関数を意味する。著者らは、ディスクを縁取る曲線と木構造を用いた幾何的モデルを構築し、Out(Fg) から指数的サイクルを引き上げることで、低 genus と高 genus のハンドル体群の間で根本的な幾何的相違を示した。

ABSTRACT

We show that the Dehn function of the handlebody group is exponential in any genus $g\geq 3$. On the other hand, we show that the handlebody group of genus $2$ is cubical, biautomatic, and therefore has a quadratic Dehn function.

研究の動機と目的

• . genus g ≥ 3 のハンドル体群 Hg のデーン関数の成長率を特定すること。
• . genus 2 のハンドル体群 H2 が立方体的かつ双自己同型的であることを確立すること。
• . H2 が CAT(0) 立方体複体上に適切かつ共通に作用することを示すこと。
• . サイクルを構築することで、g ≥ 3 の Hg のデーン関数が指数的であることを証明すること。このサイクルは、埋め込むために指数的面積を要する。
• . H2 のデーン関数が二次的であることを示し、双自己同型性およびハーガープ性を示唆すること。

提案手法

• . 語問題をデーン関数を用いて幾何的群論的手法で分析すること。
• . genus 2 のハンドル体における非分離メリジアンの交差パターンを用いて、H2 の幾何的モデルを構築すること。
• . 非分離メリジアンとその双対曲線の構造に基づいて、H2 が作用する木 Pnm_2 を構築すること。
• . メリジアン回りのアニュラスにおけるデーンねじりの作用を用いて、木とねじり作用から CAT(0) 立方体複体 Mnm_2 を構築すること。
• . H2 が Mnm_2 上に適切かつ共通に作用することを証明し、双自己同型性を示すこと。
• . Mnm_2 における距離公式を用いて、準等長埋め込みを quasi-木と quasi-木の積へ導くことにより、H2 の幾何的構造を支援すること。

実験結果

リサーチクエスチョン

• RQ1 . genus g ≥ 3 のハンドル体群 Hg のデーン関数は指数的か？
• RQ2 . genus 2 のハンドル体群 H2 は、CAT(0) 立方体複体上に適切かつ共通に作用できるか？
• RQ3 . H2 のデーン関数は二次的に成長するか？ これは双自己同型性を示唆する。
• RQ4 . ハンドル体群 H2 の背後にある幾何的構造は何か？ そして g ≥ 3 の Hg とはどのように異なるか？
• RQ5 . Mnm_2 の幾何的モデルにおける距離公式を用いて、quasi-木の積への準等長埋め込みを導くことができるか？

主な発見

• . g ≥ 3 のすべての Hg について、デーン関数が指数的であることが、埋め込むために指数的面積を要するサイクルを構築することで示された。
• . genus 2 のハンドル体群 H2 は双自己同型的であり、これは二次的デーン関数を意味する。
• . H2 は CAT(0) 立方体複体上に適切かつ共通に作用するため、立方体幾何が確認された。
• . 任意の非分離メリジアンの安定化部分群は、幾何的モデルにおける距離公式により、H2 において歪曲していないことが示された。
• . H2 は、Mnm_2 における距離公式の結果として、木と quasi-木の積への準等長埋め込みを有する。
• . genus 2 のハンドル体群 H2 は、双自己同型性および [CMV] と [´S] の結果から、ハーガープ性を有する。