pith. sign in

arxiv: 2601.04162 · v3 · submitted 2026-01-07 · ✦ hep-th

2d Conformal Field Theories on Magic Triangle

Pith reviewed 2026-05-16 16:13 UTC · model grok-4.3

classification ✦ hep-th
keywords magic trianglerational conformal field theorymodular linear differential equationscoset constructionsWZW modelsaffine charactersVirasoro minimal modelssupersymmetric CFT
0
0 comments X

The pith

The magic triangle of Lie algebras organizes all associated rational two-dimensional conformal field theories through a universal coset relation and a two-parameter family of fourth-order modular differential equations.

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

The paper establishes that every entry in the magic triangle corresponds to a rational CFT, including WZW models, Virasoro minimal models, and compact bosons with their modular invariants. It shows that a single two-parameter family of fourth-order modular linear differential equations generates the affine characters for all these theories at level one. A universal coset construction generalizes the known dual pair with the E8 level-one theory, fixing the dimensions and degeneracies of primary fields and reducing the entire set to five atomic models. At level two the subexceptional series acquires emergent N=1 supersymmetry whose characters obey a one-parameter family of fermionic differential equations. This framework supplies uniform coset realizations for higher-level theories as well.

Core claim

All rational CFTs linked to the magic triangle are captured by a two-parameter family of fourth-order modular linear differential equations at level one whose solutions are precisely the affine characters of every element; a universal coset relation with respect to (E8)_1 determines the full primary spectrum and expresses every theory as a coset of five atomic models, while the subexceptional series at level two exhibits N=1 supersymmetry realized by a one-parameter family of fermionic modular equations.

What carries the argument

The universal coset relation with respect to the level-one E8 theory, which fixes primary-field dimensions and degeneracies for the whole triangle and reduces all theories to five atomic models.

If this is right

  • The characters and spectra of all magic-triangle CFTs are uniformly generated by the identified family of fourth-order MLDEs.
  • Every theory in the triangle is obtained from one of five atomic models by the universal coset construction.
  • The subexceptional series at level two possesses emergent N=1 supersymmetry realized through fermionic modular differential equations.
  • Additional uniform coset realizations exist for WZW models at higher levels within the triangle.

Where Pith is reading between the lines

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

  • The same coset and differential-equation structure may extend to other exceptional series beyond the magic triangle.
  • Numerical solution of the MLDEs for concrete triangle entries would immediately yield previously unknown modular invariants or fusion rings.
  • The five atomic models could serve as building blocks for constructing rational CFTs outside the triangle by varying the coset parameters.

Load-bearing premise

Every entry in the magic triangle corresponds to a rational CFT whose characters are exactly the solutions of the stated modular differential equations and coset constructions, with no additional constraints or exceptions.

What would settle it

A direct comparison showing that the solutions of the two-parameter fourth-order MLDE fail to reproduce the known affine characters or fusion rules of any specific magic-triangle algebra, such as the level-one G2 or F4 theory, would falsify the identification.

read the original abstract

The magic triangle due to Cvitanovi\'c and Deligne--Gross is an extension of the Freudenthal--Tits magic square of semisimple Lie algebras. In this paper, we identify all two-dimensional rational conformal field theories associated to the magic triangle. These include various Wess--Zumino--Witten (WZW) models, Virasoro minimal models, compact bosons and their non-diagonal modular invariants. At level one, we uncover a two-parameter family of fourth-order modular linear differential equation whose solutions yield the affine characters of all elements in the magic triangle. We further establish a universal coset relation for the whole triangle, generalizing the dual-pair structure with respect to $(E_8)_1$ in the Cvitanovi\'c--Deligne exceptional series. This coset structure determines the dimensions and degeneracies of all primary fields and leads to five atomic models from which all theories in the triangle can be constructed. At level two, we find that a distinghuished row of the triangle -- the subexceptional series -- exhibits emergent $N=1$ supersymmetry. The corresponding Neveu--Schwarz/Ramond characters satisfy a one-parameter family of fermionic modular linear differential equations. In addition, we find several new uniform coset constructions involving WZW models at higher levels.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The paper identifies all two-dimensional rational conformal field theories associated to the Cvitanović–Deligne–Gross magic triangle. These include WZW models, Virasoro minimal models, compact bosons and non-diagonal modular invariants. At level one it presents a two-parameter family of fourth-order modular linear differential equations whose solutions are claimed to yield the affine characters of every entry; it establishes a universal coset relation that generalizes the E8 dual-pair structure, determines primary dimensions and degeneracies, and reduces the triangle to five atomic models. At level two the subexceptional series is shown to exhibit emergent N=1 supersymmetry with a one-parameter family of fermionic MLDEs, and several new uniform coset constructions at higher levels are given.

