Orthosymplectic Feigin-Semikhatov duality
Justine Fasquel, Shigenori Nakatsuka
TL;DR
The paper develops an orthosymplectic analogue of Feigin–Semikhatov duality, relating the subregular $\\mathcal{W}^k(\\mathfrak{so}_{2n+1},f_{sub})$ and the principal $\\mathcal{W}^\\ell(\\mathfrak{osp}_{2|2n})$ via inverse Hamiltonian reduction and coset constructions. It proves blockwise equivalences of weight-module categories using relative semi-infinite cohomology and spectral flow twists, and establishes a Wakimoto free-field correspondence between the two sides. In the exceptional rational case, it classifies simple modules and derives their characters, showing consistency with Feigin–Frenkel duality and yielding modular tensor category structures in favorable settings. The work connects dualities, free-field realizations, and BRST reductions to provide a coherent framework for the representation theory of orthosymplectic W-algebras, with potential applications to fusion rules and quantum geometric Langlands. Overall, the results illuminate the structural parallels between W-algebras of type B and W-superalgebras of orthosymplectic type, revealing a rich interaction between cohomological, categorical, and free-field methods in vertex algebra theory.
Abstract
We study the representation theory of the subregular W-algebra $\mathcal{W}^k(\mathfrak{so}_{2n+1},f_{sub})$ of type B and the principal W-superalgebra $\mathcal{W}^\ell(\mathfrak{osp}_{2|2n})$, which are related by an orthosymplectic analogue of Feigin-Semikhatov duality in type A. We establish a block-wise equivalence of weight modules over the W-superalgebras by using the relative semi-infinite cohomology functor and spectral flow twists, which generalizes the result of Feigin-Semikhatov-Tipunin for the N=2 superconformal algebra. In particular, the correspondence of Wakimoto type free field representations is obtained. When the level of the subregular W-algebra is exceptional, we classify the simple modules over the simple quotients $\mathcal{W}_k(\mathfrak{so}_{2n+1},f_{sub})$ and $\mathcal{W}_\ell(\mathfrak{osp}_{2|2n})$ and derive the character formulae.
