alphaFeedback

WorksMathematics

Haagerup vertex operator algebras at central charge eight

AI contributions
Not recorded for this paper
View details
Ancillary data
1 code link, 1 data 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. Together with U1U_1 it generates the unitary C2C_2-cofinite algebra SS, which is isomorphic to the algebra constructed by Jiao. For the levels (1,39)(1,39), UU contains the explicit algebra of 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. The classification gives exactly two isomorphism classes, forming a single hyperbolic genus, as soon as either explicit candidate is known to be a Haagerup algebra. This property is proved for SS in [ArhIII], where the twin S♮S^\natural is also identified, with the algebra of Huang and Riesen, using the results of Dong, Jiao and Xu [DJX26]. 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.

2020 Mathematics subject classification: 17B69, 18M20, 11E12, 11F03, 81T40.

Key words: Haagerup fusion category, Drinfeld center, vertex operator algebra, vector-valued modular form, lattice, genus of vertex operator algebras, Heisenberg commutant.

Introduction

The Haagerup subfactor of index 5+132\frac{5+\sqrt{13}}{2} [6] gives rise to three Morita equivalent fusion categories H1\mathcal{H}_1, H2\mathcal{H}_2 and H3\mathcal{H}_3 [43]. 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=def3+132.(2)d \mathrel{\mathop{=}^{\mathrm{def}}} \frac{3+\sqrt{13}}{2}. \tag*{(2)}

Numerical studies of Haagerup symmetry in conformal field theory include [46 Y+22]. At central charge eight, Evans and Gannon [33] 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} [33 Section 2.4], and Gannon [40] began the analysis of its currents. Albert, Honda, Kaidi and Zheng [AHKZ26] suggested that the chiral (e8)1(\mathfrak{e}_8)_1 theory carries Haagerup symmetries. Möller and Rayhaun sketched [63], and Gannon and Rayhaun proposed [41], 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} [41 Section 4.3]. Recently, Jiao [52] 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 [66] and Huang [50] subsequently each announced such an algebra, with currents of levels (1,39)(1,39). Evans and Riesen [35] 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.

