pith. sign in

arxiv: 2607.02155 · v1 · pith:MAWLDO3Inew · submitted 2026-07-02 · 🧮 math.RT · math-ph· math.MP· math.QA

Feigin-Semikhatov duality at the critical level

Pith reviewed 2026-07-03 02:56 UTC · model grok-4.3

classification 🧮 math.RT math-phmath.MPmath.QA
keywords Feigin-Semikhatov dualityW-algebrascritical levelvertex operator algebrascategory equivalencesweight modulesorbifoldsprincipal blocks
0
0 comments X

The pith

The centerless subregular W-algebra at critical level equals an orbifold of the large-level principal W-superalgebra tensored with a lattice VOA, inducing block-wise module equivalences.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends the Feigin-Semikhatov duality, which equates Heisenberg cosets of a subregular W-algebra and a principal W-superalgebra when levels satisfy the Feigin-Frenkel relation, to the critical and large-level limits. It realizes the centerless subregular W-algebra at the critical level explicitly as an orbifold of the large-level limit of the principal W-superalgebra together with a lattice vertex operator algebra. The construction supplies a functor between categories of modules for the two vertex algebras that restricts to equivalences on blocks. This determines the structure of the principal blocks of the subregular W-algebras inside the category of weight modules. A reader cares because the duality supplies an indirect route to the representation theory of these algebras at a singular point and inside a module category larger than the usual lower-bounded one.

Core claim

The Feigin-Semikhatov duality asserts that the Heisenberg cosets of the subregular W-algebra of sl_n at level k and the principal W-superalgebra of sl_{n|1} at level ℓ coincide when (k+n)(ℓ+n-1)=1. At the critical/large level limit the centerless subregular W-algebra is realized as an orbifold of the large-level limit of the principal W-superalgebra tensored with a lattice VOA. The resulting functor between the relevant module categories produces block-wise equivalences, which in turn determine the principal blocks of the subregular W-algebras inside the category of weight modules.

What carries the argument

The orbifold of the large-level limit of the principal W-superalgebra tensor a lattice VOA, together with the functor it induces on module categories that yields block-wise equivalences.

If this is right

  • The principal blocks of the subregular W-algebras in weight modules are determined by the corresponding blocks on the W-superalgebra side.
  • The functor between the vertex-algebra categories restricts to equivalences on each block.
  • The centerless subregular W-algebra at critical level admits an explicit orbifold presentation.
  • The duality extends to the critical and large-level regime for both the sl_n and so_{2n+1} cases.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same orbifold construction might produce analogous descriptions for other W-algebra dualities at critical level.
  • Equivalences in the weight-module category could be used to transfer fusion rules or character formulas from the superalgebra side.
  • The result may connect to other simplifications that occur in conformal field theory precisely at critical level.

Load-bearing premise

The Feigin-Frenkel relation still controls the duality after the critical/large-level limit and the orbifold plus functor preserve enough structure to give block-wise equivalences in the weight-module category.

What would settle it

An explicit computation showing that the principal block of the centerless subregular W-algebra at critical level differs from the block obtained by applying the orbifold functor to the principal block of the large-level W-superalgebra would falsify the claimed block-wise equivalence.

read the original abstract

The Feigin-Semikhatov duality asserts that the Heisenberg cosets of the subregular $W$-algebra of $\mathfrak{sl}_n$ at level $k$ and the one of the principal $W$-superalgebra of $\mathfrak{sl}_{n|1}$ at level $\ell$ coincide when the levels satisfy the Feigin-Frenkel relation $(k+n)(\ell+n-1)=1$. A similar duality holds between the subregular $W$-algebra of $\mathfrak{so}_{2n+1}$ and the principal $W$-superalgebra of $\mathfrak{osp}_{2|2n}$. We study these dualities in the critical/large level limit. We describe the centerless subregular $W$-algebra at the critical level as an orbifold of the large level limit of the principal $W$-superalgebra times a lattice VOA. Our construction yields a functor between certain categories of the two involved vertex algebras. We show that in this set-up one in fact gets block-wise equivalences of categories. Studying the principal block of the large level limit of the principal $W$-superalgebra then gives us the structure of the principal blocks of the subregular $W$-algebras in the category of weight modules (which is much larger than the more common category of lower bounded modules).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper extends Feigin-Semikhatov duality to the critical/large-level limit. It identifies the centerless subregular W-algebra at critical level with an orbifold of the large-level limit of the principal W-superalgebra of sl_{n|1} (or osp) tensored with a lattice VOA, constructs an induced functor on categories of modules, and proves that this functor yields block-wise equivalences. The equivalences are then used to determine the structure of principal blocks for the subregular W-algebras inside the category of weight modules.

