Pith. sign in

REVIEW 4 major objections 6 minor 36 references

Vertex algebras related to regular representations of $SL_2$

T0 review · 4 major / 6 minor · reviewed 2026-08-09 · deepseek-v4-flash

Pith's one-line read The paper constructs simple vertex algebras $\mathcal{C}_p$, $p\ge 1$, with modular characters, and identifies $\mathcal{C}_3,\mathcal{C}_4,\mathcal{C}_5$ with exceptional affine vertex algebras and $W$-algebras.

desk verdict New family C_p of vertex algebras with real content; the main structural premise (complete reducibility in Thm 3.1) is asserted rather than proved, and a few W-algebra identifications lean on 'easy to check' claims, but the character and modularity work is substantive. read the letter →

arxiv 2502.01766 v2 pith:YN34IBZU submitted 2025-02-03 math.QA

classification math.QA MSC 17B6917B2017B67
keywords vertexalgebraaffineW-algebraquasi-lisseconformalembeddingchiraldifferentialoperatorsregularrepresentationmodularcharacters
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

The paper constructs, for every integer $p\ge 1$, a simple vertex algebra $\mathcal{C}_p$ that contains $L_{-2+1/p}(\mathfrak{sl}_2)\otimes L_{-2-p}(\mathfrak{sl}_2)$ as a conformal subalgebra and decomposes as an explicit infinite direct sum of irreducible modules. The construction is a deformation of the regular representation of $\mathfrak{sl}_2$, or equivalently of the chiral differential operators on $SL_2$ at level $-2+1/p$, but with the second level chosen as $-2-p$ rather than the generic dual level. For small $p$ the algebra becomes a known object: $\mathcal{C}_3\cong L_{-5/3}(\mathfrak{g}_2)$, $\mathcal{C}_4\cong W_{-23/4}(F_4,A_1+\tilde A_1)$, and $\mathcal{C}_5\cong W_{-30+31/5}(E_8,A_4+A_2)$, giving explicit decompositions of certain conformal embeddings into exceptional affine $W$-algebras. The paper also proves that every $\mathcal{C}_p$ is half-integer graded with finite-dimensional graded pieces and that its character is modular of weight zero. The modularity result is offered as evidence for the conjectural quasi-lisse property of these algebras.

What carries the argument

The engine is inverse quantum Hamiltonian reduction (inverse QHR), built from the Drinfeld-Sokolov reduction functor $H_{\mathrm{DS},f}$. Starting from $U_p$, the vertex algebra of chiral differential operators on $SL_2$ at level $-2+1/p$, the paper reduces in one $\mathfrak{sl}_2$ direction to obtain $V_p$, a tensor product of a Virasoro vertex algebra and $L_{-2+1/p}(\mathfrak{sl}_2)$. Tensoring with the lattice/Heisenberg vertex algebra $\Pi(0)_{1/2}$ and taking the maximal integrable part for $\mathfrak{sl}_2\times\mathfrak{sl}_2$ converts the Virasoro modules back into $L_{-2-p}(\mathfrak{sl}_2)$ modules; this is the step that produces $\mathcal{C}_p$. The generation and simplicity of $\mathcal{C}_p$ are proved using Virasoro fusion rules and the fusion rules of $L_{-2+1/p}(\mathfrak{sl}_2)$-modules, together with the screening-operator realization from Proposition 2.1. For $p=4,5$, the same vertex algebras are independently realized as simple quotients of affine $W$-algebras at admissible levels, with strong generation by low-weight fields, and the isomorphisms are then proven by comparing extensions of the same conformal subalgebra.

What would settle it

