Pith. sign in

REVIEW 4 major objections 3 minor 87 references

A universal W-algebra for N=4 super Yang-Mills

T0 review · 4 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A single universal W-algebra, $W_\infty^{s,s}$, is proposed whose simple quotients at special central charges give the vertex operator algebras $V(A_{N-1})$ of 4d N=4 su(N) super Yang-Mills.

desk verdict Genuinely new conjectural object, honestly presented, with impressively cross-checked finite-order evidence; the load-bearing existence and truncation claims rest on exactly the bootstrap order that fails to close — worth a serious referee, conditional. read the letter →

arxiv 2506.15678 v1 pith:4DVTDU35 submitted 2025-06-18 hep-th

Federico Bonetti , Carlo Meneghelli This is my paper · ORCID
classification hep-th
keywords W-algebraN=4superYang-MillsvertexoperatoralgebrasmallVirasoroR-filtrationhigher-spinOPEbootstrapSchuroperators
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to establish that a single universal two-dimensional chiral algebra, $W_\infty^{s,s}$, underlies the protected Schur sector of every 4d $N=4$ $\mathfrak{su}(N)$ super Yang-Mills theory. The algebra contains the small N=4 super Virasoro algebra and, for each $p=3,4,5,\ldots$, one short supermultiplet of extra generators $W_p$ of weight $p/2$; apart from the central charge, it is conjectured to have no free parameters. The central claim is that at $c=-3(N^2-1)$ the generators $W_p$ with $p>N$ become null, and quotienting them out yields exactly the vertex operator algebra $V(A_{N-1})$ attached to 4d $N=4$ $\mathfrak{su}(N)$ super Yang-Mills. A weight-based $R$-filtration on $W_\infty^{s,s}$ is claimed to descend to the $R$-filtration of $V(A_{N-1})$, the structure that lets one recover 4d $R$-charge quantum numbers from the 2d algebra. The evidence comes from an OPE bootstrap up to $p_1+p_2\le 10$, matching of state counts with the Macdonald index and Hall-Littlewood chiral ring, and identification of half-BPS single-particle operators with the $W_p$ generators.

What carries the argument

$W_\infty^{s,s}$ itself is the central object. Its OPEs are bootstrapped using the associativity constraints (2.10); the small N=4 super Virasoro symmetry fixes all $J\times W_p$ OPEs, so the only unknown data are the coefficients in $W_{p_1}\times W_{p_2}$. The key normalization is (2.20), which makes each two-point function constant $g_p$ a rational function of $\nu$ (where $c=3(1-\nu)$) and has zeros at $\nu=N^2$ for $p>N$; those zeros are what force the higher generators to be null. The filtration defined in Section 2.4 assigns $R$-weight $p/2$ to each $W_p$ multiplet and weight 1 to $J,G,\widetilde{G},T$, and the paper checks that normal-ordered products and simple poles of OPEs obey the degree rules (2.29). The large-$c$ limit of the same OPE data produces the wedge algebra $\mathfrak{h}^{s,s}$, with structure constants $\gamma_p=2p^2$ and $\kappa_q^{p_1p_2}=p_1p_2$.

What would settle it

Run the next bootstrap steps, $p_1+p_2=11$ and $12$, and check whether the currently undetermined coefficients in the $W_5\times W_5$ OPE settle on the values predicted by the half-BPS correlator formula (5.21); any deviation, or the appearance of a new free parameter, would disprove the existence of the one-parameter algebra $W_\infty^{s,s}$. Independently, extend the state-counting comparison to conformal weight $h=9/2$ or $5$, where operators built from three $W_p$'s first appear; a single mismatch against the Macdonald index of 4d $N=4$ $\mathfrak{su}(N)$ super Yang-Mills would falsify the truncation claim.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is a proposed non-linear W-algebra $W_\infty^{s,s}$ whose strong generators are organized into short $\mathrm{psl}(2|2)$ multiplets: the small N=4 super Virasoro multiplet $J$ and, for every $p\ge 3$, a multiplet $W_p$ whose primary is a Grassmann-even super Virasoro primary of weight and spin $p/2$. Imposing associativity of the OPEs with $p_1+p_2\le 10$ fixes all coefficients up to $p_1+p_2=9$ and part of those at $p_1+p_2=10$ once a normalization prescription (orthogonality to composites built from lower $W_p$ and the choice (2.20) for two-point functions) is made. Tuning $\nu=N^2$, equivalently $c=-3(N^2-1)$, the two-point function coefficient $g_p$ vanishes for $p>N$, so these generators must be null; the paper claims the ideal they generate cuts $W_\infty^{s,s}$ down to $V(A_{N-1})$, the VOA of 4d $N=4$ $\mathfrak{su}(N)$ super Yang-Mills. The same data imply an increasing weight filtration on $W_\infty^{s,s}$ that should become the $R$-filtration on $V(A_{N-1})$, and a large-$c$ limit that reproduces the higher-spin Lie superalgebra $\mathfrak{h}^{s,s}$ whose (anti)commutators are given in closed form.

Load-bearing premise

The whole construction assumes that continuing the bootstrap to arbitrarily high values of $p_1+p_2$ keeps fixing every OPE coefficient uniquely and never introduces a new free parameter; the paper stops at $p_1+p_2=10$, where two coefficients in the $W_5\times W_5$ OPE are still undetermined.

Editorial extensions

