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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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.
- [§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 (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)
- [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.
- [§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, 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).
- [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
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
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)))
- λ^{-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
assumptions (5)
- standard math U(sl₂) is an integral domain, so λ(Ω − k(k+2)) = 0 implies λ = 0 for k ≠ −2
- 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)
- 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
- 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
- domain assumption The Zhu algebra of L(1,0) is U(sl₂)/⟨e²⟩
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$.
Reference graph
Works this paper leans on
-
[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
2023
-
[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
2023
-
[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]
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
2005
-
[5]
R.E.\,Borcherds, Vertex algebras, Kac-Moody algebras, and the Monster, Proc. Natl. Acad. Sci. USA 83 (1986), 3068--3071
1986
-
[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]
C.\,Bai, L.\,Guo, J.\,Liu and X.\,Wang, On Rota-Baxter vertex operator algebras, math.QA/2307.09826
-
[8]
Damiolini,\,C., Gibney,\,A., and Krashen,\,D.: Conformal blocks on smoothings via mode transition algebras, Comm. Math. Phys. (2025), 406:131
2025
Show all 62 references
-
[9]
arXiv:2403.11855
Damiolini,\,C., Gibney,\,A., and Krashen,\,D., Morita equivalences for Zhu's algebra. arXiv:2403.11855
-
[10]
C.\,Dong, Twisted modules for vertex algebras associated with even lattices, J. Alg. 165 (1994), no. 1, 91--112. MR1272580
1994
-
[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
1998
-
[12]
C.\,Dong and J.\,Lepowsky, Generalized Vertex Algebras and Relative Vertex Operators, Progress in Math. , Vol. 112 , Birkh\"auser, Boston, MA, 1993
1993
-
[13]
C.\,Dong and Z.\,Lin, Induced modules for vertex operator algebras. Comm. Math. Phys. 179 , (1996), no. 1, 157--183
1996
-
[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
1997
-
[15]
C.\,Dong, H.\,Li and G.\,Mason, Twisted representations of vertex operator algebras. Math. Ann. 310 , (1998) 571--600
1998
-
[16]
C.\,Dong, H.\,Li, and G.\,Mason, Regularity of rational vertex operator algebras, Adv. Math. 132 (1997), 142--166
1997
-
[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
1994
-
[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...
2000
-
[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
1999
-
[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)
2004
-
[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...
1998
-
[22]
C.\,Dong and N.\,Yu, -graded weak modules and Regularity, Commun. Math. Phys. 316 (2012), 269--277
2012
-
[23]
Dong, C., Li, H., Mason, G.:
-
[24]
C.\,Dong and L.\,Ren, Representations of the parafermion vertex operator
-
[25]
C.\,Dong and Q.\,Wang, The structure of parafermion vertex operator algebras: general case, Comm. Math. Phys. 299 (2010), 783–792
2010
-
[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
2020
-
[27]
Representation theory: a first course , volume 129
William Fulton and Joe Harris. Representation theory: a first course , volume 129 . Springer, 1991
1991
-
[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
2007
-
[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
2004
-
[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
1993
-
[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
1988
-
[32]
I.\,B.\,Frenkel and V.\,G.\,Kac, Basic representations of affine Lie algebras and dual resonance models, Invent. Math. 62 (1980), 23--66
1980
-
[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
1992
-
[34]
X.\,Gao, A.\,Gibney, D.\,Krashen, and J.\,Liu, Preprints, 2025
2025
-
[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
2004
-
[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
1995
-
[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
1972
-
[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
1996
-
[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
2017
-
[40]
Huang,\,Y.-Z.: Differential equations and intertwining operators. Comm. Contemp. Math. 7 , 375-400 (2005)
2005
-
[41]
Pure Appl
Huang, Y.-Z., Yang, J.: Logarithmic intertwining operators and associative algebras, J. Pure Appl. Alg. 216, 1467--1492 (2012)
2012
-
[42]
V. G. Kac, Infinite-dimensional Lie algebras and Dedekind's -function, Funct. Anal. Appl. 8 (1974), 68--70
1974
-
[43]
V.\,G.\,Kac, Vertex Algebras for Beginners, University Lecture Series , 10 , Amer. Math. Soc., 1997
1997
-
[44]
C.\,H.\,Lam, On the constructions of holomorphic vertex operator algebras of central charge 24 , Comm. Math. Phys. 305 (2011), 153--198
2011
-
[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
2015
-
[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
2016
-
[47]
Li,\,H.: Some finiteness properties of regular vertex operator algebras. J. Alg. 212 (1999), 495--514
1999
-
[48]
H.\,Li, Abelianizing vertex algebras, Comm. Math. Phys. 259 (2005), 391--411
2005
-
[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
1945
-
[50]
J.\,Lepowsky and H.\,Li, Introduction to Vertex Operator Algebras and Their Representations, Progress in Math. , Vol. 227 , Birkh\"auser, Boston, 2004
2004
-
[51]
H. Li, S. Tan, and Q. Wang, On vertex Leibniz algebras, J. Pure Appl. Algebra 217 (2013), 2356-2370
2013
-
[52]
G.\,Moore and N.\,Seiberg, Classical and quantum conformal field theory, Comm. Math. Phys. 123 (1989), 177--254
1989
-
[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
2023
-
[54]
O.\,Ore, Theory of non-commutative polynomials, Ann. of Math. (2) 34 (1933), 480--508
1933
-
[55]
A.\,N.\,Schellekens, Meromorphic c =24 conformal field theories, Comm. Math. Phys. 153 (1993), 159--185
1993
-
[56]
Yang,\,Y., Liu,\,J.: Endomorphism property of vertex operator algebras over arbitrary fields. J. Algebra 622 , 450--468 (2023)
2023
-
[57]
dissertation Yale Univ., (1968)
D.-N.\,Verma, Structure of certain induced representations of complex semisimple Lie algebras, Ph.D. dissertation Yale Univ., (1968)
1968
-
[58]
Scharlau, B.B
R. Scharlau, B.B. Venkov, Reflective integral lattices. J. Alg. 181 , 934--961 (1996)
1996
-
[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)
1987
-
[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
1989
-
[61]
Zhu, Y.: Global vertex operators on Riemann surfaces. Comm. Math. Phys. 165 , 485--531 (1994)
1994
-
[62]
Y.\,Zhu, Modular invariance of characters of vertex operator algebras, J. Amer. Math. Soc. 9 (1996), 237--302
1996
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.