A decisive numerical check would be to expand both sides of the character formula in Theorem 8.1 to order $q^{10}$ for $p=5$ and compare with the character of $W_{-30+31/5}(E_8,A_4+A_2)$ computed from the strong-generator description; a mismatch would disprove Theorem 6.9. Structurally, the identification $\mathcal{C}_4\cong W_{-23/4}(F_4,A_1+\tilde A_1)$ depends on the omitted 'same proof as in [7]' uniqueness statement, so exhibiting another simple vertex algebra satisfying the three conditions of Proposition 6.4 but not isomorphic to the $F_4$ $W$-algebra would decide that case. At the base, a single non-semisimple module in the category $KL_{-2+1/p}(\mathfrak{sl}_2)$ (or $KL_{-2-1/p}$) at the relevant negative level would falsify Theorem 3.1.

Watch

Extended reading notes

Core claim

The central object is a simple vertex algebra $\mathcal{C}_p$ defined for every integer $p\ge 1$ as an extension of $L_{-2+1/p}(\mathfrak{sl}_2)\otimes L_{-2-p}(\mathfrak{sl}_2)$, with decomposition $\mathcal{C}_p = \bigoplus_{\ell\ge 0} L_{\widehat{\mathfrak{sl}}_2}(-(2+p+p\ell)\Lambda_0+p\ell\Lambda_1)\otimes L_{\widehat{\mathfrak{sl}}_2}(-(2-1/p+\ell)\Lambda_0+\ell\Lambda_1)$. $\mathcal{C}_p$ is built by taking the maximal integrable part, for $\mathfrak{sl}_2\times\mathfrak{sl}_2$, of $V_p\otimes \Pi(0)_{1/2}$, where $V_p$ is the Drinfeld-Sokolov reduction of $U_p$, the vertex algebra of chiral differential operators on $SL_2$ at level $-2+1/p$. The paper proves that this algebra is simple and generated by its lowest two graded pieces, that its graded pieces are finite-dimensional, and that its character is modular of weight zero. In small cases the construction lands on known exceptional vertex algebras: $\mathcal{C}_3\cong L_{-5/3}(\mathfrak{g}_2)$, $\mathcal{C}_4\cong W_{-23/4}(F_4,A_1+\tilde A_1)$, and $\mathcal{C}_5\cong W_{-30+31/5}(E_8,A_4+A_2)$. This resolves the decomposition of certain conformal embeddings $\mathfrak{sl}_2\times\mathfrak{sl}_2$ into these exceptional algebras and gives explicit modular linear differential equations satisfied by the characters for $p=2,3,4,5$.

Load-bearing premise

The construction rests on cited complete reducibility (semisimplicity) of the module categories for $L_{-2+1/p}(\mathfrak{sl}_2)$ and $L_{-2-1/p}(\mathfrak{sl}_2)$ at these specific levels, plus an omitted proof by analogy for the uniqueness of the $F_4$ $W$-algebra; if those cited facts do not hold, the decomposition theorem and the $p=4$ isomorphism lose their support, even though $\mathcal{C}_p$ would still exist as a graded vertex algebra.

Editorial extensions

If this is right

  • Every $\mathcal{C}_p$ has finite-dimensional $\frac12\mathbb{Z}_{\ge 0}$-graded pieces and a convergent character, so the family gives non-rational vertex algebras whose characters are modular rather than merely formal series.
  • For $p=2,3,4,5$, the algebras are realized as $M(3)$, $L_{-5/3}(\mathfrak{g}_2)$, $W_{-23/4}(F_4,A_1+\tilde A_1)$, and $W_{-30+31/5}(E_8,A_4+A_2)$, giving explicit decompositions of the corresponding conformal embeddings into these exceptional algebras.
  • $\mathcal{C}_3$, $\mathcal{C}_4$, and $\mathcal{C}_5$ are quasi-lisse, and their characters satisfy explicit modular linear differential equations.
  • For all $p\ge 2$, $\eta(\tau)^6 \mathrm{ch}[\mathcal{C}_p]$ is a modular form of weight 3, so $\mathrm{ch}[\mathcal{C}_p]$ is modular of weight zero.
  • The isomorphisms resolve the problem of decomposing certain conformal embeddings of affine vertex algebras into affine $W$-algebras.

