pith. sign in

arxiv: 2606.30032 · v1 · pith:YFLX4W56new · submitted 2026-06-29 · 🧮 math.QA · hep-th· math-ph· math.MP

Deformed W-algebras and chiralized cluster seeds: subregular W-algebras and Inverse Quantum Hamiltonian Reduction

Mikhail Bershtein , Jean-Emile Bourgine , Ethan Fursman This is my paper

Pith reviewed 2026-06-30 04:10 UTC · model grok-4.3

classification 🧮 math.QA hep-thmath-phmath.MP
keywords deformed W-algebraschiral cluster seedsfree field realizationssubregular W-algebrasquantum Hamiltonian reduction(q,t)-deformationsvertex operatorsseed mutations
0
0 comments X

The pith

Mutations of chiral cluster seeds relate different free field realizations of (q,t)-deformed W-algebras.

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

The paper applies the chiral cluster seed formalism to several (q,t)-deformed W-algebras including W_{q,t}(gl(N|M)), U_q(sl_2 hat), and the deformed Bershadsky-Polyakov algebra. It shows that different free field realizations of the currents are connected through mutations of the associated chiral cluster seeds. For the newly defined (q,t)-deformed subregular W-algebra W_{q,t}^sub(sl(N)), every free field realization reachable by mutations is classified, and an embedding into the free field realization of W_{q,t}(sl(N)) tensored with a rank-two Heisenberg algebra is constructed. This embedding is presented as a deformed version of inverse quantum Hamiltonian reduction, with a further relation to W_{q,t}(gl(1|N)) noted.

Core claim

In the chiral cluster seed framework, deformed vertex operators replace quantum cluster variables and decorated quivers encode their OPEs; different free field realizations of currents in (q,t)-deformed W-algebras are therefore related by seed mutations. A (q,t)-deformation of the subregular W-algebra is introduced, all its free field realizations via mutations are described, and an embedding of this algebra into the ordinary deformed W-algebra tensored with a rank-two Heisenberg algebra is given, serving as a deformed analogue of inverse quantum Hamiltonian reduction.

What carries the argument

Chiral cluster seeds whose mutations relate distinct collections of deformed vertex operators whose OPEs are encoded by the associated decorated quivers.

If this is right

  • All free field realizations of the deformed subregular W-algebra W_{q,t}^sub(sl(N)) are obtained through sequences of seed mutations.
  • The embedding supplies a concrete map realizing deformed inverse quantum Hamiltonian reduction.
  • The subregular algebras stand in a direct relation to the deformed W-algebras associated with gl(1|N).
  • The same mutation mechanism unifies realizations across W_{q,t}(gl(N|M)), U_q(sl_2 hat), and the deformed Bershadsky-Polyakov algebra.

Where Pith is reading between the lines

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

  • Cluster mutation techniques may provide a systematic classification of free field realizations for additional families of deformed vertex operator algebras.
  • The formalism invites direct checks by computing OPEs in newly generated realizations to confirm consistency with the quiver data.
  • Similar embeddings could be constructed for other irregular or subregular deformations in the (q,t) setting.

Load-bearing premise

The decorated quiver associated with each seed correctly encodes the operator product expansions of the corresponding vertex operators.

What would settle it

An explicit computation of OPEs in two free field realizations claimed to be related by mutation that fails to agree after any sequence of mutations, or a direct verification that the constructed embedding map does not preserve the full set of algebra relations.

Figures

Figures reproduced from arXiv: 2606.30032 by Ethan Fursman, Jean-Emile Bourgine, Mikhail Bershtein.

