[论文解读] A combinatorial take on hierarchical hyperbolicity and applications to quotients of mapping class groups

Jason Behrstock, Mark Hagen+2 more|Bristol Research (University of Bristol)|May 1, 2020

Geometric and Algebraic Topology参考文献 52被引用 13

一句话总结

本文提出了一种组合准则，用于判断作用在双曲单纯复形上的群是否为层次双曲群，该准则基于链的双曲性及组合相交条件。主要贡献在于证明了在剩余有限性假设下，映射类群关于德恩扭转高次幂的商群是层次双曲群，尤其在亏格2情形为相对双曲群，从而实现了非初等双曲商群的新构造。

ABSTRACT

We give a simple combinatorial criterion, in terms of an action on a hyperbolic simplicial complex, for a group to be hierarchically hyperbolic. We apply this to show that quotients of mapping class groups by large powers of Dehn twists are hierarchically hyperbolic (and even relatively hyperbolic in the genus 2 case). Under residual finiteness assumptions, we construct many non-elementary hyperbolic quotients of mapping class groups. Using these quotients, we reduce questions of Reid and Bridson-Reid-Wilton about finite quotients of mapping class groups to residual finiteness of specific hyperbolic groups.

研究动机与目标

• 为验证群作用在单纯复形上的层次双曲性，提供一种简化且组合化的准则。
• 确立映射类群关于德恩扭转高次幂的商群为层次双曲群，尤其在亏格2情形为相对双曲群。
• 将映射类群有限商群的问题转化为特定双曲群剩余有限性的研究。
• 在剩余有限性假设下，构造映射类群的非初等双曲商群。

提出的方法

• 将双曲H-空间定义为：在添加有限多个H-轨道边后，仍保持双曲性的单纯复形。
• 在单形的链上建立条件(A)与(B)：(A) 同胚嵌入到等价链的补集中；(B) 通过单纯复形的连枝结构实现组合相交结构。
• 通过在商复形中对测地线使用归纳法与提升论证，验证轨道映射的拟等距嵌入。
• 应用格林德勒引理及辅助引理，控制商群中群元素的行为，确保商映射的单射性。
• 利用良序的复杂度函数c(γ)最小化测地线的提升，并在非平凡性假设下导出矛盾。
• 通过复合投影系统与旋转族结构，验证商复形继承了层次双曲性。

实验结果

研究问题

• RQ1 在群作用于单纯复形的何种组合与几何条件下，可推出该群为层次双曲群？
• RQ2 能否证明映射类群关于德恩扭转高次幂的商群为层次双曲群？在何种条件下成立？
• RQ3 如何利用双曲群的剩余有限性来构造映射类群的非初等双曲商群？
• RQ4 何种条件可确保从商群到商复形的轨道映射为拟等距嵌入？
• RQ5 原映射类群的层次双曲结构在商群中能在多大程度上被保持？

主要发现

• 映射类群关于德恩扭转高次幂的商群是层次双曲群，其中亏格2情形为相对双曲群。
• 该证明依赖于一种基于双曲链与单纯复形连枝条件的新组合准则。
• 在剩余有限性假设下，本文构造了大量映射类群的非初等双曲商群。
• 从商群到商复形的轨道映射为拟等距嵌入，确保了几何控制。
• 由于无挠性，商映射在某些子群上的限制核为平凡，意味着该子群上商映射为单射。
• 证明中使用了最小复杂度函数c(γ)来控制测地线的提升，并在非平凡性假设下导出矛盾。