Reading between the lines

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

  • Beyond the paper: the same inverse-QHR mechanism is sketched in Section 10 for higher rank simple Lie algebras; if it works, there should be analogues $\mathcal{C}_{p,\mathfrak{g}}$ for every simple $\mathfrak{g}$, with $\mathcal{C}_{2,\mathfrak{sl}_3}$ expected to match an $F_4$ algebra from the exceptional series.
  • Beyond the paper: the appearance of $G_2$, $F_4$, and $E_8$ for $p=3,4,5$ suggests that the family may interpolate along the exceptional series; the paper explicitly does not expect affine $W$-algebra isomorphisms for $p\ge 6$, so a natural test is whether weaker relations (cosets, subalgebras, or identical modular data) persist.
  • Beyond the paper: because the modularity proof passes through Appell-Lerch series and indefinite theta functions, the characters of $\mathcal{C}_p$ are natural candidates for mock theta-function interpretations, and checking whether $\mathcal{C}_6$ satisfies the MLDE predicted by Conjecture 8.2 is a direct numerical test.
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

4 major / 6 minor

Summary. The paper constructs, for each positive integer p, a simple half-integer graded vertex algebra C_p obtained by inverse quantum Hamiltonian reduction from the algebra of chiral differential operators on SL_2 at level -2+1/p. The main structural result, Theorem 1.1, states that L_{-2+1/p}(sl_2) ⊗ L_{-2-p}(sl_2) is conformally embedded in C_p with an explicit decomposition into tensor products of simple sl_2-modules. The paper then identifies C_3 with L_{-5/3}(G_2), C_4 with W_{-23/4}(F_4, A_1+\tilde A_1), and C_5 with W_{-119/5}(E_8, A_4+A_2); shows that these three algebras are quasi-lisse via admissibility; computes explicit modular linear differential equations for p=2,3,4,5; and derives a closed character formula from which modularity of ch[C_p] is claimed for all p.

Significance. If the central identifications hold, this is a valuable family of non-rational, potentially quasi-lisse vertex algebras with finite-dimensional graded pieces and computable characters. The explicit isomorphisms with W-algebras of Deligne-series type, the MLDEs, and the closed Appell-Lerch expression for the character are concrete and falsifiable, and the inverse-QHR framework is clearly presented. The paper is also honest about the conjectural nature of quasi-lissness for general p. The main risk is that the proof infrastructure is uneven: Theorem 3.1 relies on an unproved semisimplicity assertion, and the C_4 and C_5 identifications depend on omitted uniqueness arguments and on a GAP computation reported without data. These points are load-bearing and need to be addressed before the paper's principal claims can be regarded as fully established.

major comments (4)
  1. [Section 3, Theorem 3.1] The proof of Theorem 3.1 asserts 'complete reducibility of the categories KL_{-2+1/p}(sl_2) and KL_{-2-1/p}(sl_2)' without a proof or a precise reference. These are non-generic levels, and complete reducibility of KL at admissible non-rational levels is not automatic; a nonzero extension between any two simple modules appearing in the direct sum would invalidate the isomorphism D^ch_{SL_2,-2+1/p} ≅ U_p and hence Theorem 1.1 and all later identifications of C_p. Please supply a proof or an exact reference for semisimplicity at these specific levels.
  2. [Section 6.2, Proposition 6.4 and Theorem 6.5] The identification C_4 ≅ W_{-23/4}(F_4, A_1+\tilde A_1) depends on the uniqueness result Proposition 6.4, but its proof is replaced by 'Using the same proof as in [7]', and Theorem 6.5 then says 'It is easy to check that our vertex algebra V satisfies the same conditions'. The omitted verification is load-bearing because the isomorphism is obtained by matching strong generators, gradings, and OPEs; without it the C_4 identification is not substantiated. Please include the proof or a precise reference to the exact statement used.
  3. [Section 6.3, Theorem 6.9] The E_8 computation of the graded pieces of g^f for f=f_{A_4+A_2} is reported as 'performed with GAP [20]', but no data, script, or output is provided, and Theorem 6.9 is then obtained by 'similar arguments as in the proof of Theorem 6.5'. Since the C_5 identification depends on this decomposition and on the uniqueness/extension argument, the computation should be made reproducible (for example, in an appendix with explicit module data or GAP code) or replaced by a proof.
  4. [Section 9, Theorem 9.3] The modularity claim is not established by the text. In Proposition 9.2 the specialized expression has ϑ_{n,n}(1)=0, so the evaluation at x=y=1 requires a limit, and derivatives of Appell-Lerch series are not modular termwise. The sentence 'An(τ) is clearly modular' after the identity is insufficient; please provide the modular transformation law, or a reference, for the specialized second derivative, and specify the congruence subgroup on which An is modular.