If this is right

  • At $c=-3(N^2-1)$, the quotient of $W_\infty^{s,s}$ by the ideal generated by $W_p$ with $p>N$ has exactly the strong generators $J,W_3,\ldots,W_N$ and is isomorphic to $V(A_{N-1})$; null states built from lower generators encode Higgs-branch relations of the 4d theory.
  • The $R$-filtration of $W_\infty^{s,s}$ descends to $V(A_{N-1})$ and matches the 4d $R$-filtration, so 2d states can be fed through the inversion formula (4.8) to recover their 4d multiplet quantum numbers.
  • Under $W_p\leftrightarrow \widetilde{\mathcal{O}}_p$ and $N^2\leftrightarrow 1-c/3$, two- and three-point functions of half-BPS single-particle operators give W-algebra OPE coefficients as exact functions of $c$; in particular $c_p^{q_1q_2}=q_1q_2$ whenever $q_1+q_2=p+2$.
  • The large-$c$ wedge algebra of $W_\infty^{s,s}$ is the higher-spin Lie superalgebra $\mathfrak{h}^{s,s}$ with closed-form (anti)commutators, an algebra that has appeared as the global symmetry algebra of the large-$N$ VOA.
  • Counting $\mathrm{psl}(2|2)$ primaries up to $h=4$ in the simple quotient matches the Macdonald index and the Hall-Littlewood Hilbert series of 4d $N=4$ $\mathfrak{su}(N)$ super Yang-Mills for every $N$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: if the recursion keeps fixing all coefficients, $W_\infty^{s,s}$ provides an analytic continuation of $V(A_{N-1})$ in which the integer rank $N$ becomes a continuous parameter (the central charge), so large-$N$ statements could be read from large-$c$ data at finite rank.
  • Editorial inference: the closed-form wedge algebra $\mathfrak{h}^{s,s}$ could serve as the input for a Drinfeld-Sokolov type reconstruction of $W_\infty^{s,s}$; the paper notes this direction but does not perform it.
  • Editorial inference: the pattern of null states obtained from $W_3\times W_{N+1}$ and $W_3\times W_{N+2}$ suggests an inductive structure in $N$ that might turn the conjectured generation of the maximal ideal by $W_p>N$ into a proof for all $N$.
  • Editorial inference: if the observed property that the polynomials $S_p(\nu)$ have only negative real roots (checked up to $p=60$) holds for all $p$, then the only positive values of $\nu$ where two-point functions vanish are $\nu=N^2$, ruling out extra positive-$\nu$ truncation points of $W_\infty^{s,s}$.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 3 minor

Summary. The manuscript proposes the existence of a universal non-linear W-algebra W_∞^{s,s} containing the small N=4 super Virasoro algebra and, for each p≥3, one short psl(2|2) multiplet W_p of weight p/2. It claims that W_∞^{s,s} has no free parameter besides the central charge c, and that for c=-3(N^2-1), equivalently ν=N^2, its simple quotient is isomorphic to the vertex operator algebra V(A_{N-1}) associated to 4d N=4 su(N) super Yang-Mills. Evidence is assembled from an OPE bootstrap up to total weight p1+p2≤10, from truncation analyses for N=2,3,4,5, from counting against the Macdonald index, Hall-Littlewood Hilbert series, and a BRST construction to h≤4, from a comparison with half-BPS single-particle correlators, and from a wedge-algebra bootstrap that produces a closed-form higher-spin Lie superalgebra h^{s,s}. The paper is carefully written and contains a very large amount of explicit, internally consistent OPE data, including new free-field data for V(A_4).

Significance. If the central conjecture holds, the paper achieves a genuine unification: the sequence V(A_{N-1}) is obtained from one one-parameter W-algebra by an ideal generated by W_p for p>N, the R-filtration is induced by a weight filtration, the large-c limit gives a closed-form higher-spin algebra, and half-BPS correlators are reproduced as exact functions of c for all N. The finite-order computations are extensive, explicitly tabulated, and multiply cross-checked, and the closed-form presentation of h^{s,s} is a useful contribution in itself. The significance is high, but it must be read as conditional: the load-bearing claim of a unique one-parameter algebra for generic c, and the exactness of the truncation for all N, currently rest on an infinite-order extrapolation and on OPE coefficients that are explicitly still undetermined or guessed at weight 8.

major comments (4)
  1. [§2.2.2, §2.3, §3.2.4] The no-free-parameter claim is not settled by the presented bootstrap. The algorithm is explicitly stopped at step 12, and Section 2.3 states that the OPEs with p1+p2=10 are only partially fixed: c55_CW3W5_4,4 and c55_CW4W4_4,4 remain undetermined (Tables 7-9 and Table 21). These coefficients enter W5×W5 and are exactly the ones excluded from the successful V(A4) comparison after Eq. (3.33). If the next bootstrap step fixes them to values different from the free-field V(A4) values obtained after the identifications (3.32), then the simple quotient at ν=25 is not V(A4) and the universal-algebra conjecture must be modified. The statement in §2.3 that 'all OPE coefficients would be progressively fixed' is an extrapolation, not a derivation, and the existence of a unique one-parameter algebra for generic c is therefore an assumption at precisely the order where the bootstrap does not close.
  2. [§2.3, Eqs. (2.23)-(2.24); §6.2, Eqs. (6.13)-(6.17)] The weight-8 OPE coefficients c378, c468, c558 are declared to be 'educated guesses, based on (2.23)'; the bootstrap fixes only the ratios (2.24). These coefficients are precisely the ones that, in the large-ν limit, must reproduce the h^{s,s} structure constants κ_{3,7}^8=21, κ_{4,6}^8=24, κ_{5,5}^8=25 via (6.13)-(6.17). Since the guesses were chosen to satisfy the q1q2 pattern, the agreement of these particular couplings with the independently bootstrapped wedge algebra is tautological. The identification Wedge(W_∞^{s,s}) ≅ h^{s,s} is therefore not yet tested at this order; an independent determination of c378, c468, c558 is needed before the large-c match can be counted as evidence.
  3. [§2.3, Eq. (2.20); §5.2, Eqs. (5.19)-(5.21)] The normalization prescription (2.20) is chosen in advance to match the 4d single-particle two-point function (5.20). Consequently the perfect agreement of gp with ⟨eO_p eO_p⟩ is an input, not a check. The genuinely nontrivial content of the half-BPS comparison is the set of OPE coefficients tested through (5.21)-(5.22). As written, Section 5.2 presents (5.20) as a derivation 'in accordance with' the correspondence, which overstates the logical role of the two-point data; the agreement of the OPE coefficients is the real evidence, and this should be stated explicitly.
  4. [§3.1, §3.2.2-§3.2.4] The proof that all W_p with p>N become null at ν=N^2 is not complete. For N=3, the arguments around (3.16)-(3.20) establish that W4, W5, W6 are null and state an expectation for higher p; for N=5, Eq. (3.27) establishes W6 is null and similarly defers the rest. Section 3.1's construction via W3×W_{N+1} and W3×W_{N+2} produces only the lightest Higgs-branch relations (3.10)-(3.12). Thus the claim that the ideal is generated by W_p with p>N, and hence that the simple quotient has exactly the strong generators J, W_3,...,W_N, is not established to all orders. This is consistent with the paper being a conjecture-plus-evidence paper, but the abstract's phrasing that the quotient 'is isomorphic' to V(A_{N-1}) should be tempered by the explicitly conjectural status of the full null-state generation.