Figure 1
Figure 1. Figure 1: Decorated quiver for the free field realization of [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Decorated quiver for the free field realization of [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Decorated quiver for the deformed subregular algebra [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Decorated quiver expected to correspond to a free field realization of [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Example of a simple (sub)quiver with three vertices and single arrows. [PITH_FULL_IMAGE:figures/full_fig_p012_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Example of a (sub)quiver with three vertices and double arrows. [PITH_FULL_IMAGE:figures/full_fig_p013_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Typical configuration for a (sub)quiver involving a bosonic vertex [PITH_FULL_IMAGE:figures/full_fig_p014_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Example of a quiver mutation at the node [PITH_FULL_IMAGE:figures/full_fig_p017_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Quiver obtained after mutation of the quiver of Figure 6 at the vertex [PITH_FULL_IMAGE:figures/full_fig_p018_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Quiver for the free field realization of [PITH_FULL_IMAGE:figures/full_fig_p021_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The Dynkin diagram corresponding to the coloring 1 [PITH_FULL_IMAGE:figures/full_fig_p023_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Quiver associated with the standard realization of [PITH_FULL_IMAGE:figures/full_fig_p024_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Quiver for the standard realization of Wq,t(gl(2|1)). Example 3.10 (Wq,t(gl(2|1))). Let’s consider the case of the W-algebra Wq,t(gl(2|1)). The standard Dynkin diagram has one even node, and one odd node. Labeling the even node by 1, and the odd node by 2, the construction of Definition 3.5 leads to the decorated quiver represented in [PITH_FULL_IMAGE:figures/full_fig_p025_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: , and associated with the Dynkin diagram with two odd nodes. q1 q3 q1 q3, ‘−’ q1, ‘+’ X (−) 0 X1 X2 X (+) 3 [PITH_FULL_IMAGE:figures/full_fig_p026_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Quiver for the third realization of Wq,t(gl(2|1)). 25 [PITH_FULL_IMAGE:figures/full_fig_p026_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: First free field realization of Uq(slb2). First realization The first realization coincides with the one introduced in [AOS94], and for which both E(z) and F(z) are a sum of two vertex operators. The following proposition shows that this realization sits in the framework of chiral cluster seeds. More generally, the free field realizations Uq(sl(N)) given in [AOS94] all fit in this framework, this will be … view at source ↗
Figure 17
Figure 17. Figure 17: Second realization of Uq(slb2) obtained by mutating the quiver of [PITH_FULL_IMAGE:figures/full_fig_p029_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: Quiver corresponding to the free field realization of [PITH_FULL_IMAGE:figures/full_fig_p030_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: Quiver associated with the second realization of [PITH_FULL_IMAGE:figures/full_fig_p031_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: q-character structure of the current G+(z) 01 1qs1 0q 2s 2 1 2q 2s1 1 q 3s1 0q 2 2q 2s1 0q 4s 2 1 2 q 4s1 0q 2 2 q 4s1 1q 3s1 0q 4s 2 1 1 q 5s1 0q 4 0q 6s 2 1 A −1 0,qs1 A −1 1,q2s1 A −1 0,q3s1 A −1 2,q3s1 A −1 2,q3s1 A −1 0,q3s1 A −1 1,q4s1 A −1 0,q5s1 [PITH_FULL_IMAGE:figures/full_fig_p032_20.png] view at source ↗
Figure 21
Figure 21. Figure 21: q-character of Uq(sl\(3|1)) for the representation λ = (13 ). Remark 3.17. We note that the generator G+(z) is no longer obtained as a telescoping sum in the second realization. In fact, its expression coincides with the formula obtained using the q-character of the algebra Uq(gl\(3|1)) in the representation (13 ). To compare the two, we have represented the terms appearing in the expression of G+(z) in … view at source ↗
Figure 22
Figure 22. Figure 22: Quiver associated with the algebra Wsub q,t (sl(N)). The following definition introduces the chiral cluster seed associated to the quiver represented on [PITH_FULL_IMAGE:figures/full_fig_p033_22.png] view at source ↗
Figure 23
Figure 23. Figure 23: All subregular quivers for N = 4. 38 [PITH_FULL_IMAGE:figures/full_fig_p039_23.png] view at source ↗
Figure 24
Figure 24. Figure 24: Quiver for the standard realization of Wq,t(gl(1|N)). In [FJM24], a free field realization for the deformed W-algebra Wsub q,t (sl(N)) is constructed as an extension of the free field realization of Wq,t(gl(1|N)). In this construction, the current G+(z) is obtained using the qq-character method, i.e. promoting the q-character of Uq(sl\(1|N)) to a sum of vertex operators [KP18; Fei+21]. The free field real… view at source ↗
Figure 25
Figure 25. Figure 25: Quiver corresponding to the deformed FMS realisation of [PITH_FULL_IMAGE:figures/full_fig_p050_25.png] view at source ↗
Figure 26
Figure 26. Figure 26: Quiver corresponding to the deformed FMS realisation of [PITH_FULL_IMAGE:figures/full_fig_p052_26.png] view at source ↗
read the original abstract

The recently introduced formalism of chiral cluster seeds replaces quantum cluster variables with deformed vertex operators. In this framework, a decorated quiver associated with a seed encodes the operator product expansions of the corresponding vertex operators. This formalism is applied to several $(q,t)$-deformed W-algebras, including $\mathcal{W}_{\mathfrak{q},\mathfrak{t}}(\mathfrak{gl}(N|M))$, $U_q(\widehat{\mathfrak{sl}}_2)$, and the deformed Bershadsky--Polyakov algebra. In particular, it is shown that different free field realizations of the currents are related by mutations of the associated chiral cluster seed. The second part of the paper introduces a $(q,t)$-deformation of the subregular W-algebras, denoted by $\mathcal{W}_{\mathfrak{q},\mathfrak{t}}^{\text{sub}}(\mathfrak{sl}(N))$. All free field realizations obtainable through seed mutations are described. An embedding of $\mathcal{W}_{\mathfrak{q},\mathfrak{t}}^{\text{sub}}(\mathfrak{sl}(N))$ into the free field realization of $\mathcal{W}_{\mathfrak{q},\mathfrak{t}}(\mathfrak{sl}(N))$ tensored with a rank-two Heisenberg algebra is constructed. This embedding may be viewed as a deformed analogue of inverse quantum Hamiltonian reduction. The relation between the subregular algebras and $\mathcal{W}_{\mathfrak{q},\mathfrak{t}}(\mathfrak{gl}(1|N))$ is also discussed.

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

0 major / 3 minor

Summary. The paper applies the chiral cluster seeds formalism—replacing quantum cluster variables with deformed vertex operators whose OPEs are encoded by a decorated quiver—to several (q,t)-deformed W-algebras, including W_{q,t}(gl(N|M)), U_q(hat{sl}_2), and the deformed Bershadsky-Polyakov algebra. It shows that distinct free-field realizations of the currents are related by mutations of the associated chiral cluster seed. The second part introduces the (q,t)-deformed subregular W-algebra W^{sub}_{q,t}(sl(N)), enumerates all free-field realizations obtainable by seed mutations, constructs an embedding of this algebra into the free-field realization of W_{q,t}(sl(N)) tensored with a rank-two Heisenberg algebra (viewed as a deformed inverse quantum Hamiltonian reduction), and discusses its relation to W_{q,t}(gl(1|N)).

Significance. If the explicit constructions hold, the work supplies a systematic, mutation-based dictionary between free-field realizations of several (q,t)-deformed W-algebras and furnishes a concrete deformed analogue of inverse quantum Hamiltonian reduction together with the required free-field data and mutation sequences. These algebraic statements are internal to the definitions and could streamline computations of OPEs and screenings in the deformed setting.

minor comments (3)
  1. The abstract states that the decorated quiver encodes the OPEs, but a brief reminder of the precise dictionary (how arrows and decorations translate into specific OPE coefficients) would help readers who have not yet internalized the prior formalism.
  2. For the subregular case, the embedding into W_{q,t}(sl(N)) ⊗ Heisenberg_2 is described; an explicit statement of which generators map to which linear combinations (or at least the image of the highest-weight current) would make the construction easier to verify.
  3. The relation between W^{sub}_{q,t}(sl(N)) and W_{q,t}(gl(1|N)) is mentioned; a short paragraph or diagram clarifying whether this is an isomorphism, a quotient, or an embedding would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines the chiral cluster seed formalism (with decorated quivers encoding OPEs of vertex operators) and then constructs explicit relations: mutations relating different free-field realizations for several (q,t)-deformed W-algebras, plus an embedding of the deformed subregular algebra into the ordinary one tensored with a rank-two Heisenberg. These are algebraic statements internal to the chosen realizations and mutation sequences supplied in the paper. No quoted equation reduces a claimed prediction to a fitted parameter, self-citation chain, or definitional renaming; the central results are presented as direct constructions rather than external forecasts. The formalism is introduced as recently developed, but the load-bearing steps remain self-contained within the given definitions and data.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents enumeration of free parameters or axioms; the constructions rest on the chiral cluster seed formalism and standard free-field realizations of W-algebras.

pith-pipeline@v0.9.1-grok · 5800 in / 1098 out tokens · 29886 ms · 2026-06-30T04:10:08.106631+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

49 extracted references · 17 canonical work pages · 10 internal anchors

  1. [1]

    Screening operators for W -algebras

    Genra, N. Screening operators for W -algebras. Selecta Mathematica. 2016

    2016

  2. [2]

    and Harada, K

    Awata, H. and Harada, K. and Kanno, H. and Shiraishi, J. A Quantum Deformation of the N =2 Superconformal Algebra. Commun. Math. Phys. 2025. doi:10.1007/s00220-025-05334-1. arXiv:2407.00901

    work page doi:10.1007/s00220-025-05334-1 2025

  3. [3]

    BPS/CFT correspondence: non-perturbative Dyson-Schwinger equations and qq-characters

    Nekrasov, N. , title =. doi:10.1007/JHEP03(2016)181 , journal =. 1512.05388 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep03(2016)181 2016

  4. [4]

    and Jimbo, M

    Feigin, B. and Jimbo, M. and Mukhin, E. , title =. doi:10.1016/j.aim.2022.108331 , journal =. 2103.15247 , archivePrefix =

    work page doi:10.1016/j.aim.2022.108331 2022

  5. [5]

    Haouzi,A new realization of quantum algebras in gauge theory and Ramification in the Langlands program,arXiv:2311.04367

    Haouzi, N. , title =. 2311.04367 , archivePrefix =

    work page arXiv

  6. [6]

    2013 , eprint =

    Nekrasov, Nikita and Pestun, Vasily and Shatashvili, Samson , title =. 2013 , eprint =

    2013

  7. [7]

    Notes on Ding-Iohara algebra and AGT conjecture

    Awata, H. and Feigin, B. and Hoshino, A. and Kanai, M. and Shiraishi, J. and Yanagida, S. , title =. Proceedings of RIMS Conference 2010 ``Diversity of the Theory of Integrable Systems'' , editor =. 1106.4088 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  8. [8]

    and Ohkubo, Y

    Fukuda, M. and Ohkubo, Y. and Shiraishi, J. , title =. doi:10.1007/s00220-020-03872-4 , journal =. 1903.05905 , archivePrefix =

    work page doi:10.1007/s00220-020-03872-4 1903

  9. [9]

    Five-dimensional AGT Conjecture and the Deformed Virasoro Algebra

    Awata, H. and Yamada, Y. , title =. doi:10.1007/JHEP01(2010)125 , journal =. 0910.4431 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep01(2010)125 2010

  10. [10]

    Alday, L. F. and Gaiotto, D. and Tachikawa, Y. , title =. Letters in Mathematical Physics , volume =. 2010 , doi =. 0906.3219 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  11. [11]

    and Goncharov, Alexander B

    Fock, Vladimir V. and Goncharov, Alexander B. , title =. Annales Scientifiques de l'. 2009 , eprint =

    2009

  12. [12]

    , title =

    Bershtein, M. , title =

  13. [13]

    Communications in Mathematical Physics , volume =

    Bershadsky, Michael , title =. Communications in Mathematical Physics , volume =. 1991 , doi =

    1991

  14. [14]

    Polyakov, A. M. , title =. International Journal of Modern Physics A , volume =. 1990 , doi =

    1990

  15. [15]

    Drinfeld-Sokolov reduction for quantum groups and deformations of W-algebras

    Sevostyanov, A. , title =. Selecta Mathematica , volume =. 2002 , doi =. math/0107215 , archivePrefix=

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  16. [16]

    Drinfeld-Sokolov reduction for difference operators and deformations of W-algebras I. The case of Virasoro algebra

    Frenkel, E. and Reshetikhin, N. and Semenov-Tian-Shansky, M. , title =. Communications in Mathematical Physics , volume =. 1998 , doi =. q-alg/9704011 , archivePrefix=

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  17. [17]

    Drinfeld-Sokolov reduction for difference operators and deformations of W-algebras. II. General Semisimple Case

    Semenov-Tian-Shansky, M. and Sevostyanov, A. , title =. Communications in Mathematical Physics , volume =. 1998 , doi =. q-alg/9702016 , archivePrefix=

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  18. [18]

    Bershtein, M. , key =

  19. [19]

    and Bourgine, J.-E

    Bershtein, M. and Bourgine, J.-E. and Shiraishi, J. , title =

  20. [20]

    and Schrader, G

    Bershtein, M. and Schrader, G. and Shapiro, A. , note =

  21. [21]

    Semikhatov, A. M. , title =. Proceedings of the 28th International Symposium on Particle Theory , address =. 1994 , pages =. hep-th/9410109 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 1994

  22. [22]

    Realizations of simple affine vertex algebras and their modules: the cases $\widehat{sl(2)}$ and $\widehat{osp(1,2)}$

    Adamovi. Realizations of Simple Affine Vertex Algebras and Their Modules: The Cases. Communications in Mathematical Physics , volume =. 2019 , doi =. 1711.11342 , archivePrefix =

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  23. [23]

    , title =

    Fehily, Z. , title =. Communications in Mathematical Physics , volume =. 2024 , doi =. 2306.14673 , archivePrefix =

    work page arXiv 2024

  24. [24]

    2024 , howpublished =

    Ridout, David , title =. 2024 , howpublished =

    2024

  25. [25]

    Vertex Algebras at the Corner

    Gaiotto, D. and Rap c \'a k, M. Vertex Algebras at the Corner. JHEP. 2019. doi:10.1007/JHEP01(2019)160. arXiv:1703.00982

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep01(2019)160 2019

  26. [26]

    and Jimbo, M

    Asai, Y. and Jimbo, M. and Miwa, T. and Pugai, Y. , doi =. Bosonization of vertex operators for the face model , volume =. Journal of Physics A: Mathematical and General , number =

  27. [27]

    and Konno, H

    Jimbo, M. and Konno, H. and Odake, S. and Pugai, Y. and Shiraishi, J. , title =. Journal of Statistical Physics , volume =. 2001 , note =

    2001

  28. [28]

    and Kubo, H

    Awata, H. and Kubo, H. and Shiraishi, J. and Odake, S. , title =. 1996 , volume =

    1996

  29. [29]

    and Kubo, H

    Awata, H. and Kubo, H. and Odake, S. and Shiraishi, J. , title =. 1996 , volume =

    1996

  30. [30]

    and Odake, S

    Awata, H. and Odake, S. and Shiraishi, J. , title =. 1994 , pages =

    1994

  31. [31]

    and Semikhatov, A

    Feigin, B. and Semikhatov, A. M. , title =. 2004 , volume =. doi:10.1016/j.nuclphysb.2004.06.056 , note =

    work page doi:10.1016/j.nuclphysb.2004.06.056 2004

  32. [32]

    and Feigin, B

    Bershtein, M. and Feigin, B. and Merzon, G. , title =. 2018 , journal = SMNS, volume =

    2018

  33. [33]

    and Feigin, B

    Ding, J. and Feigin, B. , title =. 2000 , journal = JNMP, volume =

    2000

  34. [34]

    , title =

    Fehily, Z. , title =. 2023 , note =

    2023

  35. [35]

    and Hashizume, K

    Feigin, B. and Hashizume, K. and Hoshino, A. and Shiraishi, J. and Yanagida, S. , title =. 2009 , journal = JMP, volume =

    2009

  36. [36]

    and Jimbo, M

    Feigin, B. and Jimbo, M. and Mukhin, E. , title =. 2024 , journal = TG, volume =

    2024

  37. [37]

    and Martinec, E

    Friedan, D. and Martinec, E. and Shenker, S. , title =

  38. [38]

    and Jimbo, M

    Feigin, B. and Jimbo, M. and Mukhin, E. and Vilkoviskiy, I. , title =. 2021 , journal = SMNS, volume =. doi:10.1007/s00029-021-00663-0 , note =

    work page doi:10.1007/s00029-021-00663-0 2021

  39. [39]

    and Reshetikhin, N

    Frenkel, E. and Reshetikhin, N. , title =. 1998 , journal = CMP, volume =

    1998

  40. [40]

    , title =

    Harada, K. , title =. 2020 , note =

    2020

  41. [41]

    and Matsuo, Y

    Harada, K. and Matsuo, Y. and Noshita, G. and Watanabe, A. , title =. 2021 , journal = JHEP, volume =

    2021

  42. [42]

    , title =

    Konno, H. , title =. 1993 , journal = MPL, volume =

    1993

  43. [43]

    and Pestun, V

    Kimura, T. and Pestun, V. , title =. 2018 , journal = LMP, volume =

    2018

  44. [44]

    , title =

    Kojima, T. , title =. 2021 , journal = JP, volume =

    2021

  45. [45]

    , title =

    Kojima, T. , title =. 2021 , journal = JMP, volume =

    2021

  46. [46]

    Polyakov, A. M. , title =. 1981 , pages =

    1981

  47. [47]

    and Frenkel, E

    Feigin, B. and Frenkel, E. , title =. 1990 , volume =

    1990

  48. [48]

    Quantum W-Algebras and Elliptic Algebras , author=. Commun. Math. Phys , volume=

  49. [49]

    and Jimbo, M

    Feigin, B. and Jimbo, M. and Mukhin, E. , title =. 2025 , eprint =

    2025