minor comments (6)
  1. [Abstract and Theorem 1.1] The abstract says p ≥ 2 while Theorem 1.1 states p ≥ 1; please clarify the intended range and check that all formulas in Section 8 are stated consistently.
  2. [Section 6.2, Theorem 6.5] The notation V is used in Theorem 6.5 without being defined in this section; it should refer explicitly to C_4 from Theorem 5.3 or be redefined.
  3. [Proposition 6.3] The citation 'Proposition 6.3 in [6]' has the same number as the current proposition, which is confusing; please cite as [6, Prop. 6.3] and verify the numbering.
  4. [Lemma 4.1] The condition 'ℓ ∈ Z≥0, ℓ ≥ 2' is not meaningful as written because the displayed character formulas depend on i; please correct the index and the range.
  5. [Throughout] There are several typos and grammatical slips, for example 'respond.' for 'respectively', 'In particilar' for 'In particular', 'we we would like' for 'we would like', and 'this results was obtained' for 'this result was obtained'.
  6. [Corollary 3.5] The statement about strong generation is unclear: it is not specified whether the 'six generators of conformal weight 1' are distinct from the generators of \widehat{sl_2}\times\widehat{sl_2}, and the type notation '(16,(p-1)/2)^{2p+2}' should be explained.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; main risks are unproved complete reducibility and omitted uniqueness checks, not self-referential derivation.

full rationale

The central derivation chain is not circular. C_p is built from the chiral differential operator algebra D^ch_{SL2,-2+1/p} and from inverse quantum Hamiltonian reduction; the small-p identifications are then derived through explicit character identities and OPE computations, not assumed. The modularity result in Theorem 9.3 is obtained from an explicit character formula via Jacobi/theta-function manipulation, and the MLDEs in Section 8 are verified after the characters are known, so they are not fitted inputs dressed as predictions. The paper does contain load-bearing gaps that would affect correctness if false, but they are not circular reductions: Theorem 3.1 invokes complete reducibility of KL_{-2+1/p}(sl2) and KL_{-2-1/p}(sl2) without a proof or precise reference; Proposition 6.4 is delegated to "using the same proof as in [7]"; and Theorem 6.5 says "it is easy to check" a key condition. These are omitted verifications or unsecured premises, not cases where a prediction equals its input by construction. Self-citations such as [9], [12], and [13] supply published QHR realizations and fusion rules that are independent of the target isomorphisms, so they do not make the paper circular.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The construction assembles external building blocks from the literature: no new entities are introduced and no numbers are fitted. The symbol p is a family index, not a free parameter; the MLDE coefficients and modularity properties are consequences of the structure. The most notable inputs are semisimplicity of negative level sl2 categories (cited without proof in Theorem 3.1), the Virasoro fusion rules in §2, (2.1), cited to [28], and the inverse QHR mechanism in Proposition 2.1, cited to [9, 13]. Each input has independent support in the prior literature, so the circularity burden is not increased.

