2d Conformal Field Theories on Magic Triangle
Pith reviewed 2026-05-16 16:13 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [§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.
- [§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)
- [Abstract] Abstract, line 3: “distinghuished” is a typographical error; correct to “distinguished”.
- [§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
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
-
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
-
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
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
axioms (2)
- domain assumption The magic triangle due to Cvitanović and Deligne-Gross extends the Freudenthal-Tits magic square of semisimple Lie algebras.
- domain assumption All theories associated to the triangle are rational CFTs whose characters satisfy modular linear differential equations.
Lean theorems connected to this paper
-
IndisputableMonolith/Constants/AlphaDerivationExplicit.leanphi_golden_ratio matches?
matchesMATCHES: this paper passage directly uses, restates, or depends on the cited Recognition theorem or module.
S(1/4)=φ^{1/2}/5^{1/4} [[1,φ−1],[φ−1,−1]] (Appendix B); φ is the golden ratio
-
IndisputableMonolith/Foundation/BranchSelection.leanbranch_selection echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
universal coset T(μ,ρ)/T(ν,ρ)=T(μ,1/ν) and five atomic models (Vireff5,2, Vireff5,3, (U1)3, Vire6,5, D2A) generate the entire triangle
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
-
[1]
A. Anastasiou, L. Borsten, M. J. Duff, L. J. Hughes, and S. Nagy. A magic pyramid of supergravities.JHEP, 04:178, 2014
work page 2014
-
[2]
Greg Anderson and Gregory W. Moore. Rationality in Conformal Field Theory.Commun. Math. Phys., 117:441, 1988. – 27 –
work page 1988
-
[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
work page 2018
-
[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
work page 2018
-
[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]
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
work page 2021
-
[7]
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
work page 2021
-
[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
work page 2021
-
[9]
John C. Baez. The Octonions.Bull. Am. Math. Soc., 39:145–205, 2002
work page 2002
-
[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
work page 2018
- [11]
-
[12]
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
work page 1996
-
[13]
P. Cvitanovic. Negative Dimensions and the Emergence of E7 Symmetry in Supergravity. Nucl. Phys. B, 188:373–396, 1981
work page 1981
-
[14]
Predrag Cvitanovic.Group theory: Birdtracks, Lie’s and exceptional groups. Pr. Princeton, 2008
work page 2008
-
[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
work page 1996
-
[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
work page 1996
-
[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
work page 2002
-
[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
work page 2015
-
[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
work page 2022
-
[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
work page 2023
-
[21]
David C. Dunbar and Keith G. Joshi. Maverick examples of coset conformal field theories. Mod. Phys. Lett. A, 8:2803–2814, 1993. – 28 –
work page 1993
-
[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
work page 1988
-
[23]
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]
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
work page 2024
-
[25]
Jeffrey A. Harvey and Yuxiao Wu. Hecke Relations in Rational Conformal Field Theory. JHEP, 09:032, 2018
work page 2018
-
[26]
Supersymmetry and the Suzuki chain.Tunis
Theo Johnson-Freyd. Supersymmetry and the Suzuki chain.Tunis. J. Math., 3(2):309–359, 2021
work page 2021
-
[27]
Victor G. Kac and Minoru Wakimoto. On Modular Invariance of Quantum Affine W-Algebras.Commun. Math. Phys., 406(2):44, 2025
work page 2025
-
[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
work page 2021
-
[29]
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
work page 1995
-
[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
work page 2014
-
[31]
Kazuya Kawasetsu.W-algebras with Non-admissible Levels and the Deligne Exceptional Series.Int. Math. Res. Not., 2018(3):641–676, 2018
work page 2018
-
[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
work page 2018
- [33]
-
[34]
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
work page 2002
-
[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
work page 2000
-
[36]
J. M. Landsberg and L. Manivel. Triality, exceptional Lie algebras and Deligne dimension formulas.Adv. Math., 171(1):59–85, 2002
work page 2002
-
[37]
J. M. Landsberg and L. Manivel. Series of Lie groups.Michigan Math. J., 52(2):453–479, 2004
work page 2004
-
[38]
J. M. Landsberg and L. Manivel. The sextonions andE 7 1 2 .Adv. Math., 201(1):143–179, 2006
work page 2006
-
[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
work page 2001
-
[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 –
work page 2024
-
[41]
On intermediate exceptional series.Lett
Kimyeong Lee, Kaiwen Sun, and Haowu Wang. On intermediate exceptional series.Lett. Math. Phys., 114(5):113, 2024
work page 2024
-
[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
work page 1988
-
[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
work page 1989
-
[44]
Masahiko Miyamoto. 3-State Potts Model and Automorphisms of Vertex Operator Algebras of Order 3.Journal of Algebra, 239(1):56–76, 2001
work page 2001
-
[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
work page 2012
- [46]
-
[47]
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
work page 2024
-
[48]
V. V. Shtepin. Intermediate Lie algebras and their finite-dimensional representations.Izv. Ross. Akad. Nauk Ser. Mat., 57(6):176–198, 1993
work page 1993
-
[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]
Pierre Vogel. The Universal Lie algebra. Preprint, 1999. URL https://webusers.imj-prg.fr/~pierre.vogel/grenoble-99b.pdf
work page 1999
- [51]
-
[52]
Yongchang Zhu. Modular invariance of characters of vertex operator algebras.Journal of the American Mathematical Society, 9(1):237–302, 1996. – 30 –
work page 1996
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.