[Paper Review] Line Operators in $U(1|1)$ Chern-Simons Theory

Niklas Garner, Wen‐Jun Niu|arXiv (Cornell University)|Apr 11, 2023

Algebraic structures and combinatorial models4 citations

TL;DR

This paper establishes a dual categorical description of line operators in $U(1|1)$ Chern-Simons theory by identifying their category $\mathcal{C}$ with the derived category of modules over a boundary vertex operator algebra $\mathcal{V}$, realized as an infinite-order simple current extension of $V(\mathfrak{gl}(1|1))$. It further shows that $\mathcal{C}$ admits an equivalent description via the unrolled quantum group $\overline{U}^E(\mathfrak{gl}(1|1))$, and identifies a discrepancy in braiding under physical duality with a cyclic orbifold of a $B$-twisted hypermultiplet.

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.

Motivation & Objective

• To identify the category of line operators in $U(1|1)$ Chern-Simons theory with a derived category of modules over a boundary vertex operator algebra.
• To show that this category admits a second description via the unrolled quantum group $\overline{U}^E(\mathfrak{gl}(1|1))$.
• To investigate the physical duality between the theory and the cyclic orbifold of a $B$-twisted hypermultiplet, focusing on braiding consistency.
• To analyze the behavior of non-genuine line operators under flat $GL(1,\mathbb{C})$ background connections.
• To establish a logarithmic analog of the Kazhdan-Lusztig correspondence for $\mathfrak{gl}(1|1)$ via simple current extensions.

Proposed method

• Realize the boundary vertex operator algebra $\mathcal{V}$ as an infinite-order simple current extension of the affine current algebra $V(\mathfrak{gl}(1|1))$ by boundary monopole operators.
• Translate the simple current extension from $V(\mathfrak{gl}(1|1))$ to the unrolled, restricted quantum group $\overline{U}^E(\mathfrak{gl}(1|1))$ to obtain a second categorical description.
• Use spectral flow isomorphisms $\sigma_{0,e}$ to relate modules with different generalized $E_0$ eigenvalues and show that all modules are quotients of finite direct sums of $\mathcal{V}_{Z,\mu}^{p,q}$.
• Compute monodromy of line operators using free field intertwining operators and logarithmic terms arising from $\log(z)$-dependence in vertex operator products.
• Apply the $R$-matrix formalism to show that monodromy is given by $\mathrm{Id} \times \exp(2\pi i(N_0 + \frac{k}{2}E_0))$ for specific line operators.
• Compare braiding data with the cyclic orbifold of a $B$-twisted hypermultiplet, identifying a slight discrepancy in the braiding structure.

Experimental results

Research questions

• RQ1 Can the category of line operators in $U(1|1)$ Chern-Simons theory be fully described by a boundary vertex operator algebra via simple current extension?
• RQ2 Does the derived category of modules for the boundary VOA $\mathcal{V}$ admit an equivalent description in terms of the unrolled quantum group $\overline{U}^E(\mathfrak{gl}(1|1))$?
• RQ3 How does the braiding structure of line operators compare under physical duality with the cyclic orbifold of a $B$-twisted hypermultiplet?
• RQ4 What is the role of flat $GL(1,\mathbb{C})$ background connections in defining non-genuine line operators?
• RQ5 To what extent does the category of line operators realize a logarithmic Kazhdan-Lusztig correspondence for $\mathfrak{gl}(1|1)$?

Key findings

• The category of line operators $\mathcal{C}$ is identified with the derived category of modules over a boundary vertex operator algebra $\mathcal{V}$, constructed as an infinite-order simple current extension of $V(\mathfrak{gl}(1|1))$ by boundary monopole operators.
• The category $\mathcal{C}$ admits a second description via the unrolled quantum group $\overline{U}^E(\mathfrak{gl}(1|1))$, establishing a dual categorical formulation.
• Monodromy of line operators is computed explicitly as $\mathrm{Id} \times \exp(2\pi i(N_0 + \frac{k}{2}E_0))$, with logarithmic terms arising from $\log(z)$-dependence in vertex operator products.
• A discrepancy in braiding is found when comparing the $U(1|1)$ theory to the cyclic orbifold of a $B$-twisted hypermultiplet, indicating a mismatch in the $R$-matrix structure.
• All modules of $V(\mathfrak{gl}(1|1))$ are shown to be quotients of finite direct sums of $\mathcal{V}_{Z,\mu}^{p,q}$, using spectral flow isomorphisms to relate different generalized weight spaces.
• The category of non-genuine line operators is fully characterized by coupling to flat $GL(1,\mathbb{C})$ connections, with the resulting module structure determined by the action of $N_0 + \frac{k}{2}E_0$.