assumptions (3)
  • domain assumption Complete reducibility of the categories KL_{-2+1/p}(sl2) and KL_{-2-1/p}(sl2) is used to get the U_p decomposition in Theorem 3.1.
    The proof of Theorem 3.1 says "Combining this with complete reducibility of the categories KL_{-2+1/p}(sl2) and KL_{-2-1/p}(sl2)" without citing a specific theorem covering these exact levels. If this fails at some level, the VOA structure on U_p loses support.
  • standard math The Virasoro fusion rules (2.1) from [28] are used to prove fusion decompositions and simplicity of V_p and C_p.
    They are used for inclusions such as V_p(1)·V_p(ℓ) ⊆ V_p(ℓ+1) ⊕ V_p(ℓ-1), which underlie the simplicity proof of C_p. This is a published fusion rule, hence a standard background fact.
  • standard math The inverse QHR formulation in Proposition 2.1, cited to [9, 13], turns Vir ⊗ Π modules into L_k(sl2) modules and yields C_p = (V_p ⊗ Π(0)_{1/2})^{int g0}.
    This is the main structural mechanism of the paper; the decomposition of C_p and all isomorphisms depend on it. As a result in established literature, it is a standard citation rather than a circular dependence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Vertex algebras related to regular representations of $SL_2$." pith.science (2026). https://pith.science/paper/YN34IBZU

@misc{pith2026250201766,
  author       = {Pith},
  title        = {Pith review of: Vertex algebras related to regular representations of $SL_2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YN34IBZU}},
  note         = {Machine review of arXiv:2502.01766}
}
abstract

We construct a family of potentially quasi-lisse (non-rational) vertex algebras, denoted by $\mathcal{C}_p$, $p \geq 2$, which are closely related to the vertex algebra of chiral differential operators on $SL(2)$ at level $-2+\frac{1}{p}$. We prove that for $p = 3$, there is an isomorphism between $\mathcal{C}_3$ and the affine vertex algebra $L_{-5/3}(\mathfrak{g}_2)$ from Deligne's series. Moreover, we also establish isomorphisms between $\mathcal{C}_4$ and $\mathcal{C}_5$ and certain affine ${W}$-algebras of types $F_4$ and $E_8$, respectively. In this way, we resolve the problem of decomposing certain conformal embeddings of affine vertex algebras into affine ${W}$-algebras. An important feature is that $\mathcal{C}_p$ is $\frac{1}{2} \mathbb{Z}_{\geq 0}$-graded with finite-dimensional graded subspaces and convergent characters. Therefore, for all $p \geq 2$, we show that the characters of $\mathcal{C}_p$ exhibit modularity, supporting the conjectural quasi-lisse property.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 31 canonical work pages

  1. [3]

    Arakawa and A

    T. Arakawa and A. Moreau, Arc spaces and vertex algebras , Springer Monograph, April 17 (2021): 170

  2. [13]

    Adamovi´ c, T

    D. Adamovi´ c, T. Creutzig, N. Genra, and J. Yang, The ver tex algebras V (p) and R(p) , Com- munications in Mathematical Physics volume 383, pages1207 -1241(2021) arXiv:2001.08048 [math.RT]

  3. [7]

    Arakawa, T

    T. Arakawa, T. Creutzig, K. Kawasetsu, and A. Linshaw, Or bifolds and cosets of minimal W -algebras, Comm. Math. Phys. 355 (2017), no. 1, 339–372

  4. [12]

    Adamovi´ c, V

    D. Adamovi´ c, V. G. Kac, P. M¨ oseneder Frajria, P. Papi, and O. Perˇ se, On classification of non-equal rank affine conformal embeddings and applicatio ns, Selecta Mathematica New Series, July 2018, Volume 24, Issue 3, pp 2455-2498

  5. [20]

    The GAP Group, GAP – Groups, Algorithms, and Programmin g, Version 4.14.0; 2024

  6. [1]

    Arkhipov and D

    S. Arkhipov and D. Gaitsgory. Differential operators on t he loop group via chiral algebras, International Mathematics Research Notices 2002.4 (2002) : 165-210

  7. [2]

    Arakawa and A

    T. Arakawa and A. Moreau. Joseph ideals and lisse minimal -algebras. Journal of the Institute of Mathematics of Jussieu 17.2 (2018): 397-417

  8. [5]

    Arakawa, J

    T. Arakawa, J. van Ekeren, and A. Moreau 2020. On the nilpo tent orbits arising from admissible affine vertex algebras, Proc. Lond. Math. Soc., 12 5 (2022), 681–699

