arxiv: 2605.04668 · v1 · submitted 2026-05-06 · 🧮 math.RT · math.QA

Recognition: unknown

Classification of the irreducible ordinary modules for affine vertex operator superalgebras

Haimin Li, Qing Wang

Pith reviewed 2026-05-08 16:17 UTC · model grok-4.3

classification 🧮 math.RT math.QA

keywords affine vertex operator superalgebrasirreducible ordinary modulesbasic classical Lie superalgebrasboundary admissible levelstype I and type II superalgebrasrepresentation theoryLie superalgebras

0 comments

The pith

At boundary admissible levels, affine vertex operator superalgebras from type-I basic classical Lie superalgebras have exactly u irreducible ordinary modules, while type-II and ordinary Lie algebra cases have only the vacuum module itself.

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

The paper establishes a complete classification of the irreducible ordinary modules for the affine vertex operator superalgebra L_ĝ(k,0) when the level k equals h^∨/u minus h^∨ for positive integer u. For underlying g of type I, the count is precisely u distinct modules; for type II or ordinary finite-dimensional simple Lie algebras, the algebra admits no other irreducible ordinary module beyond itself. A sympathetic reader cares because this pins down the full set of modules at these special levels, which is a necessary step toward understanding fusion rules, characters, and any associated conformal field theories built from these superalgebras.

Core claim

Let g be a basic classical Lie superalgebra and k = h^∨/u − h^∨ a boundary admissible level of its affinization ĝ. The associated affine vertex operator superalgebra L_ĝ(k,0) has exactly u inequivalent irreducible ordinary modules when g is of type I, and L_ĝ(k,0) itself is the unique irreducible ordinary L_ĝ(k,0)-module when g is a finite-dimensional simple Lie algebra or a basic classical Lie superalgebra of type II.

What carries the argument

The boundary admissible level k = h^∨/u − h^∨ together with the type-I versus type-II distinction on the basic classical Lie superalgebra g, which fixes the exact count of irreducible ordinary modules for L_ĝ(k,0).

If this is right

For every basic classical Lie superalgebra g of type I, the module count is fixed at exactly u.
For every finite-dimensional simple Lie algebra or basic classical Lie superalgebra g of type II, the only irreducible ordinary module is the vertex operator superalgebra itself.
The statements apply uniformly to all basic classical Lie superalgebras once the level is set to the given boundary admissible value.
The classification separates the type-I case from all other cases under consideration.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result implies that representation theory at these levels is rigid enough to admit only a finite, explicitly countable set of ordinary modules.
One could ask whether the same counting persists for non-boundary admissible levels or for vertex algebras attached to other infinite-dimensional Lie superalgebras.
Complete knowledge of the ordinary modules supplies a concrete starting point for computing fusion products or modular transformations of characters in the associated conformal theories.

Load-bearing premise

The classification statements hold only when the level is fixed exactly at the boundary admissible value determined by a positive integer u and the dual Coxeter number of g.

What would settle it

An explicit construction or proof of existence of more than u inequivalent irreducible ordinary modules for any type-I example, or of any additional irreducible ordinary module for a type-II or ordinary Lie algebra example, at the stated boundary level would disprove the claimed classification.

read the original abstract

Let $\mathfrak{g}$ be a basic classical Lie superalgebra, $\mathcal{k}=\frac{h^{\vee}}{u}-h^{\vee}$ a boundary admissible level of $\widehat{\mathfrak{g}}$, where $u$ is a positive integer and $h^{\vee}$ is the dual Coxeter number of $\mathfrak{g}$. In this paper, we classify the irreducible ordinary modules for the affine vertex operator superalgebra $L_{\widehat{\mathfrak{g}}}(\mathcal{k},0)$ associated to any basic classical Lie superalgebra $\mathfrak{g}$. More specifically, if $\mathfrak{g}$ is a basic classical Lie superalgebra of type I, we prove that $L_{\widehat{\mathfrak{g}}}(\mathcal{k},0)$ has exactly $u$ inequivalent irreducible ordinary modules. If $\mathfrak{g}$ is a finite dimensional simple Lie algebra or a basic classical Lie superalgebra of type II, we prove that $L_{\widehat{\mathfrak{g}}}(\mathcal{k},0)$ itself is the only irreducible ordinary $L_{\widehat{\mathfrak{g}}}(\mathcal{k},0)$-module.

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.

