辫子群B_4的Burau表示是忠实的

# Burau表示在n=4时是忠实的 来源：https://arxiv.org/html/2607.05283

###### 摘要

本文利用Moody [MOO91 (https://arxiv.org/html/2607.05283#bib.bib8)]、Long [LON86 (https://arxiv.org/html/2607.05283#bib.bib3)]、Long–Paton [LP93 (https://arxiv.org/html/2607.05283#bib.bib4)]和Bigelow [BIG99 (https://arxiv.org/html/2607.05283#bib.bib10)] 提出的思想，证明了标题中的定理，即经典辫群 \(\operatorname{B}_4\) 的Burau表示是忠实的。一个直接推论是 \(\operatorname{B}_4\) 的Jones表示也是忠实的。

## 1 引言

设 \(D_n\) 是一个圆盘，其内部有 \(n\) 个标记点 \(p_1, p_2, \dots, p_n\)。在本文中，辫群 \(\operatorname{B}_n\) 将被解释为映射类群 \(\operatorname{Mod}(D_n)\)。1935年，Werner Burau引入了 \(\operatorname{B}_n\) 到 \(\operatorname{GL}_{n-1}(\mathbb{Z}[t,t^{-1}])\) 的一个表示，现在称为约化的Burau表示 [BUR35 (https://arxiv.org/html/2607.05283#bib.bib5)]。我们将主要使用非约化的Burau表示 \(\rho_n: \operatorname{B}_n \to \operatorname{GL}_n(\mathbb{Z}[t,t^{-1}])\)，并在下文中直接称 \(\rho_n\) 为Burau表示。

Magnus–Peluso首先通过直接的代数计算建立了 \(n=3\) 时Burau表示的忠实性 [MP69 (https://arxiv.org/html/2607.05283#bib.bib7)]。Moody后来证明 \(\rho_n\) 当 \(n \ge 9\) 时不忠实 [MOO91 (https://arxiv.org/html/2607.05283#bib.bib8)]。Long–Paton基于Moody的思想将其改进到 \(n \ge 6\) [LP93 (https://arxiv.org/html/2607.05283#bib.bib4)]，Bigelow随后添加了 \(n=5\) 的情况 [BIG99 (https://arxiv.org/html/2607.05283#bib.bib10)]。在Bigelow论文发表后的几年里，有许多尝试检测剩余情况 \(\rho_4\) 的核中的元素，或缩小搜索范围，每一次都通过不同数学领域的视角加深了我们对这个问题的理解；例如，参见Alperin–Farb–Noskov [AFN02 (https://arxiv.org/html/2607.05283#bib.bib79)]、Beridze–Traczyk [BT18a (https://arxiv.org/html/2607.05283#bib.bib34), BT18b (https://arxiv.org/html/2607.05283#bib.bib37)]、Calvez–Ito [CI17 (https://arxiv.org/html/2607.05283#bib.bib36)]、Datta [DAT22 (https://arxiv.org/html/2607.05283#bib.bib38)]、Dlugie [DLU24 (https://arxiv.org/html/2607.05283#bib.bib14)]、Fullarton–Shadrach [FS19 (https://arxiv.org/html/2607.05283#bib.bib56)]、Gibson–Williamson–Yacobi [GWY25 (https://arxiv.org/html/2607.05283#bib.bib15)] 和 Witzel–Zaremsky [WZ15 (https://arxiv.org/html/2607.05283#bib.bib35)]。\(\rho_4\) 忠实性的问题也出现在Margalit的映射类群问题列表的问题3.1中 [MAR19 (https://arxiv.org/html/2607.05283#bib.bib33)]。

###### 主定理。 \(\operatorname{B}_4\) 的Burau表示 \(\rho_4\) 是忠实的。

作为证明该结果的第一步，我们将给出一个新颖且简单的拓扑证明，证明 \(n=3\) 情况下Burau表示的忠实性。然后我们将通过利用 \(\operatorname{B}_4\) 中点推送映射的结构，将这些思想适应到 \(n=4\) 的情况。这种方法与早期对 \(n \ge 5\) 的 \(\operatorname{B}_n\) 的工作以及试图证明Burau表示 \(\rho_4\) 不忠实的尝试形成对比。特别是，我们不考虑 \(\rho_4\) 像中可能生成自由群的元素。我们请读者参考第二作者的书 [BIR74 (https://arxiv.org/html/2607.05283#bib.bib86), 定理 3.19]，其中首次介绍了这种方法。除了上述论文外，关于其他方法的细节还可参见Bigelow [BIG99 (https://arxiv.org/html/2607.05283#bib.bib10), 第三节] 和Moran [MOR91 (https://arxiv.org/html/2607.05283#bib.bib71)]。

#### 应用于Jones表示。

在他的开创性工作中，Jones引入了辫群的一个表示，该表示将（约化的）Burau表示作为一个分支包含在内；关于完整定义，我们请读者参考他的论文 [JON87 (https://arxiv.org/html/2607.05283#bib.bib78)]。正如Jones所指出的，Burau表示 \(\rho_n\) 对任何 \(n\) 的忠实性都蕴含辫群 \(B_n\) 的Jones表示的忠实性。因此，我们立即得到主定理的以下推论。

###### 推论 1.1。 \(\operatorname{B}_n\) 的Jones表示在 \(n=4\) 时是忠实的。

我们也请读者参考Kasahara后续关于Jones表示的工作，特别是他关于 \(n=4\) 情况下Burau表示忠实性与Jones表示忠实性等价性的解释 [KAS08 (https://arxiv.org/html/2607.05283#bib.bib2), 注记 5.6]。

#### 证明策略。

设 \(K_i\) 表示 \(\operatorname{B}_n\) 的点推送子群，它通过“遗忘”圆盘 \(D_n\) 中的第 \(i\) 个标记点，作为圆盘 \(D_n\) 的Birman正合序列的核而得到；更多细节见第5节 (https://arxiv.org/html/2607.05283#S5)。\(\operatorname{B}_n\) 中所有点推送子群的交集 \(\cap_{i=1}^n K_i\) 被称为Brunnian群 \(\operatorname{Brun}_n\)，它是 \(\operatorname{B}_n\) 的一个正规子群。Long的一个定理指出，如果Burau表示 \(\rho_n\) 在 \(\operatorname{B}_n\) 的任何非平凡非中心的子群上是忠实的，则它在 \(\operatorname{B}_n\) 上也是忠实的 [LON86 (https://arxiv.org/html/2607.05283#bib.bib3), 定理 2.2]。现在假设 \(\ker(\rho_4)\) 非平凡。根据Long的定理，\(\ker(\rho_4)\) 与 \(\operatorname{Brun}_4\) 非平凡相交。

###### 命题 1.2。 如果Burau表示 \(\rho_4\) 在其限制到Brunnian群 \(\operatorname{Brun}_4\) 上是忠实的，则它在 \(\operatorname{B}_4\) 上是忠实的。

基于Long–Paton和Bigelow的思想，我们为 \(\operatorname{B}_n\) 中的每个辫关联 \(D_n\) 中一个携带某些组合数据的圆盘序列。我们利用这种技术给出Magnus–Peluso定理的一个新证明，即Burau表示 \(\rho_3\) 是忠实的 [MP69 (https://arxiv.org/html/2607.05283#bib.bib7)]。我们的证明得出了更一般的结果：任何其关联圆盘序列满足特定奇偶条件（在第4节 (https://arxiv.org/html/2607.05283#S4) 中定义）的 \(n\) 股辫都不在 \(\rho_n\) 的核中。当 \(n \ge 4\) 时，\(\operatorname{B}_n\) 中的辫一般并不满足这个奇偶条件。然而，我们证明当 \(n=4\) 时，对于任何允许因式分解为某些推送映射之正确乘积的点推送辫 \(\Phi \in K_4\)，奇偶条件“几乎”成立。下一步是通过将 \(K_4\) 嵌入 \(\operatorname{B}_5\) 来“修正” \(\Phi\)，即我们使用 \(\Phi\) 构造一个满足奇偶条件的5股辫。然后我们应用Moody的一个结果，得出原始辫 \(\Phi \in K_4\) 不在 \(\rho_4\) 的核中。最后一步是证明 \(K_4\) 中的任何辫都共轭于 \(K_4\) 中的另一个辫，后者可实现为推送映射的正确乘积。

最后，我们评论一下，先验地，\(\operatorname{Brun}_n\) 是否非平凡并不一定清楚。Brunnian辫的最简单例子是闭合后形成Borrmean环的三股辫。图1.1 (https://arxiv.org/html/2607.05283#S1.F1) 给出了我们感兴趣的情况中 \(\operatorname{Brun}_4\) 的一个非平凡元素示例，类似的构造对任意 \(n\) 都给出了 \(\operatorname{B}_n\) 中Brunnian辫的非平凡例子。此外，Whittlesey已证明所有非平凡Brunnian辫都是伪Anosov的 [WHI00 (https://arxiv.org/html/2607.05283#bib.bib77)]。我们注意到Whittlesey的结果是针对 \((n+1)\) 个穿孔球面的映射类群陈述的，但结果在 \(\operatorname{B}_n\) 中成立；参见Lee-Song对此点的讨论 [LS05 (https://arxiv.org/html/2607.05283#bib.bib57), 第1节]。

请参阅标题
图 1.1：一个Brunnian 4股辫 \(\beta\)。

#### Burau表示的核与像。

关于Burau表示忠实性的文献很多，本文解决了最后这个悬而未决的情况。对其核和像的有用刻画的问题总体而言仍然广泛开放，作者相信本文的方法可能有助于在这些重要问题上取得进展。

#### 论文大纲。

在第2节 (https://arxiv.org/html/2607.05283#S2) 中，我们引入辫的Moody多项式，这是一个不变量，为元素位于Burau表示的核中提供障碍。基于Moody的思想以及Long–Paton的发展，Bigelow后来引入了有助于计算该障碍的组合工具；我们在第3节 (https://arxiv.org/html/2607.05283#S3) 中描述这些工具。利用这些工具，在第4节 (https://arxiv.org/html/2607.05283#S4) 中，我们给出了 \(n=3\) 情况下Burau表示忠实性的新的拓扑证明。我们在第5节 (https://arxiv.org/html/2607.05283#S5) 中介绍关键技术工具——点推送辫的正确乘积。在第6节 (https://arxiv.org/html/2607.05283#S6) 中，我们构造了作为特定正确乘积出现的点推送映射，并用这些映射建立了Burau表示 \(\rho_4\) 在其限制到点推送群 \(\operatorname{Brun}_4\) 上是忠实的；根据命题1.2 (https://arxiv.org/html/2607.05283#S1.Thmtheorem2)，这完成了主定理的证明。最后，我们在第7节 (https://arxiv.org/html/2607.05283#S7) 中给出一个例子，说明我们证明中使用的构造。

致谢。作者衷心感谢Dan Margalit许多有益的讨论，并特别感谢他对本文初稿的广泛而宝贵的反馈。第二作者也感谢他从七年前该项目伊始就对此感兴趣，当时前两位作者开始共同研究该项目。作者还感谢Michael Dougherty和Benson Farb对早期草稿的额外有益评论，以及Ken Birman的进一步有益意见。第一作者感谢David Gabai宝贵的指导和不懈的鼓励。第三作者还感谢布朗大学计算与实验数学研究所（ICERM），她于2022年参加了为期半学期的“辫群”项目，期间进行了导致她加入本项目的初步讨论，并感谢Muffy Calder在整个过程中的支持与鼓励。AI用于校对一份手稿草稿。

## 2 Moody多项式与环绕数

虽然Burau最初通过给出其在 \(\operatorname{B}_n\) 标准Artin生成元上的值来定义其表示（例如，参见 [BB05 (https://arxiv.org/html/2607.05283#bib.bib18), 第4.2节]），但出于当前目的，通过 \(\operatorname{B}_n\) 在圆盘 \(D_n\)（这里视其为 \(n\) 次穿孔圆盘）上的作用来定义 \(\rho_n\) 将更有用。设 \(p_*\) 表示圆盘 \(D_n\) 边界上的一点，并设 \(x_1, \dots, x_n\) 表示 \(\pi_1(D_n, p_*)\) 的标准自由生成元。我们考虑映射 \(\pi_1(D_n, p_*) \to \mathbb{Z}\)，它将 \(x_1, \dots x_n\) 中的单词映为其指数之和，并设 \(\widetilde{D_n}\) 表示与其核相关联的覆盖空间。\(\widetilde{D_n}\) 的覆盖变换群同构于 \(\mathbb{Z}\)，我们将其表示为以 \(t\) 生成的乘法群。遵循Long–Paton的处理方式，为方便起见，我们将使用相对同调群 \(H_1(\widetilde{D_n}, \{\widetilde{p_*}\})\)，其中 \(\{\widetilde{p_*}\}\) 表示基点 \(p_*\) 在覆盖 \(\widetilde{D_n}\) 中的完全原像。辫群 \(\operatorname{B}_n\) 作用于 \(\mathbb{Z}[t,t^{-1}]\)-模 \(H_1(\widetilde{D_n}, \{\widetilde{p_*}\})\)，该模是秩为 \(n\) 的自由模；这个作用就是非约化的Burau表示 \(\rho_n\)，我们将简称为Burau表示。

接下来我们记录一个由 \(\rho_n\) 定义直接得出的基本事实。

###### 观察 2.1。 设 \(f: \operatorname{B}_n \rightarrow \operatorname{B}_{n+1}\) 是对应于标准嵌入 \(D_n \hookrightarrow D_{n+1}\) 的包含映射。如果 \(\Phi \in \operatorname{B}_n\) 位于 \(\rho_n\) 的核中，则 \(f(\Phi)\) 位于 \(\rho_{n+1}\) 的核中。

观察2.1 (https://arxiv.org/html/2607.05283#S2.Thmtheorem1) 对我们证明主定理至关重要。

\begin{overpic}[width=346.89731pt]{covering-space-landscape.png}
\put(-7.0,14.0){$\dots$}
\par\put(1.5,15.5){\tiny$+$}
\put(4.0,15.5){\tiny$-$}
\put(8.0,15.5){\tiny$+$}
\put(10.7,15.5){\tiny$-$}
\put(14.8,15.5){\tiny$+$}
\put(17.7,15.5){\tiny$-$}
\put(21.0,15.5){\tiny$+$}
\put(23.2,15.5){\tiny$-$}
\par\put(39.0,15.5){\tiny$+$}
\put(42.0,15.5){\tiny$-$}
\put(44.9,15.5){\tiny$+$}
\put(48.0,15.5){\tiny$-$}
\put(52.0,15.5){\tiny$+$}
\put(55.0,15.5){\tiny$-$}
\put(58.0,15.5){\tiny$+$}
\put(61.0,15.5){\tiny$-$}
\par\put(74.5,15.5){\tiny$+$}
\put(77.0,15.5){\tiny$-$}
\put(80.9,15.5){\tiny$+$}
\put(83.5,15.5){\tiny$-$}
\put(88.0,15.5){\tiny$+$}
\put(91.0,15.5){\tiny$-$}
\put(94.0,15.5){\tiny$+$}
\put(96.5,15.5){\tiny$-$}
\par\put(12.0,-3.0){$t^0$}
\put(49.0,-3.0){$t^1$}
\put(86.0,-3.0){$t^2$}
\par\put(103.0,14.0){$\dots$}
\par\put(3.0,10.0){$p_1$}
\put(9.0,10.0){$p_2$}
\put(16.0,10.0){$p_3$}
\put(22.0,10.0){$p_4$}
\par\put(40.0,10.0){$p_1$}
\put(47.0,10.0){$p_2$}
\put(53.0,10.0){$p_3$}
\put(59.0,10.0){$p_4$}
\par\put(76.0,10.0){$p_1$}
\put(82.0,10.0){$p_2$}
\put(88.0,10.0){$p_3$}
\put(94.0,10.0){$p_4$}
\par\end{overpic}
图 2.1：圆盘 \(D_4\) 的通用循环覆盖 \(\widetilde{D_4}\) 中的第零层、第一层和第二层“甲板”。

Moody多项式。在下文中，我们将紧密遵循Bigelow的符号和阐述 [BIG99 (https://arxiv.org/html/2607.05283#bib.bib10)]。我们使用术语“弧”指圆盘 \(D_n\) 中一个区间的正常嵌入，而“子弧”指其到紧致连通子区间的限制。我们的弧通常是有向的，并且通常将弧视为其在圆盘 \(D_n\) 中的像而非函数本身考虑更为方便。设 \(\alpha\) 和 \(\beta\) 是 \(D_n\)（视为带标记点的圆盘）中的两条有向弧，其端点位于集合 \(\{p_1, \ldots, p_n, p_*\}\) 中，