[论文解读] Nielsen equivalence and trisections of 4-manifolds

Gabriel Islambouli|arXiv (Cornell University)|Apr 19, 2018

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

一句话总结

该论文通过三叶分解脊的基群生成元的Nielsen等价性，在固定4-流形上构造了相同亏格的若干不同三叶分解。通过应用Heegaard分解理论中的技术——特别是Nielsen类与自同构作用——证明了对于每个 $ k \geq 2 $，在旋转变形的Seifert纤维化空间上存在 $ 2^k - 1 $ 个非微分同胚的 $ (3k,k) $-三叶分解，表明稳定化是使非同痕的三叶分解等价的必要条件。

ABSTRACT

The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are spun Seifert fiber spaces and the trisections come from Meier's spun trisections. The technique used to distinguish the trisections parallels an established technique for distinguishing Heegaard splittings. In particular, we show that the Nielsen classes of the generators of the fundamental group, obtained from spines of the 4-dimensional 1-handlebodies of the trisection, are isotopy invariants of the trisection. If we additionally consider the action of the automorphism group on the Nielsen classes, we obtain diffeomorphism invariants of trisections.

研究动机与目标

• 在固定4-流形上构造多个同亏格但不同痕的三叶分解。
• 证明稳定化是使不同三叶分解同痕的必要条件，从而填补三叶分解理论中的一个空白。
• 将3-流形Heegaard分解不变量的技术——特别是Nielsen类——推广至4维三叶分解。
• 利用自同构不变的Nielsen类对三叶分解进行微分同胚分类。
• 分析小Seifert纤维化空间，证明某些非同痕的三叶分解仅在平衡稳定化后才变为同痕，而非在非平衡稳定化下实现。

提出的方法

• 通过Meier的旋转变形三叶分解构造法，从3-流形的Heegaard分解构造三叶分解。
• 为每个三叶分解关联三个来自三叶分解中1-胞腔体脊的生成元的Nielsen类。
• 利用基群中的Nielsen等价性定义三叶分解的同痕不变量。
• 应用自同构群对Nielsen类的作用，获得三叶分解的微分同胚不变量。
• 利用Lustig、Moriah与Rosenberger关于Fuchsian群中Nielsen等价性的结果，对生成元集进行分类。
• 分析具有三个例外纤维的旋转变形小Seifert纤维化空间，利用其已知的Heegaard分解分类结果来构造三叶分解。

实验结果

研究问题

• RQ1 是否可以在单个4-流形上存在多个同亏格但不同痕的三叶分解？
• RQ2 是否存在仅在稳定化后才变为同痕的三叶分解？若存在，其条件是什么？
• RQ3 基群生成元的Nielsen类能否作为三叶分解同痕与微分同胚的不变量？
• RQ4 是否必须通过稳定化才能使非同痕的三叶分解等价？稳定化类型（平衡与非平衡）是否影响这一过程？
• RQ5 三叶分解中脊的Nielsen类与底层3-流形的Heegaard分解之间有何关系？

主要发现

• 对于每个 $ k \geq 2 $，存在无穷多个4-流形，其上存在 $ 2^k - 1 $ 个非微分同胚的 $ (3k,k) $-三叶分解。
• 与1-胞腔体脊关联的Nielsen类 $ \mathscr{N}(X_1), \mathscr{N}(X_2), \mathscr{N}(X_3) $ 是三叶分解的同痕不变量。
• 若对所有 $ \phi \in \text{Aut}(\pi_1(M)) $ 都有 $ \phi(\mathscr{N}(H_1)) \neq \mathscr{N}(H_1') $，则对应的旋转变形三叶分解不是微分同胚的。
• 在固定旋转变形小Seifert纤维化空间上，三个非同痕的三叶分解在单次平衡稳定化后变为两两同痕。
• 这些三叶分解在任意序列的非平衡 $ k $-与 $ l $-稳定化下仍保持两两非同痕，从而证明平衡稳定化是必不可少的。
• 所构造的三叶分解为最小亏格且非同痕，表明稳定化在实现不同三叶分解之间的同痕性方面是真正必需的。