Desk Editor's Note private letter to a colleague

The paper classifies irreducible ordinary modules of affine VOSAs at boundary admissible levels, with exactly u for type I superalgebras and only the vacuum module for type II or ordinary Lie algebras.

read the letter

The paper's central result is a classification of the irreducible ordinary modules for the affine vertex operator superalgebra associated to a basic classical Lie superalgebra at the boundary admissible level k = h^∨/u - h^∨. Specifically, type I cases have exactly u inequivalent ones, while type II and ordinary Lie algebra cases have only the vacuum module L(k,0) itself. This stands out as new because it treats all basic classical types uniformly at these particular levels. The abstract does not reference prior identical results, so this appears to fill a specific gap in the literature on admissible level representations. The work does well by stating the theorems clearly and tying the number u directly to the level parameter. The distinction between type I and type II is a standard one in superalgebra theory, and the restriction to ordinary modules aligns with common practice in vertex algebra representation theory. Soft spots are limited. The result is tightly conditioned on the level being boundary admissible and g being basic classical, but that is explicit in the setup. Without the full proofs, one cannot check every lemma, but the claim itself shows no circularity or unsupported reductions. The type-I versus type-II split matches classical distinctions in the field. This paper is for specialists in the representation theory of vertex operator superalgebras and affine Lie superalgebras. Readers working on fusion rules or trying to build modular categories from these modules would find the classification directly useful as a concrete description of the module category. It deserves a serious referee because the statement is precise and the area is technical enough that verification requires expert eyes. I would recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper classifies the irreducible ordinary modules of the affine vertex operator superalgebra L_ĝ(k,0) at the boundary admissible level k = h^∨/u − h^∨ for any basic classical Lie superalgebra g. For g of type I it proves there are exactly u inequivalent such modules; for g a finite-dimensional simple Lie algebra or of type II it proves that the vacuum module L_ĝ(k,0) is the unique irreducible ordinary module.

Significance. If the stated classification holds, the result supplies a complete and uniform description of ordinary representations at these special levels, cleanly separating the type-I and type-II cases. This extends the classical admissible-level theory for affine VOAs to the superalgebra setting and supplies a concrete count (u) that matches the denominator of the level, which is likely to be useful for further work on fusion rules, modular invariance, and category equivalences in the superalgebra context.

minor comments (3)

[Abstract] The abstract and introduction should include a brief, self-contained definition of “ordinary module” (L(0)-semisimple with finite-dimensional weight spaces bounded below) so that the statement is readable without external references.
[Introduction] Notation for the dual Coxeter number h^∨ and the boundary admissible level should be introduced with a short reminder of the standard formula k = h^∨/u − h^∨ in the first paragraph of the introduction.
Any tables or lists enumerating the u modules for type-I cases should be cross-referenced to the corresponding theorem number for easy navigation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the accurate summary of our classification results and the recommendation for minor revision. As no specific issues or requested changes are listed under the major comments, we have no revisions to propose. We respond to the referee's summary below.

read point-by-point responses

Referee: The paper classifies the irreducible ordinary modules of the affine vertex operator superalgebra L_ĝ(k,0) at the boundary admissible level k = h^∨/u − h^∨ for any basic classical Lie superalgebra g. For g of type I it proves there are exactly u inequivalent such modules; for g a finite-dimensional simple Lie algebra or of type II it proves that the vacuum module L_ĝ(k,0) is the unique irreducible ordinary module.

Authors: We thank the referee for this precise summary of the main results. The distinction between the type-I case (exactly u modules) and the type-II or ordinary Lie algebra case (unique vacuum module) is indeed the central theorem of the paper, established uniformly for all basic classical Lie superalgebras at the indicated boundary admissible levels. revision: no

Circularity Check

0 steps flagged

