alphaFeedback

You’re reading v1 — jump to latest

WorksMathematics

Haagerup vertex operator algebras at central charge eight

AI contributions
Not recorded for this paper
View details
Ancillary data
1 code link
View

Abstract

Evans and Gannon showed that a positive vertex operator algebra of central charge eight whose representation category is the Drinfeld center Z(H3)Z(\cal H_3) of the Haagerup fusion category has one of two character vectors, with six or nineteen currents. Call such an algebra, if strongly rational, a Haagerup algebra. We prove that a Haagerup algebra UU has six currents, that U1≅sl2⊕sl2U_1 \cong \mathfrak{sl}_2 \oplus \mathfrak{sl}_2 embeds into VE6⊕A2V_{E_6 \oplus A_2} in one of two explicit ways, with levels (1,39)(1,39) or (3,13)(3,13), and we determine the lowest weight spaces of its modules and U2U_2 as U1U_1-modules. For the levels (3,13)(3,13), U2U_2 is one of four Galois conjugate subspaces, and the algebra it generates is unitary, C2C_2-cofinite and isomorphic to the algebra constructed by Jiao; for the levels (1,39)(1,39), UU contains the algebra announced by Riesen. The associated lattice of UU is that of the form x2+xy+10y2x^2+xy+10y^2, resp.\ 3x2+3xy+4y23x^2+3xy+4y^2, the two classes of the principal genus of discriminant −39-39. Exchanging them in the decomposition of UU over its Heisenberg commutant gives a Haagerup algebra U♮U^\natural of the other levels, and U↦U♮U \mapsto U^\natural is a bijection between the isomorphism classes of the two cases. Consequently, if either explicit algebra of Jiao or Riesen is positive and strongly rational with representation category braided equivalent to Z(H3)Z(\cal H_3), there are exactly two Haagerup algebras up to isomorphism, forming a single hyperbolic genus. The explicit algebras of Jiao and Riesen have rational forms. The proofs combine exact trace relations given by vector-valued modular forms, exact computations in a model of VE6⊕A2V_{E_6 \oplus A_2}, and genera of vertex operator algebras.

Introduction

The Haagerup subfactor of index 5+132\frac{5+\sqrt{13}}{2} [5] gives rise to three Morita equivalent fusion categories H1\mathcal{H}_1, H2\mathcal{H}_2 and H3\mathcal{H}_3 [41]. The category H3\mathcal{H}_3 has six simple objects 11, aa, a2a^2, ρ\rho, aρa\rho, a2ρa^2\rho with fusion rules

a3≅1,aρ≅ρa2,ρ2≅1⊕ρ⊕aρ⊕a2ρ.(1)a^3 \cong1,\qquad a\rho\cong\rho a^2,\qquad\rho^2 \cong1 \oplus\rho\oplus a\rho\oplus a^2\rho. \tag*{(1)}

The Frobenius–Perron dimension of ρ\rho is

d≔3+132.(2)d \coloneqq\frac{3+\sqrt{13}}{2}. \tag*{(2)}

