[论文解读] Intersections of curves on surfaces and their applications to mapping class groups

Nariya Kawazumi, Yusuke Kuno|arXiv (Cornell University)|Dec 16, 2011

Geometric and Algebraic Topology参考文献 17被引用 13

一句话总结

本文引入了一种新的 Q-线性映射 μ，用于度量曲面上路径的自相交，确立其作为研究映射类群的关键工具。通过利用 μ 与映射类群作用的相容性，作者推导出广义 Dehn 扭转的实现性准则，并揭示了 Johnson 同态像的几何约束，从而自然地恢复 Morita 跟踪为该约束的最低阶项。

ABSTRACT

We introduce an operation that measures the self intersections of paths on a surface. As applications, we give a criterion of the realizability of a generalized Dehn twist, and derive a geometric constraint on the image of the Johnson homomorphism.

研究动机与目标

• 开发一种新的代数工具——自相交映射 μ，通过曲面上路径的相交来研究映射类群。
• 在路径同伦类空间上建立 μ 作为 Qˆπ′(S)-双模结构，将其与 Goldman-Turaev 李双代数联系起来。
• 将 μ 应用于解决两个核心问题：广义 Dehn 扭转的实现性与 Johnson 同态像的几何约束。
• 证明 Morita 跟踪自然地作为由 μ 导出的几何约束的最低阶项出现。
• 将 Turaev 上余括号与 Goldman 括号推广至完备代数，形成完备的 Goldman-Turaev 李双代数。

提出的方法

• 定义 μ: QΠS(∗0, ∗1) → QΠS(∗0, ∗1) ⊗ Qˆπ′(S) 为一个 Q-线性映射，利用局部相交数度量路径的自相交。
• 通过构造证明 μ 与映射类群作用相容，确保其在微分同胚下不变。
• 利用 μ 的结构证明 QΠS(∗0, ∗1) 在结构映射 σ 和 μ 下构成 Qˆπ′(S)-双模。
• 将 μ 与 Turaev 上余括号推广至完备代数，定义 cQˆπ(S) 上的完备 Goldman-Turaev 李双代数。
• 通过分析 μ 在微分同胚作用下的行为，将 μ 应用于 Johnson 同态，导出其像的几何约束。
• 利用同伦相交形式的张量描述（Massuyeau-Turaev），计算 Turaev 上余括号的分次商，并识别 Morita 跟踪为最低阶项。

实验结果

研究问题

• RQ1 自相交映射 μ 是否可用于判断广义 Dehn 扭转是否由曲面的微分同胚实现？
• RQ2 μ 对 Johnson 同态像施加了何种几何约束？
• RQ3 μ 与 Turaev 上余括号及完备 Goldman-Turaev 李双代数有何关系？
• RQ4 能否通过 μ 导出的几何约束的最低阶项恢复 Morita 跟踪？
• RQ5 完备空间 cQΠS(∗0, ∗1) 作为完备 Goldman 李代数模的结构如何？

主要发现

• 映射 μ 提供了广义 Dehn 扭转实现性的判别准则：当且仅当与路径关联的 μ 在其上消失时，广义 Dehn 扭转可由微分同胚实现。
• Johnson 同态的像受 μ 约束：具体而言，Turaev 上余括号的洛朗展开的最低阶项必须在像上消失。
• Morita 跟踪作为 Johnson 像上几何约束的最低阶项被自然恢复，证实其在 Torelli 群结构中的核心地位。
• 完备空间 cQΠS(∗0, ∗1) 是一个完备的 cQˆπ(S)-双模，将代数结构扩展至形式完备化。
• Turaev 上余括号被推广为 cQˆπ(S) 上的完备上余括号，且 μ 恢复了该推广，确认了完备 Goldman-Turaev 李双代数的一致性。
• 对任意 x ∈ π1(S)，μθ(0)(x) 的常数项为 −1/2(1 ⊗x)，对乘积 X1⋯Xm，其常数项为 −1/2(1 ⊗N(X1⋯Xm))，给出了 μ 作用最低阶项的显式公式。