pith. sign in

arxiv: 2510.00679 · v2 · submitted 2025-10-01 · 🧮 math.RT

Affine vertex operator superalgebra L_{hat{sl(2|1)}}(mathcal{k},0) at boundary admissible level

Huaimin Li , Qing Wang This is my paper

Pith reviewed 2026-05-18 11:18 UTC · model grok-4.3

classification 🧮 math.RT
keywords affine vertex operator superalgebrasl(2|1)boundary admissible levelrationalityZhu algebraC2-cofinitecategory Oadmissible module
0
0 comments X

The pith

At boundary admissible level -1/2 the affine vertex operator superalgebra from sl(2|1) is rational in category O with finitely many admissible irreducibles.

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

The authors conjecture that the simple affine vertex operator superalgebra L associated to sl(2|1) is rational in category O precisely when the level k is boundary admissible, so that it admits only finitely many irreducible weak modules and these coincide with the admissible modules of level k. They prove the conjecture in full for the specific boundary value k = -1/2. They further replace the standard conformal vector by a one-parameter family of new Virasoro elements omega_xi and show that the resulting Q-graded structure remains rational while also becoming C2-cofinite. To highlight the necessity of the boundary condition they exhibit a non-boundary admissible level at which infinitely many irreducibles appear in O and rationality fails even after the conformal change.

Core claim

At the boundary admissible level k = -1/2 the simple affine vertex operator superalgebra L is rational in the category O. Its irreducible weak modules in O are exactly the admissible modules of level k. When equipped with a new Virasoro element omega_xi the associated Q-graded vertex operator superalgebra has Zhu algebra A_omega_xi(L(-1/2,0)) that is semisimple of finite dimension, hence the structure is rational and C2-cofinite. At the non-boundary admissible level k = 1/2 there exist infinitely many distinct irreducible weak modules in O and the modified structure is not rational.

What carries the argument

The Zhu algebra A_omega_xi(L(-1/2,0)) of the Q-graded vertex operator superalgebra, which is shown to be finite-dimensional and semisimple and thereby classifies all irreducible modules while proving rationality and C2-cofiniteness.

Load-bearing premise

That every irreducible weak module in category O for the simple quotient at boundary level k is one of the admissible modules of that level.

What would settle it

An explicit construction of an irreducible weak module lying in category O for L at level -1/2 that is not isomorphic to any admissible module of level -1/2 would falsify both the rationality claim and the exhaustion statement.

read the original abstract

Let $L_{\widehat{sl(2|1)}}(\mathcal{k},0)$ be the simple affine vertex operator superalgebra associated to the affine Lie superalgebra $\widehat{sl(2|1)}$ with admissible level $\mathcal{k}$. We conjecture that $L_{\widehat{sl(2|1)}}(\mathcal{k},0)$ is rational in the category $\mathcal{O}$ at boundary admissible level $\mathcal{k}$ and there are finitely many irreducible weak $L_{\widehat{sl(2|1)}}(\mathcal{k},0)$-modules in the category $\mathcal{O}$, where the irreducible modules are exactly the admissible modules of level $\mathcal{k}$ for $\widehat{sl(2|1)}$. In this paper, we first prove this conjecture at boundary admissible level $-\frac{1}{2}$. Then we give an example to show that outside of the boudary levels, $L_{\widehat{sl(2|1)}}(\mathcal{k},0)$ is not rational in the category $\mathcal{O}$. Furthermore, we consider the $\mathbb{Q}$-graded vertex operator superalgebras $(L_{\widehat{sl(2|1)}}(\mathcal{k},0),\omega_\xi)$ associated to a family of new Virasoro elements $\omega_\xi$, where $0<\xi<1$ is a rational number. We determine the Zhu's algebra $A_{\omega_\xi}(L_{\widehat{sl(2|1)}}(-\frac{1}{2},0))$ of $(L_{\widehat{sl(2|1)}}(-\frac{1}{2},0),\omega_\xi)$ and prove that $(L_{\widehat{sl(2|1)}}(-\frac{1}{2},0),\omega_\xi)$ is rational and $C_2$-cofinite. Finally, we consider the case of non-boundary admissible level $\frac{1}{2}$ to support our conjecture, that is, we show that there are infinitely many irreducible weak $L_{\widehat{sl(2|1)}}(\frac{1}{2},0)$-modules in the category $\mathcal{O}$ and $(L_{\widehat{sl(2|1)}}(\frac{1}{2},0),\omega_\xi)$ is not rational.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper conjectures that the simple affine vertex operator superalgebra L_{sl(2|1)^}(k,0) is rational in category O at boundary admissible levels k, with irreducible weak modules precisely the admissible modules of level k. It proves the conjecture for the boundary level k=-1/2 by computing the Zhu algebra A_{ω_ξ}(L(-1/2,0)) for a family of new Virasoro elements ω_ξ (0<ξ<1 rational) and establishing rationality together with C_2-cofiniteness of (L(-1/2,0), ω_ξ). It supplies a counter-example of non-rationality outside boundary levels and, for the non-boundary admissible level k=1/2, constructs infinitely many irreducible weak modules in O while showing that (L(1/2,0), ω_ξ) is not rational.