We classify the possible Haagerup algebras and construct the twin of any such algebra by exchanging its associated lattice. The classification starts from either of the two explicit candidates once it is known to be a Haagerup algebra. That the explicit algebra SS of Theorem 1.3 is a Haagerup algebra is proved in [5 Theorem 6.1]. 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−c24(1+O(q))q^{-\frac{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 [72, 49]. Both vectors of [33] 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 [40 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 [9 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), or (3,13)(3,13), case (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 [67] of Riesen, which are therefore forced by the representation category once the levels are (1,39)(1,39). Gannon [40 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}''. Here (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. 65
  2. [3]T. Arakawa. A remark on the C₂-cofiniteness condition on vertex algebras. Math. Z. 270 (2012), no. 1–2, 559–575. 41
  3. [4]C. Arhancet. Haagerup symmetries of the E₈ theory and conformal nets at central charge eight. Preprint, 2026. arXiv:2611.03560. 8arxiv.org/abs/2611.03560
  4. [5]C. Arhancet. The Haagerup center at central charge eight via conformal nets. Preprint, 2026. 1, 3, 5, 6, 25, 32, 42, 52, 53, 54, 55, 60, 67
  5. [6]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. 2
  6. [7]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. [8]G. M. Bergman. The diamond lemma for ring theory. Adv. Math. 29 (1978), no. 2, 178–218. 59DOI
  8. [9]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. [11]G. Buhl. A spanning set for VOA modules. J. Algebra 254 (2002), no. 1, 125–151. 65DOI
  10. [12]D. Cartwright and B. Sturmfels. The number of eigenvalues of a tensor. Linear Algebra Appl. 438 (2013), no. 2, 942–952. 29
  11. [13]T. Creutzig, S. Kanade, A. R. Linshaw and D. Ridout. Schur–Weyl duality for Heisenberg cosets. Transform. Groups 24 (2019), no. 2, 301–354. 63
  12. [14]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. [15]T. Creutzig, S. Kanade and R. McRae. Gluing vertex algebras. Adv. Math. 396 (2022), Paper No. 108174. 11, 21, 63, 64, 65DOI
  14. [17]D. H. Collingwood and W. M. McGovern. Nilpotent orbits in semisimple Lie algebras. Van Nostrand Reinhold, New York, 1993. 22, 25
  15. [18]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
  16. [19]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, 63
  17. [20]C. Dong, X. Jiao and F. Xu. On the Haagerup vertex operator algebras. Preprint, arXiv:2611.04778v1 (2026). 1, 5, 52, 67arxiv.org/abs/2611.04778
  18. [21]C. Dong, H. Li and G. Mason. Simple currents and extensions of vertex operator algebras. Comm. Math. Phys. 180 (1996), no. 3, 671–707. 58
  19. [22]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. 22, 36arxiv.org/abs/q-alg/9508018
  20. [23]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. 12, 21, 54, 55, 66
  21. [24]C. Dong and X. Lin. Unitary vertex operator algebras. J. Algebra 397 (2014), 252–277. 33, 60arxiv.org/abs/1308.2361
  22. [25]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, 14, 21, 66DOI
  23. [26]C. Dong and G. Mason. Holomorphic vertex operator algebras of small central charge. Pacific J. Math. 213 (2004), no. 2, 253–266. Page references are to arXiv:math/0203005. 12, 15DOI
  24. [27]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. 22, 26DOI
  25. [28]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
  26. [29]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
  27. [30]P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik. Tensor categories. Mathematical Surveys and Monographs, 205. American Mathematical Society, Providence, RI, 2015. 64
  28. [31]P. Etingof, D. Nikshych and V. Ostrik. On fusion categories. Ann. of Math. (2) 162 (2005), no. 2, 581–642. 8, 12, 21, 68
  29. [33]D. E. Evans and T. Gannon. The exoticness and realisability of twisted Haagerup–Izumi modular data. Comm. Math. Phys. 307 (2011), no. 2, 463–512. Page and equation references are to arXiv:1006.1326v1. 2, 3, 6, 7, 8, 9, 10, 11, 12DOI
  30. [34]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
  31. [35]D. E. Evans and A. Riesen. Vertex operator algebra realizations of untwisted Haagerup–Izumi centers. Announcement, arXiv:2610.32928v1. 3arxiv.org/abs/2610.32928
  32. [36]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
  33. [37]I. Frenkel, J. Lepowsky and A. Meurman. Vertex operator algebras and the Monster. Pure and Applied Mathematics 134, Academic Press, Boston, 1988. 27
  34. [38]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
  35. [39]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. 22DOI
  36. [40]T. Gannon. Reconstruction I. The classical part of a vertex operator algebra. In: Operator algebras and mathematical physics, Adv. Stud. Pure Math. 80, Math. Soc. Japan, Tokyo, 2019, 71–107. DOI 10.2969/aspm/08010071. Section and page references are to the preprint version dated April 6, 2018. 2, 3, 4, 15, 22DOI
  37. [41]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
  38. [42]S. Gelaki and D. Nikshych. Nilpotent fusion categories. Adv. Math. 217 (2008), no. 3, 1053–1071. 8, 68
  39. [43]P. Grossman and N. Snyder. Quantum subgroups of the Haagerup fusion categories. Comm. Math. Phys. 311 (2012), no. 3, 617–643. 2, 7
  40. [44]T. Gannon, A. Schopieray and H. Yadav. On Haagerup–Izumi fusion categories. Preprint, arXiv:2609.25185v1. 7arxiv.org/abs/2609.25185
  41. [45]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, 63, 64, 65DOI
  42. [46]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
  43. [47]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, 60DOI
  44. [48]G. Höhn. On the genus of the moonshine module. Preprint, arXiv:1708.05990 (2017). 4, 60arxiv.org/abs/1708.05990
  45. [49]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
  46. [50]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, 11, 12, 14, 21, 25, 42, 52, 53, 55arxiv.org/abs/2610.14441
  47. [51]M. Izumi. The structure of sectors associated with Longo–Rehren inclusions. II. Examples. Rev. Math. Phys. 13 (2001), no. 5, 603–674. 7DOI
  48. [52]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, 7, 21, 27, 42, 43, 53, 67
  49. [53]F. Johansson. Arb: efficient arbitrary-precision midpoint-radius interval arithmetic. IEEE Trans. Comput. 66 (2017), no. 8, 1281–1292. 31arxiv.org/abs/1611.02831
  50. [54]V. G. Kac. Infinite-dimensional Lie algebras. Third edition. Cambridge University Press, Cambridge, 1990. 12, 21, 45
  51. [55]H. Li. Symmetric invariant bilinear forms on vertex operator algebras. J. Pure Appl. Algebra 96 (1994), no. 3, 279–297. 12, 65DOI
  52. [56]J. Lepowsky and H. Li. Introduction to vertex operator algebras and their representations. Progress in Mathematics 227, Birkhäuser, Boston, 2004. 62DOI
  53. [57]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, 60, 63arxiv.org/abs/1110.0544
  54. [58]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. 54, 55
  55. [60]M. Miyamoto. Griess algebras and conformal vectors in vertex operator algebras. J. Algebra 179 (1996), no. 2, 523–548. 28DOI
  56. [61]Y. Moriwaki. Genus of vertex algebras and mass formula. Math. Z. 299 (2021), no. 3–4, 1473–1505. 4, 60DOI
  57. [62]S. Möller and B. C. Rayhaun. Equivalence relations on vertex operator algebras, I: Genus. Preprint, arXiv:2408.07117v1 (2024). 4, 5, 60, 61, 63, 66, 67, 68arxiv.org/abs/2408.07117
  58. [63]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
  59. [65]V. V. Nikulin. Integral symmetric bilinear forms and some of their applications. Math. USSR Izv. 14 (1980), 103–167. 9, 62DOI
  60. [66]A. Riesen. The Haagerup VOA at c = 8, research announcement. Preprint, arXiv:2610.13933v1 (October 9, 2026). 3, 4, 6, 7, 11, 12, 14, 21, 25, 42, 50, 51, 52, 53, 55, 67, 75arxiv.org/abs/2610.13933
  61. [67]A. Riesen. The Haagerup VOA at central charge eight. Working manuscript haagerup_readable_proof.pdf in the package Haagerup_VOA_POST.zip, release snapshot-2026-10-09, https://github.com/Doctorfm98/Haagerup_VOA/releases/tag/snapshot-2026-10-09. Section, page and statement numbers refer to this release; a second version is announced in [Rie26a]. 4, 18, 25, 34, 35, 39, 41, 42, 49, 50, 53, 54, 55, 58, 59, 64
  62. [69]A. N. Schellekens. Meromorphic c = 24 conformal field theories. Comm. Math. Phys. 153 (1993), no. 1, 159–185. 14DOI
  63. [70]J.-P. Serre. Local fields. Graduate Texts in Mathematics 67, Springer, New York, 1979. 53
  64. [72]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, 54, 56, 63

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