Line Operators in $U(1|1)$ Chern-Simons Theory

TL;DR

The work develops a non-semisimple framework for line operators in U(1|1) Chern-Simons theory by constructing a boundary VOA ${\mathcal{V}}_k$ as a rank-2 simple current extension of $V(\mathfrak{gl}(1|1))$, and by dually describing the same category via an uprolling quasi-quantum group ${\mathcal{A}}_k$. It provides a detailed account of the category ${\mathcal{C}}_k$ as a de-equivariantized Kazhdan-Lusztig category, identifies bulk-local operators with functions on the Higgs branch ${\mathcal{M}}_H=\mathbb{C}^2/\mathbb{Z}_k$, and demonstrates an abelian equivalence to a module category for ${\mathcal{A}}_k$ (and its extension ${\mathcal{A}}_{(k,1,0)}$ via uprolling). The paper also explores physical dualities with 3d $B$-models and analyzes the coupling to background flat connections, yielding an extended category ${\mathcal{C}}^{\text{ext}}_k$ of non-genuine line operators and multiple routes to realize it, including non-local modules, large-level limits, and current-shifting perspectives. These constructions illuminate the interplay between boundary VOAs, quantum groups at roots of unity, and geometric structures like the Kleinian orbifold ${\mathbb{C}}^2/\mathbb{Z}_k}$, with potential applications to non-semisimple TQFTs and logarithmic VOAs. The results establish concrete bridges between VOA realizations, quasi-Hopf algebras, and extended categorical structures in topological field theories for the simplest supergroup gauge theory.

Abstract

We analyze the non-semisimple category of line operators in Chern-Simons gauge theories based off the Lie superalgebra $\mathfrak{gl}(1|1)$. Our proposal is that the category of line operators $\mathcal{C}$ can be identified with the derived category of modules for a boundary vertex operator algebra $\mathcal{V}$ realized as a certain infinite-order simple current extension of the affine current algebra $V(\mathfrak{gl}(1|1))$ by boundary monopole operators. By translating this simple current extension of $V(\mathfrak{gl}(1|1))$ to the unrolled, restricted quantum group $\overline{U}^E(\fgl(1|1))$, we show that our category of line operators admits a second description in terms of a quasi-quantum group $\mathcal{A}$ realized by uprolling. We also compare our results across an expected physical duality with the cyclic orbifold of a free, $B$-twisted hypermultiplet and find a slight discrepancy at the level of braiding and associator. We end with a detailed analysis of coupling to background flat $GL(1, \C)$ connections and the resulting category of non-genuine line operators.

Figures (3)

• Figure 1: The two actions of a 1-form symmetry generator ${\mathcal{W}}$ on the line operator ${\mathcal{L}}$. Left: Action of the 1-form symmetry by fusion with the generator ${\mathcal{W}}$. This sends the line operator ${\mathcal{L}}$ to the line operator ${\mathcal{W}} \times {\mathcal{L}}$. Right: Action of the 1-form symmetry generator by wrapping the generator ${\mathcal{W}}$. This results in a specific local operator $S_{{\mathcal{W}},{\mathcal{L}}}$ on the line operator ${\mathcal{L}}$.
• Figure 2: An illustration showing that $S_{{\mathcal{W}}, -}$ is central.
• Figure 3: Schematic relation between the global forms ${\mathcal{T}}_{(\kappa, \nu, \xi)}$ and ${\mathcal{T}}_{(1,1,0)}.$ The upper (resp. lower) path corresponds to $2\xi$ is even (resp. odd). The solid arrows correspond to gauging a 1-form symmetry and the dashed arrows correspond to gauging a 0-form topological symmetry.