minor comments (3)
  1. [§3.2.3] The sentence 'In the VOAV(A3), the composite CW3W3_3,1 is null, while CW3W3_3,1 is non-null' contains a typo; the second operator should be CW3W3_3,3.
  2. [§5.2] The text 'Some examples are reported in Appendix ??' contains a dangling reference; the appendix number is missing.
  3. [Table 12 and §4.2] In Table 12, the column headers '2 3 4 5 6 7 8, 9, ...' would be clearer if explicitly labeled as N=2,3,...; currently they appear without the N in the header.

Circularity Check

2 steps flagged · score 4.0 of 10

Partial circularity: the truncation vanishing and three weight-8 OPE coefficients are put in by a 4d-matched normalization and by pattern-based guesses, but the bulk of the bootstrap and its external checks remain independent.

  1. self definitional [Section 2.3 (eqs. (2.18)-(2.20)); Section 3 (opening paragraph); Section 5.2 (eqs. (5.16)-(5.20))]
    "In accordance with(5.19), the two-point function coefficientgp is given by gp(ν) =⟨eOpeOp⟩(N 2⇝ν) . The factorN (p−2)/2 in (5.19) is engineered to ensure that (5.20) matches with our normalization choice (2.20). Moreover, it is clear from the expression (2.20) thatgp goes to zero asν→N 2 for p>N ."

    The truncation claim (Wp null for p>N at ν=N²) is opened through the vanishing of gp, and gp is defined in (2.20) precisely so that, via the engineered rescaling in (5.16)-(5.20), gp(ν)=⟨ẼpẼp⟩(N²⇝ν). The 4d input is that single-particle operators vanish for p>N (Section 5.1.1: 'If the total charge p of an SPO is greater than N, the operator vanishes automatically'), so the zeros of (2.20) at ν=N² for p>N — the stated route into the truncation — are restated inputs in a chosen gauge, not bootstrap outputs. The paper later supplies normalization-independent null-state arguments (composite norms such as (3.16), (3.26) and the OPEs (3.17), (3.27)), so the reduction is partial, but the headline observation of Section 3 is definitionally loaded.

  2. fitted input called prediction [Section 2.3 (eqs. (2.23)-(2.24), Tables 7-9); Section 5.2 (eqs. (5.11)-(5.22))]
    "We observe that some OPE coefficients areν-independent. In particular, cq1q2 p =q1q2 , for p≥q1, p≥q2, q1 +q2 =p + 2. ... The values ofc378, c468, c558 reported above are educated guesses, based on (2.23). Our bootstrap analysis is not powerful enough to fix them independently."

    The bootstrap does not determine c378, c468, c558; the paper fixes them by the empirical rule q1q2 of (2.23). Section 5 then re-derives exactly this rule from 4d Wick contractions ((5.12): 'If p =q1 +q2− 2, ⟨OpOq1Oq2⟩ =q1q2⟨OpOp⟩') and presents the match as a confirmation. For these three structure constants the 'predicted' value and the fitted input coincide by construction, so their agreement with (5.12)-(5.22) is not an independent test; the same guessed values also feed the large-ν limits (2.25) used in the wedge-algebra match (6.13)-(6.17). The paper honestly leaves c55^CW3W5_4,4 and c55^CW4W4_4,4 undetermined (Section 3.2.4), so the circle is confined to a few entries rather than the whole OPE data set.

full rationale

The construction is a genuine OPE bootstrap: the Wp1×Wp2 structure constants in Tables 2-9 are mostly fixed by the associativity constraints (2.10) rather than by fiat, and the comparisons against the free-field realizations of V(A2), V(A3), V(A4) ((3.25), (3.30)), the Macdonald index (Section 4.3.1), the Hall-Littlewood Hilbert series (Section 4.3.2), and the BRST construction (Section 4.5) are externally computed, so the central isomorphism claim retains substantial independent content. Two finite circular features justify the nonzero score. First, the opening observation of the truncation section — that gp vanishes at ν=N² for p>N, which the paper presents as the sign that Wp>N are null — is a property of the gauge (2.20), and (2.20) is explicitly engineered so that gp(ν)=⟨ẼpẼp⟩(N²⇝ν), i.e., it imports the 4d fact that single-particle operators vanish for p>N. The gauge-invariant null-state arguments given later are genuine, which limits the damage. Second, three weight-8 coefficients (c378, c468, c558) are filled in by 'educated guesses' from the pattern (2.23), and the same pattern is then re-derived from 4d correlators in (5.12) and showcased as agreement; for those entries the prediction and the fit coincide by construction. The genuinely undetermined coefficients c55^CW3W5_4,4 and c55^CW4W4_4,4 are explicitly left unverified against V(A4) (Section 3.2.4) and excluded from the check list (5.22), so the circularity is partial, not total. Remaining gaps — convergence of the bootstrap at higher order, uniqueness of h^{s,s} given only a Jacobi check at p1+p2+p3≤14 (footnote 4) — are correctness risks rather than circularity and do not affect this score.

