Universal 2-parameter mathcal{N}=2 supersymmetric mathcal{W}_(infty)-algebra
Pith reviewed 2026-05-09 22:27 UTC · model grok-4.3
The pith
A universal two-parameter vertex algebra extends the N=2 superconformal algebra and realizes its conjectured dualities.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that the universal 2-parameter N=2 supersymmetric W_infty algebra exists as an extension of the N=2 superconformal algebra with the four additional generators in weights i, i+1/2, i+1/2, i+1 for each i>1, and that its 1-parameter quotients satisfy the dualities conjectured by Prochazka and Rapcak, with the special case yielding the coset realization of W^k(sl_{n+1|n}) and the strong rationality of W_k(sl_{n+1|n}) for k = -1 + 1/(n+a+1) together with a description of its module category.
What carries the argument
The universal 2-parameter vertex algebra W^{N=2}_∞, which classifies all N=2 supersymmetric extensions of the superconformal algebra by serving as the source of all its one-parameter quotients under mild hypotheses.
If this is right
- All N=2 supersymmetric Y-algebras arise as quotients of the universal algebra.
- The three-way dualities hold among the family of N=2 supersymmetric Y-algebras.
- The principal W-algebra W^k(sl_{n+1|n}) admits an explicit coset realization as one of these quotients.
- The algebras W_k(sl_{n+1|n}) are strongly rational for every positive integer n and a at the parameter k = -1 + 1/(n+a+1), and their module categories are completely described.
Where Pith is reading between the lines
- The same universality and duality pattern may extend to other supersymmetric vertex algebras beyond the N=2 case.
- The rationality results open the possibility of constructing new families of rational conformal field theories with extended supersymmetry.
- The module category descriptions could be used to compute fusion rules or characters for these algebras at the rational points.
- Explicit checks of the generator relations for low values of n and a would provide independent numerical support for the dualities.
Load-bearing premise
The vertex algebras arise as quotients of the universal algebra under mild hypotheses that allow the technical results on representations of vertex operator superalgebras to apply.
What would settle it
A direct calculation of the relations among the additional generators for any fixed small value of the continuous parameters that produces an inconsistency with one of the conjectured dualities or with the coset realization would falsify the central claim.
Figures
read the original abstract
The universal $2$-parameter vertex algebra $\mathcal{W}_{\infty}$ of type $\mathcal{W}(2,3,\dots)$ is a classifying object for vertex algebras of type $\mathcal{W}(2,3,\dots,N)$ for some $N$; under mild hypotheses, all such vertex algebras arise as quotients of $\mathcal{W}_{\infty}$. In 2017, Gaiotto and Rap\v{c}\'ak introduced a family of such vertex algebras called $Y$-algebras, and conjectured that they fall into groups of three that are mutually isomorphic. This is a common generalization of both Feigin-Frenkel duality and the coset realization of principal $\mathcal{W}$-algebras in type $A$, and was proven in 2021 for the simple $Y$-algebras (i.e., one label is zero) by the first and third authors. In this paper, we extend this entire story to the $\mathcal{N}=2$ superconformal setting. First, we prove the 2013 conjecture of Gaberdiel and Candu that there exists a universal $2$-parameter vertex algebra $\mathcal{W}^{\mathcal{N}=2}_{\infty}$ which is an extension of the $\mathcal{N}=2$ superconformal algebra, and has four additional generators in weights $i, i + \frac{1}{2}, i + \frac{1}{2}, i+1$, for each integer $i > 1$. This admits many $1$-parameter quotients which we call $\mathcal{N}=2$ supersymmetric $Y$-algebras, and we prove the dualities among these algebras which were conjectured in 2018 by Prochazka and Rap\v{c}\'ak. A special case is the coset realization of the principal $\mathcal{W}$-algebra $\mathcal{W}^k(\mathfrak{sl}_{n+1|n})$ which was conjectured in 1992 by Ito. As a corollary, we obtain the strong rationality of $\mathcal{W}_k(\mathfrak{sl}_{n+1|n})$ for $k = -1 + \frac{1}{n+a+1}$ for all positive integers $n,a$, and we describe its module category. This generalizes Adamovi\'c's 1999 result on $\mathcal{N}=2$ minimal models, which is the case $n=1$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs the universal 2-parameter vertex algebra W^{N=2}_∞ as an extension of the N=2 superconformal algebra with four additional generators in weights i, i+1/2, i+1/2, i+1 for each i>1, proving the 2013 Gaberdiel-Candu conjecture. It defines N=2 supersymmetric Y-algebras as 1-parameter quotients and establishes the dualities conjectured by Prochazka-Rapcak in 2018, including the coset realization of W^k(sl_{n+1|n}) conjectured by Ito in 1992. Corollaries include strong rationality of W_k(sl_{n+1|n}) for k=-1+1/(n+a+1) and a description of its module category, generalizing Adamović's 1999 result on N=2 minimal models.
Significance. If the results hold, the work supplies a classifying object for vertex algebras of type W(2,3,...,N) in the N=2 supersymmetric setting, generalizing Feigin-Frenkel duality and principal W-algebra cosets. The explicit generators, OPE relations, and parameter-dependent quotients, together with complete arguments for the dualities via coset realizations and representation-theoretic identifications, provide a solid foundation. The rationality corollary and module category description are concrete advances that extend prior results on minimal models.
minor comments (2)
- [§1] §1: The introduction invokes several technical results from the representation theory of vertex operator superalgebras; adding one-sentence reminders of the precise statements (with equation numbers from the cited references) would improve readability for readers outside the immediate subfield.
- The notation for the two continuous parameters of W^{N=2}_∞ is introduced clearly but could be cross-referenced explicitly in the statements of the duality theorems to avoid any ambiguity when specializing to the Y-algebra quotients.
Simulated Author's Rebuttal
We thank the referee for their positive report, accurate summary of the main results, and recommendation to accept the manuscript. We are pleased that the referee found the construction of the universal N=2 W_infty algebra, the proof of the Gaberdiel-Candu conjecture, the dualities for the supersymmetric Y-algebras, the coset realization, and the rationality corollaries to be significant advances.
Circularity Check
No significant circularity; self-contained algebraic proofs
full rationale
The paper constructs the universal N=2 W_infty algebra explicitly via generators and OPE relations, then proves the Gaberdiel-Candu conjecture and Prochazka-Rapcak dualities through coset realizations, quotient identifications, and representation-theoretic arguments. These steps rely on stated mild hypotheses and external results on vertex operator superalgebras (cited with precise references or proved in the manuscript), not on parameters fitted to the target or self-definitional reductions. The 2021 self-citation is for a prior special case and is not load-bearing for the new existence and duality proofs. The derivation chain is independent and does not collapse to its inputs by construction.
Axiom & Free-Parameter Ledger
free parameters (1)
- two continuous parameters of W^{N=2}_infty
axioms (1)
- standard math Standard axioms of vertex operator superalgebras and their modules
invented entities (2)
-
Universal N=2 supersymmetric W_infty algebra
no independent evidence
-
N=2 supersymmetric Y-algebras
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Adamovi´ c,Representations of theN= 2superconformal vertex algebra, Int
D. Adamovi´ c,Representations of theN= 2superconformal vertex algebra, Int. Math. Res. Not. (1999), 61-79
work page 1999
-
[2]
D. Adamovi´ c, T. Arakawa, T. Creutzig, A. R. Linshaw, A. Moreau, P. M. Frajria and P. Papi,W-algebras as conformal extensions of affine VOAs, [arXiv:2508.18889 [math.QA]]
-
[3]
D. Adamovic, T. Creutzig and N. Genra,Relaxed and logarithmic modules of csl3, Math. Ann.389(2024) no.1, 281-324
work page 2024
-
[4]
D. Adamovi´ c, B. Feigin, and S. Nakatsuka,Center of the affinegln|1 at the critical level and pseudo-differential operators, arXiv:2601.21850
-
[5]
D. Adamovi´ c, V. G. Kac, P. M¨ oseneder Frajria, P. Papi and O. Perˇ se,Conformal embeddings of affine vertex algebras in minimalW-algebras I: structural results, J. Algebra500(2018), 117-152
work page 2018
-
[6]
D. Adamovi´ c, P. M¨ oseneder Frajria and P. Papi,New Approaches for Studying Conformal Embeddings and Collapsing Levels forW-Algebras, Int. Math. Res. Not. (2023) no.22, 19431-19475
work page 2023
-
[7]
D. Adamovi´ c, and S. Nakatsuka,Center of affinesl2|1 at the critical level, Int. Math. Res. Not. IMRN 2025, no. 14, Paper No. rnaf212, 18 pp
work page 2025
-
[8]
D. Altschuler, M. Bauer and C. Itzykson,The Branching Rules of Conformal Embeddings, Commun. Math. Phys. 132 (1990), 349-364
work page 1990
-
[9]
T. Arakawa,Associated varieties of modules over Kac-Moody algebras andC 2-cofiniteness ofW-algebras, Int. Math. Res. Not. (2015) Vol. 2015 11605-11666
work page 2015
-
[10]
Arakawa,Rationality ofW-algebras: principal nilpotent cases, Ann
T. Arakawa,Rationality ofW-algebras: principal nilpotent cases, Ann. Math. 182 (2015), no. 2, 565-694
work page 2015
-
[11]
Arakawa,Rationality of admissible affine vertex algebras in the category O, Duke Math
T. Arakawa,Rationality of admissible affine vertex algebras in the category O, Duke Math. J., 165 (2016), 67-93
work page 2016
-
[12]
Chiral algebras of class $\mathcal{S}$ and Moore-Tachikawa symplectic varieties
T. Arakawa,Chiral algebras of classSand Moore-Tachikawa symplectic varieties, arXiv:1811.01577
-
[13]
T. Arakawa, T. Creutzig, and B. Feigin,Urod algebras and translation ofW-algebras, Forum Math. Sigma 10 (2022), Paper No. e33, 31 pp
work page 2022
-
[14]
T. Arakawa, T. Creutzig, K. Kawasetsu,On lisse non-admissible minimal and principalW-algebras, Contemp. Math., 829 American Mathematical Society, Providence, RI, 2025, 1-13
work page 2025
-
[15]
T. Arakawa, T. Creutzig and K. Kawasetsu,Weight representations of affine Kac-Moody algebras and small quantum groups, Adv. Math.477(2025), 110365
work page 2025
-
[16]
T. Arakawa, T. Creutzig, and A. Linshaw,W-algebras as coset vertex algebras, Invent. Math. 218, no. 1 (2019), 145-195. 66
work page 2019
-
[17]
T. Arakawa and E. Frenkel,Quantum Langlands duality of representations ofW-algebras, Compos. Math. 155, no. 12 (2019), 2235-2262
work page 2019
-
[18]
T. Arakawa, C. H. Lam, and H. Yamada,Parafermion vertex operator algebras andW-algebras, Trans. Amer. Math. Soc. 371 (2019), no. 6, 4277-4301
work page 2019
-
[19]
F. Bais, P. Bouwknegt, M. Surridge, and K. Schoutens,Coset construction for extended Virasoro algebras, Nuclear Phys. B, 304(2) (1988), 371-391
work page 1988
-
[20]
Blumenhagen,N= 2-supersymmetricW-algebras, Nuclear Physics B 405.2-3 (1993), 744-776
R. Blumenhagen,N= 2-supersymmetricW-algebras, Nuclear Physics B 405.2-3 (1993), 744-776
work page 1993
-
[21]
C. Briot and E. Ragoucy,W-superalgebras as truncations of super-Yangians, J. Phys. A 36 (2003), no. 4, 1057-1081
work page 2003
-
[22]
C. Candu, and M. Gaberdiel,Duality inN= 2minimal model holography, J. High Energy Phys. 2013, no. 2, 070, front matter + 26 pp
work page 2013
-
[23]
Creutzig,Fusion categories for affine vertex algebras at admissible levels, Selecta Math
T. Creutzig,Fusion categories for affine vertex algebras at admissible levels, Selecta Math. (2019) no.25, 1-21
work page 2019
-
[24]
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
work page 2024
-
[25]
Resolving Verlinde’s formula of logarithmic CFT.arXiv:2411.11383 [math.QA]
T. Creutzig,Resolving Verlinde’s formula of logarithmic CFT, [arXiv:2411.11383 [math.QA]]
-
[26]
T. Creutzig, D. E. Diaconescu and M. Ma,Affine Laumon Spaces and IteratedW-Algebras, Commun. Math. Phys. 402 (2023) no.3, 2133-2168
work page 2023
-
[27]
T. Creutzig, J. Fasquel, V. Kovalchuk, A. Linshaw, and S. Nakatsuka,Minimal W-algebras ofso N at level minus one. arXiv preprint arXiv:2506.15605
-
[28]
T. Creutzig, B. Feigin and A. R. Linshaw,N= 4superconformal algebras and diagonal cosets, Int. Math. Res. Not.2021 (2021) no.24, 18768-18811
work page 2021
-
[29]
T. Creutzig and D. Gaiotto,Vertex Algebras forS-duality, Comm. Math. Phys. 379(2020), no.3, 785-845
work page 2020
-
[30]
T. Creutzig, N. Genra, S. Nakatsuka and R. Sato,Correspondences of Categories for SubregularW-Algebras and Principal W-Superalgebras, Commun. Math. Phys.393(2022) no.1, 1-60
work page 2022
-
[31]
T. Creutzig and Y. Hikida,RectangularW-algebras, extended higher spin gravity and dual coset CFTs, JHEP 147 (2019)
work page 2019
-
[32]
T. Creutzig, Y. Hikida and P. B. Ronne,Higher spin AdS 3 supergravity and its dual CFT, JHEP02(2012), 109
work page 2012
-
[33]
T. Creutzig, Y. Z. Huang and J. Yang,Braided tensor categories of admissible modules for affine Lie algebras, Commun. Math. Phys.362(2018) no.3, 827-854
work page 2018
-
[34]
T. Creutzig, S. Kanade and A. R. Linshaw,Simple current extensions beyond semi-simplicity, Commun. Contemp. Math. 22 (2020) no.01, 1950001
work page 2020
-
[35]
T. Creutzig, S. Kanade, A. R. Linshaw and D. Ridout,Schur–Weyl Duality for Heisenberg Cosets, Transform. Groups 24 (2019) no.2, 301-354
work page 2019
-
[36]
T. Creutzig, S. Kanade and R. McRae,Tensor categories for vertex operator superalgebra extensions, Mem. Amer. Math. Soc. 295 (2024), no. 1472, vi+181 pp
work page 2024
-
[37]
T. Creutzig, S. Kanade and R. McRae,Gluing vertex algebras, Adv. Math. 396 (2022), 108174
work page 2022
-
[38]
T. Creutzig, V. Kovalchuk and A. Linshaw,New universal vertex algebras as glueings of the basic ones, arXiv:2512.19508
-
[39]
T. Creutzig and A. Linshaw,Cosets of affine vertex algebras inside larger structures, Journal of Algebra, 517, 396-438, 2019
work page 2019
-
[40]
T. Creutzig and A. Linshaw,Trialities ofW-algebras, Camb. J. Math. vol. 10, no. 1 (2022), 69-194
work page 2022
-
[41]
T. Creutzig and A. Linshaw,Trialities of orthosymplecticW-algebras, Adv. Math. 409 (2022), 108678, 79pp
work page 2022
-
[42]
T. Creutzig and A. R. Linshaw,The superW 1+∞ algebra with integral central charge, Trans. Am. Math. Soc.367(2015) no.8, 5521-5551
work page 2015
-
[43]
T. Creutzig, A. R. Linshaw, S. Nakatsuka and R. Sato,Duality via convolution ofW-algebras, Selecta Math.31(2025) no.3, 56
work page 2025
-
[44]
T. Creutzig, T. Liu, D. Ridout and S. Wood,Unitary and non-unitaryN= 2minimal models, JHEP06(2019), 024
work page 2019
-
[45]
Ribbon categories of weight modules for affine𝔰𝔩 2 at admissible levels.arXiv:2411.11386 [math.QA]
T. Creutzig, R. McRae and J. Yang,Ribbon categories of weight modules for affinesl 2 at admissible levels, [arXiv:2411.11386 [math.QA]]
-
[46]
T. Creutzig and S. Nakatsuka,Cosets from equivariant W-algebras, Represent. Theory27(2023) no.21, 766-777
work page 2023
-
[47]
T. Creutzig and D. Ridout,Modular Data and Verlinde Formulae for Fractional Level WZW Models II, Nucl. Phys. B 875(2013), 423-458
work page 2013
-
[48]
T. Creutzig, D. Ridout and M. Rupert,A Kazhdan–Lusztig Correspondence forL − 3 2 (sl3), Commun. Math. Phys.400 (2023) no.1, 639-682
work page 2023
-
[49]
A. De Sole and V. Kac,Freely generated vertex algebras and non-linear Le conformal algebras, Comm. Math. Phys. 254 (2005), no. 3, 659-694
work page 2005
-
[50]
A. De Sole and V. Kac,Finite vs affineW-algebras, Jpn. J. Math. vol. 1, no. 1 (2006), 137-261
work page 2006
-
[51]
A. A. Davydov et al.,The Witt group of non-degenerate braided fusion categories, J. Reine Angew. Math.677(2013), 135–177
work page 2013
-
[52]
J. Fasquel, C. Raymond and D. Ridout,Modularity of Admissible-Levelsl 3 Minimal Models with Denominator 2, Com- mun. Math. Phys.406(2025) no.11, 279
work page 2025
-
[53]
V. Fateev and S. Lykyanov,The models of two-dimensional conformal quantum field theory withZ n symmetry, Internat. J. Modern Phys. A, 3(2) (1988), 507-520
work page 1988
-
[54]
B. Feigin and E. Frenkel,Duality inW-algebras, Int. Math. Res. Notices 1991 (1991), no. 6, 75-82
work page 1991
-
[55]
B. Feigin and E. Frenkel,Quantization of the Drinfeld-Sokolov reduction, Phys. Lett. B 246 (1990), 75–81
work page 1990
-
[56]
B. L. Feigin, A. M. Semikhatov and I. Y. Tipunin,Equivalence between chain categories of representations of affine sl(2) and N=2 superconformal algebras, J. Math. Phys.39(1998), 3865-3905 67
work page 1998
-
[57]
E. Frenkel, V. Kac, and M. Wakimoto,Characters and fusion rules forW-algebras via quantized Drinfeld-Sokolov reduc- tion, Comm. Math. Phys. 147 (1992), 295–328
work page 1992
-
[58]
D. Gaiotto and M. Rapˇ c´ ak,Vertex Algebras at the Corner, J. High Energy Phys. 2019, no. 1, 160, front matter+85 pp
work page 2019
-
[59]
D. Gaiotto, M. Rapˇ c´ ak, and T. Zhou,Deformed Double Current Algebras, Matrix ExtendedW ∞ Algebras, Coproducts, and Intertwiners from the M2-M5 Intersection, Comm. Math. Phys. 406 (2025), no. 12, Paper No. 311, 139 pp
work page 2025
-
[60]
T. Gannon,Exotic quantum subgroups and extensions of affine Lie algebra VOAs – part I, [arXiv:2301.07287 [math.QA]]
-
[61]
N. Genra and T. Juillard,Reduction by stages for finiteW-algebras, Math. Z. 308 (2024), Paper no. 15
work page 2024
-
[62]
Reduction by stages for affine W-algebras.arXiv:2501.04501 [math.RT]
N. Genra and T. Juillard, Reduction by stages for affine W-algebras, [arXiv:2501.04501 [math.RT]]
-
[63]
N. Genra and A. Linshaw,Ito’s conjecture and the coset realization ofW k(sl(3|2)), arXiv:1901.02397, 14 pages, to appear in RIMS Kokyuroku Bessatsu
- [64]
-
[65]
P. Goddard, A. Kent, D. Olive,Virasoro algebras and coset space models, Phys. Lett B 152 (1985) 88-93
work page 1985
-
[66]
R. Heluani and V. Kac,Supersymmetric vertex algebras, Comm. Math. Phys. vol. 271 no. 1 (2007), 103-178
work page 2007
-
[67]
Y. Z. Huang, A. Kirillov and J. Lepowsky,Braided tensor categories and extensions of vertex operator algebras, Commun. Math. Phys.337(2015) no.3, 1143-1159
work page 2015
-
[68]
Ito,Quantum Hamiltonian reduction andN= 2coset models, Phys.Lett
K. Ito,Quantum Hamiltonian reduction andN= 2coset models, Phys.Lett. B 259 (1991) 73–78
work page 1991
-
[69]
Ito,N= 2superconformalCP(n)model, Nucl
K. Ito,N= 2superconformalCP(n)model, Nucl. Phys. B 370 (1992) 123
work page 1992
-
[70]
K. Kawasetsu and D. Ridout,Relaxed highest-weight modules II: Classifications for affine vertex algebras, Commun. Contemp. Math.24(2022) no.05, 2150037
work page 2022
-
[71]
K. Kawasetsu, D. Ridout and S. Wood,Admissible-levelsl 3 minimal models, Lett. Math. Phys.112(2022) no.5, 96
work page 2022
-
[72]
V. Kac, S. Roan, and M. Wakimoto,Quantum reduction for affine superalgebras, Comm. Math. Phys. 241 (2003), no. 2-3, 307–342
work page 2003
- [73]
- [74]
- [75]
-
[76]
Li,Vertex algebras and vertex Poisson algebras, Commun
H. Li,Vertex algebras and vertex Poisson algebras, Commun. Contemp. Math. 6 (01), 61-110, 2004
work page 2004
-
[77]
Lin,Mirror extensions of rational vertex operator algebras, Trans
X. Lin,Mirror extensions of rational vertex operator algebras, Trans. Am. Math. Soc.369(2017) no.6, 3821-3840
work page 2017
-
[78]
Linshaw,Invariant theory and the Heisenberg vertex algebra, Int
A. Linshaw,Invariant theory and the Heisenberg vertex algebra, Int. Math. Res. Not. IMRN (2012), no. 17, 4014-4050
work page 2012
-
[79]
Linshaw,Invariant subalgebras of affine vertex algebras, Adv
A. Linshaw,Invariant subalgebras of affine vertex algebras, Adv. Math. 234, pp. 61-84, 2013
work page 2013
-
[80]
Linshaw,The structure of the Kac-Wang-Yan algebra, Comm
A. Linshaw,The structure of the Kac-Wang-Yan algebra, Comm. Math. Phys. 345, No. 2, (2016), 545-585
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.