Pith. sign in

REVIEW 3 major objections 4 minor 62 references

On the Strong Unital Property for the Affine VOAs

T0 review · 3 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

Pith's one-line read The level-1 simple affine sl2 vertex operator algebra has explicit strong units for all degrees, and no universal affine sl2 VOA at non-critical level admits any.

desk verdict The negative theorem is solid; the explicit strong unit formula is wrong as printed because the central extension constants are evaluated at d=1. read the letter →

arxiv 2601.04187 v2 pith:2O43LYJC submitted 2026-01-07 math.QA math.RT

classification math.QAmath.RT MSC 17B6917B67
keywords vertexoperatoralgebrasaffineLiemodetransitionstrongunitalpropertyconformalblocksZhualgebrasl2level1vectorbundles
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper asks when the mode transition algebras of affine vertex operator algebras admit strong units—elements that act as the identity on every graded component of every admissible module—and answers it for the simplest affine cases. It proves that the universal affine VOAs for sl2 at any non-critical level k ≠ −2 never admit strong units, while the simple level-1 affine VOA L_sl2(1,0) does, with an explicit formula for the strong unit in every degree d. The payoff is concrete: the strong unital property is the condition under which sheaves of conformal blocks are vector bundles rather than merely coherent sheaves, and it is equivalent to the category of admissible modules being described by the Zhu algebra. By writing the units down, the paper turns an abstract existence statement for rational VOAs into something one can compute with.

What carries the argument

The d-th mode transition algebra A_d = (U/N^1_L U)_d ⊗_{U_0} A ⊗_{U_0} (U/N^1_R U)_{−d}, built from the universal enveloping algebra of a VOA and its Zhu algebra, with the product ⊛ and the strong-unit condition I_d ⋆ a = a, b ⋆ I_d = b. The positive argument rests on the isomorphism U(L_sl2(1,0)) ≅ eU(sl2,1)/⟨e(−1)e(−1)⟩, which replaces the enveloping algebra by a quotient of the completed affine enveloping algebra, and on the resulting relations e(x)e(y)=f(x)f(y)=0, e(x)h(y)=−e(x+y), h(x)f(y)=−f(x+y), h(x)h(y)+h(x+y)=2e(r)f(x+y−r). These relations let the paper express every left/right element as a short monomial and then verify the proposed I_d term-by-term on the spanning set.

What would settle it

Check the degree-2 case directly: compute I_2 ⋆ (h(−2)⊗x) using the bracket convention set in Sections 3.1–3.2, i.e. [f(2), e(−2)] = −h(0)+2 and [h(2), h(−2)] = 4·1. The coefficient of h(−2)⊗x comes out as 4/3 instead of 1, which would show that Eq. (1.5) is not a strong unit under that convention.

Watch

Extended reading notes

Core claim

The paper's central claim is the pair of theorems it calls Theorem 3.6 and Theorem 4.7. The first says that for V_sl2(k,0), the universal affine vertex operator algebra at level k, the first mode transition algebra has no strong unit whenever k ≠ −2; the proof writes a hypothetical unit as a combination of e(−1)⊗x⊗e(1), f(−1)⊗x⊗f(1), h(−1)⊗x⊗h(1) and derives a contradiction from the coefficients. The second says that for L_sl2(1,0), the simple quotient at level 1, every d-th mode transition algebra does have an explicit strong unit. The formula is I_d = (1/3)e(−d)⊗1⊗f(d) + (1/3)f(−d)⊗1⊗e(d) + (1/6)h(−d)⊗1⊗h(d) + Σ_{n,m>0, n+m=d} (1/λ_{n,m}) h(−n)h(−m)⊗1⊗h(n)h(m), where 1/λ_{n,m} equals 4d wh

Load-bearing premise

The construction's load-bearing premise is that the central terms in the affine brackets [f(d), e(−d)] and [h(d), h(−d)] contribute mode-independent constants (1 and 2) when verifying the unit equations, rather than the factors d fixed by the paper's own bracket convention at level 1, and it also assumes the stated spanning set and relations for the enveloping algebra are complete for every degree.

