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

Basic Information

• Paper ID: 2509.15321
• Title: Knot Floer Homology, the Burau Representation, and Quantum $\mathfrak{gl}(1 \vert 1)$
• Author: Joe Boninger (Boston College)
• Classification: math.GT (Geometric Topology), math.QA (Quantum Algebra)
• Publication Date: October 11, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2509.15321

Abstract

This paper establishes explicit connections between the Burau representation of braid groups and knot Floer homology theory, both related to Fox calculus. The main contributions include: for any complete Burau matrix $B$ of a braid and its submatrix $A$ (derived from $B - \lambda I$), a Heegaard Floer homology theory is defined to categorify $\det(A)$ and serve as a braid invariant. The paper also describes analogous constructions for the Gassner representation and exploits the relationship between the Burau representation and quantum $\mathfrak{gl}(1|1)$ to demonstrate connections with Heegaard Floer homology.

Research Background and Motivation

Problem Background

1. Core Problem: Unifying three perspectives on knot homology theories—Lagrangian Floer theory, gauge theory, and quantum group representation theory
2. Significance: Knot Floer theory belongs to the first category (Lagrangian Floer) and is also related to gauge theory through Seiberg-Witten theory, but its connection to representations of the quantum group $U_q(\mathfrak{gl}(1|1))$ remains mysterious
3. Existing Limitations: Although key results are known (such as work by Ellis-Petkova-Vértesi and Manion), simple geometric proofs explaining the relationship between knot Floer homology and quantum $\mathfrak{gl}(1|1)$ are lacking

Research Motivation

• The relationship between the Burau representation and the Alexander module has been deeply studied for nearly a century
• Knot Floer homology is closely related to Fox calculus, which Rasmussen calls "the geometric realization of Fox calculus"
• There is a need to establish explicit connections between the Burau representation and knot Floer homology

Core Contributions

1. Main Theoretical Result (Theorem 1.2): For any braid $\rho \in B_n$ and multi-indices $j,k \subset \{1,\ldots,n\}$, a triply-graded Heegaard Floer homology theory $\widehat{HF}^B(\rho, j,k)$ is constructed whose Poincaré polynomial is $\det(A) \in \mathbb{Z}[t^{\pm 1}, \lambda]$
2. Quantum Group Connection (Theorem 1.3): Establishes a weight-preserving bijection between generators of the knot Floer homology chain complex and states and terms in the expansion of $U_q(\mathfrak{gl}(1|1))$ invariants
3. Braid Representation Recovery (Theorem 1.4): Proves that bordered sutured Heegaard Floer homology groups recover the $U_q(\mathfrak{gl}(1|1))$ braid representation
4. Gassner Representation Extension: Extends the theory to the Gassner representation of pure braid groups

Methodology Details

Task Definition

Construct a Heegaard Floer homology theory to categorify the determinant of the Burau representation matrix and establish connections with quantum $\mathfrak{gl}(1|1)$.

Theoretical Framework

1. Noodle/Chopstick Computation of the Burau Representation

• Standard noodles: $\eta_j \subset D_n$ is the $j$-th standard noodle
• Standard chopsticks: $\varepsilon_j \subset D_n$ is the $j$-th standard chopstick
• Sheet function: $S: \rho(\eta_j) \cap \varepsilon_k \to \mathbb{Z}$

Key Lemma 3.6 provides the computation formula for the Burau representation: $(\psi_n(\rho))_{jk} = \sum_{y \in \rho(\eta_j) \cap \varepsilon_k} \text{sgn}(y) t^{S(y)}$

2. Heegaard Diagram Construction

For braid $\rho \in B_n$ and multi-indices $j,k$:

Bridge Presentation: Construct a bridge presentation $B(\rho)$ of the mirror link $m(K)$, containing:

• Upper bridges $o_1, \ldots, o_n$ (dependent on $\rho$)
• Lower bridges $u_1, \ldots, u_n$ (fixed)
• Basepoint set $z \cup w$

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

• $\beta = \{\beta_{j_1}, \ldots, \beta_{j_m}\}$: upper bridge boundaries
• $\alpha = \{\alpha_{k_1}, \ldots, \alpha_{k_m}\}$: constructed via handle attachment
• Basepoints include remaining $z,w$ points and braid axis points $\{p_L, p_R\}$

3. Grading Structure

Alexander Grading:

• $A_1$ grading: $A_1(x) = \sum_{j=1}^m A_1^{\text{loc}}(x_j)$
• $A_2$ grading: $A_2(x) = |\{x_j \in x | x_j \text{ is an anchor point}\}|$

Maslov Grading: Relative $\mathbb{Z}$ grading related to signs

Technical Innovations

1. Unified Framework: First direct connection between noodle/chopstick computation of the Burau representation and Heegaard Floer homology
2. Geometric Method: Provides simple geometric proof of the relationship between quantum $\mathfrak{gl}(1|1)$ and Heegaard Floer homology
3. Bordered Sutured Theory: Innovative application of Zarev's bordered sutured Floer homology to tangles

