---
title: Level–Rank Duality in Gauge Theories
url: https://www.emergentmind.com/topics/level-rank-duality
type: topic
---

# Level–Rank Duality in Gauge Theories

Level–rank duality is a family of correspondences in which the rank of a gauge group or affine Lie algebra and the level of the current algebra or Chern–Simons coupling are exchanged. In its classical form, the central example is \(SU(N)_k \leftrightarrow SU(k)_N\), but the same phrase also denotes analogues for symplectic and orthogonal theories, affine type \(A\) crystals, vertex operator algebras, non-abelian theta functions on higher-rank Prym varieties, and blocks of cyclotomic Hecke algebras attached to finite reductive groups [1501.06542] [2002.07744] [1809.09519] [2412.02895].

## 1. Foundational formulation in WZW and Chern–Simons theory

In the WZW formulation, level–rank duality states that the primary fields and their correlation functions in the \(SU(N)_k\) and \(SU(k)_N\) models are in one-to-one correspondence, and via the standard relation between WZW conformal blocks and Chern–Simons Hilbert spaces this becomes a duality between observables of two different Chern–Simons theories whose roles of level and rank are exchanged [1501.06542]. For Chern–Simons theory on \(S^3\), this correspondence takes the explicit form
\[
\langle W_{\lambda}(K)\rangle_{SU(N)_k}\longleftrightarrow \langle W_{\lambda^t}(\tilde K)\rangle_{SU(k)_N},
\]
where \(K\) is a knot, \(\tilde K\) its mirror, and \(\lambda^t\) is the transposed Young diagram.

A refined three-dimensional formulation requires attention to background gauge fields, spin\(_c\) connections, and gravitational counterterms. In that setting, level/rank duality is an exact equivalence of TQFTs only after adding specific background Chern–Simons counterterms, so that currents, anomalies, framing data, and line operators match. Representative dualities include \(SU(N)_K \leftrightarrow U(K)_{-N,-N}\), \(U(N)_K \leftrightarrow U(K)_{-N}\), and the further \(U\)–\(U\) dualities involving shifted Abelian levels [1607.07457]. A related point is that the duality is often naturally a statement about spin TQFTs, or about non-spin theories tensored with an almost trivial spin sector carrying a transparent spin-\(1/2\) line.

At the level of knot and link invariants, the duality is encoded in relations among modular \(S\)-matrices, fusion coefficients, braid matrices, and quantum dimensions. For \(SU(N)_K\), the root of unity \(q=e^{2\pi i/(N+K)}\) is invariant under exchanging \(N\) and \(K\), which is one reason braid-theoretic data admit level–rank reformulations [2106.15012]. A recurrent misconception is that the duality is always realized by naive transposition of every Young tableau. In fact, for \(\widehat{\mathfrak{su}(N)}_K\) it is one-to-one on cominimal equivalence classes rather than on individual representations, and in several settings quotients by simple-current actions are essential [1505.07070].

## 2. Knot invariants and the topological-string realization

For knot theory, the most important concrete consequence is the mirror relation for colored HOMFLY invariants,
\[
H_{\lambda}(\tilde K;Q,q)=(-1)^{|\lambda|}\,H_{\lambda^t}(K;Q^{-1},q),
\]
with \(q=\exp\!\bigl(\frac{2\pi i}{k+N}\bigr)\) invariant under \(k\leftrightarrow N\) and \(Q=\exp\!\bigl(\frac{2\pi iN}{k+N}\bigr)\) sent to \(Q^{-1}\) [1501.06542]. In this form, level–rank duality becomes a statement that mirror reflection of the knot and transposition of the representation correspond to exchanging level and rank in Chern–Simons theory.