Editorial extensions

If this is right

  • Every d-th mode transition algebra of L_sl2(1,0) is strongly unital, with an explicit formula for the unit in every degree.
  • The sheaves of conformal blocks and coinvariants attached to admissible modules of L_sl2(1,0) satisfy smoothing, hence are vector bundles rather than merely coherent sheaves.
  • The category of admissible modules of L_sl2(1,0) is equivalent to modules over its Zhu algebra, the known consequence of strong unitality.
  • For V_sl2(k,0) with k ≠ −2, no strong unit exists, so the vector-bundle and category-equivalence consequences fail for these universal affine VOAs.
  • The relations and spanning set in Theorem 4.5 give an explicit affine-level presentation that generalizes the level-1 Zhu algebra presentation e^2 = 0.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The explicit coefficient pattern—1/3, 1/6, and the diagonal 4d—looks like a special value of a family depending on level k, so a natural test is whether analogous formulas exist for L_sl2(k,0) at other positive levels.
  • Reading the two theorems together suggests the obstruction is concentrated exactly in the ideal generated by e(−1)e(−1): the universal affine algebra has no strong units, its simple quotient does, and intermediate quotients may be where the transition occurs.
  • If one wants to compute conformal-block vector bundles algorithmically, the formula offers a direct way to construct bases without solving the strong-unital equations case by case.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies the strong unital property for the d-th mode transition algebras of affine vertex operator algebras. It establishes a negative result for universal affine VOAs V_{\widehat{\mathfrak{sl}_2}}(k,0) at non-critical levels k \neq -2 (Theorem 3.6), and claims to construct explicit strong units I_d for the simple rational affine VOA L_{\widehat{\mathfrak{sl}_2}}(1,0) (Theorem 4.7). The construction uses an isomorphism U(L_{\widehat{\mathfrak{sl}_2}}(1,0)) \cong \widehat{U}(\widehat{\mathfrak{sl}_2},1)/\langle e(-1)e(-1)\rangle (Theorem 4.4), a dense spanning set with relations (Theorem 4.5), and direct verification in Lemmas 4.8 and 4.9 of the left and right unit actions.

Significance. If the results were correct, the paper would provide the first explicit strong units for a rational affine VOA, with direct consequences for the vector-bundle property of conformal blocks and for the comparison with Zhu's algebra. The negative theorem for universal affine VOAs is also a useful contrast. The paper's strength is its explicit, checkable formulas and the attempt to verify the strong-unit equations directly rather than relying on abstract existence theorems. However, the central positive construction contains a concrete error in the evaluation of affine central-extension constants, and the claimed formula for I_d is false for d \geq 2 under the paper's own conventions. The completeness of the claimed spanning set and relations is also not proved, so the paper is not acceptable in its present form.

