[论文解读] Lawrence-Bigelow representations, bases and duality

Cristina Ana-Maria Anghel, Martin Palmer|arXiv (Cornell University)|Nov 4, 2020

Geometric and Algebraic Topology参考文献 22被引用 4

一句话总结

本文提出了一套统一的拓扑框架，用于理解映射类群和 braid 群的同调表示中非退化配对、嵌入与对偶性，重点研究 Lawrence-Bigelow 表示。通过使用几何环路和局部系统，建立了覆盖空间中交形式的显式公式，证明了构造量子不变量（如彩色 Jones 多项式和 Alexander 多项式）的拓扑模型所必需的关键单射性与对偶性结果。

ABSTRACT

We study homological representations of mapping class groups, including the braid groups. These arise from the twisted homology of certain configuration spaces, and come in many different flavours. Our goal is to give a unified general account of the fundamental relationships (non-degenerate pairings, embeddings, isomorphisms) between the many different flavours of homological representations. Our motivating examples are the Lawrence-Bigelow representations of the braid groups, which are of central importance in the study of the braid groups themselves, as well as their connections with quantum invariants of knots and links.

研究动机与目标

• 统一理解映射类群不同类型的同调表示中非退化配对、嵌入与同构关系。
• 阐明在配置空间的扭曲同调背景下，局部有限、相对与 Borel-Moore 同调之间的关系。
• 为构造量子不变量的拓扑模型所依赖的对偶性与单射性结果提供几何与拓扑基础。
• 建立一个适用于 braid 群与曲面映射类群的一般框架，特别适用于由配置空间与局部系统产生的表示。
• 通过证明覆盖空间同调中的关键单射性与对偶性，支持彩色 Jones 多项式与 Alexander 多项式显式拓扑模型的构建。

提出的方法

• 作者通过曲面边界上配置空间的扭曲同调分析同调表示，使用局部系统与覆盖空间。
• 他们定义并比较了不同类型的同调：局部有限（Borel-Moore）、相对于边界，以及紧支集同调，重点关注它们之间的关系。
• 利用 Shapiro 引理与拓扑工具，证明了覆盖空间同调群之间自然映射的单射性。
• 他们通过几何环路与局部系统的单值性，构建了覆盖空间中交形式的显式公式。
• 他们在曲面内区与外区的同调群之间建立了等变配对，证明了非退化性，并展示了其在映射类群作用下的不变性。
• 关键的技术工具是使用多叉（multiforks）及其在同调中的提升，以定义几何代表元，从而实现交数的显式计算。

实验结果

研究问题

• RQ1 不同类型的同调表示——局部有限、相对与 Borel-Moore——如何通过非退化配对与嵌入相互关联？
• RQ2 在配置空间覆盖空间中，交形式的精确几何公式是什么，其表达式如何基于环路与单值性？
• RQ3 如何证明覆盖空间同调群之间映射的单射性，特别是在边界相对同调与局部有限同调的语境下？
• RQ4 Lawrence-Bigelow 表示如何统一量子不变量（如 Jones 与 Alexander 多项式）的拓扑模型？
• RQ5 同调映射的等变性在确保拓扑量子场论构造中不同同调模型之间的一致性方面起什么作用？

主要发现

• 本文证明了在覆盖空间中，局部有限同调群与相对同调群之间存在 Γ(Σ, ∂out)-不变的非退化配对，具体为 $ H_m^{ ext{lf},f}((M_{ ext{in}})^{ar{ ho}}) $ 与 $ H_m^{ ext{rel},f}((M_{ ext{in}})^{ar{ ho}}) $ 之间，以及在外区也成立。
• 在覆盖空间的内区与外区，建立了从相对同调到局部有限同调的 Γ(Σ, ∂out)-等变单射同态。
• 交形式通过一个显式几何公式计算：$ \langle [\tilde{X}], [\tilde{Y}] \rangle = \sum_{x \in X \cap Y} \alpha_x \cdot \varphi(l_x) $，其中 $ \alpha_x $ 为交点的符号，$ \varphi(l_x) $ 为环路 $ l_x $ 的单值性。
• 通过 Shapiro 引理与覆盖空间的结构，证明了从相对同调到局部有限同调的映射的单射性，确保了相对同调中的几何类能忠实嵌入到更大的局部有限同调中。
• 结果被应用于表明 braid 群在相对同调与局部有限同调上的作用是相容的，这对构造量子不变量的拓扑模型至关重要。
• 推论 7.4 与注记 7.5 确认了映射的单射性与等变性允许在不同同调模型之间一致转换，特别是在亏格为零且 k=0 或 1 的带 puncture 的圆盘设定下。