[论文解读] Every Infinite order mapping class has an infinite order action on the homology of some finite cover

Asaf Hadari|arXiv (Cornell University)|Aug 6, 2015

Geometric and Algebraic Topology参考文献 9被引用 7

一句话总结

本文证明了在基本群为非交换自由群的有限类型曲面上，每个无限阶映射类在某个有限可解覆叠的上同调上作用为无限阶。通过同调阴影、转移图和阿贝尔群上的傅里叶分析，作者明确构造了此类覆叠，解决了映射类群表示理论中长期存在的一个猜想。

ABSTRACT

We prove the following well known conjecture: let $Σ$ be an oriented surface of finite type whose fundamental group is a nonabelian free group. Let $ϕ\in extup{Mod}(Σ)$ be a an infinite order mapping class. Then there exists a finite solvable cover $\widehatΣ o Σ$, and a lift $\widehatϕ$ of $ϕ$ such that the action of $\widehatϕ$ on $H_1(\widehatΣ, \mathbb{Z})$ has infinite order. Our main tools are the theory of homological shadows, which was previously developed by the author, and Fourier analysis

研究动机与目标

• 解决一个著名猜想：即在带有穿孔的曲面上，每个无限阶映射类在某个有限覆叠的上同调上作用为无限阶。
• 建立一种构造性方法，用于构建有限可解覆叠，使得提升后的映射类在上同调上具有无限阶作用。
• 通过证明此类具有受控代数结构的覆叠的存在性，拓展映射类群与自由群自同构的同调表示结果。
• 为麦克马伦关于映射类作用谱半径在有限覆叠中为正的猜想提供证据。

提出的方法

• 作者利用同调阴影理论，通过转移图及其关联矩阵分析映射类在有限覆叠上的作用。
• 他们定义极值子图与被侵占顶点，以分离出具有非平凡谱增长的分量。
• 在有限阿贝尔群上应用傅里叶分析，以追踪上同调上的函数，从而研究特征值在不同覆叠中的行为。
• 该方法涉及将映射类提升至阿贝尔覆叠，并利用特征和分析关联矩阵的幂的迹。
• 通过构造一系列阿贝尔覆叠并分析迹函数在傅里叶变换下的像，他们检测到非平凡的谱增长。
• 关键技术工具是利用特征多项式根的逆傅里叶变换，以检测在字符的余稠密子集上迹项的非零性。

实验结果

研究问题

• RQ1 在基本群为非交换自由群的曲面上，每个无限阶映射类是否在某个有限覆叠的第一上同调上作用为无限阶？
• RQ2 同调表示能否通过有限覆叠检测映射类的无限阶性质？
• RQ3 是否存在一个有限可解覆叠，使得提升后的映射类在上同调上具有无限阶作用，即使原始作用为有限阶？
• RQ4 麦克马伦猜想中，映射类作用的谱半径是否可在某个有限覆叠上为正？
• RQ5 能否利用转移图及其子图的结构，以算法方式构造此类覆叠？

主要发现

• 本文证明：对于基本群为非交换自由群的曲面上任意无限阶映射类，均存在一个有限可解覆叠，使得其在第一上同调上的提升作用为无限阶。
• 该构造依赖于在转移图中识别被侵占顶点，并利用阿贝尔覆叠来增强同调表示中的谱增长。
• 作者证明：若一个子图是 i 阶幂零被侵占，则存在一个覆叠，使得单值矩阵的 k 次幂的迹在无穷多个 k 处非零。
• 证明利用了阿贝尔群对偶群上的傅里叶分析，以检测来自单位圆外特征值的非零贡献。
• 该方法确保所得到的覆叠为可解群，满足比仅有限更强的条件。
• 该结果证实了一个长期存在的猜想，并为检测同调表示中无限阶行为提供了构造性框架。