Whether the Haagerup categories, which do not come from finite groups or quantum groups, are realized in conformal field theory is a long-standing question. Numerically, Huang, Lin, Ohmori, Tachikawa and Tezuka [44] and Vanhoove and collaborators [69] found evidence for a Haagerup symmetric conformal field theory with c≈2c \approx2; no construction is known. At central charge eight, Evans and Gannon [EvG11] showed that a positive vertex operator algebra whose representation category has the modular data of the Drinfeld center Z(H3)Z(\mathcal{H}_3) has one of two character vectors, indexed by γ∈{0,1}\gamma\in\{0,1\}, with 6+13γ6+13\gamma currents; they observed that such an algebra should lie in VE6⊕A2V_{E_6\oplus A_2} [EvG11, Section 2.4], and Gannon Gannon [Gan19] began the analysis of its currents. Albert, Honda, Kaidi and Zheng [2] suggested that the chiral (e8)1(\mathfrak{e}_8)_1 theory carries Haagerup symmetries. Möller and Rayhaun sketched [61], and Gannon and Rayhaun proposed [39], a correspondence between finite non-invertible symmetries and conformal subalgebras of finite index; for the Haagerup categories, Gannon and Rayhaun predicted that a chiral algebra of central charge eight with representation category Z(H3)Z(\mathcal{H}_3) arises inside VE6⊕A2V_{E_6\oplus A_2} [39 Section 4.3]. Recently, Jiao [50] gave an explicit vertex operator algebra of central charge eight inside VE6⊕A2V_{E_6\oplus A_2}, with currents sl2⊕sl2\mathfrak{sl}_2 \oplus\mathfrak{sl}_2 of levels (3,13)(3,13), together with a computer-assisted proof that its representation category is Z(H3)Z(\mathcal{H}_3) (preprint of October 4, 2026, which we have not checked in full). Riesen [Rie26a] and Huang [48] subsequently each announced such an algebra, with currents of levels (1,39)(1,39). Evans and Riesen [33] have since announced realizations of the centers of the untwisted Haagerup–Izumi categories of every odd order by non-unitary algebras of negative central charge.

In this paper we determine all such algebras, up to the existence results of [50 Rie26a], which we use only as hypotheses, and we explain why there are two of them. We call Haagerup algebra a positive strongly rational vertex operator algebra UU of central charge eight with a braided equivalence Rep⁡(U)≅Z(H3)\operatorname{Rep}(U) \cong Z(\mathcal{H}_3); positive means that the irreducible modules other than UU have positive lowest conformal weights. Let us say that a vector-valued function is an admissible character vector for given modular data if it transforms according to that data, has nonnegative integral Fourier coefficients, has vacuum component q−c/24(1+O(q))q^{-c/24}(1+O(q)) and has positive conformal weights in all other components (Definition 2.2). The characters of a Haagerup algebra form such a vector by [70, 47]. Both vectors of [EvG11] pass the tests of character theory known to us (their coefficients are nonnegative integers up to q60q^{60}), so that character theory alone does not seem to decide which of them occurs.

Theorem 1.1 Let UU be a Haagerup algebra. Then the character vector of UU is the Evans–Gannon vector γ=0\gamma=0. In particular, UU has exactly six currents.

The proof has three steps. First, UU extends to VE8V_{E_8} through a Lagrangian algebra of Z(H3)Z(\mathcal{H}_3), and the subalgebra of this extension attached to the subcategory Vec⁡Z3⊂H3\operatorname{Vec}_{\mathbb{Z}_3}\subset\mathcal{H}_3 is the fixed point algebra of an element of order three of E8E_8; a dimension count identifies it with V′=VE6⊕A2V'=V_{E_6\oplus A_2} (Proposition 4.1). Second, the restrictions of the V′V'-modules to UU show that the representations 33 of sl3\mathfrak{sl}_3 and 2727 of e6\mathfrak{e}_6 are self-dual when restricted to U1U_1 (Proposition 4.4). Third, for hh in a Cartan subalgebra of U1U_1, the one-point functions of h[−1]hh[-1]h form a weight-two vector-valued modular form whose low-order coefficients are traces of h(0)2h^2_{(0)} on lowest weight spaces; this is the Killing vector of [Gan19, Section 2.4]. We determine the space of such forms exactly: the relations between its coefficients are produced by pairing with weakly holomorphic forms of weight zero for the dual representation and applying the residue theorem, in the spirit of the Serre duality of Borcherds [8 Theorem 3.1], and their completeness is proved by exhibiting exact elements (Proposition 5.4). For γ=1\gamma=1, the module d3d_3 has a one-dimensional lowest weight space, which forces strong inequalities on every simple ideal of U1U_1 and is incompatible with dim⁡U1=19\dim U_1=19 (§ 7). For γ=0\gamma=0, a Heisenberg recursion (Lemma 6.1) gives relations of weights four and six, which, together with the integrality of the weights of sl2\mathfrak{sl}_2, a bound coming from integrability and an explicit construction of e8\mathfrak{e}_8, lead to the following classification.

