2025-11-22T22:31:16.394840

Knot Floer Homology, the Burau Representation, and Quantum $\mathfrak{gl}(1 \vert 1)$

Boninger

The Burau representation of braid groups and knot Floer homology share a link to the Fox calculus. We make this connection explicit, with the following outcome: if $B$ is the full Burau matrix of any braid, and $A$ is any square submatrix of $B - Î»I$, we define a Heegaard Floer homology theory that categorifies $\det(A)$ and is an invariant of the braid. We also describe an analogous construction for the Gassner representation. Then, we leverage the relationship between the Burau representation and quantum $\mathfrak{gl}(1 \vert 1)$ to exhibit connections between the latter and Heegaard Floer homology. We associate a bordered sutured Heegaard Floer homology group to any tangle, and give a simple, geometric proof that our invariant recovers the $U_q(\mathfrak{gl}(1 \vert 1))$ braid representation.

academic

Knot Floer Homology, the Burau Representation, and Quantum $\mathfrak{gl}(1 \vert 1)$

基本信息

论文ID: 2509.15321
标题: Knot Floer Homology, the Burau Representation, and Quantum $\mathfrak{gl}(1 \vert 1)$
作者: Joe Boninger (Boston College)
分类: math.GT (几何拓扑), math.QA (量子代数)
发表时间: 2025年10月11日 (arXiv v2)
论文链接: https://arxiv.org/abs/2509.15321

摘要

本文建立了编织群的Burau表示与纽结Floer同调理论之间的显式联系，两者都与Fox微积分相关。主要成果包括：对于任意编织的完整Burau矩阵 $B$ 及其子矩阵 $A$ （来自 $B - \lambda I$ ），定义了一个Heegaard Floer同调理论来范畴化 $\det(A)$ 并作为编织的不变量。文章还描述了Gassner表示的类似构造，并利用Burau表示与量子 $\mathfrak{gl}(1|1)$ 的关系，展示了后者与Heegaard Floer同调的联系。

研究背景与动机

问题背景

核心问题: 统一纽结同调理论的三个视角——Lagrangian Floer理论、规范理论和量子群表示理论
重要性: 纽结Floer理论属于第一类（Lagrangian Floer），也通过Seiberg-Witten理论与规范理论相关，但与量子群 $U_q(\mathfrak{gl}(1|1))$ 的表示理论联系较为神秘
现有局限: 尽管已知一些关键结果（如Ellis-Petkova-Vértesi和Manion的工作），但缺乏简单几何的证明来解释纽结Floer同调与量子 $\mathfrak{gl}(1|1)$ 之间的关系

研究动机

Burau表示与Alexander模的关系已被深入研究近百年
纽结Floer同调与Fox微积分密切相关，Rasmussen称其为"Fox微积分的几何实现"
需要建立Burau表示与纽结Floer同调的显式联系

核心贡献

主要理论结果（定理1.2）: 对任意编织 $\rho \in B_n$ 和多重指标 $j,k \subset \{1,\ldots,n\}$ ，构造了三重分次的Heegaard Floer同调理论 $\widehat{HF}^B(\rho, j,k)$ ，其Poincaré多项式为 $\det(A) \in \mathbb{Z}[t^{\pm 1}, \lambda]$
量子群联系（定理1.3）: 建立了纽结Floer同调链复形的生成元与 $U_q(\mathfrak{gl}(1|1))$ 不变量状态和展开中项之间的权重保持双射
编织表示恢复（定理1.4）: 证明了bordered sutured Heegaard Floer同调群能够恢复 $U_q(\mathfrak{gl}(1|1))$ 编织表示
Gassner表示扩展: 将理论扩展到纯编织群的Gassner表示

方法详解

任务定义

构造Heegaard Floer同调理论来范畴化Burau表示矩阵的行列式，并建立与量子 $\mathfrak{gl}(1|1)$ 的联系。

理论框架

1. Burau表示的noodle/chopstick计算

标准noodles: $\eta_j \subset D_n$ 为第 $j$ 个标准noodle
标准chopsticks: $\varepsilon_j \subset D_n$ 为第 $j$ 个标准chopstick
sheet函数: $S: \rho(\eta_j) \cap \varepsilon_k \to \mathbb{Z}$

关键引理3.6给出Burau表示的计算公式： $(\psi_n(\rho))_{jk} = \sum_{y \in \rho(\eta_j) \cap \varepsilon_k} \text{sgn}(y) t^{S(y)}$

2. Heegaard图构造

对编织 $\rho \in B_n$ 和多重指标 $j,k$ ：

桥表示: 构造镜像链 $m(K)$ 的桥表示 $B(\rho)$ ，包含：

上桥 $o_1, \ldots, o_n$ （依赖于 $\rho$ ）
下桥 $u_1, \ldots, u_n$ （固定的）
基点集 $z \cup w$

Heegaard图: $H(\rho, j,k) = (\Sigma, \alpha, \beta, \text{basepoints})$

$\beta = \{\beta_{j_1}, \ldots, \beta_{j_m}\}$ ：上桥边界
$\alpha = \{\alpha_{k_1}, \ldots, \alpha_{k_m}\}$ ：通过handle attachment构造
基点包括剩余的 $z,w$ 点和编织轴点 $\{p_L, p_R\}$

3. 分次结构

Alexander分次:

$A_1$ 分次： $A_1(x) = \sum_{j=1}^m A_1^{\text{loc}}(x_j)$
$A_2$ 分次： $A_2(x) = |\{x_j \in x | x_j \text{是锚点}\}|$

Maslov分次: 相对 $\mathbb{Z}$ 分次，与符号相关

技术创新点

统一框架: 首次将Burau表示的noodle/chopstick计算与Heegaard Floer同调直接联系
几何方法: 提供了量子 $\mathfrak{gl}(1|1)$ 与Heegaard Floer同调关系的简单几何证明
bordered sutured理论: 创新性地将Zarev的bordered sutured Floer同调应用于缠结

实验设置

理论验证

本文为纯理论工作，通过以下方式验证结果：

特殊情况分析:
- $j = k = [n]$ ：恢复链Floer同调 $\widehat{HFL}(m(K) \cup U)$
- $|j| = |k| = n-1$ ：谱序列收敛到 $\widehat{HFK}(m(K))$
- $|j| = |k| = 1$ ：简单交点计数
不变量检测:
- 定理6.2：在"顶层"检测平凡编织
- 定理6.3：在"底层"检测平凡编织