Assumptions & free parameters 5 free parameters · 10 assumptions · 2 invented entities

The central claim rests on the generator ansatz, the assumption that the finite-order bootstrap converges to a unique one-parameter algebra, and a set of external benchmarks from prior literature. The genuinely contributed content is the finite bootstrap dataset, the truncation and filtration conjectures, and the closed-form wedge commutators. The free parameters are the genuinely undetermined or guessed OPE coefficients; the normalization (2.20) and the gauge fixing c363=c374=0 are conventions rather than physical parameters. The invented entity is W∞^{s,s} itself, whose evidence is internal consistency plus low-order external matches.

free parameters (5)
  • c55_CW3W5_4,4 (W5×W5 OPE coefficient)
    Not determined by the bootstrap at p1+p2≤10; the paper expects it to be fixed at higher order. It enters W3×W7 and W4×W6 through the relations in Table 21.
  • c55_CW4W4_4,4 (W5×W5 OPE coefficient)
    Not determined by the bootstrap at p1+p2≤10; expected to be fixed at higher order. It enters W3×W7 and W4×W6 through the relations in Table 21.
  • c378 (W3×W7 → W8 OPE coefficient) = 21 (guessed)
    Reported as an 'educated guess based on (2.23)'; the bootstrap only fixes ratios c468=(8/7)c378 and c558=(25/21)c378, shown in Section 2.3.
  • c468 (W4×W6 → W8 OPE coefficient) = 24 (guessed)
    Guessed from the pattern (2.23); the bootstrap fixes only its ratio to c378.
  • c558 (W5×W5 → W8 OPE coefficient) = 25 (guessed)
    Guessed from the pattern (2.23); the bootstrap fixes only its ratio to c378.
assumptions (10)
  • standard math OPE associativity encoded in the Borcherds identity (2.10)
    Used throughout as the defining consistency condition of the bootstrap; assumed to hold for composite as well as elementary operators.
  • domain assumption Generator ansatz: small N=4 super Virasoro plus one short psl(2|2) multiplet Wp with h=j=p/2 for each p≥3, with Wp a super Virasoro primary
    Section 2.2.1. This specifies the object being bootstrapped; it is not derived.
  • domain assumption No null states at generic central charge, so each operator coefficient in every Jacobi constraint must vanish independently
    Section 2.2.2. Simplifies the bootstrap; would fail near special values of c.
  • domain assumption The recursive bootstrap can be continued indefinitely and uniquely fixes all OPE coefficients, with no hidden free parameters
    Section 2.2.2 terminates at step 12 (p1+p2≤10); Section 2.3 expresses the expectation that all coefficients would be progressively fixed. Load-bearing for the existence of W∞^{s,s}.
  • domain assumption The large-ν behavior (2.25), cp1p2_q = p1p2 + O(ν^-1) for all triples, and the empirical rule (2.23) for q1+q2=p+2
    Section 2.3 flags (2.25) as conjectural for any q1,q2,p. Used to identify the wedge algebra via (6.13)-(6.17), and to guess c378, c468, c558.
  • domain assumption The polynomials S_p(ν) have all negative real roots
    Footnote 8. Conjectural, verified explicitly for p≤60. Used to argue that g_p stays finite and controlled at ν=N².
  • domain assumption The ideal I_N at ν=N² is generated by Wp with p>N, and the null states listed in (3.13) generate the maximal ideal for N=2,...,5
    Section 3.1. Verified for low-lying states and low N; load-bearing for the truncation claim.
  • domain assumption The filtration properties (2.29) define an R-filtration on W∞^{s,s} that descends to and coincides with the 4d R-filtration
    Section 2.4: 'While we do not have a proof of the above claims, we have verified that they are compatible with the explicit OPE data'. Verified in the low-order counting only.
  • domain assumption The Lie superalgebra h^{s,s} is uniquely determined by psl(2|2) covariance plus the spectrum, with structure constants γp=2p², κp1p2_q=p1p2, and it is the wedge algebra of W∞^{s,s}
    Appendix C and Section 6.2. Jordan: Jacobi identities verified only for p1+p2+p3≤14 (footnote 4); closed forms are asserted from finite checks.
  • domain assumption External benchmarks from prior literature are correct: the 4d/2d map [1], the free-field realization of V(A_{N-1}) [2,3], the free-field Macdonald index [67], single-particle operator correlators [44,45], and the algebra a_∞ [58]
    Treated as established inputs; not re-derived in this paper.
invented entities (2)
  • W∞^{s,s} (universal W-algebra)
    purpose: A one-parameter algebra containing small N=4 super Virasoro, conjecturally truncating to V(A_{N-1}) at c=-3(N²-1).
    Postulated object built by finite-order bootstrap. Evidence is internal consistency of tabulated OPE data and low-order matches to external benchmarks; no higher-order prediction beyond the computed orders has been independently verified, so there is no outside falsifiable handle yet.
  • Identification h^{s,s} ≅ Wedge(W∞^{s,s})
    purpose: Interprets the closed-form higher-spin Lie superalgebra (a_∞ of [58]) as the wedge algebra of W∞^{s,s}.
    The Lie algebra itself already appeared in [58]; the proposed identification rests on finite-order Jacobi checks, the conjectural large-ν limits (2.25), and the guessed coefficients c378, c468, c558, which are partly circular with the wedge algebra match.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A universal W-algebra for N=4 super Yang-Mills." pith.science (2026). https://pith.science/paper/4DVTDU35