Significance. If the limit construction and functorial equivalences hold, the result supplies a concrete description of principal blocks in a category strictly larger than the usual lower-bounded modules, thereby enlarging the known representation-theoretic data for critical-level W-algebras. The orbifold-plus-lattice approach also gives an explicit bridge between two families of vertex algebras whose duality was previously known only away from the critical point.

major comments (2)
  1. [§3 (limit construction) and the functor in §4] The central claim that the orbifold recovers exactly the centerless critical-level subregular W-algebra rests on the assertion that the Feigin-Frenkel relation survives the simultaneous critical/large-level limit without introducing extra null vectors or altering OPEs. No explicit computation of the limiting OPEs or screening operators is supplied in the sections describing the limit (the construction in the main body simply invokes the non-critical relation and passes to the limit). This step is load-bearing for both the identification and the subsequent block-wise equivalence.
  2. [§4.2 (block-wise equivalence)] The proof that the induced functor is an equivalence on each block of weight modules relies on the orbifold action preserving the block decomposition and on essential surjectivity. The argument uses the known non-critical equivalence plus continuity of characters, but does not verify that the lattice VOA factor does not mix blocks or create new relations at the critical value; a direct check on the principal block generators would be needed to confirm essential surjectivity.
minor comments (2)
  1. [§2.3] Notation for the large-level limit of the principal W-superalgebra is introduced without a displayed formula for the limiting OPEs; adding an explicit table of generators and relations before the orbifold step would improve readability.
  2. [Introduction and §5] The statement that the category of weight modules is 'much larger' than lower-bounded modules is repeated several times; a single precise comparison (e.g., via the definition of weight vs. lower-bounded grading) would suffice.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed major comments. The concerns regarding the limit construction and the block-wise equivalence are substantive, and we address them point by point below. We agree that additional explicit verifications would strengthen the manuscript and plan to incorporate them.

read point-by-point responses
  1. Referee: [§3 (limit construction) and the functor in §4] The central claim that the orbifold recovers exactly the centerless critical-level subregular W-algebra rests on the assertion that the Feigin-Frenkel relation survives the simultaneous critical/large-level limit without introducing extra null vectors or altering OPEs. No explicit computation of the limiting OPEs or screening operators is supplied in the sections describing the limit (the construction in the main body simply invokes the non-critical relation and passes to the limit). This step is load-bearing for both the identification and the subsequent block-wise equivalence.

    Authors: We agree that the survival of the Feigin-Frenkel relation through the limit requires careful justification and that the current presentation invokes the non-critical case without displaying the limiting OPEs. The relation is imposed algebraically on the parameters prior to the limit, and the generators and relations of the vertex algebras are continuous in the level; consequently the structure constants remain finite and no new null vectors are introduced. Nevertheless, to make this explicit we will add a short subsection (or appendix) in the revised §3 computing the limiting screening operators and confirming that the OPEs match those of the centerless critical-level subregular W-algebra. revision_made = yes. revision: yes

  2. Referee: [§4.2 (block-wise equivalence)] The proof that the induced functor is an equivalence on each block of weight modules relies on the orbifold action preserving the block decomposition and on essential surjectivity. The argument uses the known non-critical equivalence plus continuity of characters, but does not verify that the lattice VOA factor does not mix blocks or create new relations at the critical value; a direct check on the principal block generators would be needed to confirm essential surjectivity.

    Authors: The lattice VOA factor is a Heisenberg algebra whose zero modes commute with the orbifold action and preserve the weight grading; hence it does not mix blocks. Essential surjectivity on the principal block follows from the non-critical equivalence together with continuity of characters. We acknowledge, however, that a direct verification on the generators of the principal block at the critical value would make the argument more transparent. We will therefore insert a short direct check of the action on the principal-block generators in the revised §4.2. revision_made = partial. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation applies standard limits and orbifolds to prior duality.