major comments (3)
  1. [§4.4, Lemmas 4.8–4.9 and Eq. (1.5)] The verification of I_d uses the d=1 central-extension constants. The bracket convention fixed in §3.1 is [a(m),b(n)] = [a,b](m+n) + m \delta_{m+n,0}(a|b)K. With K=1, (e|f)=1, (h|h)=2, this gives [f(d),e(-d)] = -h(0)+d, [e(d),f(-d)] = h(0)+d, and [h(d),h(-d)] = 2d. Lemma 4.8 instead uses -h(0)+1, h(0)+1, and 2. This is internally inconsistent: the same lemma's h(-n)h(-m) summation correctly uses central terms 2m\delta_{m,r}. Repeating the displayed calculation with the correct constants gives I_d \star (e(-d)\otimes x) = \frac{d+2}{3} e(-d)\otimes x and similarly I_d \star (h(-d)\otimes x) = \frac{d+2}{3} h(-d)\otimes x. Thus Eq. (1.5) is a strong unit only for d=1, not for d\geq 2. Replacing the coefficients 1/3, 1/3, 1/6 by 1/(d+2), 1/(d+2), 1/(2(d+2)) repairs the three single-pair checks, but as printed Theorem 4.7 is false.
  2. [§4.2–4.3 (Theorem 4.5)] Theorem 4.5 asserts a dense spanning set and a list of relations, and the strong-unit verification in Lemmas 4.8–4.9 uses the displayed spanning set for (U/N_L^1U)_d and (U/N_R^1U)_{-d} as though it were exact and the relations complete. The proof derives some relations by applying ad f to e(n_1)e(n_2)=0, but it never proves that the listed relations generate all relations, nor that the spanning set is independent, nor that no further relations reduce h(-n)h(-m) terms differently. Without a completeness or independence statement, the unit check covers only a proclaimed spanning set; additional relations could change A_{d,0} or A_{0,-d}. This gap is load-bearing for Theorem 4.7.
  3. [§3.3 (Theorem 3.6)] In the proof of Theorem 3.6, the equation obtained for the coefficient of 1\otimes e(1) is \lambda_{f,e}(h+k)x_{f,e} - 2\lambda_{h,e} e x_{h,e} = 1. The sentence 'clearly a contradiction' is not self-evident; it requires the fact that 1 is not in the left ideal U(\mathfrak{sl}_2)(h+k) + U(\mathfrak{sl}_2)e. This fact is true and can be shown by a weight/degree argument, but it must be stated. As written, the proof has a gap at a load-bearing step, though the claim itself appears plausible and likely repairable.
minor comments (4)
  1. [Eq. (4.6)] In Eq. (4.6), the term '-2(m+n_2)f(\ell+k+n_1)' appears to be missing an 'h'; it should likely read '-2h(m+n_2)f(\ell+k+n_1)'. Please check the derivation.
  2. [§4.4, Lemma 4.8] In the h(-r)h(-s) case, the phrase 'and n,m' after 'two cases' is incomplete. The case distinction should be stated clearly, e.g., (1) n=m=r=s and (2) (n,r) and (m,s) paired with r\neq s.
  3. [§3.3, proof of Theorem 3.6] The displayed equation for (1\otimes b(1))\star I_1 has unbalanced parentheses; the right-hand side should be enclosed as 1\otimes \left(\sum_{\alpha,\beta} \lambda_{\alpha,\beta}([b,\alpha](0)+k(b|\alpha)) x_{\alpha,\beta}\beta(1)\right) = 1\otimes b(1).
  4. [Eq. (1.5)] The notation \lambda^{-1}_{n,m} is used inconsistently with the text describing 'coefficients \lambda_{n,m}'. Please clarify whether the displayed values are \lambda_{n,m} or 1/\lambda_{n,m}.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central theorems are obtained by direct bracket computations, and the self-citations are contextual rather than load-bearing.

full rationale

The derivation chain is self-contained. Theorem 3.6 assumes a strong unit for A_1 and derives a contradiction from the A-basis independence in Lemma 3.5 together with the affine bracket relations; the non-existence result is not quoted from elsewhere. Theorem 4.7 proposes an explicit element I_d and verifies the strong-unit identities by direct Lie-bracket/relation computations in Lemmas 4.8–4.9, using relations obtained in Theorem 4.5 from the ideal generated by e(-1)e(-1). The coefficients in I_d are not fitted to the conclusion; they are an explicit ansatz checked directly. Citations to DGK24/DGK25/GGKL25 supply definitions and background equivalences and share some authors, but the proofs of Theorems 3.6 and 4.7 do not reduce to those citations, and no uniqueness theorem is imported to force the construction. The possible bracket-convention issue raised by a reader—that [f(d),e(-d)] is evaluated with a d=1 central term—is a correctness objection, not a circularity: it would make the verification wrong for d≥2, but it does not make the theorem's content an input to its own proof. Accordingly, no circular step is exhibited.

Assumptions & free parameters 2 free parameters · 5 assumptions · 0 invented entities

No external data exist in this paper; the only adjustable quantities are the coefficients of the candidate unit I_d, which are determined by the strong-unit consistency equations (Lemmas 4.8–4.9) rather than fitted to a target — the λ values are internally consistent, while the printed single-pair coefficients are the d = 1 solution and are load-bearing. All background facts (Zhu algebra isomorphisms, rationality of L(1,0), generation of the maximal ideal) are imported from the cited literature. No new entities are postulated.