Significance. If the central identifications and derivations hold, the work supplies an explicit unifying framework that links a wide class of RCFTs to the magic triangle, extending known dual-pair structures with concrete MLDE families and atomic building blocks. The universal coset and the reduction to five atomic models would constitute a substantial organizational advance for modular data in these theories.

major comments (2)
  1. [§3] §3 (level-one MLDE construction): the claim that the two-parameter fourth-order family reproduces the affine characters of every entry, including classical and subexceptional series, is load-bearing for the “all theories” identification. Explicit term-by-term comparison of the q-expansion against the Kac–Weyl formula for at least one non-simply-laced classical entry (e.g., B_n or C_n at level 1) is required; without it the uniformity cannot be verified and the derivation may tacitly assume simply-laced root-system properties.
  2. [§4] §4 (universal coset relation): the statement that a single coset decomposition determines dimensions and degeneracies for the entire triangle rests on the E8 dual-pair generalization. The manuscript must exhibit the explicit branching rules or character identities for at least one classical entry; if these identities hold only after additional level-dependent adjustments, the “universal” and “parameter-free” character of the relation is compromised.
minor comments (2)
  1. [Abstract] Abstract, line 3: “distinghuished” is a typographical error; correct to “distinguished”.
  2. [§4] The five atomic models are introduced without an explicit table listing their central charges, primary spectra, or modular invariants; adding such a summary table would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised help clarify the presentation of the level-one MLDE family and the universal coset construction. We have revised the manuscript to incorporate explicit verifications for the requested cases, thereby strengthening the uniformity claims without altering the core results.

read point-by-point responses
  1. Referee: [§3] §3 (level-one MLDE construction): the claim that the two-parameter fourth-order family reproduces the affine characters of every entry, including classical and subexceptional series, is load-bearing for the “all theories” identification. Explicit term-by-term comparison of the q-expansion against the Kac–Weyl formula for at least one non-simply-laced classical entry (e.g., B_n or C_n at level 1) is required; without it the uniformity cannot be verified and the derivation may tacitly assume simply-laced root-system properties.

    Authors: We thank the referee for highlighting the need for this explicit check. The two-parameter family was constructed using the general root-system data of the magic triangle, which includes the non-simply-laced cases via the same coset reduction. In the revised §3 we have added a term-by-term q-expansion comparison for the (C_2)_1 WZW model. The coefficients of the MLDE solution match those obtained from the Kac–Weyl formula through order q^{12}, confirming that the family reproduces the affine characters without tacit assumptions about simply-laced root systems. This addition directly addresses the uniformity concern. revision: yes

  2. Referee: [§4] §4 (universal coset relation): the statement that a single coset decomposition determines dimensions and degeneracies for the entire triangle rests on the E8 dual-pair generalization. The manuscript must exhibit the explicit branching rules or character identities for at least one classical entry; if these identities hold only after additional level-dependent adjustments, the “universal” and “parameter-free” character of the relation is compromised.

    Authors: We agree that an explicit classical example strengthens the exposition. The revised §4 now includes the full branching rules and character identities for the (B_3)_1 entry. These identities are obtained directly from the E8 dual-pair generalization with no additional level-dependent adjustments, preserving the universal and parameter-free character of the coset relation. The resulting primary dimensions and degeneracies are consistent with the reduction to the five atomic models and match independent computations for this classical case. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in the derivation chain

full rationale

The paper constructs MLDE families and universal coset relations by generalizing known structures (such as the E8 dual pair) to the full magic triangle entries, deriving characters and primary data from the differential equations and coset decompositions rather than fitting parameters directly to the target characters or redefining the triangle via its own RCFT outputs. The identification of all associated RCFTs relies on explicit solutions to the stated equations and coset constructions, which are presented as independent of the final character lists; no step reduces by construction to a self-citation chain, ansatz smuggling, or renaming of inputs as predictions. The derivation remains self-contained against external benchmarks like Kac-Weyl formulas and known minimal models.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the existence of the magic triangle as an extension of the magic square and on the assumption that rational CFTs can be uniformly associated to its entries via modular differential equations and cosets.