full rationale

The abstract and description indicate the work starts from the established (non-critical) Feigin-Semikhatov duality, takes critical/large-level limits, and applies orbifold and functorial constructions to obtain block-wise equivalences. No equations or steps are shown that reduce a claimed prediction or equivalence to a fitted parameter, self-definition, or unverified self-citation chain. The central functor and equivalence claims rest on the explicit construction rather than renaming or importing uniqueness from the authors' prior work. This matches the default expectation of a self-contained derivation with at most minor self-citation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work assumes the Feigin-Frenkel relation persists in the limit and relies on standard background results from vertex operator algebra theory; no free parameters or invented entities appear in the abstract.

axioms (2)
  • domain assumption The Feigin-Frenkel relation (k+n)(ℓ+n-1)=1 continues to govern the duality after the critical/large-level limit.
    Invoked as the condition that makes the two sides coincide.
  • standard math Standard properties of vertex operator algebras, orbifolds, and module categories hold without further proof.
    Background facts from VOA theory used to define the orbifold and functor.

pith-pipeline@v0.9.1-grok · 5785 in / 1454 out tokens · 43285 ms · 2026-07-03T02:56:59.882252+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

64 extracted references · 6 canonical work pages · 2 internal anchors

  1. [1]

    Adamovi´ c, Realizations of simple affine vertex algebras and their modules: The cases [sl(2) and \osp(1,2), Comm

    D. Adamovi´ c, Realizations of simple affine vertex algebras and their modules: The cases [sl(2) and \osp(1,2), Comm. Math. Phys.366(2019) no. 3, 1025–1067

  2. [2]

    Adamovi´ c, A note on the affine vertex algebra associated togl(1|1) at the critical level and its general- izations, Rad Hrvat

    D. Adamovi´ c, A note on the affine vertex algebra associated togl(1|1) at the critical level and its general- izations, Rad Hrvat. Akad. Znan. Umjet. Mat. Znan.21(532)(2017), 75–87

  3. [3]

    Adamovi´ c, Lie superalgebras and irreducibility ofA(1) 1 -modules at the critical level, Comm

    D. Adamovi´ c, Lie superalgebras and irreducibility ofA(1) 1 -modules at the critical level, Comm. Math. Phys. 270(2007), no. 1, 141–161; MR2276443

  4. [4]

    Adamovi´ c, New irreducible modules for affine Lie algebras at the critical level, Internat

    D. Adamovi´ c, New irreducible modules for affine Lie algebras at the critical level, Internat. Math. Res. Notices1996, no. 6, 253–261

  5. [5]

    Adamovi´ c, T

    D. Adamovi´ c, T. Creutzig, N. Genra and J. Yang, The Vertex AlgebrasR (p) andV (p), Commun. Math. Phys.383(2021) no.2, 1207-1241. 34

  6. [6]

    Arakawa, T

    T. Arakawa, T. Creutzig and K. Kawasetsu, Weight representations of affine Kac-Moody algebras and small quantum groups, Adv. Math.477(2025), 110365

  7. [7]

    Braverman, M

    A. Braverman, M. Finkelberg, V. Ginzburg, R. Travkin, Mirabolic Satake equivalence and supergroups, Compos. Math.157(2021), no. 8, 1724–1765

  8. [8]

    Braverman, M

    A. Braverman, M. Finkelberg, V. Ginzburg, R. Travkin, A. Braverman, M. Finkelberg and R. Travkin, Orthosymplectic Satake equivalence, Commun. Number Theory Phys.16(2022), no. 4, 695–732

  9. [9]

    Adamovic, B

    D. Adamovic, B. Feigin and S. Nakatsuka, Center of the affinegl(n|1) at the critical level and pseudo- differential operators, arXiv: 2601.21850

  10. [10]

    Adamovi´ c, N

    D. Adamovi´ c, N. Jing and K. C. Misra, On principal realization of modules for the affine Lie algebraA (1) 1 at the critical level, Trans. Amer. Math. Soc.369(2017), no. 7, 5113–5136.2

  11. [11]

    Adamovic and A

    D. Adamovic and A. Milas, Vertex algebras related to regular representations of SL2, Adv. Math.487 (2026), 110763

  12. [12]

    Adamovi´ c and A

    D. Adamovi´ c and A. Milas, Vertex operator algebras associated to modular invariant representations for A(1) 1 ,Math. Res. Lett.2(1995), no. 5, 563–575

  13. [13]

    Adamovi´ c, S.Nakatsuka, Center of affinesl 2|1 at the critical level International Mathematics Research Notices, Volume 2025, Issue 14

    D. Adamovi´ c, S.Nakatsuka, Center of affinesl 2|1 at the critical level International Mathematics Research Notices, Volume 2025, Issue 14

  14. [14]

    Arakawa,W-algebras at the critical level, inAlgebraic groups and quantum groups, 1–13, Contemp

    T. Arakawa,W-algebras at the critical level, inAlgebraic groups and quantum groups, 1–13, Contemp. Math., 565, Amer. Math. Soc., (2012)

  15. [15]

    Arakawa and P

    T. Arakawa and P. Fiebig, The linkage principle for restricted critical level representations of affine Kac- Moody algebras, Compos. Math.148(2012), no. 6, 1787–1810

  16. [16]

    Arakawa and P

    T. Arakawa and P. Fiebig, On the restricted Verma modules at the critical level, Trans. Amer. Math. Soc. 364(2012), no. 9, 4683–4712

  17. [17]

    Arakawa, X

    T. Arakawa, X. Dai and B. Song, Chiral differential operators on classical invariant rings via BRST reduction, in preparation

  18. [18]

    Arakawa, X

    T. Arakawa, X. Dai and B. Song, Chiral differential operators on the base affine space, in preparation

  19. [19]

    Alexandre Beilinson and Joseph Bernstein, Localisation de g-modules, C. R. Acad. Sci. Paris Ser. I Math. 292 (1981), no. 1, 15–18

  20. [20]

    Creutzig, Tensor categories of weight modules of bsl2 at admissible level, J

    T. Creutzig, Tensor categories of weight modules of bsl2 at admissible level, J. Lond. Math. Soc. (2)110 (2024), no. 6, Paper No. e70037, 38 pp

  21. [21]

    Creutzig, Logarithmic W-algebras and Argyres-Douglas theories at higher rank, JHEP11(2018), 188

    T. Creutzig, Logarithmic W-algebras and Argyres-Douglas theories at higher rank, JHEP11(2018), 188

  22. [22]

    Creutzig, Resolving Verlinde’s formula of logarithmic CFT, arXiv:2411.11383, 2024

    T. Creutzig, Resolving Verlinde’s formula of logarithmic CFT, arXiv:2411.11383, 2024

  23. [23]

    Creutzig, T

    T. Creutzig, T. Dimofte, N. Garner and N. Geer, A QFT for non-semisimple TQFT, Adv. Theor. Math. Phys.28(2024) no.1, 161-405

  24. [24]

    Creutzig and D

    T. Creutzig and D. Gaiotto, Vertex Algebras for S-duality, Commun. Math. Phys.379(2020) no.3, 785-845

  25. [25]

    Creutzig, D

    T. Creutzig, D. Gaiotto and A. R. Linshaw, S-duality for the LargeN= 4 Superconformal Algebra, Commun. Math. Phys.374(2020) no.3, 1787-1808

  26. [26]

    Creutzig, P

    T. Creutzig, P. Gao and A. R. Linshaw, Fermionic Coset, Critical LevelW (2) 4 -Algebra and Higher Spins, JHEP04(2012), 031

  27. [27]

    Creutzig, P

    T. Creutzig, P. Gao and A. R. Linshaw, A commutant realization ofW (2) n at critical level, Int. Math. Res. Not.3(2014), 577-609

  28. [28]

    Creutzig, N

    T. Creutzig, N. Genra, and S. Nakatsuka, Duality of subregularW-algebras and principalW-superalgebras, Adv. Math. 383 (2021): 107685

  29. [29]

    Creutzig, N

    T. Creutzig, N. Genra, S. Nakatsuka, and R. Sato, Correspondences of categories for subregularW-algebras and principalW-superalgebras, Commun. Math. Phys. 393, 1-60 (2022)

  30. [30]

    Universal $2$-parameter $\mathcal{N}=2$ supersymmetric $\mathcal{W}_{\infty}$-algebra

    T. Creutzig, V. Kovalchuk, A. R. Linshaw, A. Song and U. R. Suh, Universal 2-parameterN= 2 supersym- metricW ∞-algebra, [arXiv:2604.20750 [math.RT]]

  31. [31]

    Creutzig, and A

    T. Creutzig, and A. R. Linshaw, Cosets of affine vertex algebras inside larger structures, J. algebra 517 (2019): 396-438

  32. [32]

    Creutzig and A

    T. Creutzig and A. R. Linshaw, Trialities ofW-algebras, Cambridge J. Math.10(2022) no.1, 69-194

  33. [33]

    Creutzig and A

    T. Creutzig and A. R. Linshaw, Trialities of orthosymplectic W-algebras, Adv. Math.409(2022), 108678

  34. [34]

    Creutzig, S

    T. Creutzig, S. Lentner, to appear

  35. [35]

    Creutzig, S

    T. Creutzig, S. Lentner and M. Rupert, An algebraic theory for logarithmic Kazhdan-Lusztig correspon- dences, [arXiv:2306.11492 [math.QA]]

  36. [36]

    Creutzig, A

    T. Creutzig, A. R. Linshaw, S. Nakatsuka and R. Sato, Duality via convolution ofW-algebras, Selecta Math. 31(2025) no.3, 56

  37. [37]

    Creutzig, R

    T. Creutzig, R. McRae and J. Yang, Ribbon Categories of Weight Modules for Affinesl 2 at Admissible Levels, Commun. Math. Phys.407(2026) no.6, 123. 35

  38. [38]

    Creutzig, S

    T. Creutzig, S. Nakatsuka and S. Sugimoto, Quasi-lisse extension of affine sl2 ` a la Feigin–Tipunin, Adv. Math.448(2024), 109717

  39. [39]

    Dai, and B

    X. Dai, and B. Song, Simple vertex algebras arising from congruence subgroups, Adv. Math. 456, (2024): 109900

  40. [40]

    Fiebig, On the restricted projective objects in the affine categoryOat the critical level, inAlgebraic groups and quantum groups, 55–70, Contemp

    P. Fiebig, On the restricted projective objects in the affine categoryOat the critical level, inAlgebraic groups and quantum groups, 55–70, Contemp. Math., 565, Amer. Math. Soc

  41. [41]

    E. V. Frenkel and D. Ben-Zvi,Vertex algebras and algebraic curves, second edition, Mathematical Surveys and Monographs, 88, Amer. Math. Soc

  42. [42]

    Frenkel, Langlands correspondence for loop groups, Cambridge Studies in Advanced Mathematics, 103

    E. Frenkel, Langlands correspondence for loop groups, Cambridge Studies in Advanced Mathematics, 103

  43. [43]

    Feigin, and E

    B. Feigin, and E. Frenkel, Quantization of the Drinfel’d-Sokolov reduction. Phys. Lett. B 246(1-2), (1990):75- 81

  44. [44]

    Feigin, and E

    B. Feigin, and E. Frenkel, Duality in W-algebras, Int. Math. Res. Not. 6 (1991) 75–82

  45. [45]

    I. B. Frenkel, H. Garland, and G. J. Zuckerman, Semi-infinite cohomology and string theory, Proc. Natl. Acas. Sci. USA 83 (1986): 8442-8446

  46. [46]

    B. L. Feigin and S. D. Lentner, Vertex algebras with big centre and a Kazhdan-Lusztig correspondence, Adv. Math.457(2024), 109904

  47. [47]

    B. L. Feigin and S. D. Lentner, Twisted Vertex Algebra Modules for Irregular Connections: A Case Study, Int. Math. Res. Not.2025(2025) no.23

  48. [48]

    B. L. Feigin and S. D. Lentner, Coupling a vertex algebra to a large center, Anal. Math. Phys.16(2026) no.1, 17

  49. [49]

    Frenkel, J

    I. Frenkel, J. Lepowsky, and A. Meurman, Vertex Operator Algebras and the Monster. Pure and Applied Mathematics, 134. Academic Press, Inc., Boston, MA, (1988)

  50. [50]

    B. L. Feigin and A. M. Semikhatov, W(2)(n) algebras, Nucl. Phys. B698(2004), 409-449

  51. [51]

    B. L. Feigin and I. Y. Tipunin, Logarithmic CFTs connected with simple Lie algebras, [arXiv:1002.5047 [math.QA]]

  52. [52]

    Genra, and T

    N. Genra, and T. Kuwabara, Strong generators of the subregularW-algebraW K−N (slN , fsub) and combi- natorial description at critical level, Lett. Math. Phys. 110, no.1 (2020): 21-41

  53. [53]

    Kac, Vertex algebras for beginners

    V. Kac, Vertex algebras for beginners. Univ. Lecture Ser. 10. Providence, RI: American Mathematical Society, (1998)

  54. [54]

    Kazama and H

    Y. Kazama and H. Suzuki, New N=2 Superconformal Field Theories and Superstring Compactification, Nucl. Phys. B321(1989), 232-268

  55. [55]

    V. Kac, A. Radul, Representation theory of the vertex algebraW 1+∞, Transform. Groups, 1996, 1(1): 41-70

  56. [56]

    Kawasetsu and D

    K. Kawasetsu and D. Ridout, Relaxed highest-weight modules I: Rank 1 cases,Comm. Math. Phys.368 (2019) no. 2, 627–663

  57. [57]

    V. Kac, S. S. Roan, and M. Wakimoto, Quantum reduction for affine superalgebras, Commun. Math. Phys. 241, 307-342 (2003)

  58. [58]

    Kac, and M

    V. Kac, and M. Wakimoto, Quantum reduction and representation theory of superconformal algebras, Adv. Math. 185(2) (2004): 400-458

  59. [59]

    Li, The physics superselection principle in vertex operator algebra theory, Journal of Algebra, 1997, 196(2): 436-457

    H. Li, The physics superselection principle in vertex operator algebra theory, Journal of Algebra, 1997, 196(2): 436-457

  60. [60]

    A. R. Linshaw, and B. Song, Cosets of free field algebras via arc spaces, Int. Math. Res. Not. 2024.1 (2024): 47-114

  61. [61]

    Moriwaki, Quantum coordinate ring in WZW model and affine vertex algebra extensions, Selecta Math

    Y. Moriwaki, Quantum coordinate ring in WZW model and affine vertex algebra extensions, Selecta Math. 28(2022) no.4, 68

  62. [62]

    Nakatsuka, Feigin-Semikhatov conjecture and related topics, Int

    S. Nakatsuka, Feigin-Semikhatov conjecture and related topics, Int. J. Mod. Phys. A, 38, No. 24, 2330014, (2023)

  63. [63]

    Nakano and F

    H. Nakano and F. Orosz Hunziker, and A. Ros Camacho and S. Wood, Fusion rules and rigidity for weight modules over the simple admissible affinesl(2) andN= 2 superconformal vertex operator superalgebras, arXiv:2411.11387, 2024

  64. [64]

    Sugimoto, On the Feigin–Tipunin conjecture, Selecta Math.27(2021) no.5, 86

    S. Sugimoto, On the Feigin–Tipunin conjecture, Selecta Math.27(2021) no.5, 86. Email address:thomas.creutzig@fau.de Email address:xuanzhong.dai@oist.jp Email address:bailinso@ustc.edu.cn 36 1 Department of Mathematics, F AU Erlangen-N ¨urnberg, Erlangen, Germany 2 Okinawa Institute of Science and Technology, Okinawa, Japan 904-0495 3 School of Mathematica...