[论文解读] Representations of braid groups

Stephen Bigelow|ArXiv.org|Apr 15, 2003

Geometric and Algebraic Topology参考文献 10被引用 15

一句话总结

本文通过布兰查菲尔德配对，以同调方法构造了辫群 $B_n$ 的 Lawrence-Krammer 表示，并证明了其忠实性。该配对被用于表明当 $n$ 较大时，Burau 表示并非忠实的，同时以同调方式定义了琼斯多项式，并提出了用于研究在单位根处的 Hecke 代数表示的拓扑工具。

ABSTRACT

In this paper we survey some work on representations of $B_n$ given by the induced action on a homology module of some space. One of these, called the Lawrence-Krammer representation, recently came to prominence when it was shown to be faithful for all $n$. We will outline the methods used, applying them to a closely related representation for which the proof is slightly easier. The main tool is the Blanchfield pairing, a sesquilinear pairing between elements of relative homology. We discuss two other applications of the Blanchfield pairing, namely a proof that the Burau representation is not faithful for large $n$, and a homological definition of the Jones polynomial. Finally, we discuss possible applications to the representation theory of the Hecke algebra, and ultimately of the symmetric group over fields of non-zero characteristic.

研究动机与目标

• 通过同调方法与布兰查菲尔德配对，证明 $B_n$ 的 Lawrence-Krammer 表示的忠实性。
• 利用相同的配对技术，证明当 $n$ 较大时，Burau 表示不具有忠实性。
• 通过覆盖空间中的交配对，提供琼斯多项式的同调定义。
• 探索在非一般 $q$（特别是单位根）时，Specht 模与 $D^\lambda$-模在 Hecke 代数中的拓扑构造。
• 研究 Lawrence 的同调 Specht 模上的布兰查菲尔德配对是否与 Dipper 和 James 的代数配对一致，从而可能为正特征表示理论提供新的拓扑工具。

提出的方法

• 构造带 punctures 的圆盘 $D_n$ 中无序对配置空间 $C$ 的覆盖空间 $\tilde{C}$，其单值性由变量 $q$ 和 $t$ 编码。
• 将 Lawrence-Krammer 表示定义为 $B_n$ 在 $H_2(\tilde{C}, \tilde{P})$ 上的诱导作用，其中 $\tilde{P}$ 是编码与 punctures 或边界接近程度的子空间。
• 利用代数交数与扭曲和定义布兰查菲尔德配对 $\langle \cdot, \cdot \rangle: H_2(\tilde{C}, \tilde{P}) \times H_2(\tilde{C}, \tilde{B}) \to \mathbb{Z}[q^{\pm1}, t^{\pm1}]$。
• 证明该配对在辫群作用下不变，并在对合 $q \mapsto q^{-1}, t \mapsto t^{-1}$ 下满足共轭线性，从而支持忠实性证明。
• 在配对中令 $t = -q^{-1}$，以恢复一个 braid $\sigma \in B_{2n}$ 的平图闭包的琼斯多项式（忽略归一化）。
• 利用同调上的布兰查菲尔德配对，通过共轭在 Lawrence 的 Specht 模上定义双线性配对，目标是使该配对在非一般 $q$ 时与 Dipper-James 配对一致。

实验结果

研究问题

• RQ1 $B_n$ 的 Lawrence-Krammer 表示是否忠实？能否通过布兰查菲尔德配对证明？
• RQ2 布兰查菲尔德配对是否为大 $n$ 时 Burau 表示的忠实性提供拓扑障碍？
• RQ3 能否通过配置空间覆盖空间中的交配对，以同调方式定义纽结的琼斯多项式？
• RQ4 Lawrence 的同调 Specht 模上的布兰查菲尔德配对是否可调整为与 Dipper 和 James 的代数配对匹配的双线性配对？
• RQ5 当 $q$ 为单位根时，布兰查菲尔德配对在同调模上的行为如何？它能否为研究正特征下的 $D^\lambda$-模提供新工具？

主要发现

• 通过布兰查菲尔德配对的不变性与非退化性，证明了 $B_n$ 的 Lawrence-Krammer 表示是忠实的。
• 通过相关同调设置中布兰查菲尔德配对的非退化性，表明当 $n$ 较大时，Burau 表示不具有忠实性。
• 一个 braid $\sigma \in B_{2n}$ 的平图闭包的琼斯多项式由 $\langle \sigma(e), f \rangle|_{t = -q^{-1}}$ 给出（忽略归一化），其中 $e$ 与 $f$ 通过到配置空间的环面映射定义。
• 布兰查菲尔德配对在 $H_k(\tilde{C}, \tilde{B})$ 上诱导出 Lawrence 的 Specht 模上的双线性配对 $\langle u, v \rangle' = \langle u, \tilde{\rho}(v) \rangle$，该配对在一般 $q$ 下与 Dipper-James 配对一致（忽略归一化）。
• 有证据表明，该拓扑配对可能可延拓至非一般 $q$，从而可能为 Hecke 代数在单位根处的 $D^\lambda$-模提供新的同调构造。
• 该构造实现了琼斯多项式的拓扑实现，并暗示了辫群表示、纽结不变量与对称群模表示理论之间更深层次的联系。