free parameters (2)
  • coefficients 1/3, 1/3, 1/6 of the single-pair terms in I_d = 1/3, 1/3, 1/6 (corrected: 1/(d+2), 1/(d+2), 1/(2(d+2)))
    Chosen to satisfy the strong-unit equations in Lemmas 4.8–4.9; the printed values are the d = 1 solution extrapolated to all d, which fails for d ≥ 2.
  • λ^{-1}_{n,m} coefficients of h(−n)h(−m)⊗h(n)h(m) terms = 4d if d even and n=m=d/2; 2d otherwise
    Solved from the h(−r)h(−s) consistency cases in Lemma 4.8; these appear internally consistent.
assumptions (5)
  • standard math U(sl₂) is an integral domain, so λ(Ω − k(k+2)) = 0 implies λ = 0 for k ≠ −2
    Used in Lemma 3.5 to conclude A-linear independence; true for enveloping algebras over ℂ.
  • domain assumption Affine bracket convention [a(m),b(n)] = [a,b](m+n) + mδ_{m+n,0}(a|b)K with (θ|θ)=2 (so (e|f)=1, (h|h)=2)
    Stated in §3.1; all computations in §3–4 use it. It is also the convention against which the central-constant error in §4.4 is measured.
  • domain assumption The maximal ideal of V_{ŝl₂}(1,0) is generated by e(−1)e(−1)1, so in the quotient e(m)e(n) = 0 for all m,n
    Quoted from [K74, FK80] (§4.1); Lemmas 4.2–4.3 derive the full e(m)e(n)=0 family from it. Load-bearing for Theorems 4.4/4.5.
  • ad hoc to paper The identification U(L(1,0)) ≅ Û(ĝ,1)/⟨e(−1)e(−1)⟩ (Thm 4.4) and the dense spanning set of Thm 4.5 are complete — no further relations affect the mode transition algebra computations
    The verification of I_d in Lemmas 4.8–4.9 checks only the spanning elements of Theorem 4.5; if additional relations exist, the unit property on all of A_{d,0} and A_{0,−d} would need re-checking.
  • domain assumption The Zhu algebra of L(1,0) is U(sl₂)/⟨e²⟩
    Cited to [FZ92, Thm 3.1.2] (Lemma 4.1); used for the description of A and for identifying the level-1 relations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the Strong Unital Property for the Affine VOAs." pith.science (2026). https://pith.science/paper/2O43LYJC

@misc{pith2026260104187,
  author       = {Pith},
  title        = {Pith review of: On the Strong Unital Property for the Affine VOAs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2O43LYJC}},
  note         = {Machine review of arXiv:2601.04187}
}
abstract

Representations of vertex operator algebras $V$ (VOAs) have numerous applications, including the construction of sheaves of conformal blocks on moduli spaces of curves. For a $V$-module $W = \oplus W_d$, a sequence of associative algebras $\mathfrak{A}_d$ acts on each graded component $W_d$. When these $d$th-mode transition algebras $\mathfrak{A}_d$ are strongly unital - meaning they are unital with units acting as the identity on $W_d$ - the associated sheaves of conformal blocks are vector bundles rather than merely coherent sheaves. This strong unital property, while difficult to verify in practice, has other important implications as well. Here we construct explicit strong units for $L_{\widehat{\mathfrak{sl}_2}}(1,0)$, the simple affine VOA for $\mathfrak{sl}_2$ at level $1$, and establish that mode transition algebras for universal affine VOAs for $\mathfrak{sl}_2$ are never strongly unital at any level $k$ not equal to the critical level $-2$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

