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

매듭 Floer 동조, Burau 표현, 그리고 양자 $\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$ (from $B - \lambda I$ )에 대해, $\det(A)$ 를 범주화하고 편조의 불변량으로 작용하는 Heegaard Floer 동조 이론을 정의했다. 논문은 또한 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 모듈의 관계는 거의 100년 동안 깊이 있게 연구되었다
매듭 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 표현으로 확장했다

방법 상세 설명

작업 정의

Burau 표현 행렬의 행렬식을 범주화하는 Heegaard Floer 동조 이론을 구성하고 양자 $\mathfrak{gl}(1|1)$ 과의 연결을 확립한다.

이론 프레임워크

1. Burau 표현의 noodle/chopstick 계산

표준 noodles: $\eta_j \subset D_n$ 은 $j$ 번째 표준 noodle
표준 chopsticks: $\varepsilon_j \subset D_n$ 은 $j$ 번째 표준 chopstick
시트 함수: $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: "최하층"에서 자명한 편조 검출