[论文解读] Morse theory for group presentations

Ximena Fernández|arXiv (Cornell University)|Nov 30, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 27被引用 5

一句话总结

本文提出了一种针对群表示的改进离散莫射理论，通过怀特黑德简单同伦等价，实现了对二维CW复形的3-形变的显式计算。该理论建立了复形维数的界限，并提供了显式的粘合映射，将该方法应用于验证某些潜在的安德鲁斯-柯蒂斯反例实际上为安德鲁斯-柯蒂斯平凡。

ABSTRACT

We introduce a novel combinatorial method to study $Q^{**}$-transformations of group presentations or, equivalently, 3-deformations of CW-complexes of dimension 2. Our procedure is based on a refinement of discrete Morse theory that gives a Whitehead simple homotopy equivalence from a regular CW-complex to the simplified Morse CW-complex, with an explicit description of the attaching maps and bounds on the dimension of the complexes involved in the deformation. We apply this technique to show that some known potential counterexamples to the Andrews--Curtis conjecture do satisfy the conjecture.

研究动机与目标

• 开发一种组合方法，用于分析群表示的Q**-变换。
• 在2复形的3-形变过程中，提供显式描述粘合映射。
• 使用改进的离散莫射理论，对这类形变中涉及的复形维数进行界定。
• 将该方法应用于验证某些潜在的安德鲁斯-柯蒂斯猜想反例实际上满足该猜想。
• 在原始复形与简化后的莫射复形之间建立怀特黑德简单同伦等价，并显式控制形变过程。

提出的方法

• 通过细化离散向量场结构，将离散莫射理论适配到正则CW复形。
• 通过抵消细胞对构造简化后的莫射复形，保持简单同伦型。
• 利用组合数据跟踪形变过程中细胞的显式粘合映射。
• 将该理论应用于与群表示相关的二维CW复形。
• 利用改进的莫射复形，将3-形变实现为表示的Q**-变换。
• 建立形变序列中涉及复形的维数界限。

实验结果

研究问题

• RQ1 能否使用改进的离散莫射理论显式描述由群表示产生的二维复形的3-形变？
• RQ2 此类形变中的粘合映射是否具有保持简单同伦型的组合描述？
• RQ3 该方法能否验证某些潜在的安德鲁斯-柯蒂斯猜想反例实际上为安德鲁斯-柯蒂斯平凡？
• RQ4 此类莫射理论简化中涉及的复形维数的界限是什么？
• RQ5 如何在此框架下显式构造怀特黑德简单同伦等价？

主要发现

• 该方法从原始2-复形到其简化后的莫射复形构造了怀特黑德简单同伦等价。
• 形变中的粘合映射通过改进的莫射结构显式描述。
• 形变中涉及的复形维数受到限制，最终复形的维数至多为2。
• 该技术证实了若干已知的潜在安德鲁斯-柯蒂斯猜想反例实际上为安德鲁斯-柯蒂斯平凡。
• 提供了一个新例子（例1.13），用于高维类比，扩展了该方法的适用范围。
• 最终版本的论文发表于《美国数学学会会刊》，包含少量更正和扩展的高维插图。