62 extracted references · 3 linked inside Pith

  1. [1]

    Addabbo and K

    D. Addabbo and K. Barron, The level two Zhu algebra for the Heisenberg vertex operator algebra, Comm. Algebra 51 (2023), no. 8, 3405--3463

  2. [2]

    Addabbo and K

    D. Addabbo and K. Barron, On generators and relations for higher level Zhu algebras and applications, J. Algebra 623 (2023), 496--540

  3. [3]

    Barron, J

    K. Barron, J. Fasquel, F. Hunziker, G. Yamskulna, On mode transition algebras for Z -graded vertex algebras and applications to bosonic ghosts, in preparation

  4. [4]

    Li, Fusion rules for the vertex operator algebra M(1)^+ and V_L^+ , Comm

    T.\,Abe, C\,Dong and H. Li, Fusion rules for the vertex operator algebra M(1)^+ and V_L^+ , Comm. Math. Phys. 253 (2005), no.1, 171--219

  5. [5]

    R.E.\,Borcherds, Vertex algebras, Kac-Moody algebras, and the Monster, Proc. Natl. Acad. Sci. USA 83 (1986), 3068--3071

  6. [6]

    C.\,Bai, L.\,Guo and J.\,Liu, Classical Yang-Baxter equation for vertex operator algebras and its operator forms, math.QA/2307.01977

  7. [7]

    C.\,Bai, L.\,Guo, J.\,Liu and X.\,Wang, On Rota-Baxter vertex operator algebras, math.QA/2307.09826

  8. [8]

    Damiolini,\,C., Gibney,\,A., and Krashen,\,D.: Conformal blocks on smoothings via mode transition algebras, Comm. Math. Phys. (2025), 406:131