Theorem 1.2 Let UU be a Haagerup algebra. Then U1≅sl2⊕sl2U_1 \cong\mathfrak{sl}_2\oplus\mathfrak{sl}_2, and the inclusion U1⊂e6⊕sl3U_1\subset\mathfrak{e}_6\oplus\mathfrak{sl}_3 of Proposition 4.1 is, up to conjugation, one of two explicit embeddings, with levels (k′,k′′)=(1,39)(k',k'')=(1,39), case (I)(I), or (3,13)(3,13), case (II)(II). In each case the lowest weight spaces of the twelve simple modules and the weight-two space U2U_2 are uniquely determined as U1U_1-modules.

The precise statement is Theorem 8.5 with Table 2. In case (I) the table reproduces the data listed in the working manuscript [65] of Riesen, which are therefore forced by the representation category once the levels are (1,39)(1,39). Gannon [Gan19, Section 3.3] began the analysis of the six-dimensional case and treated the level one factor; the levels 13 and 39 come from diagonal embeddings into e6⊕sl3\mathfrak{e}_6 \oplus\mathfrak{sl}_3. We then implement V′V' in exact arithmetic over K=Q(13,−3)K = \mathbb{Q}(\sqrt{13},\sqrt{-3}) and study the Griess algebra of the commutant C=Com⁡U(A)C = \operatorname{Com}_U(A) of the affine subalgebra AA generated by U1U_1 (§ 10).

Case (I), levels (1,39)(1, 39)Case (II), levels (3,13)(3, 13)
RbR_b(0,2)+2(0,4)+(0,6)+(0,8)+(0,10)(0, 2) + 2(0, 4) + (0, 6) + (0, 8) + (0, 10)<br> +(1,3)+(1,5)+(1,9)+(1, 3) + (1, 5) + (1, 9)2(0,2)+2(0,4)+(1,1)+2(1,3)+(1,5)2(0, 2) + 2(0, 4) + (1, 1) + 2(1, 3) + (1, 5)<br> +(2,2)+(2,4)+(3,1)+(2, 2) + (2, 4) + (3, 1)
Ra,Rc0R_a, R_{c_0}2(0,2)+(0,4)+2(0,6)+(0,8)+(0,10)2(0, 2) + (0, 4) + 2(0, 6) + (0, 8) + (0, 10)<br> +(1,3)+(1,5)+(1,7)+(1, 3) + (1, 5) + (1, 7)2(0,2)+(0,4)+(0,6)+2(1,1)+2(1,3)2(0, 2) + (0, 4) + (0, 6) + 2(1, 1) + 2(1, 3)<br> +(1,5)+(2,0)+(2,2)+(2,4)+(1, 5) + (2, 0) + (2, 2) + (2, 4)
Rc1R_{c_1}(0,2)(0, 2)(0,2)(0, 2)
Rc2R_{c_2}(0,0)+(0,4)+(0,8)+(1,5)(0, 0) + (0, 4) + (0, 8) + (1, 5)(0,0)+(0,4)+(1,1)+(1,3)+(2,2)(0, 0) + (0, 4) + (1, 1) + (1, 3) + (2, 2)
Rd1R_{d_1}(0,6)(0, 6)(0,2)+(1,1)(0, 2) + (1, 1)
Rd2R_{d_2}(0,0)+(0,4)+(0,6)+(0,8)+(1,1)+(1,7)(0, 0) + (0, 4) + (0, 6) + (0, 8) + (1, 1) + (1, 7)(0,0)+(0,2)+(0,4)+(1,1)+(1,3)(0, 0) + (0, 2) + (0, 4) + (1, 1) + (1, 3)<br> +(1,5)+(2,2)+(1, 5) + (2, 2)
Rd3R_{d_3}(0,0)+(0,2)+2(0,4)+2(0,6)+2(0,8)+(0,12)(0, 0) + (0, 2) + 2(0, 4) + 2(0, 6) + 2(0, 8) + (0, 12)<br> +(1,1)+(1,3)+(1,5)+(1,7)+(1,9)+(1, 1) + (1, 3) + (1, 5) + (1, 7) + (1, 9)2(0,0)+(0,2)+2(0,4)+(0,6)+2(1,1)+2(1,3)2(0, 0) + (0, 2) + 2(0, 4) + (0, 6) + 2(1, 1) + 2(1, 3)<br> +2(1,5)+2(2,2)+(2,4)+(3,3)+2(1, 5) + 2(2, 2) + (2, 4) + (3, 3)
Rd4R_{d_4}(0,4)(0, 4)(0,0)+(1,1)(0, 0) + (1, 1)
Rd5R_{d_5}(0,4)+(1,3)(0, 4) + (1, 3)(0,4)+(1,3)(0, 4) + (1, 3)
Rd6R_{d_6}(0,2)+(0,6)+(1,1)(0, 2) + (0, 6) + (1, 1)(0,2)+(1,3)+(2,0)(0, 2) + (1, 3) + (2, 0)
U2U_24(0,0)+(0,2)+2(0,4)+2(0,8)+(0,12)4(0, 0) + (0, 2) + 2(0, 4) + 2(0, 8) + (0, 12)<br> +(1,1)+(1,5)+(1,7)+(1,13)+(1, 1) + (1, 5) + (1, 7) + (1, 13)<br> +(2,0)+(2,2)+(2, 0) + (2, 2)4(0,0)+(0,2)+2(0,4)+(1,1)+(1,3)+(1,5)4(0, 0) + (0, 2) + 2(0, 4) + (1, 1) + (1, 3) + (1, 5)<br> +(1,7)+(2,2)+(2,6)+(1, 7) + (2, 2) + (2, 6)<br> +(3,3)+(4,0)+(3, 3) + (4, 0)

Table 2. Lowest weight spaces and U2U_2 as modules over g′⊕g′′\mathfrak{g}' \oplus\mathfrak{g}''; (a,b)(a,b) stands for V(a,b)V(a,b), where aa refers to g′\mathfrak{g}' and bb to g′′\mathfrak{g}''. The labels of the rows RzR_z are bounded by the levels (Lemma 8.1); those of the row U2U_2 are not, since U2U_2 contains descendants, for instance the component V(4,0)⊂S2(g′)V(4,0) \subset S^2(\mathfrak{g}') of the weight-two space of Lsl2(3,0)L_{\mathfrak{sl}_2}(3,0) in case (II).

References

  1. [1]T. Abe, G. Buhl and C. Dong. Rationality, regularity, and C₂-cofiniteness. Trans. Amer. Math. Soc. 356 (2004), no. 8, 3391–3402. 66
  2. [2]J. Albert, Y. Honda, J. Kaidi and Y. Zheng. Haagerup symmetry in (E₈)₁? Phys. Rev. Lett. 136 (2026), 091603. Page and figure references are to arXiv:2512.08225v2. 3, 8
  3. [3]T. Arakawa. A remark on the C₂-cofiniteness condition on vertex algebras. Math. Z. 270 (2012), no. 1–2, 559–575. 41
  4. [4]C. Arhancet. Obstructions to rational Haagerup symmetric theories at central charge two. In preparation. 6
  5. [5]M. Asaeda and U. Haagerup. Exotic subfactors of finite depth with Jones indices (5 + √13)/2 and (5 + √17)/2. Comm. Math. Phys. 202 (1999), no. 1, 1–63. 2DOI
  6. [6]P. Bantay and T. Gannon. Vector-valued modular functions for the modular group and the hypergeometric equation. Commun. Number Theory Phys. 1 (2007), no. 4, 651–680. Page references are to arXiv:0705.2467v1. 10arxiv.org/abs/0705.2467
  7. [7]G. M. Bergman. The diamond lemma for ring theory. Adv. Math. 29 (1978), no. 2, 178–218. 59DOI
  8. [8]R. E. Borcherds. The Gross–Kohnen–Zagier theorem in higher dimensions. Duke Math. J. 97 (1999), no. 2, 219–233. Page references are to arXiv:alg-geom/9710002. 3, 16DOI
  9. [9]L. E. Bottini and S. Schäfer-Nameki. Construction of a gapless phase with Haagerup symmetry. Phys. Rev. Lett. 134 (2025), 191602. Extended version arXiv:2410.19040v4. 8arxiv.org/abs/2410.19040
  10. [11]D. Cartwright and B. Sturmfels. The number of eigenvalues of a tensor. Linear Algebra Appl. 438 (2013), no. 2, 942–952. 29
  11. [12]T. Creutzig, S. Kanade, A. R. Linshaw and D. Ridout. Schur–Weyl duality for Heisenberg cosets. Transform. Groups 24 (2019), no. 2, 301–354. 63DOI
  12. [13]S. Carpi, Y. Kawahigashi, R. Longo and M. Weiner. From vertex operator algebras to conformal nets and back. Mem. Amer. Math. Soc. 254 (2018), no. 1213. 33, 34
  13. [14]T. Creutzig, S. Kanade and R. McRae. Gluing vertex algebras. Adv. Math. 396 (2022), Paper No. 108174. 11, 21, 64, 65, 66DOI
  14. [15]T. Creutzig, R. McRae, K. Shimizu and H. Yadav. Commutative algebras in Grothendieck–Verdier categories, rigidity, and vertex operator algebras. Commun. Contemp. Math. (2025), 2550091. arXiv:2409.14618. 53DOI
  15. [16]D. H. Collingwood and W. M. McGovern. Nilpotent orbits in semisimple Lie algebras. Van Nostrand Reinhold, New York, 1993. 22, 24
  16. [17]D. A. Cox. Primes of the form x² + ny². Fermat, class field theory, and complex multiplication. Second edition, John Wiley & Sons, Hoboken, NJ, 2013. 62
  17. [18]C. Dong, X. Jiao and F. Xu. Quantum dimensions and quantum Galois theory. Trans. Amer. Math. Soc. 365 (2013), no. 12, 6441–6469. 34, 46, 55, 63arxiv.org/abs/1201.2738
  18. [19]C. Dong, H. Li and G. Mason. Simple currents and extensions of vertex operator algebras. Comm. Math. Phys. 180 (1996), no. 3, 671–707. 58DOI
  19. [20]C. Dong, H. Li and G. Mason. Regularity of rational vertex operator algebras. Adv. Math. 132 (1997), no. 1, 148–166. Page references are to arXiv:q-alg/9508018. 21arxiv.org/abs/q-alg/9508018
  20. [21]A. Davydov, M. Müger, D. Nikshych and V. Ostrik. The Witt group of non-degenerate braided fusion categories. J. Reine Angew. Math. 677 (2013), 135–177. Page references are to arXiv:1009.2117. 11, 12, 21, 54, 55, 66
  21. [22]C. Dong and X. Lin. Unitary vertex operator algebras. J. Algebra 397 (2014), 252–277. 33, 60arxiv.org/abs/1308.2361
  22. [23]C. Dong and G. Mason. Rational vertex operator algebras and the effective central charge. Int. Math. Res. Not. 2004, no. 56, 2989–3008. Page references are to arXiv:math/0201318. 13, 21, 66, 67DOI
  23. [25]C. Dong and G. Mason. Integrability of C₂-cofinite vertex operator algebras. Int. Math. Res. Not. 2006, Art. ID 80468. Page references are to arXiv:math/0601569. 21, 26DOI
  24. [26]C. Dong and K. Nagatomo. Automorphism groups and twisted modules for lattice vertex operator algebras. In: Recent developments in quantum affine algebras and related topics, Contemp. Math. 248, Amer. Math. Soc., Providence, RI, 1999, 117–133. 12, 21
  25. [27]E. B. Dynkin. Semisimple subalgebras of semisimple Lie algebras. Mat. Sb. (N.S.) 30(72) (1952), 349–462; English translation: Amer. Math. Soc. Transl. (2) 6 (1957), 111–244. 22
  26. [28]P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik. Tensor categories. Mathematical Surveys and Monographs, 205. American Mathematical Society, Providence, RI, 2015. 65
  27. [29]P. Etingof, D. Nikshych and V. Ostrik. On fusion categories. Ann. of Math. (2) 162 (2005), no. 2, 581–642. 8, 12, 21, 68
  28. [30]D. E. Evans. A vertex operator algebra for the S-fold realisation of a non-unitary Haagerup–Izumi modular fusion category. Preprint, arXiv:2610.26341v1, 2026. 53arxiv.org/abs/2610.26341
  29. [32]D. E. Evans and T. Gannon. Non-unitary fusion categories and their doubles via endomorphisms. Adv. Math. 310 (2017), 1–43. 34, 54, 55arxiv.org/abs/1506.03546
  30. [33]D. E. Evans and A. Riesen. Vertex operator algebra realizations of untwisted Haagerup–Izumi centers. Announcement, arXiv:2610.32928v1. 3arxiv.org/abs/2610.32928
  31. [34]I. B. Frenkel, Y.-Z. Huang and J. Lepowsky. On axiomatic approaches to vertex operator algebras and modules. Mem. Amer. Math. Soc. 104 (1993), no. 494. 34, 64DOI
  32. [35]I. Frenkel, J. Lepowsky and A. Meurman. Vertex operator algebras and the Monster. Pure and Applied Mathematics 134, Academic Press, Boston, 1988. 27
  33. [36]I. B. Frenkel and V. G. Kac. Basic representations of affine Lie algebras and dual resonance models. Invent. Math. 62 (1980), no. 1, 23–66. 22DOI
  34. [37]I. B. Frenkel and Y. Zhu. Vertex operator algebras associated to representations of affine and Virasoro algebras. Duke Math. J. 66 (1992), no. 1, 123–168. 21DOI
  35. [39]T. Gannon and B. C. Rayhaun. Hypergroup symmetry in relative quantum field theories and chiral algebras. Preprint, arXiv:2606.05279v1. Page references are to this version. 3, 12arxiv.org/abs/2606.05279
  36. [40]S. Gelaki and D. Nikshych. Nilpotent fusion categories. Adv. Math. 217 (2008), no. 3, 1053–1071. 8, 68
  37. [41]P. Grossman and N. Snyder. Quantum subgroups of the Haagerup fusion categories. Comm. Math. Phys. 311 (2012), no. 3, 617–643. 2, 54
  38. [42]T. Gannon, A. Schopieray and H. Yadav. On Haagerup–Izumi fusion categories. Preprint, arXiv:2609.25185v1. 7arxiv.org/abs/2609.25185
  39. [43]Y.-Z. Huang, A. Kirillov Jr. and J. Lepowsky. Braided tensor categories and extensions of vertex operator algebras. Comm. Math. Phys. 337 (2015), no. 3, 1143–1159. 11, 12, 21, 58, 64, 65, 66DOI
  40. [44]T.-C. Huang, Y.-H. Lin, K. Ohmori, Y. Tachikawa and M. Tezuka. Numerical evidence for a Haagerup conformal field theory. Phys. Rev. Lett. 128 (2022), 231603. 2DOI
  41. [45]G. Höhn. Genera of vertex operator algebras and three-dimensional topological quantum field theories. In: Vertex operator algebras in mathematics and physics (Toronto, 2000), Fields Inst. Commun. 39, Amer. Math. Soc., Providence, RI, 2003, 89–107. 4, 61
  42. [46]G. Höhn. On the genus of the moonshine module. Preprint, arXiv:1708.05990 (2017). 4, 61
  43. [47]Y.-Z. Huang. Rigidity and modularity of vertex tensor categories. Commun. Contemp. Math. 10 (2008), suppl. 1, 871–911. 3, 8, 13, 15, 19, 34, 46, 55, 63arxiv.org/abs/math/0502533
  44. [48]T.-C. Huang. Haagerup conformal field theory at central charge eight. Preprint, arXiv:2610.14441v2. The results are announced, with an outline of proof. 3, 5, 8, 11, 12, 14, 21, 25, 42, 51, 53, 54, 55arxiv.org/abs/2610.14441
  45. [49]M. Izumi. The structure of sectors associated with Longo–Rehren inclusions. II. Examples. Rev. Math. Phys. 13 (2001), no. 5, 603–674. 7DOI
  46. [50]X. Jiao. An explicit lattice construction for the Haagerup center. Preprint, October 4, 2026, 54 pages, https://www.researchgate.net/publication/415561299_An_explicit_lattice_construction_for_the_Haagerup_center. 3, 4, 5, 6, 7, 21, 27, 41, 42, 51, 53, 67
  47. [52]V. G. Kac. Infinite-dimensional Lie algebras. Third edition. Cambridge University Press, Cambridge, 1990. 12, 21, 45
  48. [53]H. Li. Symmetric invariant bilinear forms on vertex operator algebras. J. Pure Appl. Algebra 96 (1994), no. 3, 279–297. 65DOI
  49. [54]J. Lepowsky and H. Li. Introduction to vertex operator algebras and their representations. Progress in Mathematics 227, Birkhäuser, Boston, 2004. 63DOI
  50. [55]G. Mason. Lattice subalgebras of strongly regular vertex operator algebras. In: Conformal field theory, automorphic forms and related topics, Contrib. Math. Comput. Sci. 8, Springer, Heidelberg, 2014, 31–53. Page references are to arXiv:1110.0544. 4, 17, 21, 61, 63arxiv.org/abs/1110.0544
  51. [56]R. McRae. On rationality for C₂-cofinite vertex operator algebras. Camb. J. Math. 14 (2026), 1–115. Numbering of arXiv:2108.01898v3, where Main Theorem 3 is Corollary 5.19. 53, 54
  52. [57]R. McRae. On semisimplicity of module categories for finite non-zero index vertex operator subalgebras. Lett. Math. Phys. 112 (2022), Paper No. 25. 53DOI
  53. [59]Y. Moriwaki. Genus of vertex algebras and mass formula. Math. Z. 299 (2021), no. 3–4, 1473–1505. 4, 61DOI
  54. [60]S. Möller and B. C. Rayhaun. Equivalence relations on vertex operator algebras, I: Genus. Preprint, arXiv:2408.07117v1 (2024). 4, 5, 61, 63, 66, 67, 68arxiv.org/abs/2408.07117
  55. [61]S. Möller and B. C. Rayhaun. Equivalence relations on vertex operator algebras, II: Witt equivalence and orbifolds. Preprint, arXiv:2410.18166v2. 3arxiv.org/abs/2410.18166
  56. [63]V. V. Nikulin. Integral symmetric bilinear forms and some of their applications. Math. USSR Izv. 14 (1980), 103–167. 9, 62DOI
  57. [65]A. Riesen. The Haagerup VOA at central charge eight. Working manuscript Haagerup_VOA_Post.pdf of the package Haagerup_VOA_Post.zip of computational certificates, dated October 9, 2026, https://github.com/Doctorfm98/Haagerup_VOA. Section, page and statement numbers refer to this version; a second version is announced in [Rie26a]. 4, 5, 18, 25, 34, 35, 39, 41, 42, 48, 49, 50, 53, 54, 55, 58, 60, 61, 64
  58. [67]A. N. Schellekens. Meromorphic c = 24 conformal field theories. Comm. Math. Phys. 153 (1993), no. 1, 159–185. 14DOI
  59. [68]J.-P. Serre. Local fields. Graduate Texts in Mathematics 67, Springer, New York, 1979. 52
  60. [69]R. Vanhove, L. Lootens, M. Van Damme, R. Wolf, T. J. Osborne, J. Haegeman and F. Verstraete. Critical lattice model for a Haagerup conformal field theory. Phys. Rev. Lett. 128 (2022), 231602. 2
  61. [70]Y. Zhu. Modular invariance of characters of vertex operator algebras. J. Amer. Math. Soc. 9 (1996), no. 1, 237–302. 3, 8, 13, 15, 18, 19, 53, 55, 64DOI

Paper details

vlnc:W_c7tp24dg

published · Fresh — published within the last 30 days

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY-SA 4.0

Original source

  • Mathematics

Not recorded for this paper · View statement →

Looking for related papers…
Contents