The same relation has a worldsheet interpretation in topological string theory. Under the large \(N\) duality between \(U(N)\) Chern–Simons theory on \(S^3\) and the closed A-model on the resolved conifold, Wilson loops along a knot \(K\) correspond to open-string amplitudes with a knot Lagrangian \(L_K\). Writing the open amplitudes as generating series for open Gromov–Witten invariants, level–rank duality yields the identity
\[
GW^{(K)}_{g,h}(d,\vec k)=(-1)^h\,GW^{(\tilde K)}_{g,h}(d_{\min}+d_{\max}-d,\vec k),
\]
which the paper interprets as orientation reversal of the Lagrangian brane together with degree reflection under \(Q\to Q^{-1}\) [1501.06542].

This A-model picture has a B-model counterpart. In the non-toric knot setting, the mirror curve is identified with the augmentation polynomial \(A_K(x,y;Q)\) from knot contact homology, and the mirror knot is obtained by
\[
A_{\tilde K}(\tilde x,\tilde y;Q)=0 \Longleftrightarrow A_K(-x,y;Q^{-1})=0.
\]
Disk, annulus, and higher-genus amplitudes then transform compatibly with the same degree-reflection rule, and the topological recursion built from the augmentation polynomial and the physical annulus kernel reproduces the full worldsheet identity [1501.06542].

This suggests that level–rank duality is not merely a boundary RCFT symmetry. A plausible implication is that it organizes an entire package of knot-theoretic, symplectic, and mirror-geometric data: colored HOMFLY polynomials, augmentation varieties, and open Gromov–Witten invariants transform in parallel under the same exchange \(k\leftrightarrow N\), \(Q\leftrightarrow Q^{-1}\), and boundary-orientation reversal.

## 3. Categorical, VOA, and boundary-CFT manifestations

In tensor-categorical form, one of the sharpest results is the symplectic duality
\[
\mathcal{C}(\mathfrak{sp}_{2n})_k \simeq_{\text{braid-rev}} \mathcal{C}(\mathfrak{sp}_{2k})_n,
\]
sending the simple object indexed by \(\lambda\in\mathcal{I}_{n,k}\) to the object indexed by \(\lambda^{tc}\in\mathcal{I}_{k,n}\), where \(\lambda^{tc}\) is the transpose of the complement in the \(n\times k\) rectangle. After the standard \((-)\)-modification of the braiding, this becomes a genuine braided equivalence \(\mathcal{C}(\mathfrak{sp}_{2n})_k^{-}\simeq_{\text{braided}}\mathcal{C}(\mathfrak{sp}_{2k})_n\) [2002.07744]. One proof uses the conformal embedding \((\widehat{\mathfrak{sp}_{2n}})_k\oplus(\widehat{\mathfrak{sp}_{2k}})_n\subset(\widehat{\mathfrak{so}_{4nk}})_1\); the other uses classification of braided fusion categories of type \(C\) by braiding eigenvalues.

In the VOA setting for types \(B\) and \(D\), level–rank duality appears as a commutant construction. The commutant of the diagonally embedded \(L_{\widehat{\mathfrak{so}_m}}(n,0)\) inside \(L_{\widehat{\mathfrak{so}_m}}(1,0)^{\otimes n}\) is realized as a fixed-point subalgebra of a VOA based on \(\widehat{\mathfrak{so}_n}\) at level \(m\), or of a simple-current extension thereof, associated with a finite abelian group. In this sense, exchanging the tensor-power multiplicity and the orthogonal rank yields a version of level–rank duality in orthogonal coset theory [1703.04889].

Boundary CFT furnishes another manifestation. For WZW models on a circle and for untwisted and twisted D-branes, the left–right entanglement entropy is an explicit functional of modular \(S\)-matrix data. Level–rank duality then implies precise relations for the finite part of the entropy. For \(\widehat{\mathfrak{sp}(N)}_K\leftrightarrow \widehat{\mathfrak{sp}(K)}_N\), the finite part is exactly invariant for any Cardy state; for \(\widehat{\mathfrak{su}(N)}_K\leftrightarrow \widehat{\mathfrak{su}(K)}_N\), it differs by a universal \(-\frac12\ln(K/N)\) shift for generic Cardy states, while twisted branes in \(\widehat{\mathfrak{su}(2n+1)}_{2k+1}\) acquire a \(\frac12\ln\!\bigl(\frac{2k+1}{2n+1}\bigr)\) shift [1505.07070].