Significance. If the central identification of Zhu-algebra simples with admissible modules holds, the work supplies concrete evidence for rationality of affine vertex operator superalgebras at boundary admissible levels, a setting where superalgebra results remain sparse compared with ordinary affine VOAs. The explicit Zhu-algebra calculation and the systematic contrast between boundary and non-boundary cases are technically useful; the introduction of the one-parameter family of Virasoro elements ω_ξ that restores rationality is a noteworthy device.

major comments (2)
  1. [Proof of the conjecture at boundary level k=-1/2] The section proving the conjecture at k=-1/2 determines A_{ω_ξ}(L(-1/2,0)) and thereby classifies simple modules up to isomorphism, yet the subsequent claim that these modules coincide exactly with the admissible highest-weight modules (and that no other irreducible weak modules exist in O) rests on an unverified matching of zero-mode eigenvalues or characters against the known admissible weights for sl(2|1) at level -1/2. This identification is load-bearing for both the rationality and the finiteness statements.
  2. [Introduction and statement of the conjecture] The assumption that admissible modules of level k exhaust all irreducible weak modules in category O is invoked both in the statement of the conjecture and in the k=-1/2 proof; the manuscript does not supply an independent argument ruling out the possible existence of additional non-admissible modules in O that are invisible to the Zhu algebra.
minor comments (2)
  1. [Abstract] Typo: 'boudary' appears instead of 'boundary' in the abstract (twice) and should be corrected.
  2. [Section introducing the family (L(k,0), ω_ξ)] The relation between the new Virasoro element ω_ξ and the standard conformal vector of the affine VOSA is introduced without an explicit formula or reference; a short paragraph clarifying the shift would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable feedback on our manuscript. The points raised regarding the module identification and the completeness of the classification in category O are important, and we address them point by point below. We will incorporate revisions to clarify these aspects and strengthen the arguments.

read point-by-point responses

  1. Referee: The section proving the conjecture at k=-1/2 determines A_{ω_ξ}(L(-1/2,0)) and thereby classifies simple modules up to isomorphism, yet the subsequent claim that these modules coincide exactly with the admissible highest-weight modules (and that no other irreducible weak modules exist in O) rests on an unverified matching of zero-mode eigenvalues or characters against the known admissible weights for sl(2|1) at level -1/2. This identification is load-bearing for both the rationality and the finiteness statements.

    Authors: We appreciate the referee highlighting this issue. In our computation of the Zhu algebra A_{ω_ξ}(L(-1/2,0)), we derive the possible relations and find a finite number of simple modules by solving for the eigenvalues of the zero modes corresponding to the Cartan subalgebra elements. To match these to the admissible modules, we use the known character formulas and weight multiplicities for admissible representations of sl(2|1) at level -1/2, as listed in the literature on admissible levels for superalgebras. However, we acknowledge that this matching could be presented more explicitly. In the revised version, we will add a detailed comparison, including a table of the zero-mode eigenvalues and conformal weights for each Zhu algebra simple module alongside the corresponding admissible module data. This will confirm the identification and support the rationality and finiteness claims more robustly. revision: yes

  2. Referee: The assumption that admissible modules of level k exhaust all irreducible weak modules in category O is invoked both in the statement of the conjecture and in the k=-1/2 proof; the manuscript does not supply an independent argument ruling out the possible existence of additional non-admissible modules in O that are invisible to the Zhu algebra.

    Authors: The conjecture posits that at boundary admissible levels, the irreducible weak modules in O are precisely the admissible ones. For the proof at k = -1/2, the rationality of (L(-1/2,0), ω_ξ) is established by showing that the Zhu algebra is finite-dimensional and semisimple, which implies that there are finitely many simple modules in the category of modules for which the Zhu algebra applies (typically, those with semisimple L(0) action). Regarding modules invisible to the Zhu algebra, we note that for affine vertex operator superalgebras, the category O consists of modules that are integrable with respect to the positive nilpotent subalgebra, making them highest weight modules. The Zhu algebra construction is tailored to classify all such highest weight modules via their top level vectors. To make this explicit, we will include in the revised manuscript a brief explanation in the introduction and a remark in the proof section referencing standard results in VOA theory that ensure all irreducible objects in O are captured by the simple modules of the Zhu algebra. This addresses the concern without altering the main results. revision: yes

