[论文解读] Bilinear-form invariants of Lefschetz fibrations over the 2-sphere

Takefumi Nosaka|arXiv (Cornell University)|Nov 14, 2016

Algebraic structures and combinatorial models参考文献 20被引用 6

一句话总结

该论文通过利用群作用和模上的 $G$-不变双线性函数，提出了一类新的关于球面上 Lefschetz 纤维丛的双线性型不变量。该方法通过霍普夫纤维丛导出的链路不变量，从单值表示数据构造不变量，得到可计算的不变量，能够恢复四维流形的亏格，并检测在纤维和操作下的非加性，特别是在挠系数情形下。

ABSTRACT

We introduce invariants of Hurwitz equivalence classes with respect to arbitrary group $G$. The invariants are constructed from any right $G$-modules $M$ and any $G$-invariant bilinear function on $M$, and are of bilinear forms. For instance, when $G$ is the mapping class group of the closed surface, $\mathcal{M}_g$, we get an invariant of 4-dimensional Lefschetz fibrations over the 2-sphere. Moreover, the construction is applicable for the quantum representations of $\mathcal{M}_g $ derived from Chern-Simons field theory. We compute the associated invariants in some cases, and find infinitely many Lefschetz fibrations which have the same Seiberg-Witten invariant and are homeomorphic but not mutually isomorphic as fibrations.

研究动机与目标

• 为球面 $S^2$ 上 Lefschetz 纤维丛的单值表示数据的 Hurwitz 等价类开发新的不变量。
• 利用 $G$-模和 $G$-不变双线性型构造可计算的不变量，特别针对映射类群 $\mathcal{M}_g$。
• 将这些不变量应用于四维 Lefschetz 纤维丛，并将其与亏格等拓扑不变量关联。
• 研究这些不变量在纤维和操作下的行为，特别是其在挠系数下的不稳定性。
• 通过 Chern-Simons 理论将框架扩展至 $\mathcal{M}_g$ 的量子表示，包括中心扩张。

提出的方法

• 这些不变量由任意右 $G$-模 $M$ 和 $G$-不变双线性函数 $\psi$ 构造，得到在单值表示核上的双线性型 $\mathcal{Q}_\psi$。
• 该构造利用 $S^3$ 中 $(m,m)$-环面链路 $T_{m,m}$ 的链路群，通过霍普夫纤维丛 $S^3 \to S^2$，将链路不变量上拉至 Hurwitz 等价类。
• 当 $G = \mathcal{M}_g$ 时，使用在 $H^1(\Sigma_g; \mathbb{Z})$ 上的标准辛表示，以 $\psi$ 为辛形式，定义 $\mathcal{Q}_\psi$。
• 双线性型 $\mathcal{Q}_\psi$ 通过从 $M^3$ 到 $M^2$ 的分裂映射计算，该映射同构于单值映射的核。
• 该方法通过计算机辅助计算应用于低亏格 Lefschetz 纤维丛的不变量计算。
• 通过中心扩张将框架扩展至 $\mathcal{M}_g$ 的量子表示，与 Chern-Simons 理论兼容。

实验结果

研究问题

• RQ1 能否系统地为球面 $S^2$ 上 Lefschetz 纤维丛的单值表示数据的 Hurwitz 等价类构造双线性型不变量？
• RQ2 这些不变量与总空间亏格等经典不变量有何关系？
• RQ3 该不变量在纤维和操作下是否具有可加性？若否，这对其结构意味着什么？
• RQ4 该不变量能否检测单值表示中的挠结构，特别是在 $\mathbb{Z}/P\mathbb{Z}$ 系数情形下？
• RQ5 该构造能否扩展至映射类群的量子表示，包括中心扩张？

主要发现

• 当 $M = H^1(\Sigma_g; \mathbb{Z})$ 且 $\psi$ 为辛形式时，双线性型 $\mathcal{Q}_\psi$ 是单模的，且其亏格等于总四维流形的亏格。
• 由 $\mathcal{Q}_\psi$ 导出的亏格公式是 Meye 的 2-上循环公式的简化、计算高效的替代方案。
• 当 $A = \mathbb{Z}/P\mathbb{Z}$ 时，不变量 $\mathcal{Q}_\psi$ 不是拓扑不变量，并在纤维和操作下表现出非加性，如表 1 和命题 5.3 所示。
• 该不变量通过挠系数检测 Lefschetz 纤维丛中的非平凡纤维结构，表明其具有群论复杂性。
• 该构造与通过中心扩张得到的 $\mathcal{M}_g$ 的量子表示兼容，使其可应用于 Chern-Simons 理论。
• 对 $g \leq 9$ 的情形，$\mathcal{Q}_\psi$ 的计算机辅助计算是可行的，使得许多纤维丛的亏格可被显式计算。