For orthogonal WZW branes, the duality is more selective. Untwisted \(\text{SO}(N)_K\) D-branes corresponding to tensor representations are mapped to untwisted \(\text{SO}(K)_N\) D-branes, while for \(\varepsilon\)-twisted sectors of \(\text{SO}(2n)_{2k}\) the paper proves a duality only for the spinor twisted branes. In both cases, the spectrum of an open string ending on the branes is isomorphic to the spectrum on the level–rank-dual branes, but the orthogonal story is partial rather than uniform across all representations [0706.1957].

## 4. Combinatorial, crystal, and Hecke-algebra realizations

In affine type \(A\), level–rank duality acts on Fock spaces by exchanging the number of multipartition components and the affine rank. Gerber formulates a combinatorial bijection
\[
(\Pi^\ell\times\mathbb{Z}^\ell(s))\xrightarrow{\sim}(\Pi^e\times\mathbb{Z}^e(-s)),
\]
sending an \(\ell\)-multipartition with charge \(\mathbf{s}\) to an \(e\)-multipartition with dual charge \(\dot{\mathbf{s}}\), and realizes the duality on abaci by infinite periodic stacking followed by a \(90^\circ\) change of viewpoint [1809.09519]. In that framework, a central theorem states that an \(\ell\)-abacus is \(e\)-cylindric if and only if its level–rank dual is a source in the \(\widehat{\mathfrak{sl}_\ell}\)-crystal; the FLOTW condition is strengthened by requiring that the dual be simultaneously a source in the Heisenberg crystal [1809.09519].

This gives cylindricity a representation-theoretic meaning. What had been a combinatorial condition on multipartitions becomes the highest-weight condition for the dual affine crystal. A plausible implication is that level–rank duality here is less a symmetry between two fixed models than a transport mechanism between different commuting crystal structures.

A recent finite-group extension places the same phenomenon inside unipotent representation theory of finite reductive groups. For \(G=\mathrm{GL}_n(\mathbf{F}_q)\), \(\Phi_m\)-cuspidal pairs \((M,\mu)\) yield Harish–Chandra series parametrized by partitions with fixed \(m\)-core, while the associated relative Weyl group is \(S_{N,m}=S_N\ltimes(\mathbb{Z}_m)^N\), whose irreducibles are indexed by \(m\)-multipartitions. After specializing Broué–Malle cyclotomic Hecke algebras to roots of unity, the intersections of \(\Phi_l\)- and \(\Phi_m\)-series produce blocks related by Uglov’s level–rank bijection between charged multipartitions, recovering an avatar of the duality studied by Frenkel, Uglov, Chuang–Miyachi, and others [2508.07051].

## 5. Brane, holographic, and Chern–Simons–matter derivations

String-theoretic derivations emphasize that level–rank duality can arise as the infrared shadow of higher-dimensional brane dynamics. In a non-supersymmetric type IIB configuration with fivebranes, an \(O3^+\)-plane, and anti-D3 branes, swapping the fivebranes produces a three-dimensional non-supersymmetric Seiberg duality whose IR limit is the symplectic level–rank pair
\[
Sp(2N)_{\,2k-2N+2}\longleftrightarrow Sp(2k-2N+2)_{-2N},
\]
with an analogous unitary duality
\[
U(2N)_{\,2k-2N+2}\longleftrightarrow U(2k-2N+2)_{-2N}.
\]
The scalar in the brane system acquires positive mass-squared and decouples, while integrating out fermions generates the level shifts needed for the duality [1408.4633].

A more systematic field-theoretic account couples Chern–Simons theories to background fields, spin\(_c\) connections, and the metric, and shows that finite counterterms are required for exact duality. This produces refined level/rank dualities for pure Chern–Simons theories and, by adding matter, a web of bosonization, boson/boson, and fermion/fermion dualities in three dimensions [1607.07457]. In that framework, level–rank duality is best viewed as an equivalence of full quantum field theories, not merely of abstract modular tensor categories.