Show all 62 references
  1. [9]

    arXiv:2403.11855

    Damiolini,\,C., Gibney,\,A., and Krashen,\,D., Morita equivalences for Zhu's algebra. arXiv:2403.11855

  2. [10]

    C.\,Dong, Twisted modules for vertex algebras associated with even lattices, J. Alg. 165 (1994), no. 1, 91--112. MR1272580

  3. [11]

    C.\,Dong and R.\,Jr.\,Griess, Rank one lattice type vertex operator algebras and their automorphism groups, J. Alg. 208 (1998), no.1, 262--275

  4. [12]

    C.\,Dong and J.\,Lepowsky, Generalized Vertex Algebras and Relative Vertex Operators, Progress in Math. , Vol. 112 , Birkh\"auser, Boston, MA, 1993

  5. [13]

    C.\,Dong and Z.\,Lin, Induced modules for vertex operator algebras. Comm. Math. Phys. 179 , (1996), no. 1, 157--183

  6. [14]

    C.\,Dong, H.\,Li and G.\,Mason, Certain associative algebras similar to U(sl_2) and Zhu's algebra A(V_L) , J. Alg. 196 (1997), no. 2, 532--551

  7. [15]

    C.\,Dong, H.\,Li and G.\,Mason, Twisted representations of vertex operator algebras. Math. Ann. 310 , (1998) 571--600

  8. [16]

    C.\,Dong, H.\,Li, and G.\,Mason, Regularity of rational vertex operator algebras, Adv. Math. 132 (1997), 142--166

  9. [17]

    C. Dong, G. Mason, Y. Zhu, Discrete series of the Virasoro algebra and the moonshine module, Proc. Symp. Pure. Math. , American Math. Soc. 56 II (1994), 295--316

  10. [18]

    Dong,\,C., Li,\,H., and Mason,\,G.: Vertex Lie algebra, vertex Poisson algebras and vertex algebras. In: Recent Developments in Infinite-Dimensional Lie Algebras and Conformal Field Theory , Proceedings of an International Conference at University of Virginia, May 2000, Contem...

  11. [19]

    C.\,Dong and K.\,Nagatomo, Representations of vertex operator algebra V_L^+ for rank one lattice L , Comm. Math. Phys. 202 (1999), no. 1, 169--195

  12. [20]

    Dong and G

    C. Dong and G. Mason, Rational vertex operator algebras and the effective central charge, Int. Math. Res. Not. 56 , 2990-3008 (2004)

  13. [21]

    248 , 117--133

    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 (Raleigh, NC, 1998), Contemporary Mathematics, American, Mathematical Society, Providence, RI, 1999, Vo...

  14. [22]

    C.\,Dong and N.\,Yu, -graded weak modules and Regularity, Commun. Math. Phys. 316 (2012), 269--277

  15. [23]

    Dong, C., Li, H., Mason, G.:

  16. [24]

    C.\,Dong and L.\,Ren, Representations of the parafermion vertex operator

  17. [25]

    C.\,Dong and Q.\,Wang, The structure of parafermion vertex operator algebras: general case, Comm. Math. Phys. 299 (2010), 783–792

  18. [26]

    Reine Angew

    J.\,van Ekeren, S.\,Möller and N.\,R.\,Scheithauer, Construction and classification of holomorphic vertex operator algebras, J. Reine Angew. Math. 759 (2020), 61--99

  19. [27]

    Representation theory: a first course , volume 129

    William Fulton and Joe Harris. Representation theory: a first course , volume 129 . Springer, 1991

  20. [28]

    Frenkel, Langlands correspondence for loop groups, Cambridge Studies in Advanced Mathematics, vol

    E. Frenkel, Langlands correspondence for loop groups, Cambridge Studies in Advanced Mathematics, vol. 103, Cambridge University Press, Cambridge, 2007

  21. [29]

    88 , American Mathematical Society, Providence, RI, 2004

    E.\,Frenkel and D.\,Ben-Zvi, Vertex algebras and algebraic curves , Second, Mathematical Surveys and Monographs, Vol. 88 , American Mathematical Society, Providence, RI, 2004

  22. [30]

    Memoirs American Math

    I.\,B.\,Frenkel, Y.-Z.\,Huang and J.\,Lepowsky, On axiomatic approaches to vertex operator algebras and modules. Memoirs American Math. Soc. 104 , (1993) 1--64

  23. [31]

    I.\,B.\,Frenkel, J.\,Lepowsky and A.\,Meurman, Vertex Operator Algebras and the Monster, Pure and Applied Math. , Vol. 134 , Academic Press, Boston MA, 1988

  24. [32]

    I.\,B.\,Frenkel and V.\,G.\,Kac, Basic representations of affine Lie algebras and dual resonance models, Invent. Math. 62 (1980), 23--66

  25. [33]

    I.\,B.\,Frenkel and Y.\,Zhu, Vertex operator algebras associated to representations of affine and Virasoro algebras, Duke Math. J. 66 (1992), 123--168

  26. [34]

    X.\,Gao, A.\,Gibney, D.\,Krashen, and J.\,Liu, Preprints, 2025

  27. [35]

    61 , Cambridge University Press, Cambridge, 2004

    K.\,R.\,Goodearl and R.\ B.\ Jr.\ Warfield, An Introduction to Noncommutative Noetherian Rings, 2nd ed., London Mathematical Society Student Texts , Vol. 61 , Cambridge University Press, Cambridge, 2004

  28. [36]

    21 , Springer-Verlag New York, NY, 1995

    J.\,E.\,Humphreys, Linear Algebraic Groups, Graduate Texts in Mathematics , Vol. 21 , Springer-Verlag New York, NY, 1995

  29. [37]

    9 , Springer-Verlag New York, NY, 1972

    J.\,E.\,Humphreys, Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics , Vol. 9 , Springer-Verlag New York, NY, 1972

  30. [38]

    Y.-Z.\,Huang and J.\,Lepowsky, On the D -module and formal-variable approaches to vertex algebras, in Topics in Geometry: In Memory of Joseph D'Atri, ed. S. Gindikin, Progress in Nonlinear Differential Equations, Birkhäuser, Boston, 1996, Vol. 20 , 175--202

  31. [39]

    Higher level Zhu algebras are subquotients of universal enveloping algebras

    Xiao He. Higher level Zhu algebras are subquotients of universal enveloping algebras. J. Algebra, 491:265–279, 2017

  32. [40]

    Huang,\,Y.-Z.: Differential equations and intertwining operators. Comm. Contemp. Math. 7 , 375-400 (2005)

  33. [41]

    Pure Appl

    Huang, Y.-Z., Yang, J.: Logarithmic intertwining operators and associative algebras, J. Pure Appl. Alg. 216, 1467--1492 (2012)

  34. [42]

    V. G. Kac, Infinite-dimensional Lie algebras and Dedekind's -function, Funct. Anal. Appl. 8 (1974), 68--70

  35. [43]

    V.\,G.\,Kac, Vertex Algebras for Beginners, University Lecture Series , 10 , Amer. Math. Soc., 1997

  36. [44]

    C.\,H.\,Lam, On the constructions of holomorphic vertex operator algebras of central charge 24 , Comm. Math. Phys. 305 (2011), 153--198

  37. [45]

    C.\,H.\,Lam and H.\,Shimakura, Classification of holomorphic framed vertex operator algebras of central charge 24 , Amer. J. Math. 137 (2015), 111--137

  38. [46]

    C.\,H.\,Lam and H.\,Shimakura, Orbifold construction of holomorphic vertex operator algebras associated to inner automorphisms, Comm. Math. Phys. 342 (2016), 803--841

  39. [47]

    Li,\,H.: Some finiteness properties of regular vertex operator algebras. J. Alg. 212 (1999), 495--514

  40. [48]

    H.\,Li, Abelianizing vertex algebras, Comm. Math. Phys. 259 (2005), 391--411

  41. [49]

    Koethe, American Journal of Mathematics , 67 (3) (1945), 437--442

    J.\, Levitzki, Solution of a problem of G. Koethe, American Journal of Mathematics , 67 (3) (1945), 437--442

  42. [50]

    J.\,Lepowsky and H.\,Li, Introduction to Vertex Operator Algebras and Their Representations, Progress in Math. , Vol. 227 , Birkh\"auser, Boston, 2004

  43. [51]

    H. Li, S. Tan, and Q. Wang, On vertex Leibniz algebras, J. Pure Appl. Algebra 217 (2013), 2356-2370

  44. [52]

    G.\,Moore and N.\,Seiberg, Classical and quantum conformal field theory, Comm. Math. Phys. 123 (1989), 177--254

  45. [53]

    S.\,Möller and N.-R.\,Scheithauer, Dimension formulae and generalised deep holes of the Leech lattice vertex operator algebra, Ann. of Math. (2) 197 (2023), no.1, 221--288

  46. [54]

    O.\,Ore, Theory of non-commutative polynomials, Ann. of Math. (2) 34 (1933), 480--508

  47. [55]

    A.\,N.\,Schellekens, Meromorphic c =24 conformal field theories, Comm. Math. Phys. 153 (1993), 159--185

  48. [56]

    Yang,\,Y., Liu,\,J.: Endomorphism property of vertex operator algebras over arbitrary fields. J. Algebra 622 , 450--468 (2023)

  49. [57]

    dissertation Yale Univ., (1968)

    D.-N.\,Verma, Structure of certain induced representations of complex semisimple Lie algebras, Ph.D. dissertation Yale Univ., (1968)

  50. [58]

    Scharlau, B.B

    R. Scharlau, B.B. Venkov, Reflective integral lattices. J. Alg. 181 , 934--961 (1996)

  51. [59]

    Tsuchiya, A., Kanie, Y.: Vertex operators in the conformal field theory on ^1 and monodromy representations of the braid group. Lett. Math. Phys. 13 , 303--312, (1987)

  52. [60]

    In: In Integrable systems in quantum field theory and statistical mechanics

    Tsuchiya, A., Ueno K., Yamada, Y.: Conformal field theory on universal family of stable curves with gauge symmetries. In: In Integrable systems in quantum field theory and statistical mechanics . Advanced Studies on Pure Math., Vol. 19 , 1989, pp. 459--566

  53. [61]

    Zhu, Y.: Global vertex operators on Riemann surfaces. Comm. Math. Phys. 165 , 485--531 (1994)

  54. [62]

    Y.\,Zhu, Modular invariance of characters of vertex operator algebras, J. Amer. Math. Soc. 9 (1996), 237--302

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.