axioms (2)
  • domain assumption The magic triangle due to Cvitanović and Deligne-Gross extends the Freudenthal-Tits magic square of semisimple Lie algebras.
    Invoked in the first sentence of the abstract as the starting algebraic object.
  • domain assumption All theories associated to the triangle are rational CFTs whose characters satisfy modular linear differential equations.
    Stated as the identification goal and used to derive the two-parameter family and coset relations.

pith-pipeline@v0.9.0 · 5530 in / 1422 out tokens · 48801 ms · 2026-05-16T16:13:45.049707+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages

  1. [1]

    Anastasiou, L

    A. Anastasiou, L. Borsten, M. J. Duff, L. J. Hughes, and S. Nagy. A magic pyramid of supergravities.JHEP, 04:178, 2014

  2. [2]

    Greg Anderson and Gregory W. Moore. Rationality in Conformal Field Theory.Commun. Math. Phys., 117:441, 1988. – 27 –

  3. [3]

    Quasi-lisse vertex algebras and modular linear differential equations

    Tomoyuki Arakawa and Kazuya Kawasetsu. Quasi-lisse vertex algebras and modular linear differential equations. InLie groups, geometry, and representation theory, volume 326 of Progr. Math., pages 41–57. Birkh¨ auser/Springer, Cham, 2018

  4. [4]

    Joseph ideals and lisse minimalW-algebras.J

    Tomoyuki Arakawa and Anne Moreau. Joseph ideals and lisse minimalW-algebras.J. Inst. Math. Jussieu, 17(2):397–417, 2018

  5. [5]

    On lisse non-admissible minimal and principal W-algebras.arXiv:2408.04584, 2024

    Tomoyuki Arakawa, Thomas Creutzig, and Kazuya Kawasetsu. On lisse non-admissible minimal and principal W-algebras.arXiv:2408.04584, 2024

  6. [6]

    Emergent supersymmetry on the edges.SciPost Phys., 11 (5):091, 2021

    Jin-Beom Bae and Sungjay Lee. Emergent supersymmetry on the edges.SciPost Phys., 11 (5):091, 2021

  7. [7]

    Fermionic rational conformal field theories and modular linear differential equations.PTEP, 2021(8): 08B104, 2021

    Jin-Beom Bae, Zhihao Duan, Kimyeong Lee, Sungjay Lee, and Matthieu Sarkis. Fermionic rational conformal field theories and modular linear differential equations.PTEP, 2021(8): 08B104, 2021

  8. [8]

    Harvey, Kimyeong Lee, Sungjay Lee, and Brandon C

    Jin-Beom Bae, Jeffrey A. Harvey, Kimyeong Lee, Sungjay Lee, and Brandon C. Rayhaun. Conformal Field Theories with Sporadic Group Symmetry.Commun. Math. Phys., 388(1): 1–105, 2021

  9. [9]

    John C. Baez. The Octonions.Bull. Am. Math. Soc., 39:145–205, 2002

  10. [10]

    Vertex operator algebras, Higgs branches, and modular differential equations.JHEP, 08:114, 2018

    Christopher Beem and Leonardo Rastelli. Vertex operator algebras, Higgs branches, and modular differential equations.JHEP, 08:114, 2018

  11. [11]

    Miranda C. N. Cheng, Terry Gannon, and Guglielmo Lockhart. Modular Exercises for Four-Point Blocks – I.arXiv:2002.11125, 2020

  12. [12]

    Cohen and Ronald de Man

    Arjeh M. Cohen and Ronald de Man. Computational evidence for Deligne’s conjecture regarding exceptional Lie groups.C. R. Acad. Sci. Paris S´ er. I Math., 322(5):427–432, 1996

  13. [13]

    Cvitanovic

    P. Cvitanovic. Negative Dimensions and the Emergence of E7 Symmetry in Supergravity. Nucl. Phys. B, 188:373–396, 1981

  14. [14]

    Predrag Cvitanovic.Group theory: Birdtracks, Lie’s and exceptional groups. Pr. Princeton, 2008

  15. [15]

    La s´ erie exceptionnelle de groupes de Lie.C

    Pierre Deligne. La s´ erie exceptionnelle de groupes de Lie.C. R. Acad. Sci. Paris S´ er. I Math., 322(4):321–326, 1996

  16. [16]

    La s´ erie exceptionnelle de groupes de Lie II.C

    Pierre Deligne and Ronald de Man. La s´ erie exceptionnelle de groupes de Lie II.C. R. Math. Acad. Sci. Paris, 323(6):577–582, 1996

  17. [17]

    Pierre Deligne and Benedict H. Gross. On the exceptional series, and its descendants.C. R. Math. Acad. Sci. Paris, 335(11):877–881, 2002

  18. [18]

    Congruence Property In Conformal Field Theory.Alg

    Chongying Dong, Siu-Hung Ng, and Xingjun Lin. Congruence Property In Conformal Field Theory.Alg. Numb. Theor., 9(9):2121–2166, 2015

  19. [19]

    Hecke relations, cosets and the classification of 2d RCFTs.JHEP, 09:202, 2022

    Zhihao Duan, Kimyeong Lee, and Kaiwen Sun. Hecke relations, cosets and the classification of 2d RCFTs.JHEP, 09:202, 2022

  20. [20]

    On classification of fermionic rational conformal field theories.JHEP, 02:079, 2023

    Zhihao Duan, Kimyeong Lee, Sungjay Lee, and Linfeng Li. On classification of fermionic rational conformal field theories.JHEP, 02:079, 2023

  21. [21]

    Dunbar and Keith G

    David C. Dunbar and Keith G. Joshi. Maverick examples of coset conformal field theories. Mod. Phys. Lett. A, 8:2803–2814, 1993. – 28 –

  22. [22]

    Differential Equations for Conformal Characters in Moduli Space.Phys

    Tohru Eguchi and Hirosi Ooguri. Differential Equations for Conformal Characters in Moduli Space.Phys. Lett. B, 203:44, 1988

  23. [23]

    Structure and representations of the coset vertex operator algebraC(L \osp(1|2)(2,0), L \osp(1|2)(1,0) ⊗2).arXiv:2509.14654, 2025

    Runkang Feng and Cuipo Jiang. Structure and representations of the coset vertex operator algebraC(L \osp(1|2)(2,0), L \osp(1|2)(1,0) ⊗2).arXiv:2509.14654, 2025

  24. [24]

    Andrea E. V. Ferrari, Niklas Garner, and Heeyeon Kim. Boundary vertex algebras for 3d N= 4 rank-0 SCFTs.SciPost Phys., 17(2):057, 2024

  25. [25]

    Harvey and Yuxiao Wu

    Jeffrey A. Harvey and Yuxiao Wu. Hecke Relations in Rational Conformal Field Theory. JHEP, 09:032, 2018

  26. [26]

    Supersymmetry and the Suzuki chain.Tunis

    Theo Johnson-Freyd. Supersymmetry and the Suzuki chain.Tunis. J. Math., 3(2):309–359, 2021

  27. [27]

    Kac and Minoru Wakimoto

    Victor G. Kac and Minoru Wakimoto. On Modular Invariance of Quantum Affine W-Algebras.Commun. Math. Phys., 406(2):44, 2025

  28. [28]

    Holomorphic modular bootstrap revisited.JHEP, 12:151, 2021

    Justin Kaidi, Ying-Hsuan Lin, and Julio Parra-Martinez. Holomorphic modular bootstrap revisited.JHEP, 12:151, 2021

  29. [29]

    Kaneko and D

    M. Kaneko and D. Zagier. Supersingularj-invariants, hypergeometric series, and Atkin’s orthogonal polynomials. InComputational perspectives on number theory (Chicago, IL, 1995), volume 7 ofAMS/IP Stud. Adv. Math., pages 97–126. Amer. Math. Soc., Providence, RI, 1998

  30. [30]

    The intermediate vertex subalgebras of the lattice vertex operator algebras.Lett

    Kazuya Kawasetsu. The intermediate vertex subalgebras of the lattice vertex operator algebras.Lett. Math. Phys., 104(2):157–178, 2014

  31. [31]

    Kazuya Kawasetsu.W-algebras with Non-admissible Levels and the Deligne Exceptional Series.Int. Math. Res. Not., 2018(3):641–676, 2018

  32. [32]

    Modular linear differential equations of fourth order and minimal W-algebras.J

    Kazuya Kawasetsu and Yuichi Sakai. Modular linear differential equations of fourth order and minimal W-algebras.J. Algebra, 506:445–488, 2018

  33. [33]

    Kim and J

    Heeyeon Kim and Jaewon Song. A Family of Vertex Operator Algebras from Argyres-Douglas Theory.2412.20015, 2024

  34. [34]

    Moonshine vertex operator algebra asL(1/2,0)⊗L(7/10,0)⊗L(4/5,0)⊗L(1,0)-modules.Journal of Pure and Applied Algebra, 173(1):15–48, 2002

    Masaaki Kitazume, Ching Hung Lam, and Hiromichi Yamada. Moonshine vertex operator algebra asL(1/2,0)⊗L(7/10,0)⊗L(4/5,0)⊗L(1,0)-modules.Journal of Pure and Applied Algebra, 173(1):15–48, 2002

  35. [35]

    Journal of Algebra, 224(2):268–291, 2000

    Ching Hung Lam and Hiromichi Yamada.Z 2 ×Z 2 codes and vertex operator algebras. Journal of Algebra, 224(2):268–291, 2000

  36. [36]

    J. M. Landsberg and L. Manivel. Triality, exceptional Lie algebras and Deligne dimension formulas.Adv. Math., 171(1):59–85, 2002

  37. [37]

    J. M. Landsberg and L. Manivel. Series of Lie groups.Michigan Math. J., 52(2):453–479, 2004

  38. [38]

    J. M. Landsberg and L. Manivel. The sextonions andE 7 1 2 .Adv. Math., 201(1):143–179, 2006

  39. [39]

    The projective geometry of Freudenthal’s magic square

    J.M Landsberg and L Manivel. The projective geometry of Freudenthal’s magic square. Journal of Algebra, 239(2):477–512, 2001

  40. [40]

    On intermediate Lie algebraE 7+1/2.Lett

    Kimyeong Lee, Kaiwen Sun, and Haowu Wang. On intermediate Lie algebraE 7+1/2.Lett. Math. Phys., 114(1):13, 2024. – 29 –

  41. [41]

    On intermediate exceptional series.Lett

    Kimyeong Lee, Kaiwen Sun, and Haowu Wang. On intermediate exceptional series.Lett. Math. Phys., 114(5):113, 2024

  42. [42]

    Mathur, Sunil Mukhi, and Ashoke Sen

    Samir D. Mathur, Sunil Mukhi, and Ashoke Sen. On the Classification of Rational Conformal Field Theories.Phys. Lett. B, 213:303–308, 1988

  43. [43]

    Mathur, Sunil Mukhi, and Ashoke Sen

    Samir D. Mathur, Sunil Mukhi, and Ashoke Sen. Reconstruction of Conformal Field Theories From Modular Geometry on the Torus.Nucl. Phys. B, 318:483–540, 1989

  44. [44]

    3-State Potts Model and Automorphisms of Vertex Operator Algebras of Order 3.Journal of Algebra, 239(1):56–76, 2001

    Masahiko Miyamoto. 3-State Potts Model and Automorphisms of Vertex Operator Algebras of Order 3.Journal of Algebra, 239(1):56–76, 2001

  45. [45]

    Morrison and Washington Taylor

    David R. Morrison and Washington Taylor. Classifying bases for 6D F-theory models. Central Eur. J. Phys., 10:1072–1088, 2012

  46. [46]

    Naculich

    Stephen G. Naculich. Differential equations for rational conformal characters.Nucl. Phys. B, 323:423–440, 1989

  47. [47]

    Modular linear differential operators and generalized rankin-cohen brackets.Transactions of the American Mathematical Society, 377 (11):7657–7698, 2024

    Kiyokazu Nagatomo, Yuichi Sakai, and Don Zagier. Modular linear differential operators and generalized rankin-cohen brackets.Transactions of the American Mathematical Society, 377 (11):7657–7698, 2024

  48. [48]

    V. V. Shtepin. Intermediate Lie algebras and their finite-dimensional representations.Izv. Ross. Akad. Nauk Ser. Mat., 57(6):176–198, 1993

  49. [49]

    Minimal W-algebras with non-admissible levels and intermediate Lie algebras

    Kaiwen Sun. Minimal W-algebras with non-admissible levels and intermediate Lie algebras. arXiv:2406.04182, 2024

  50. [50]

    The Universal Lie algebra

    Pierre Vogel. The Universal Lie algebra. Preprint, 1999. URL https://webusers.imj-prg.fr/~pierre.vogel/grenoble-99b.pdf

  51. [51]

    Westbury

    Bruce W. Westbury. Sextonions and the magic square.J. Lond. Math. Soc., 73(02):455–474, 2006

  52. [52]

    Modular invariance of characters of vertex operator algebras.Journal of the American Mathematical Society, 9(1):237–302, 1996

    Yongchang Zhu. Modular invariance of characters of vertex operator algebras.Journal of the American Mathematical Society, 9(1):237–302, 1996. – 30 –