[论文解读] 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 的 Dehn 函数为指数级，而 H2 为立方体且双自动，意味着其 Dehn 函数为二次型。作者通过使用圆盘边界曲线和树状结构构建几何模型，并从 Out(Fg) 提升指数循环，揭示了低 genus 与高 genus 胞体群之间 fundamental 的几何差异。

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 的 Dehn 函数增长速率。
• . 建立 genus 2 胞体群 H2 为立方体且双自动。
• . 证明 H2 在 CAT(0) 立方复形上具有适当且共(compact)作用。
• . 通过构造需指数级面积填充的循环，证明当 g ≥ 3 时 Hg 的 Dehn 函数为指数级。
• . 展示 H2 的 Dehn 函数呈二次型，从而暗示其双自动性与 Haagerup 性质。

提出的方法

• . 使用几何群论技术，通过 Dehn 函数分析字问题。
• . 基于 genus 2 胞体中非分离经线的交集模式，为 H2 构建几何模型。
• . 构造一个树 Pnm_2，其上 H2 作用，基于非分离经线及其对偶曲线的结构。
• . 从该树与扭转变换作用出发，构建 CAT(0) 立方复形 Mnm_2，利用 Dehn 扭转在经线周围环面上的作用。
• . 证明 H2 在 Mnm_2 上的作用是适当且共(compact)，从而暗示其双自动性。
• . 使用 Mnm_2 中的距离公式，表明其拟等距嵌入到拟树与树的积空间中，支持 H2 的几何结构。

实验结果

研究问题

• RQ1 . 当 genus g ≥ 3 时，胞体群 Hg 的 Dehn 函数是否为指数级？
• RQ2 . genus 2 胞体群 H2 是否可实现为在 CAT(0) 立方复形上具有适当且共(compact)作用？
• RQ3 . H2 的 Dehn 函数是否呈二次型，从而暗示其双自动性？
• RQ4 . H2 的胞体群背后存在何种几何结构？其与 g ≥ 3 时的 Hg 有何不同？
• RQ5 . 是否可利用几何模型 Mnm_2 中的距离公式，推导出其拟等距嵌入到拟树的积空间中？

主要发现

• . 通过构造需指数级面积填充的循环，证明当所有 g ≥ 3 时，Hg 的 Dehn 函数为指数级。
• . genus 2 胞体群 H2 为双自动，从而暗示其 Dehn 函数为二次型。
• . H2 允许在 CAT(0) 立方复形上具有适当且共(compact)的作用，确认其立方体几何。
• . 通过几何模型中的距离公式，证明任意非分离经线在 V2 中的稳定化子在 H2 中为无畸变。
• . 作为 Mnm_2 中距离公式的推论，H2 拟等距嵌入到一棵树与若干拟树的积空间中。
• . genus 2 胞体群 H2 具有 Haagerup 性质，这由其双自动性及 [CMV] 与 [´S] 的结果得出。