REVIEW 2 major objections 4 minor 62 references
Higgsless Lagrangian 4d SCFTs are sparse; two of them yield new logarithmic VOAs that are C2-cofinite but non-rational.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-13 06:28 UTC pith:XGPPUGW5
load-bearing objection Two solid new logarithmic VOAs plus a sparse classification of Higgsless Lagrangian SCFTs; the remaining candidates are carefully labelled. the 2 major comments →
Higgsless Lagrangian SCFTs and Strongly Finite VOAs
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The complete list of candidate interacting Higgsless Lagrangian SCFTs consists of (i) USp(4) with half-hypers in the 16, (ii) SU(3)×SU(2) with half-hypers in 8×2, (iii) the infinite trivalent USp(m) family for m in 4Z>0, and (iv) the 1/2asym3–USp(8)–SO(6) quiver; the VOAs of (i) and (ii) are C2-cofinite with logarithmic pseudocharacters in the modular orbit of the vacuum character.
What carries the argument
The subquiver lemma: a gauge-invariant operator built from half-hypermultiplets of a subquiver that is non-zero modulo the subquiver F-terms remains non-zero in the full theory and, under the geometrization conjecture, is a genuine Higgs-branch generator; this lets whole infinite families be ruled out by inspecting a single recurring pattern.
Load-bearing premise
The claim that conformal theories have no nilpotent elements in their Higgs chiral ring is used both to turn a single non-vanishing operator into proof of a non-trivial Higgs branch and to read a truncated Hall-Littlewood index as evidence of Higgslessness.
What would settle it
Compute the full Higgs Hilbert series (or an explicit basis of the F-term quotient ring) for either of the two bootstrapped sporadic theories and find a non-constant generator; or exhibit a modular transformation of their vacuum characters that closes without log-q terms.
If this is right
- Two previously unknown strongly finite non-rational VOAs, complete with closed-form characters, S and T matrices, and pseudocharacters, become available for representation-category study.
- Any complete classification of C2-cofinite logarithmic VOAs arising from 4d N=2 SCFTs must at least include the free-vector discrete gaugings, the two sporadic VOAs constructed here, and (conjecturally) the infinite SO/USp family.
- The modular data of the new VOAs can be used to test proposed Verlinde-type formulae and the structure of log-modular tensor categories.
- Higgslessness of a Lagrangian SCFT is a practical necessary condition that can be checked by Hilbert-series or HL-index computations before attempting a full VOA bootstrap.
Where Pith is reading between the lines
- The sparseness of the list suggests that Lagrangian Higgsless theories may be exceptional rather than generic; a unifying geometric or string-theoretic construction of the SO/USp family would explain why the set is so thin.
- The paper notes that known rational Higgsless SCFTs (Argyres-Douglas) are isolated while the Lagrangian ones have conformal manifolds; this invites a sharp test of whether non-rationality of the VOA is correlated with the existence of exactly marginal couplings.
- Because the gauginos supply the symplectic-fermion-like degrees of freedom that produce logarithms, any non-Lagrangian Higgsless theory whose VOA is still logarithmic would require a different source of log modules.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies candidate Higgsless Lagrangian 4d N=2 SCFTs within the Bhardwaj–Tachikawa list, concluding that the interacting examples consist of two sporadic theories (USp(4) with half-hypers in the 16; SU(3)×SU(2) with half-hypers in 8×2), one infinite trivalent USp(m) family for m∈4Z>0, and the ½asym3–USp(8)–SO(6) quiver. Free vectors and their discrete gaugings are recovered as the free examples. For the two sporadic theories the authors compute I_Higgs=1, truncate the Hall–Littlewood indices, bootstrap the associated VOAs by OPE ansatz and Jacobi identities (using OPEdefs), exhibit enough null states to prove nilpotency of all strong generators in R_V (hence C2-cofiniteness), and give closed-form vacuum characters whose S-transforms contain logarithmic pseudocharacters, establishing non-rationality. The remaining candidates are left for future VOA constructions, with partial operator-enumeration and HL-truncation evidence.
Significance. Strongly finite non-rational VOAs remain scarce; the two fully constructed algebras are concrete new examples with closed-form characters, explicit S/T matrices, and verified C2-cofiniteness. The classification result is surprising in its sparseness and supplies a short, well-defined list of Lagrangian parents for further logarithmic VOAs. The bootstrap is machine-assisted and checked against independently computed Schur indices; modular non-rationality follows from explicit S-transforms rather than asymptotics alone. These are genuine additions to both the SCFT/VOA dictionary and the mathematical stock of logarithmic VOAs.
major comments (2)
- The classification of candidates (Result of §3.1, Table 2) relies on the Higgs-branch geometrization conjecture (C[MH]=RH with no nilpotents) both in the subquiver lemma (§3.3) and in the interpretation of truncated HL indices (§2.5). If nilpotents are allowed, some discarded quivers could still be Higgsless and the subquiver lemma would no longer guarantee a genuine Higgs-branch operator. The paper already labels the infinite family and the third sporadic as candidates with partial evidence; this dependence should be stated more prominently in the Result statement and in the abstract so that the logical status of the full list is unambiguous.
- For the infinite family (iii) and the third sporadic (iv), Higgslessness rests on incomplete operator enumeration plus HL truncation for the lowest ranks only (§3.5.3, Eqs. (3.48)–(3.49) and (3.22)). While the authors correctly mark the evidence as non-rigorous, the claim that these are the only remaining candidates would be strengthened by either a complete vanishing argument for a few more ranks or an explicit statement that the list is exhaustive only under the additional assumption that no unexpected higher-dimension singlets appear.
minor comments (4)
- In §4.2.1–4.2.2 the schematic forms of the strong generators (Tables 4 and 7) suppress all gauge indices; a short footnote or appendix line indicating the precise contractions would aid reproducibility.
- Appendix F lists the null states used for Jacobi identities but does not record the OPEdefs session or the precise order at which the identities were checked; a brief computational note would be useful.
- The diagrammatic notation of §3.4 is clear once introduced, but a single worked example of an F-term application (beyond Eq. (3.7)) would help readers less familiar with SO/USp quivers.
- Typographical: “Higgslessness” is occasionally hyphenated inconsistently; “pseudocharacters” versus “pseudo-characters” likewise.
Circularity Check
No significant circularity: candidate filtering uses an external conjecture, but the two novel VOAs are constructed and verified independently of it.
full rationale
The paper's load-bearing claims for the two sporadic VOAs (USp(4)+16 and SU(3)×SU(2)+8×2) rest on three independent computations that do not reduce to their inputs: (1) direct Macaulay2 evaluation of the Higgs Hilbert series yielding I_Higgs=1 (Secs. 4.2.1–4.2.2), (2) bootstrap of OPEs by imposing Jacobi identities on an ansatz for strong generators, followed by explicit nilpotency of all generators in R_V (Tables 5 and 8), and (3) closed-form vacuum characters whose S-transforms produce logarithmic pseudocharacters (Eqs. 4.27–4.28, 4.42–4.43). These steps match independently computed Schur/Macdonald/HL indices and never invoke the Higgs-branch geometrization conjecture. The Bhardwaj–Tachikawa classification and the SCFT/VOA correspondence are taken as established external input; self-citations are to prior technical tools (indices, free-field realisations, modular asymptotics) that do not force the classification or the VOA properties. The infinite family and third sporadic are carefully labelled candidates whose evidence is partial. No fitted parameter is renamed a prediction, no uniqueness theorem is imported to forbid alternatives, and no ansatz is smuggled that collapses the result to its premises. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption Higgs branch geometrization conjecture: for conformal N=2 theories the Higgs chiral ring RH contains no nilpotents and equals the coordinate ring of the Higgs branch.
- domain assumption Bhardwaj-Tachikawa classification exhausts all 4d N=2 conformal Lagrangian gauge theories.
- domain assumption SCFT/VOA correspondence: the Schur sector of a 4d N=2 SCFT yields a VOA whose associated variety is the Higgs branch (Higgs branch conjecture).
- standard math Standard facts of vertex-algebra theory (C2 algebra, associated variety, modular linear differential equations, pseudocharacters).
read the original abstract
Vertex operator algebras (VOAs) are well studied in both mathematics and physics. The best understood class is that of strongly rational VOAs, whose representation category is maximally well behaved: indeed, it is a modular tensor category. At the next level of complexity are strongly finite but non-rational VOAs. Their representation category is not semisimple (it is ``logarithmic''), but maintains nice structural properties. Only a few families of examples in this class are known, a fact that may have hindered the development of a comprehensive mathematical theory. The SCFT/VOA correspondence provides a natural way to generate more examples: strongly finite but non-rational VOAs are expected to arise from four-dimensional ${\cal N}=2$ Lagrangian superconformal field theories (SCFTs) that do not admit a Higgs branch moduli space of vacua. We tackle the combinatorial task of classifying all such ``Higgsless'' Lagrangian SCFTs. To our surprise, this set turns out to be rather sparse. Free vector multiplets and their discrete gaugings are immediate examples. The interacting Higgsless theories comprise one infinite sequence of SO/USp quivers and three sporadic examples. We construct and study the novel VOAs associated to two of the sporadic examples, and confirm that they are indeed strongly finite and logarithmic.
Reference graph
Works this paper leans on
-
[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]
Pith/arXiv arXiv 2015
-
[2]
C. Beem and L. Rastelli,Vertex operator algebras, Higgs branches, and modular differential equations, JHEP08(2018) 114, [arXiv:1707.07679]
Pith/arXiv arXiv 2018
-
[3]
Arakawa,A remark on the C 2-cofiniteness condition on vertex algebras, Math
T. Arakawa,A remark on the C 2-cofiniteness condition on vertex algebras, Math. Z.270 (2012), no. 1 559–575, [arXiv:1004.1492]
Pith/arXiv arXiv 2012
-
[4]
F. Bonetti, C. Meneghelli, and L. Rastelli,VOAs labelled by complex reflection groups and 4d SCFTs, JHEP05(2019) 155, [arXiv:1810.03612]
Pith/arXiv arXiv 2019
-
[5]
C. Beem, C. Meneghelli, and L. Rastelli,Free Field Realizations from the Higgs Branch, JHEP09(2019) 058, [arXiv:1903.07624]
Pith/arXiv arXiv 2019
-
[6]
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]
Pith/arXiv arXiv 2020
-
[7]
C. Beem and C. Meneghelli,Geometric free field realization for the genus-two class S theory of type a1, Phys. Rev. D104(2021), no. 6 065015, [arXiv:2104.11668]
Pith/arXiv arXiv 2021
-
[8]
C. Beem, A. Deb, M. Martone, C. Meneghelli, and L. Rastelli,Free field realizations for rank-one SCFTs, JHEP12(2024) 004, [arXiv:2407.01674]
Pith/arXiv arXiv 2024
-
[9]
McRae,On rationality forC 2-cofinite vertex operator algebras,arXiv:2108.01898
R. McRae,On rationality forC 2-cofinite vertex operator algebras,arXiv:2108.01898
-
[10]
Miyamoto,Modular invariance of vertex operator algebras satisfying C(2) cofiniteness, math/0209101
M. Miyamoto,Modular invariance of vertex operator algebras satisfying C(2) cofiniteness, math/0209101
-
[12]
D. Xie and W. Yan,4dN= 2SCFTs and lisse W-algebras, JHEP04(2021) 271, [arXiv:1910.02281]
Pith/arXiv arXiv 2021
-
[13]
D. Xie, W. Yan, and S.-T. Yau,Chiral algebra of the Argyres-Douglas theory from M5 branes, Phys. Rev. D103(2021), no. 6 065003, [arXiv:1604.02155]
Pith/arXiv arXiv 2021
-
[14]
D. Xie and W. Yan,W algebras, cosets and VOAs for 4dN= 2 SCFTs from M5 branes, JHEP04(2021) 076, [arXiv:1902.02838]
Pith/arXiv arXiv 2021
-
[15]
D. Xie and W. Yan,Schur sector of Argyres-Douglas theory andW-algebra, SciPost Phys.10 (2021), no. 3 080, [arXiv:1904.09094]
Pith/arXiv arXiv 2021
-
[16]
T. Creutzig and A. R. Linshaw,Orbifolds of symplectic fermion algebras, Trans. Am. Math. Soc.369(2017), no. 1 467–494, [arXiv:1404.2686]
Pith/arXiv arXiv 2017
-
[17]
A. Arabi Ardehali, M. Martone, and M. Rossell´ o,High-temperature expansion of the Schur index and modularity,arXiv:2308.09738
-
[18]
Arakawa,Chiral algebras of classSand Moore-Tachikawa symplectic varieties, arXiv:1811.01577
T. Arakawa,Chiral algebras of classSand Moore-Tachikawa symplectic varieties, arXiv:1811.01577
-
[19]
C. Beem and N. Garner,On the semi-infinite cohomology of graded-unitary vertex algebras, J. Algebra698(2026) 172–223, [arXiv:2509.10364]
Pith/arXiv arXiv 2026
-
[20]
L. Bhardwaj and Y. Tachikawa,Classification of 4d N=2 gauge theories, JHEP12(2013) 100, [arXiv:1309.5160]. – 54 –
Pith/arXiv arXiv 2013
-
[21]
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]
Pith/arXiv arXiv 2003
-
[22]
A. Gadde, L. Rastelli, S. S. Razamat, and W. Yan,The 4d Superconformal Index from q-deformed 2d Yang-Mills, Phys. Rev. Lett.106(2011) 241602, [arXiv:1104.3850]
Pith/arXiv arXiv 2011
-
[23]
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]
Pith/arXiv arXiv 2013
-
[24]
M. A. Luty and W. Taylor,Varieties of vacua in classical supersymmetric gauge theories, Phys. Rev. D53(1996) 3399–3405, [hep-th/9506098]
Pith/arXiv arXiv 1996
-
[25]
C. Beem, M. Lemos, P. Liendo, L. Rastelli, and B. C. van Rees,TheN= 2superconformal bootstrap, JHEP03(2016) 183, [arXiv:1412.7541]
Pith/arXiv arXiv 2016
-
[26]
Zhu, Vertex operator algebras, elliptic functions and modular forms
Y. Zhu, Vertex operator algebras, elliptic functions and modular forms. Yale University, 1990
1990
-
[27]
P. C. Argyres and M. R. Douglas,New phenomena in SU(3) supersymmetric gauge theory, Nucl. Phys. B448(1995) 93–126, [hep-th/9505062]
Pith/arXiv arXiv 1995
-
[28]
Xie,General Argyres-Douglas Theory, JHEP01(2013) 100, [arXiv:1204.2270]
D. Xie,General Argyres-Douglas Theory, JHEP01(2013) 100, [arXiv:1204.2270]
Pith/arXiv arXiv 2013
-
[29]
T. Creutzig and D. Ridout,Logarithmic Conformal Field Theory: Beyond an Introduction, J. Phys. A46(2013) 4006, [arXiv:1303.0847]
Pith/arXiv arXiv 2013
-
[30]
D. Adamovic and A. Milas,C 2-cofiniteW-algebras and their logarithmic representations, arXiv:1212.6771
-
[31]
L. Di Pietro and Z. Komargodski,Cardy formulae for SUSY theories ind=4 andd=6, JHEP12(2014) 031, [arXiv:1407.6061]
Pith/arXiv arXiv 2014
-
[32]
M. Buican and T. Nishinaka,On the superconformal index of Argyres–Douglas theories, J. Phys. A49(2016), no. 1 015401, [arXiv:1505.05884]
Pith/arXiv arXiv 2016
-
[33]
A. Arabi Ardehali,High-temperature asymptotics of supersymmetric partition functions, JHEP07(2016) 025, [arXiv:1512.03376]
Pith/arXiv arXiv 2016
-
[34]
T. Arakawa and K. Kawasetsu,Quasi-lisse vertex algebras and modular linear differential equations,arXiv:1610.05865
-
[35]
N. J. Hitchin, A. Karlhede, U. Lindstrom, and M. Rocek,Hyperkahler Metrics and Supersymmetry, Commun. Math. Phys.108(1987) 535
1987
-
[36]
L. Rastelli and B. C. Rayhaun,Rationality in four dimensions, Phys. Rev. D109(2024), no. 10 105018, [arXiv:2308.06312]
Pith/arXiv arXiv 2024
-
[37]
Macaulay2, a software system for research in algebraic geometry
D. R. Grayson and M. E. Stillman, “Macaulay2, a software system for research in algebraic geometry.” Available athttps://macaulay2.com/
-
[38]
Gaiotto,N=2 dualities, JHEP08(2012) 034, [arXiv:0904.2715]
D. Gaiotto,N=2 dualities, JHEP08(2012) 034, [arXiv:0904.2715]
Pith/arXiv arXiv 2012
-
[39]
D. Gaiotto, G. W. Moore, and A. Neitzke,Wall-crossing, Hitchin systems, and the WKB approximation, Adv. Math.234(2013) 239–403, [arXiv:0907.3987]
Pith/arXiv arXiv 2013
-
[40]
A. Hanany and N. Mekareeya,Tri-vertices and SU(2)’s, JHEP02(2011) 069, [arXiv:1012.2119]
Pith/arXiv arXiv 2011
-
[41]
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. – 55 –
Pith/arXiv arXiv 1994
-
[42]
H. G. Kausch,Symplectic fermions, Nucl. Phys. B583(2000) 513–541, [hep-th/0003029]
Pith/arXiv arXiv 2000
-
[43]
T. Creutzig and T. Gannon,Logarithmic conformal field theory, log-modular tensor categories and modular forms, J. Phys. A50(2017), no. 40 404004, [arXiv:1605.04630]
Pith/arXiv arXiv 2017
-
[44]
S. D. Mathur, S. Mukhi, and A. Sen,On the Classification of Rational Conformal Field Theories, Phys. Lett. B213(1988) 303–308
1988
-
[45]
M. R. Gaberdiel and H. G. Kausch,A Rational logarithmic conformal field theory, Phys. Lett. B386(1996) 131–137, [hep-th/9606050]
Pith/arXiv arXiv 1996
-
[46]
M. R. Gaberdiel,An Algebraic approach to logarithmic conformal field theory, Int. J. Mod. Phys. A18(2003) 4593–4638, [hep-th/0111260]
Pith/arXiv arXiv 2003
-
[47]
M. Flohr and M. R. Gaberdiel,Logarithmic torus amplitudes, J. Phys. A39(2006) 1955–1968, [hep-th/0509075]
Pith/arXiv arXiv 2006
-
[48]
M. R. Gaberdiel and I. Runkel,The Logarithmic triplet theory with boundary, J. Phys. A39 (2006) 14745–14780, [hep-th/0608184]
Pith/arXiv arXiv 2006
-
[49]
Miyamoto,C 2-cofiniteness of cyclic-orbifold models, Communications in Mathematical Physics335(2015), no
M. Miyamoto,C 2-cofiniteness of cyclic-orbifold models, Communications in Mathematical Physics335(2015), no. 3 1279–1286
2015
-
[50]
A. B. Zamolodchikov,Infinite Additional Symmetries in Two-Dimensional Conformal Quantum Field Theory, Theor. Math. Phys.65(1985) 1205–1213
1985
-
[51]
P. Bouwknegt and K. Schoutens,W symmetry in conformal field theory, Phys. Rept.223 (1993) 183–276, [hep-th/9210010]
Pith/arXiv arXiv 1993
-
[52]
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
-
[53]
C. Beem and H. Kulkarni,Towards a classification of graded unitaryW 3 algebras, arXiv:2602.15944
-
[54]
A. Arabi Ardehali, C. Beem, M. Lemos, and L. Rastelli,Graded unitarity in the SCFT/VOA correspondence,JHEP06(2026) 075, [arXiv:2507.23781]
Pith/arXiv arXiv 2026
-
[55]
P. Argyres, M. Lotito, Y. L¨ u, and M. Martone,Geometric constraints on the space ofN= 2 SCFTs. Part I: physical constraints on relevant deformations, JHEP02(2018) 001, [arXiv:1505.04814]
Pith/arXiv arXiv 2018
-
[56]
P. C. Argyres, M. Lotito, Y. L¨ u, and M. Martone,Geometric constraints on the space ofN = 2 SCFTs. Part II: construction of special K¨ ahler geometries and RG flows, JHEP02 (2018) 002, [arXiv:1601.00011]
Pith/arXiv arXiv 2018
-
[57]
P. Argyres, M. Lotito, Y. L¨ u, and M. Martone,Geometric constraints on the space ofN= 2 SCFTs. Part III: enhanced Coulomb branches and central charges, JHEP02(2018) 003, [arXiv:1609.04404]
Pith/arXiv arXiv 2018
-
[58]
P. C. Argyres, M. Lotito, Y. L¨ u, and M. Martone,Expanding the landscape ofN= 2 rank 1 SCFTs, JHEP05(2016) 088, [arXiv:1602.02764]
Pith/arXiv arXiv 2016
-
[59]
P. Argyres and M. Martone,Construction and classification of Coulomb branch geometries, arXiv:2003.04954
Pith/arXiv arXiv 2003
-
[60]
A. Deb, C. Meneghelli, and L. Rastelli,The Nilpotency Index for 4dN= 2SCFTs, arXiv:2503.05975. – 56 –
-
[61]
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]
Pith/arXiv arXiv 2006
-
[62]
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]
Pith/arXiv arXiv 2007
-
[63]
F. A. Dolan and H. Osborn,Applications of the Superconformal Index for Protected Operators and q-Hypergeometric Identities to N=1 Dual Theories, Nucl. Phys. B818(2009) 137–178, [arXiv:0801.4947]. – 57 –
Pith/arXiv arXiv 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.