No significant circularity; classification is a direct theorem

full rationale

The paper states and proves a classification theorem for irreducible ordinary modules of the affine VOSA L_ĝ(k,0) at the boundary admissible level k = h^∨/u − h^∨. The result (exactly u modules for type-I g, only the vacuum module otherwise) is asserted as a proven statement, not obtained by fitting parameters to data, renaming known patterns, or reducing via self-citation to a prior result by the same authors that itself assumes the classification. The type-I/II distinction and the parameter u are taken from the classical theory of basic classical Lie superalgebras and admissible levels; the proof chain relies on standard VOA representation theory techniques without any self-definitional or load-bearing circular steps. The derivation is therefore self-contained as a mathematical proof.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The stated results rest on the standard definition of basic classical Lie superalgebras, the construction of the affine vertex operator superalgebra, and the notion of ordinary modules; no new entities or fitted numerical parameters are introduced in the abstract.

axioms (2)

domain assumption g is a basic classical Lie superalgebra
Explicitly stated as the ambient object for which the classification holds.
domain assumption k equals the boundary admissible level h^∨/u − h^∨
The level is fixed by this formula with u a positive integer; the classification is proved under this choice.

pith-pipeline@v0.9.0 · 5486 in / 1432 out tokens · 91197 ms · 2026-05-08T16:17:35.090464+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 3 canonical work pages · 1 internal anchor

[1]

Adamovi\' c , A

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

1995
[2]

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

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

2016
[3]

Cheng, W

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

2012
[4]

Creutzig, N

T. Creutzig, N. Genra, A. Linshaw, Ordinary modules for vertex algebras of osp _ 1|2n , J. Reine Angew. Math. 817 (2024), 1-31

2024
[5]

Creutzig, Y

T. Creutzig, Y. Huang, J. Yang, Braided tensor categories of admissible modules for affine Lie algebras, Comm. Math. Phys. 362 (2018), no. 3, 827-854

2018
[6]

Dong, H.-S

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

1998
[7]

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

1992
[8]

Gorelik, V

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

2015
[9]

Gorelik, V

M. Gorelik, V. Kac, (Quasi-)admissible modules over symmetrizable Kac-Moody superalgebras, arXiv: 2512.00460v2

work page arXiv
[10]

Gorelik, V

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

2022
[11]

Humphreys, Introduction to Lie algebras and representation theory, Graduate Texts in Mathematics, vol

J. Humphreys, Introduction to Lie algebras and representation theory, Graduate Texts in Mathematics, vol. 9, Springer, New York, 1978

1978
[12]

Kac, Lie superalgebras, Adv

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

1977
[13]

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

2003
[14]

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

1988
[15]

V. Kac, M. Wakimoto, Classification of modular invariant representations of affine algebras, Infinite-dimensional Lie algebras and groups (Luminy-Marseille, 1988), 138-177, Adv. Ser. Math. Phys., 7, World Sci. Publ., Teaneck, NJ, 1989

1988
[16]

V. Kac, M. Wakimoto, Representations of affine superalgebras and mock theta functions, Transform. Groups 19 (2014), no. 2, 383-455

2014
[17]

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

2017
[18]

H. Li, Q. Wang, Affine vertex operator superalgebra L_ sl(2|1) ( k ,0) at boundary admissible level, to appear in Math. Res. Lett. , arXiv:2510.00679v2

work page internal anchor Pith review Pith/arXiv arXiv
[19]

Musson, Lie superalgebras and enveloping algebras, Graduate Studies in Mathematics, vol

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

2012
[20]

Serganova, Kac-Moody superalgebras and integrability, Developments and trends in infinite-dimensional Lie theory, 169-218, Progr

V. Serganova, Kac-Moody superalgebras and integrability, Developments and trends in infinite-dimensional Lie theory, 169-218, Progr. Math., 288, Birkh\" a user Boston, Boston, MA, 2011

2011
[21]

P. Shan, D. Xie, W. Yan, Modularity for W -algebras and affine Springer fibres, arXiv:2404.00760v1

work page arXiv
[22]

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

1996