[论文解读] Automorphisms and homology of non-positively curved cube complexes

Corey Bregman|arXiv (Cornell University)|Sep 12, 2016

Geometric and Algebraic Topology参考文献 11被引用 3

一句话总结

本文引入了一种新的不变量——'亏格'，用于特殊立方复形，该不变量刻画了基本群为阿贝尔群（亏格为一）或满射到F₂的情况。利用该不变量，作者提供了特殊群要么为阿贝尔群，要么满射到非循环自由群的新几何证明，并通过同调上的几何自同构作用，进一步证明右角Artin群的Torelli子群是无挠的。

ABSTRACT

We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the fundamental group of a special cube complex is either free abelian or surjects onto a non-cyclic free group. We also investigate automorphisms of special cube complexes, and give a new geometric proof that the Torelli subgroup for a right-angled Artin group is torsion-free.

研究动机与目标

• 为理解其基本群的结构，定义并研究特殊立方复形的新几何不变量——亏格。
• 为Wise提出的问题提供一个新几何证明，即特殊群要么是阿贝尔群，要么满射到F₂。
• 研究特殊立方复形的自同构及其在第一同调上的作用，特别关注Torelli子群。
• 通过自同构的几何实现和同调非平凡性，建立右角Artin群的Torelli子群是无挠的。

提出的方法

• 将特殊立方复形的亏格定义为：其上两两不相交、非分离的超平面的最大数量，且这些超平面的并集不使复形断开。
• 证明特殊立方复形的亏格为一当且仅当其基本群是阿贝尔群，从而将几何不变量与代数结构联系起来。
• 利用亏格不变量证明任一非阿贝尔特殊群都满射到F₂，从而为原本通过代数方法证明的结果提供新的几何证明。
• 通过标准Salvetti复形的展开构造，将特殊群的自同构实现为立方复形自同构。
• 通过证明任何保持所有超平面的自同构必为平凡自同构，分析自同构在第一同调上的作用，从而得出同调上非平凡的作用意味着自同构非平凡。
• 将自同构的几何实现应用于证明：任何在同调上平凡作用的有限阶外自同构必为平凡自同构，从而得出Torelli子群是无挠的。

实验结果

研究问题

• RQ1 特殊立方复形中亏格不变量的几何意义是什么？它与基本群的代数结构有何关联？
• RQ2 亏格不变量能否用于给出特殊群要么是阿贝尔群，要么满射到F₂的新几何证明？
• RQ3 哪些特殊群的自同构可实现为立方复形的自同构？它们在第一同调上何时作用非平凡？
• RQ4 右角Artin群的Torelli子群是否无挠？能否通过立方复形上的几何作用来证明？

主要发现

• 特殊立方复形的亏格为一当且仅当其基本群是阿贝尔群，从而为阿贝尔特殊群提供了几何刻画。
• 特殊立方复形的亏格为零当且仅当它是CAT(0)空间，将亏格与非正曲率联系起来。
• 亏格为g的闭曲面的基本群的亏格等于g，与经典拓扑亏格一致。
• 亏格给出了群的余秩的下界，本文提出一个开放问题：一般情况下亏格是否等于余秩？
• 任何Salvetti复形展开的自同构在第一同调上都作用非平凡，这是证明Torelli子群无挠性的关键。
• 右角Artin群的Torelli子群是无挠的，因为任何在同调上平凡作用的有限阶外自同构必为平凡自同构，该结论通过立方复形上自同构的几何实现得以证明。