@misc{pith2026250615678,
  author       = {Pith},
  title        = {Pith review of: A universal W-algebra for N=4 super Yang-Mills},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4DVTDU35}},
  note         = {Machine review of arXiv:2506.15678}
}
abstract

Using bootstrap methods, we provide evidence for the existence of a non-linear W-algebra, denoted $W_\infty^\text{s,s}$, which contains the small N= 4 super Virasoro algebra and features an infinite tower of additional generators, organized in short supersymmetry multiplets. The algebra $W_\infty^\text{s,s}$ has one free parameter, its central charge c. We claim that the simple quotient of $W_\infty^\text{s,s}$ for c= -3(N^2-1) is isomorphic to the vertex operator algebra associated to 4d N=4 $\mathfrak{su}(N)$ super Yang-Mills theory. We define a filtration in $W_\infty^\text{s,s}$ and provide evidence that it reproduces the R-filtration, which is crucial to extract 4d SCFT data from the vertex operator algebra. Finally, we present explicit formulae for all the (anti)commutators of the wedge algebra of $ W_\infty^\text{s,s}$.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

87 extracted references · 30 canonical work pages

  1. [58]

    Costello and D

    K. Costello and D. Gaiotto,Twisted Holography, arXiv:1812.09257

    arXiv

  2. [35]

    C. Ahn, M. R. Gaberdiel, and M. H. Kim,The smallN = 4 superconformalW∞ algebra, J. Phys. A 53 (2020), no. 39 395401, [arXiv:2004.07439]

    work page Pith review arXiv 2020

  3. [43]

    M. R. Gaberdiel and W. Li,Structure of theN = 4 chiral algebra, arXiv:2506.14655

    arXiv

  4. [1]

    C. Beem, M. Lemos, P. Liendo, W. Peelaers, L. Rastelli, and B. C. van Rees,Infinite Chiral Symmetry in Four Dimensions, Commun. Math. Phys.336 (2015), no. 3 1359–1433, [arXiv:1312.5344]

    arXiv 2015

  5. [2]

    Bonetti, C

    F. Bonetti, C. Meneghelli, and L. Rastelli,VOAs labelled by complex reflection groups and 4d SCFTs, JHEP 05 (2019) 155, [arXiv:1810.03612]

    arXiv 2019

  6. [3]

    Arakawa, T

    T. Arakawa, T. Kuwabara, and S. Möller,Hilbert Schemes of Points in the Plane and Quasi-Lisse Vertex Algebras withN = 4 Symmetry, arXiv:2309.17308

    arXiv

  7. [4]

    A. B. Zamolodchikov,Infinite Additional Symmetries in Two-Dimensional Conformal Quantum Field Theory, Theor. Math. Phys.65 (1985) 1205–1213

    1985

  8. [5]

    V. G. Drinfeld and V. V. Sokolov,Lie algebras and equations of Korteweg-de Vries type, J. Sov. Math. 30 (1984) 1975–2036

    1984