A holographic realization in type IIB starts from D3-branes compactified on a circle with an axion gradient inducing a boundary \(U(N)_k\) Chern–Simons term. Probe D7-branes at the tip of the cigar geometry support a \(U(k)_{-N}\) worldvolume theory, and careful treatment of RR two- and six-form boundary conditions reproduces dual pairs such as \(SU(N)_k\leftrightarrow U(k)_{-N}\) and \(U(N)_{k,k\pm N}\leftrightarrow U(k)_{-N,-N\mp k}\). The full \(SL(2,\mathbb{Z})\) orbit is realized through electric/magnetic duality of the RR potentials [2205.06115].

Lens-space partition functions supply a stringent test of these refined statements. Using supersymmetric localization and a supersymmetry-preserving regularization, the lens-space partition function acquires a background-dependent topological phase. With an explicit phase factor \(\Theta(N,k)\), the partition functions on \(L_b(n,1)\) exhibit perfect agreement, including the total phase, for standard and spin level–rank dual pairs such as \(U(N)_{k,0}\leftrightarrow U(|k|-N)_{-k,0}\), \(U(N)_{k,-2\,\mathrm{sgn}(k)}\leftrightarrow U(|k|-N)_{-k,2\,\mathrm{sgn}(k)}\), and \(U(N)_{k,-\mathrm{sgn}(k)}\leftrightarrow SU(|k|-N)_{-k}\) [2108.09300].

## 6. Entanglement, quantum computation, and recent geometric extensions

Level–rank duality also acts on information-theoretic and computational structures extracted from Chern–Simons theory. In the topological quantum-computation setting, the pair \(SU(2)_3\leftrightarrow SU(3)_2\) has identical Jones representations at \(q=e^{2\pi i/5}\), and the dimensions of the relevant conformal-block spaces match:
\[
\dim \widetilde{V}_3^{(0)}=2,\quad \dim \widetilde{V}_6^{[2,1]}=8,\quad \dim \widetilde{V}_6^{(0)}=5
\]
on the \(SU(3)_2\) side correspond to
\[
\dim V_3^{1}=2,\quad \dim V_6^{2}=8,\quad \dim V_6^{0}=5
\]
on the \(SU(2)_3\) side. Consequently, the universal topological quantum computer based on \(SU(2)_3\) implies a qutrit-based universal model built from \(SU(3)_2\) [1811.11861].

A related construction identifies generalized Pauli operators across quotiented level–rank pairs such as \(SU(2)_{2k}=\widetilde{SU}(2k)_2/\mathbb{Z}_k\) and \(SU(2)_{2k+1}/\mathbb{Z}_2=\widetilde{SU}(2k+1)_2/\mathbb{Z}_{2k+1}\), at least when the induced qudit dimension \(d\) is odd. This yields one-to-one maps between graph states, hypergraph states, and magic states built from the same Pauli data on both sides of the duality [2105.11498]. This suggests that level–rank duality can transport not only modular data and link invariants but also computational resource states.

A geometric extension replaces ordinary Jacobians and moduli of bundles by higher-rank Prym varieties associated with an unramified double cover \(C'\to C\). In this anti-invariant setting, the authors construct a Prym–Hitchin connection on bundles of non-abelian theta functions, identify it with the twisted WZW connection on twisted conformal blocks, and formulate an anti-invariant strange-duality morphism exchanging rank and level. They prove the duality at level one and show that at all levels the duality respects the flat connections [2412.02895].

Across these realizations, the shared content is the interchange of rank and level together with a precise control of the structures attached to that interchange: modular data, fusion, crystals, Hecke blocks, Hitchin-type connections, knot invariants, topological string amplitudes, and quantum-information constructions. What varies from context to context is the mechanism. In some settings the duality is a braid-reversing equivalence, in others a source condition in a crystal, a commutant/orbifold relation for VOAs, a mirror symmetry for knot amplitudes, or a flat pairing of non-abelian theta bundles.

Source: https://www.emergentmind.com/topics/level-rank-duality