[论文解读] Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products

Ian Agol, Daniel Groves+1 more|arXiv (Cornell University)|Apr 12, 2012

Geometric and Algebraic Topology参考文献 57被引用 360

一句话总结

本文通过基于层级的构造方法，结合着色与粘合定理，证明了立方化词超曲群是虚拟特殊的。关键结果解决了闭双曲3-流形的虚拟Haken猜想与虚拟纤维化猜想，表明其存在有限叶的Haken覆叠，并可纤维化到圆周上。

ABSTRACT

It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of the knapsack problem is passed on to finite extensions, HNN-extensions over finite associated subgroups, and amalgamated products with finite identified subgroups.

研究动机与目标

• 证明每个在CAT(0)立方复形上适当且共(compact)作用的词超曲群，均存在一个有限指数子群，其作用为特殊作用。
• 确立此类群为线性群、大群，并具有可分离的拟凸子群。
• 解决闭双曲3-流形的虚拟Haken与虚拟纤维化猜想。
• 通过弱可分离性定理，推广[1]的主要结果，以构造具有嵌入墙的有限叶覆叠。
• 证明词超曲群属于QVH类时为虚拟特殊群，从而建立虚拟特殊群的群论刻画。

提出的方法

• 利用弱可分离性结果（定理A.1），构造一个具有嵌入、着色的双侧墙的无限叶正规覆叠。
• 在墙图的着色上定义测度，以分析立方复形的层级分解。
• 精炼着色，以追踪墙如何被先前层级阶段所截断，从而实现受控粘合。
• 在精炼的着色立方多面体上求解粘合方程，以构造层级的基例。
• 应用粘合定理（定理3.1），在取有限叶覆叠后，逐步重构复形。
• 通过层级层次的归纳法，验证归纳假设，以构建一个具有特殊作用的有限叶覆叠。

实验结果

研究问题

• RQ1 能否证明每个立方化词超曲群均存在一个有限指数子群，在CAT(0)立方复形上作用为特殊作用？
• RQ2 每个闭双曲3-流形是否都存在一个有限叶的Haken覆叠？
• RQ3 每个属于QVH类的词超曲群是否都是虚拟特殊的？
• RQ4 在双曲群中，经过足够长的H-填充后，拟凸子群的高度是否会下降？
• RQ5 马拉诺姆特殊组合定理是否可推广至边群为有限的并置积情形？

主要发现

• 通过基于层级的构造方法，结合着色与粘合定理，证明了立方化词超曲群是虚拟特殊的。
• 每个闭双曲3-流形均存在一个有限叶的Haken覆叠，从而解决了沃尔德豪森的虚拟Haken猜想。
• 每个闭双曲3-流形均存在一个有限叶覆叠，可纤维化到圆周上，从而解决了瑟斯顿的虚拟纤维化猜想。
• 闭双曲3-流形的基本群是LERF且为大群，证实了基尔比问题列表中的相关猜想。
• 在双曲群中，当填充核在邻域子群中具有有限指数时，拟凸子群的高度在足够长的H-填充下严格下降。
• 每个属于QVH类的词超曲群均为虚拟特殊群，通过定理A.42将[45, 定理13.5]推广至非无挠情形。