Show all 87 references
  1. [6]

    Balog, L

    J. Balog, L. Feher, P. Forgacs, L. O’Raifeartaigh, and A. Wipf,Kac-Moody Realization ofW Algebras, Phys. Lett. B244 (1990) 435–441

    1990

  2. [7]

    Bouwknegt and K

    P. Bouwknegt and K. Schoutens,W symmetry in conformal field theory, Phys. Rept. 223 (1993) 183–276, [hep-th/9210010]

    1993 arXiv

  3. [8]

    J. M. Figueroa-O’Farrill, J. Mas, and E. Ramos,A One parameter family of Hamiltonian structures for the KP hierarchy and a continuous deformation of the nonlinear W(KP) algebra, Commun. Math. Phys.158 (1993) 17–44, [hep-th/9207092]

    1993 arXiv

  4. [9]

    Khesin and I

    B. Khesin and I. Zakharevich,Poisson - Lie group of pseudodifferential symbols, Commun. Math. Phys. 171 (1995) 475–530, [hep-th/9312088]

    1995 arXiv

  5. [10]

    Khesin and I

    B. Khesin and I. Zakharevich,Poisson-Lie group of pseudodifferential symbols and fractional KP-KdV hierarchies, Compt. Rend. Acad. Sci. Ser. I Math.316 (1993), no. 6 621–626, [hep-th/9311125]

    1993 arXiv

  6. [11]

    C. N. Pope, L. J. Romans, and X. Shen,The Complete Structure of W(Infinity), Phys. Lett. B 236 (1990) 173–178

    1990

  7. [12]

    Bakas and E

    I. Bakas and E. Kiritsis,Beyond the large N limit: Nonlinear W(infinity) as symmetry of the SL(2,R) / U(1) coset model, Int. J. Mod. Phys. A7S1A (1992) 55–81, [hep-th/9109029]

    1992 arXiv

  8. [13]

    Bakas, B

    I. Bakas, B. Khesin, and E. Kiritsis,The Logarithm of the derivative operator and higher spin algebras of W-infinity type, Commun. Math. Phys.151 (1993) 233–244

    1993

  9. [14]

    Yamagishi,A Hamiltonian structure of KP hierarchy, W (1+infinity) algebra and selfdual gravity, Phys

    K. Yamagishi,A Hamiltonian structure of KP hierarchy, W (1+infinity) algebra and selfdual gravity, Phys. Lett. B259 (1991) 436–441

    1991

  10. [15]

    J. M. Figueroa-O’Farrill, J. Mas, and E. Ramos,Bihamiltonian structure of the KP hierarchy and the W(KP) algebra, Phys. Lett. B266 (1991) 298–302

    1991

  11. [16]

    Yu and Y.-S

    F. Yu and Y.-S. Wu,Hamiltonian structure, (anti)selfadjoint flows in KP hierarchy and the W(1+infinity) and W(infinity) algebras, Phys. Lett. B263 (1991) 220–226. – 120 –

    1991

  12. [17]

    Yu and Y.-S

    F. Yu and Y.-S. Wu,Nonlinearly deformed W(infinity) algebra and second Hamiltonian structure of KP hierarchy, Nucl. Phys. B373 (1992) 713–734

    1992

  13. [18]

    A. R. Linshaw,Universal two-parameterW∞-algebra and vertex algebras of type W(2, 3,...,N ), Compos. Math. 157 (2021), no. 1 12–82, [arXiv:1710.02275]

    2021 arXiv

  14. [19]

    M. R. Gaberdiel and R. Gopakumar,Minimal Model Holography, J. Phys. A46 (2013) 214002, [arXiv:1207.6697]

    2013 arXiv

  15. [20]

    M. R. Gaberdiel and C. Vollenweider,Minimal Model Holography for SO(2N), JHEP 08 (2011) 104, [arXiv:1106.2634]

    2011 arXiv

  16. [21]

    Ahn,The Large N ’t Hooft Limit of Coset Minimal Models, JHEP 10 (2011) 125, [arXiv:1106.0351]

    C. Ahn,The Large N ’t Hooft Limit of Coset Minimal Models, JHEP 10 (2011) 125, [arXiv:1106.0351]

    2011 arXiv

  17. [22]

    Candu, M

    C. Candu, M. R. Gaberdiel, M. Kelm, and C. Vollenweider,Even spin minimal model holography, JHEP 01 (2013) 185, [arXiv:1211.3113]

    2013 arXiv

  18. [23]

    Kanade and A

    S. Kanade and A. R. Linshaw,Universal two-parameter even spinW∞-algebra, Adv. Math. 355 (2019) 106774, [arXiv:1805.11031]

    2019 arXiv

  19. [24]

    Procházka,On even spinW∞, JHEP 06 (2020) 057, [arXiv:1910.07997]

    T. Procházka,On even spinW∞, JHEP 06 (2020) 057, [arXiv:1910.07997]

    2020 arXiv

  20. [25]

    Creutzig, Y

    T. Creutzig, Y. Hikida, and P. B. Ronne,Higher spin AdS3 supergravity and its dual CFT, JHEP 02 (2012) 109, [arXiv:1111.2139]

    2012 arXiv

  21. [26]

    Candu and M

    C. Candu and M. R. Gaberdiel,Supersymmetric holography onAdS3, JHEP 09 (2013) 071, [arXiv:1203.1939]

    2013 arXiv

  22. [27]

    Candu and M

    C. Candu and M. R. Gaberdiel,Duality in N=2 Minimal Model Holography, JHEP 02 (2013) 070, [arXiv:1207.6646]

    2013 arXiv

  23. [28]

    Beccaria, C

    M. Beccaria, C. Candu, M. R. Gaberdiel, and M. Groher,N=1 extension of minimal model holography, JHEP 07 (2013) 174, [arXiv:1305.1048]

    2013 arXiv

  24. [29]

    M. R. Gaberdiel and R. Gopakumar,Large N=4 Holography, JHEP 09 (2013) 036, [arXiv:1305.4181]

    2013 arXiv

  25. [30]

    Creutzig, Y

    T. Creutzig, Y. Hikida, and P. B. Ronne,Extended higher spin holography and Grassmannian models, JHEP 11 (2013) 038, [arXiv:1306.0466]

    2013 arXiv

  26. [31]

    Candu and C

    C. Candu and C. Vollenweider,On the coset duals of extended higher spin theories, JHEP 04 (2014) 145, [arXiv:1312.5240]

    2014 arXiv

  27. [32]

    M. R. Gaberdiel and C. Peng,The symmetry of largeN = 4 holography, JHEP 05 (2014) 152, [arXiv:1403.2396]

    2014 arXiv

  28. [33]

    Beccaria, C

    M. Beccaria, C. Candu, and M. R. Gaberdiel,The large N = 4 superconformalW∞ algebra, JHEP 06 (2014) 117, [arXiv:1404.1694]

    2014 arXiv

  29. [34]

    Eberhardt, M

    L. Eberhardt, M. R. Gaberdiel, and I. Rienacker,Higher spin algebras and largeN = 4 holography, JHEP 03 (2018) 097, [arXiv:1801.00806]

    2018 arXiv

  30. [36]

    Ahn,N=4 supersymmetric linear W∞[λ] algebra, Phys

    C. Ahn,N=4 supersymmetric linear W∞[λ] algebra, Phys. Rev. D106 (2022), no. 2 026008, [arXiv:2205.04024]

    2022 arXiv

  31. [37]

    Ahn,The structure of theN = 4 supersymmetric linearW∞[λ] algebra, Eur

    C. Ahn,The structure of theN = 4 supersymmetric linearW∞[λ] algebra, Eur. Phys. J. C 83 (2023), no. 7 615, [arXiv:2208.07000]. – 121 –

    2023 arXiv

  32. [38]

    Ahn and M

    C. Ahn and M. H. Kim,TheN = 2, 4 Supersymmetric LinearW∞[λ] Algebras for Genericλ Parameter, arXiv:2309.01537

    arXiv

  33. [39]

    Meneghelli,A universal W-algebra forN = 4 super Yang-Mills, The Holographic Universe, Leuven(2, June, 2025)

    C. Meneghelli,A universal W-algebra forN = 4 super Yang-Mills, The Holographic Universe, Leuven(2, June, 2025)

    2025

  34. [40]

    Blumenhagen, M

    R. Blumenhagen, M. Flohr, A. Kliem, W. Nahm, A. Recknagel, and R. Varnhagen,W algebras with two and three generators, Nucl. Phys. B361 (1991) 255–289

    1991

  35. [41]

    Thielemans,A Mathematica package for computing operator product expansions, Int

    K. Thielemans,A Mathematica package for computing operator product expansions, Int. J. Mod. Phys. C2 (1991) 787–798

    1991

  36. [42]

    Thielemans,An Algorithmic approach to operator product expansions, W algebras and W strings

    K. Thielemans,An Algorithmic approach to operator product expansions, W algebras and W strings. PhD thesis, Leuven U., 1994.hep-th/9506159

    1994 arXiv

  37. [44]

    Aprile, J

    F. Aprile, J. Drummond, P. Heslop, and H. Paul,Double-trace spectrum ofN = 4 supersymmetric Yang-Mills theory at strong coupling, Phys. Rev. D98 (2018), no. 12 126008, [arXiv:1802.06889]

    2018 arXiv

  38. [45]

    Aprile, J

    F. Aprile, J. M. Drummond, P. Heslop, H. Paul, F. Sanfilippo, M. Santagata, and A. Stewart,Single particle operators and their correlators in freeN = 4 SYM, JHEP 11 (2020) 072, [arXiv:2007.09395]

    2020 arXiv

  39. [46]

    P. S. Howe and P. C. West,Nonperturbative Green’s functions in theories with extended superconformal symmetry, Int. J. Mod. Phys. A14 (1999) 2659–2674, [hep-th/9509140]

    1999 arXiv

  40. [47]

    D’Hoker, D

    E. D’Hoker, D. Z. Freedman, and W. Skiba,Field theory tests for correlators in the AdS / CFT correspondence, Phys. Rev. D59 (1999) 045008, [hep-th/9807098]

    1999 arXiv

  41. [48]

    P. S. Howe, E. Sokatchev, and P. C. West,Three point functions in N=4 Yang-Mills, Phys. Lett. B 444 (1998) 341–351, [hep-th/9808162]

    1998 arXiv

  42. [49]

    K. A. Intriligator,Bonus symmetries of N=4 superYang-Mills correlation functions via AdS duality, Nucl. Phys. B551 (1999) 575–600, [hep-th/9811047]

    1999 arXiv

  43. [50]

    Gonzalez-Rey, B

    F. Gonzalez-Rey, B. Kulik, and I. Y. Park,Nonrenormalization of two point and three point correlators of N=4 SYM in N=1 superspace, Phys. Lett. B455 (1999) 164–170, [hep-th/9903094]

    1999 arXiv

  44. [51]

    K. A. Intriligator and W. Skiba,Bonus symmetry and the operator product expansion of N=4 SuperYang-Mills, Nucl. Phys. B559 (1999) 165–183, [hep-th/9905020]

    1999 arXiv

  45. [52]

    B. Eden, P. S. Howe, and P. C. West,Nilpotent invariants in N=4 SYM, Phys. Lett. B463 (1999) 19–26, [hep-th/9905085]

    1999 arXiv

  46. [53]

    Skiba,Correlators of short multitrace operators in N=4 supersymmetric Yang-Mills, Phys

    W. Skiba,Correlators of short multitrace operators in N=4 supersymmetric Yang-Mills, Phys. Rev. D60 (1999) 105038, [hep-th/9907088]

    1999 arXiv

  47. [54]

    Penati, A

    S. Penati, A. Santambrogio, and D. Zanon,Two point functions of chiral operators in N=4 SYM at order g**4, JHEP 12 (1999) 006, [hep-th/9910197]

    1999 arXiv

  48. [55]

    F. A. Dolan, L. Gallot, and E. Sokatchev,On four-point functions of 1/2-BPS operators in general dimensions, JHEP 09 (2004) 056, [hep-th/0405180]

    2004 arXiv

  49. [56]

    Bowcock and G

    P. Bowcock and G. M. T. Watts,On the classification of quantum W algebras, Nucl. Phys. B 379 (1992) 63–95, [hep-th/9111062]. – 122 –

    1992 arXiv

  50. [57]

    M. R. Gaberdiel and T. Hartman,Symmetries of Holographic Minimal Models, JHEP 05 (2011) 031, [arXiv:1101.2910]

    2011 arXiv

  51. [59]

    R. E. Borcherds,Vertex algebras, kac-moody algebras, and the monster, Proceedings of the National Academy of Sciences83 (1986), no. 10 3068–3071

    1986

  52. [60]

    V. G. Kac,Vertex algebras for beginners. No. 10. American Mathematical Soc., 1998

    1998

  53. [61]

    Chang and Y.-H

    C.-M. Chang and Y.-H. Lin,Holographic covering and the fortuity of black holes, arXiv:2402.10129

    arXiv

  54. [62]

    Adamovic,A Realization of Certain Modules for the n = 4 Superconformal Algebra and the Affine lie Algebra A2(1), Transform

    D. Adamovic,A Realization of Certain Modules for the n = 4 Superconformal Algebra and the Affine lie Algebra A2(1), Transform. Groups21 (2016), no. 2 299–327, [arXiv:1407.1527]

    2016 arXiv

  55. [63]

    Beem and L

    C. Beem and L. Rastelli,Vertex operator algebras, Higgs branches, and modular differential equations, JHEP 08 (2018) 114, [arXiv:1707.07679]

    2018 arXiv

  56. [64]

    F. A. Dolan and H. Osborn,On short and semi-short representations for four-dimensional superconformal symmetry, Annals Phys. 307 (2003) 41–89, [hep-th/0209056]

    2003 arXiv

  57. [65]

    Romelsberger,Counting chiral primaries in N = 1, d=4 superconformal field theories, Nucl

    C. Romelsberger,Counting chiral primaries in N = 1, d=4 superconformal field theories, Nucl. Phys. B747 (2006) 329–353, [hep-th/0510060]

    2006 arXiv

  58. [66]

    Kinney, J

    J. Kinney, J. M. Maldacena, S. Minwalla, and S. Raju,An Index for 4 dimensional super conformal theories, Commun. Math. Phys.275 (2007) 209–254, [hep-th/0510251]

    2007 arXiv

  59. [67]

    Gadde, L

    A. Gadde, L. Rastelli, S. S. Razamat, and W. Yan,Gauge Theories and Macdonald Polynomials, Commun. Math. Phys.319 (2013) 147–193, [arXiv:1110.3740]

    2013 arXiv

  60. [68]

    Cachazo, M

    F. Cachazo, M. R. Douglas, N. Seiberg, and E. Witten,Chiral rings and anomalies in supersymmetric gauge theory, JHEP 12 (2002) 071, [hep-th/0211170]

    2002 arXiv

  61. [69]

    Berest, G

    Y. Berest, G. Felder, S. Patotski, A. C. Ramadoss, and T. Willwacher,Representation homology, lie algebra cohomology and derived harish-chandra homomorphism, 2015

    2015

  62. [70]

    Budzik, H

    K. Budzik, H. Murali, and P. Vieira,Following Black Hole States, arXiv:2306.04693

    arXiv

  63. [71]

    Arutyunov and S

    G. Arutyunov and S. Frolov,Some cubic couplings in type IIB supergravity on AdS(5) x S**5 and three point functions in SYM(4) at large N, Phys. Rev. D61 (2000) 064009, [hep-th/9907085]

    2000 arXiv

  64. [72]

    D’Hoker, D

    E. D’Hoker, D. Z. Freedman, S. D. Mathur, A. Matusis, and L. Rastelli,Extremal correlators in the AdS / CFT correspondence, hep-th/9908160

    arXiv

  65. [73]

    Rastelli and X

    L. Rastelli and X. Zhou,How to Succeed at Holographic Correlators Without Really Trying, JHEP 04 (2018) 014, [arXiv:1710.05923]

    2018 arXiv

  66. [74]

    S. Lee, S. Minwalla, M. Rangamani, and N. Seiberg,Three point functions of chiral operators in D = 4, N=4 SYM at large N, Adv. Theor. Math. Phys.2 (1998) 697–718, [hep-th/9806074]

    1998 arXiv

  67. [75]

    C. Beem, C. Meneghelli, W. Peelaers, and L. Rastelli,VOAs and rank-two instanton SCFTs, Commun. Math. Phys.377 (2020), no. 3 2553–2578, [arXiv:1907.08629]

    2020 arXiv

  68. [76]

    M. R. Gaberdiel and R. Gopakumar,Triality in Minimal Model Holography, JHEP 07 (2012) 127, [arXiv:1205.2472]. – 123 –

    2012 arXiv

  69. [77]

    Procházka,W -symmetry, topological vertex and affine Yangian, JHEP 10 (2016) 077, [arXiv:1512.07178]

    T. Procházka,W -symmetry, topological vertex and affine Yangian, JHEP 10 (2016) 077, [arXiv:1512.07178]

    2016 arXiv

  70. [78]

    Cordova, D

    C. Cordova, D. Gaiotto, and S.-H. Shao,Surface Defects and Chiral Algebras, JHEP 05 (2017) 140, [arXiv:1704.01955]

    2017 arXiv

  71. [79]

    Pan and W

    Y. Pan and W. Peelaers,Chiral Algebras, Localization and Surface Defects, JHEP 02 (2018) 138, [arXiv:1710.04306]

    2018 arXiv

  72. [80]

    Khesin and F

    B. Khesin and F. Malikov,Universal Drinfeld-Sokolov reduction and matrices of complex size, Commun. Math. Phys.175 (1996) 113–134, [hep-th/9405116]

    1996 arXiv

  73. [81]

    S. L. Luk’yanov,Quantization of the gel’fand—dikii brackets, Functional Analysis and Its Applications 22 (1988), no. 4 255–262

    1988

  74. [82]

    Procházka,ExploringW∞ in the quadratic basis, JHEP 09 (2015) 116, [arXiv:1411.7697]

    T. Procházka,ExploringW∞ in the quadratic basis, JHEP 09 (2015) 116, [arXiv:1411.7697]

    2015 arXiv

  75. [83]

    Zeng,LargeN Vertex Algebras via Deligne Category, arXiv:2503.03004

    K. Zeng,LargeN Vertex Algebras via Deligne Category, arXiv:2503.03004

  76. [84]

    D. J. Binder and S. Rychkov,Deligne Categories in Lattice Models and Quantum Field Theory, or Making Sense ofO(N) Symmetry with Non-integerN, JHEP 04 (2020) 117, [arXiv:1911.07895]

    2020 arXiv

  77. [85]

    Chang, Y.-H

    C.-M. Chang, Y.-H. Lin, and J. Wu,On 1 8-BPS black holes and the chiral algebra ofN = 4 SYM, arXiv:2310.20086

    arXiv

  78. [86]

    Bonetti and L

    F. Bonetti and L. Rastelli,Supersymmetric localization in AdS5 and the protected chiral algebra, JHEP 08 (2018) 098, [arXiv:1612.06514]

    2018 arXiv

  79. [87]

    C. N. Pope, L. J. Romans, and X. Shen,W(infinity) and the Racah-wigner Algebra, Nucl. Phys. B 339 (1990) 191–221. – 124 –

    1990

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.