Show all 36 references
  1. [6]

    Arakawa and K

    T. Arakawa and K. Kawasetsu, Quasi-lisse vertex algebra s and modular linear differential equations, Lie Groups, Geometry, and Representation Theor y: A Tribute to the Life and W ork of Bertram Kostant (2018): 41-57. 28 DRA ˇZEN ADAMOVI ´C AND ANTUN MILAS

  2. [8]

    Arakawa, Chiral algebras of class S and Moore-Tachika wa symplectic varieties, arXiv:1811.01577

    T. Arakawa, Chiral algebras of class S and Moore-Tachika wa symplectic varieties, arXiv:1811.01577

  3. [9]

    D. Adamovi´ c Realizations of simple affine vertex algebra s and their modules: the cases ˆsl2 and ˆosp(1,2), Communications in Mathematical Physics, March 2019, Vo lume 366, Issue 3, pp 1025-1067; arXiv:1711.11342 [math.QA]

  4. [10]

    Adamovi´ c, V

    D. Adamovi´ c, V. G. Kac, P. M¨ oseneder Frajria, P. Papi, and O. Perˇ se, Finite vs infinite decompositions in conformal embeddings, Communications i n Mathematical Physics 348 (2016) 445–473

  5. [11]

    Adamovi´ c, T

    D. Adamovi´ c, T. Arakawa, T. Creutzig, A. Linshaw, A. Mo reau, P. M¨ oseneder Frajria, and P. Papi, to appear

  6. [14]

    Adamovi´ c, P

    D. Adamovi´ c, P. M¨ oseneder Frajria, and P. Papi, New ap proaches for studying conformal embeddings and collapsing levels for W–algebras, Internat ional Mathematics Research No- tices, Volume 2023, Issue 22, November 2023, Pages 19431–19 475, rnad138, arXiv:2203.08497 [math.RT]

  7. [15]

    C. Beem, C. Meneghelli, and L. Rastelli, Free field reali zations from the Higgs branch. J. High Energ. Phys. 2019, 58 (2019). https://doi.org/10.100 7/JHEP09(2019)058

  8. [16]

    Beem and L

    C. Beem and L. Rastelli. Vertex operator algebras, Higg s branches, and modular differential equations. Journal of High Energy Physics 2018, no. 8 (2018) : 1-72

  9. [17]

    Feigin and S

    B. Feigin and S. Parkhomenko. Regular representation o f affine Kac-Moody algebras. Alge- braic and Geometric Methods in Mathematical Physics: Proce edings of the Kaciveli Summer School, Crimea, Ukraine, 1993. Dordrecht: Springer Nether lands, 1996

  10. [18]

    Feingold and I

    A. Feingold and I. Frenkel. Classical affine algebras. Ad vances in Mathematics 56.2 (1985): 117-172

  11. [19]

    Frenkel and K

    I. Frenkel and K. Styrkas. Modified regular representat ions of affine and Virasoro algebras, VOA structure and semi-infinite cohomology. Advances in Mat hematics 206.1 (2006): 57- 111

  12. [21]

    Gaitsgory, Quantum Langlands correspondence

    D. Gaitsgory, Quantum Langlands correspondence. arXi v preprint arXiv:1601.05279

  13. [22]

    Gelfand, The W eil representation of a Lie algebra of t ype G2 and related representations of SL3, Funktsional

    S. Gelfand, The W eil representation of a Lie algebra of t ype G2 and related representations of SL3, Funktsional. Anal. i Prilozhen. 14 (1980), no. 1, 51–52

  14. [23]

    Gorbounov, F

    V. Gorbounov, F. Malikov, and V. Schechtman, Gerbes of c hiral differential operators. II. Vertex algebroids. Invent. math. 155, 605–680 (2004)

  15. [24]

    Gorbounov, F

    V. Gorbounov, F. Malikov, and V. Schechtman, On chiral d ifferential operators over homogeneous spaces, International Journal of Mathematics and Mathematical Sciences, 2001;26(2):83-106

  16. [25]

    Iohara and Y

    K. Iohara and Y. Koga, Representation theory of the Virasoro algebra . Springer Science and Business Media, 2010

  17. [26]

    Kac and M

    V. Kac and M. W akimoto, Quantum reduction and represent ation theory of superconformal algebras, Adv. Math., 185(2):400–458, 2004

  18. [27]

    Kac and M

    V. Kac and M. W akimoto, Integrable highest weight modul es over affine superalgebras and number theory. In: Brylinski, J.-L., Brylinski, R., Guille min, V., Kac, V. (Eds.) Lie Theory andGeometry, Progress in Mathematics, vol. 123, pp. 415–45 6. Birkh¨ auser, Boston (1994)

  19. [28]

    Lin, Fusion rules of Virasoro vertex operator algebr as, Proceedings of the American Mathematical Society 143.9 (2015): 3765-3776

    X. Lin, Fusion rules of Virasoro vertex operator algebr as, Proceedings of the American Mathematical Society 143.9 (2015): 3765-3776

  20. [29]

    Malikov, Verma modules over Kac–Moody algebras of ra nk 2, Algebra i Analiz, 1990, Volume 2, Pages 65–84

    F. Malikov, Verma modules over Kac–Moody algebras of ra nk 2, Algebra i Analiz, 1990, Volume 2, Pages 65–84

  21. [30]

    A. Milas, On certain automorphic forms associated to ra tional vertex operator algebras, Pro- ceedings of a Workshop on the Moonshine Conjectures and Vert ex Algebras 2004 , London Mathematical Society Lecture Note Series, Cambridge Unive rsity Press, 330-357. 29

  22. [31]

    McRae, A general mirror equivalence theorem for cose t vertex operator algebras, Sci

    R. McRae, A general mirror equivalence theorem for cose t vertex operator algebras, Sci. China Math., Vol. 67 (2024), no. 10, 2237-2282

  23. [32]

    Roehrig and S

    C. Roehrig and S. Zwegers. Theta series for quadratic fo rms of signature ( n − 1,1) with (spherical) polynomials. International Journal of Number Theory 18.07 (2022): 1491-1515

  24. [33]

    Savin, An analogue of the W eil representation for G2, Journal f¨ ur die reine und ange- wandte Mathematik 435 (1993): 115-126

    G. Savin, An analogue of the W eil representation for G2, Journal f¨ ur die reine und ange- wandte Mathematik 435 (1993): 115-126

  25. [34]

    Semikhatov, A

    A. Semikhatov, A. Taorimina, and I. Yu Tipunin. Higher- level Appell functions, modular transformations, and characters. Communications in Mathe matical Physics 255 (2005): 469- 512

  26. [35]

    W einer, Bosonic construction of vertex operator p ara-algebras from symplectic affine Kac-Moody algebras, Mem

    M.D. W einer, Bosonic construction of vertex operator p ara-algebras from symplectic affine Kac-Moody algebras, Mem. Amer. Math. Soc. 135 (644) (1998), viii+106 pp

  27. [36]

    Zhu, Vertex operator algebras associated to modified regular representations of affine Lie algebras

    M. Zhu, Vertex operator algebras associated to modified regular representations of affine Lie algebras. Advances in Mathematics. 2008 Dec 1;219(5):1 513-47

  28. [37]

    Zwegers, Mock theta functions, arXiv preprint arXiv :0807.4834 (2008)

    S. Zwegers, Mock theta functions, arXiv preprint arXiv :0807.4834 (2008). (Draˇ zen Adamovi´ c)Department of Mathematics, F aculty of Science, University o f Zagreb, 10 000 Zagreb, Croatia Email address , Draˇ zen Adamovi´ c:adamovic@math.hr (Antun Milas) Department of Mathema...

Pith tools

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