Circularity Check

0 steps flagged

Minor self-citation on admissible modules; central rationality proof via Zhu algebra is independent

full rationale

The paper proves rationality and C2-cofiniteness at k=-1/2 by explicit computation of the Zhu algebra A_ω_ξ(L(-1/2,0)) and classification of its simple modules. This step is self-contained and does not reduce to a fitted parameter or self-referential definition. The conjecture that these modules coincide exactly with admissible ones in category O relies on standard prior results about admissible modules for affine Lie superalgebras, which are external to the present derivation. No load-bearing step equates a prediction to its own input by construction, and the non-boundary counterexample is shown by exhibiting infinitely many modules directly. One minor self-citation on background theory is present but not circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard axioms of vertex operator superalgebras, the definition of admissible levels for affine Lie superalgebras, and the category O of modules; no free parameters or new invented entities are introduced.

axioms (2)
  • standard math Standard axioms of vertex operator superalgebras and affine Lie superalgebras hold for the simple quotient L at admissible level k.
    Invoked throughout the statement of the conjecture and the proofs for k=-1/2.
  • domain assumption The admissible modules of level k are precisely the irreducible weak modules in category O for the simple VOSA at boundary admissible level.
    Central to the conjecture and its verification at k=-1/2.

pith-pipeline@v0.9.0 · 5972 in / 1510 out tokens · 39206 ms · 2026-05-18T11:18:59.677940+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Classification of the irreducible ordinary modules for affine vertex operator superalgebras

    math.RT 2026-05 unverdicted novelty 6.0

    At boundary admissible levels, the affine vertex operator superalgebra for a type I basic classical Lie superalgebra has exactly u irreducible ordinary modules, while for type II or ordinary Lie algebras it has only itself.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages · cited by 1 Pith paper

  1. [1]

    Arakawa, Rationality of admissible affine vertex algebras in the categoryO,Duke Math

    T. Arakawa, Rationality of admissible affine vertex algebras in the categoryO,Duke Math. J.165(2016), no. 1, 67-93

    work page 2016

  2. [2]

    Arakawa, J

    T. Arakawa, J. Van Ekeren, Modularity of relatively rational vertex algebras and fusion rules of principal affineW-algebras,Comm. Math. Phys.370(2019), no. 1, 205-247

    work page 2019

  3. [3]

    Adamovi´ c, A

    D. Adamovi´ c, A. Milas, Vertex operator algebras associated to modular invariant representations forA (1) 1 ,Math. Res. Lett.2(1995), no. 5, 563-575

    work page 1995

  4. [4]

    Adamovi´ c, P

    D. Adamovi´ c, P. M¨ oseneder Frajria, P. Papi, On the semisimplicity of the category KL k for affine Lie superalgebras,Adv. Math.405(2022), No. 108493

    work page 2022

  5. [5]

    Bowcock, A

    P. Bowcock, A. Taormina, Representation theory of the affine Lie superalgebra bsl(2/1;C) at fractional level,Comm. Math. Phys.185(1997), no. 2, 467-493

    work page 1997

  6. [6]

    D. Cox, J. Little, D. O’Shea, Using algebraic geometry, Graduate Texts in Mathe- matics, vol. 185, Springer-Verlag, New York, 1998

    work page 1998

  7. [7]

    Cheng, W

    S. Cheng, W. Wang, Dualities and representations of Lie superalgebras, Graduate Studies in Mathematics, vol. 144, American Mathematical Society, Providence, RI, 2012

    work page 2012

  8. [8]

    Creutzig, D

    T. Creutzig, D. Ridout,W-algebras extending bgl(1|1), Lie theory and its applications in physics, 349-367, Springer Proc. Math. Stat., 36, Springer, Tokyo, 2013

    work page 2013

  9. [9]

    Creutzig, R

    T. Creutzig, R. McRae, J. Yang, Tensor structure on the Kazhdan-Lusztig category for affinegl(1|1),Int. Math. Res. Not. IMRN2022, no. 16, 12462-12515

    work page

  10. [10]

    C. Dong, H. Li, G. Mason, Regularity of rational vertex operator algebras,Adv. Math.132(1997), no. 1, 148-166

    work page 1997

  11. [11]

    C. Dong, H. Li, G. Mason, Vertex operator algebras associated to admissible repre- sentations of ˆsl2,Comm. Math. Phys.184(1997), no. 1, 65-93. 21

    work page 1997

  12. [12]

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

    work page 1998

  13. [13]

    De Sole, V

    A. De Sole, V. Kac, Finite vs affineW-algebras,Jpn. J. Math.1(2006), no. 1, 137-261

    work page 2006

  14. [14]

    Frenkel, Y

    I. Frenkel, Y. Huang, J. Lepowsky, On axiomatic approaches to vertex operator algebras and modules,Mem. Am. Math. Soc.104(1993)

    work page 1993

  15. [15]

    Frenkel, Y

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

    work page 1992

  16. [16]

    Gorelik, V

    M. Gorelik, V. Kac, On complete reducibility for infinite-dimensional Lie algebras, Adv. Math.226(2011), no. 2, 1911-1972

    work page 2011

  17. [17]

    Gorelik, V

    M. Gorelik, V. Kac, Characters of (relatively) integrable modules over affine Lie superalgebras,Jpn. J. Math.10(2015), no. 2, 135-235

    work page 2015

  18. [18]

    Gorelik, V

    M. Gorelik, V. Serganova, Snowflake modules and Enright functor for Kac-Moody superalgebras,Algebra Number Theory16(2022), no. 4, 839-879

    work page 2022

  19. [19]

    Kanade,A (2) 2l at level−l− 1 2,J

    S. Kanade,A (2) 2l at level−l− 1 2,J. Algebra608(2022), 617-644

    work page 2022

  20. [20]

    Kac, Lie superalgebras,Adv

    V. Kac, Lie superalgebras,Adv. Math.26(1977), 8-96

    work page 1977

  21. [21]

    V. Kac, M. Wakimoto, Modular invariant representations of infinite-dimensional Lie algebras and superalgebras,Proc. Nat. Acad. Sci. U.S.A.85(1988), no. 14, 4956- 4960

    work page 1988

  22. [22]

    V. Kac, M. Wakimoto, Integrable highest weight modules over affine superalgebras and Appell’s function,Comm. Math. Phys.215(2001), no. 3, 631-682

    work page 2001

  23. [23]

    V. Kac, M. Wakimoto, Representations of affine superalgebras and mock theta func- tions,Transform. Groups19(2014), no. 2, 383-455

    work page 2014

  24. [24]

    V. Kac, M. Wakimoto, Representations of superconformal algebras and mock theta functions,Trans. Moscow Math. Soc.78(2017), 9-74

    work page 2017

  25. [25]

    V. Kac, S. Roan, M. Wakimoto, Quantum reduction for affine superalgebras,Comm. Math. Phys.241(2003), 307-342

    work page 2003

  26. [26]

    Lin, Rationality of affine vertex operator superalgebras with rational conformal weights,Comm

    X. Lin, Rationality of affine vertex operator superalgebras with rational conformal weights,Comm. Math. Phys.402(2023), no. 3, 2765-2790

    work page 2023

  27. [27]

    Li, Local systems of vertex operators, vertex superalgebras and modules,J

    H. Li, Local systems of vertex operators, vertex superalgebras and modules,J. Pure Appl. Algebra109(1996), no.2, 143-195

    work page 1996

  28. [28]

    H. Li, Q. Wang, Affine vertex operator superalgebraL \osp(1|2)(l,0) at admissible level, to appear inIsrael J. Math., arXiv:2406.01830. 22

    work page arXiv

  29. [29]

    Malikov, B

    F. Malikov, B. Feigin, D. Fuks, Singular vectors in Verma modules over Kac-Moody algebras,Funct. Anal. Appl.20(1986), 103-113

    work page 1986

  30. [30]

    Musson, Lie superalgebras and enveloping algebras, Graduate Studies in Mathe- matics, vol

    I. Musson, Lie superalgebras and enveloping algebras, Graduate Studies in Mathe- matics, vol. 131, American Mathematical Society, Providence, RI, 2012

    work page 2012

  31. [31]

    Perˇ se, Vertex operator algebras associated to typeBaffine Lie algebras on ad- missible half-integer levels,J

    O. Perˇ se, Vertex operator algebras associated to typeBaffine Lie algebras on ad- missible half-integer levels,J. Algebra307(2007), no. 1, 215-248

    work page 2007

  32. [32]

    Semikhatov, Representations of infinite-dimensional algebras and conformal field theory: from N=2 to ˆsl(2|1),Theoret

    A. Semikhatov, Representations of infinite-dimensional algebras and conformal field theory: from N=2 to ˆsl(2|1),Theoret. and Math. Phys.112(1997), no. 2, 949-987

    work page 1997

  33. [33]

    Wood, Admissible levelosp(1|2) minimal models and their relaxed highest weight modules,Transform

    S. Wood, Admissible levelosp(1|2) minimal models and their relaxed highest weight modules,Transform. Groups25(2020), no. 3, 887-943

    work page 2020

  34. [34]

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

    work page 1996