Experimental Setup

Theoretical Verification

This is a purely theoretical work verified through:

1. Special Case Analysis:
   • $j = k = [n]$: Recovers link Floer homology $\widehat{HFL}(m(K) \cup U)$
   • $|j| = |k| = n-1$: Spectral sequence converges to $\widehat{HFK}(m(K))$
   • $|j| = |k| = 1$: Simple intersection counting
2. Invariant Detection:
   • Theorem 6.2: Detects trivial braids at the "top level"
   • Theorem 6.3: Detects trivial braids at the "bottom level"

Comparative Methods

• Ellis-Petkova-Vértesi's tangle Floer theory
• Manion's Ozsváth-Szabó tangle Floer homology
• Baldwin-Grigsby's braid invariants

Experimental Results

Main Results

1. Euler Characteristic Formula (Theorem 5.16)

$\sum_{j,k,r \in \mathbb{Z}} (-1)^j t^k \lambda^r \text{rk}(\widehat{HF}^B_{j,k,r}(\rho, j,k)) = \det(A_{jk})$

2. Weight-Preserving Bijection (Theorem 8.3)

There exists a bijection $f$ between generators of $\widehat{CF}(H(m(K)))$ and terms in the computation of $\hat{Q}(K)$, satisfying: $(-1)^{1-n} t^{(n-1-\exp(\rho))/2} w(x) = w(f(x))$

3. Quantum Representation Recovery (Theorem 8.17)

For all multi-indices $j,k \subset [n]$: $(\psi_n^{\wedge}(\rho))_j^k = \Delta_{T,j^*,k}(t)$ (up to units in $\mathbb{Z}[t^{\pm 1}]$)

Theoretical Findings

1. Mirror Phenomenon: Systematic mirror phenomena appear in the theory, consistent with phenomena in Manion's work
2. Grading Correspondence: Alexander grading directly corresponds to weights in quantum group representations
3. Geometric Intuition: Provides geometric interpretation of quantum invariants

Related Work

Main Research Directions

1. Burau Representation Studies: Krammer-Bigelow's linear proof, faithfulness problems
2. Knot Floer Homology: Ozsváth-Szabó's original theory and its developments
3. Quantum Groups and Knots: Reshetikhin-Turaev invariant theory

Relationship to Related Work

• Khovanov-Seidel, Bouchair: Floer theory categorifies the Burau representation but does not involve knot Floer homology
• Ellis-Petkova-Vértesi, Manion: Established connections between tangle Floer theory and $U_q(\mathfrak{gl}(1|1))$, but with more complex methods
• Baldwin-Grigsby: Studied braid invariants of link Floer homology

Advantages of This Paper

1. Simple Method: Provides direct geometric proof avoiding complex computations
2. Unified Perspective: Uses the Burau representation as a bridge connecting two theories
3. Completeness: Covers all cases from individual matrix elements to complete representations

Conclusions and Discussion

Main Conclusions

1. Successfully establishes explicit connections between the Burau representation and knot Floer homology
2. Provides geometric understanding of the relationship between quantum $\mathfrak{gl}(1|1)$ and Heegaard Floer homology
3. The constructed theory detects trivial braids with practical application value

Limitations

1. Scope Restriction: Theorem 1.4 is limited to braids, not general tangles
2. Technical Limitations: Avoids formal treatment using Grothendieck groups
3. Open Problems: Cannot be applied to the faithfulness problem of the Burau representation (Problem 1.1)

Future Directions

1. Extension to General Tangles: Study cases with "cup" and "cap" tangles
2. Complete Theory: Develop complete analogues of results by Ellis-Petkova-Vértesi and Manion
3. Application Exploration: Seek applications in solving classical problems

In-Depth Evaluation

Strengths

1. Theoretical Innovation: First direct connection between the Burau representation and knot Floer homology, filling an important theoretical gap
2. Elegant Method: Uses noodle/chopstick computation to provide clear geometric intuition
3. Deep Results: Unifies seemingly different mathematical theories, providing new perspectives for knot theory
4. Concise Proofs: Provides more direct geometric proofs compared to existing work

Weaknesses

1. Limited Applications: Cannot yet solve classical problems such as Burau representation faithfulness
2. Technical Limitations: Some constructions depend on specific Heegaard diagram choices
3. Completeness: Theoretical framework needs further development to cover more general cases

Impact

1. Theoretical Contribution: Provides new research tools and perspectives for low-dimensional topology
2. Cross-Disciplinary Value: Connects algebraic topology, quantum group theory, and knot theory
3. Inspirational: Provides insights for further unifying different approaches to knot homology theories

Applicable Scenarios

1. Knot Invariant Research: Provides new methods for computing and understanding knot invariants
2. Braid Group Theory: Provides new tools for studying braid group representations
3. Quantum Topology: Has applications in studying quantum groups and topological invariants

References

The paper cites 44 important references covering classical and recent results in multiple fields including Burau representations, Heegaard Floer homology, and quantum group theory, demonstrating the breadth and depth of the research.