Quasi-lisse Vertex Algebras

• Quasi-lisse vertex algebras are finitely strongly generated algebras whose Poisson varieties have finitely many symplectic leaves, establishing a geometric finiteness condition.
• They connect Zhu’s C2-theory, Poisson geometry, and modular linear differential equations to yield finite simple module representations and controlled MLDE character behavior.
• Geometric constructions via sheaves, BRST reduction, and arc-space methods illustrate their role in affine, W-algebra, and extension examples, linking to 4d/2d and 3d/2d correspondences.

Quasi-lisse vertex algebras are finitely strongly generated vertex algebras whose associated Poisson variety has finitely many symplectic leaves. Introduced by Arakawa as a geometric weakening of lisse, or $C_2$-cofinite, behavior, the notion has become a central organizing principle for nonrational but still highly constrained vertex-algebraic systems. It links Zhu’s $C_2$-theory, Poisson geometry, modular linear differential equations, arc spaces, BRST constructions, and several forms of gauge-theoretic correspondence, including the 4d/2d and 3d/2d interfaces. In contemporary work, quasi-lisse examples arise from admissible affine vertex algebras, affine and finite $W$-algebras, Feigin–Tipunin-type extensions, small $\mathcal N=4$ systems on Hilbert schemes, and boundary vertex operator superalgebras attached to hypertoric varieties (Arakawa et al., 2016, Arakawa et al., 2023, Arakawa et al., 23 Jun 2026).

1. Definition through Zhu’s $C_2$-geometry

For a vertex algebra or vertex superalgebra $V$, the $C_2$-subspace is

$$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$

The Zhu $C_2$-algebra is

$R_V=V/C_2(V),$

with commutative product and Poisson bracket induced by the $C_2$0- and $C_2$1-products: $C_2$2 Papers in the subject use either the reduced affine Poisson scheme

$C_2$3

or the maximal-spectrum convention

$C_2$4

and both serve as the associated variety controlling the Poisson geometry of $C_2$5 (Arakawa et al., 23 Jun 2026, Villarreal, 4 Nov 2025).

The lisse condition means that $C_2$6 is finite-dimensional; equivalently, the associated variety is zero-dimensional. Quasi-lisse replaces this with the weaker requirement that $C_2$7 have finitely many symplectic leaves. Arakawa and Kawasetsu showed that this geometric finiteness is strong enough to force modular-type constraints on ordinary characters, while allowing many examples that are not $C_2$8-cofinite (Arakawa et al., 2016).

The associated variety is part of a larger filtration package. For any vertex (super)algebra $C_2$9, Li’s filtration produces an associated graded Poisson vertex algebra $W$0, and there is a canonical surjective morphism

$W$1

from the arc algebra of $W$2. The corresponding singular support

$W$3

provides the jet-level refinement of $W$4. In the quasi-lisse setting, the natural topological map $W$5 is a homeomorphism onto its image, which is one reason arc-space methods enter the theory so naturally (Li, 2023).

2. Finiteness, modularity, and representation theory

The foundational consequence of quasi-lisse is Poisson-theoretic finiteness. Etingof–Schedler’s theorem implies that if an affine Poisson variety has finitely many symplectic leaves, then its zeroth Poisson homology is finite-dimensional. In the VOA setting this becomes the key input for Arakawa’s modularity theorem: for a quasi-lisse vertex operator algebra, the normalized character of an ordinary module satisfies a modular linear differential equation. In Serre-derivative form, an MLDE has the shape

$W$6

with coefficients $W$7 in classical modular forms and

$W$8

the Serre derivative (Arakawa et al., 2016).

This modular control is accompanied by categorical finiteness. A quasi-lisse VOA has only finitely many simple ordinary modules, and the same geometric mechanism constrains conformal blocks. Recent work sharpened the module geometry further: if $W$9 is conical, simple, self-dual, and quasi-lisse, and $\mathcal N=4$0 is a simple ordinary module, then

$\mathcal N=4$1

where $\mathcal N=4$2 is the support of $\mathcal N=4$3 over $\mathcal N=4$4; if $\mathcal N=4$5 is irreducible, then $\mathcal N=4$6 (Villarreal, 4 Nov 2025). This rules out the possibility that ordinary modules generically live on strictly smaller Poisson supports.

The same paradigm extends beyond untwisted ordinary characters. Li, Li, and Yan proved that ordinary $\mathcal N=4$7-twisted modules of quasi-lisse VOAs also satisfy MLDEs, with coefficients adapted to congruence subgroups such as $\mathcal N=4$8. Their examples include affine $\mathcal N=4$9 and $C_2$0 at admissible or boundary admissible levels, the Bershadsky–Polyakov algebra, and non-admissible $C_2$1 at level $C_2$2 (Li et al., 2023). In parallel, Li developed twisted arc spaces and established new finiteness conditions for the convergence of genus-0 and genus-1 $C_2$3-point functions of quasi-lisse vertex (super)algebras; in particular, quasi-lisse implies finiteness of simple ordinary $C_2$4-twisted modules for every finite-order automorphism $C_2$5 (Li, 2023).

A recurring theme is that quasi-lisse is strictly weaker than lisse but still rigid enough to force even-dimensionality phenomena on Poisson supports, finite ordinary representation theory, and modular or quasimodular behavior of characters. This suggests that quasi-lisse is the natural geometric finiteness condition for nonrational vertex algebras that remain analytically tractable.

3. Geometric constructions: sheaves, BRST reduction, and symplectic singularities

A major development is the realization of quasi-lisse vertex algebras as global sections of sheaves over symplectic resolutions. In the affine Feigin–Tipunin setting, $C_2$6 is constructed as the global sections of a sheaf of vertex algebras on the flag variety $C_2$7, and also realized as a screening kernel via inverse Hamiltonian reduction. Its associated variety is the nilpotent cone $C_2$8, so $C_2$9 is quasi-lisse (Creutzig et al., 2023).

Hypertoric geometry provides a different but closely related mechanism. For a unimodular weight matrix $V$0 and generic stability parameter $V$1, one has the projective hypertoric variety

$V$2

and affine quotient

$V$3

Arakawa’s associated variety machinery is brought into a BRST–microlocal framework by constructing a sheaf of $V$4-adic vertex superalgebras $V$5 on $V$6. Its global sections yield the boundary hypertoric vertex operator superalgebra $V$7, and the main theorem identifies

$V$8

Since $V$9 is a symplectic singularity with finitely many symplectic leaves, $C_2$0 is quasi-lisse (Arakawa et al., 23 Jun 2026).

The Hilbert-scheme construction for the symmetric group $C_2$1 is analogous in spirit. A sheaf of $C_2$2-adic vertex operator superalgebras is constructed on $C_2$3, with global sections $C_2$4 satisfying

$C_2$5

After splitting off a rank-one $C_2$6-system and rank-one symplectic fermion factor, one obtains $C_2$7 with

$C_2$8

where $C_2$9 is the canonical symplectic singularity attached to $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$0. Hence $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$1 is quasi-lisse, and in this case the construction also produces an explicit small $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$2 structure (Arakawa et al., 2023).

These sheaf-theoretic realizations share a common pattern: one starts from free fields, imposes a BRST differential, proves concentration of cohomology in degree $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$3, identifies the global sections, and then compares the reduced $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$4-algebra with the coordinate ring of a symplectic singularity. In each case, quasi-lisse is not an auxiliary property but the geometric output of the identification $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$5.

4. Affine, $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$6-algebraic, and extension-type examples

The original motivating class was affine. For an affine VOA $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$7, quasi-lisse is equivalent to the inclusion of the associated variety in the nilpotent cone $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$8. This covers admissible affine VOAs and, by Drinfeld–Sokolov reduction, many quasi-lisse $$C_2(V)=\operatorname{Span}_{\mathbb C}\{a_{(-2)}b\mid a,b\in V\}.$$9-algebras (Arakawa et al., 2016).

A particularly influential family consists of the Deligne exceptional series at

$C_2$0

For $C_2$1, the affine vertex algebra $C_2$2 is quasi-lisse and has associated variety equal to the closure of the minimal nilpotent orbit. Its vacuum character satisfies a second-order MLDE, and the resulting solutions reproduce explicit modular or quasimodular forms; these are the homogeneous Schur indices of the corresponding 4d $C_2$3 SCFTs (Arakawa et al., 2016).

More recent affine examples show that quasi-lisse behavior extends beyond standard admissible regimes. Adamović and Vukorepa proved that $C_2$4 is quasi-lisse by showing

$C_2$5

Their argument uses explicit singular vectors of conformal weight six, Zhu-theoretic polynomial constraints, and a Chevalley-projection computation excluding nonzero semisimple points. The same paper shows that $C_2$6 has $C_2$7 irreducible modules in category $C_2$8, but a unique irreducible ordinary module (Adamović et al., 18 Apr 2025).

Extension constructions supply a second major source. In the Feigin–Tipunin direction, $C_2$9 is an affine analogue of the triplet algebra with associated variety the nilpotent cone of $R_V=V/C_2(V),$0; its strong generators include $R_V=V/C_2(V),$1 and additional nilpotent fields $R_V=V/C_2(V),$2, and it supports infinitely many simple modules despite being quasi-lisse (Creutzig et al., 2023). In a different construction, Adamović and Milas defined a family $R_V=V/C_2(V),$3, $R_V=V/C_2(V),$4, related to the chiral differential operator algebra on $R_V=V/C_2(V),$5 at level $R_V=V/C_2(V),$6. For $R_V=V/C_2(V),$7, they established isomorphisms with known quasi-lisse affine or $R_V=V/C_2(V),$8-algebras: $R_V=V/C_2(V),$9 and used these identifications to support the conjectural quasi-lisse property of the whole family (Adamovic et al., 3 Feb 2025).

There are also instructive contrasts. Kuwabara’s purely even hypertoric algebras $C_2$00, constructed on the universal family of Poisson deformations, are generally not quasi-lisse because the universal deformation typically has infinitely many symplectic leaves. The boundary hypertoric superalgebras $C_2$01 of the newer construction are fermionic simple-current extensions of $C_2$02, and the extension eliminates central parameters so that the associated variety collapses from the universal deformation to the singular hypertoric variety $C_2$03, restoring quasi-lisse behavior (Arakawa et al., 23 Jun 2026).

5. Twisted sectors, spectral flow, and charged refinements

Quasi-lisse geometry interacts strongly with twisting and spectral flow. In admissible $C_2$04, all irreducible $C_2$05-twisted modules in category $C_2$06 are obtained by half-integer spectral flow from untwisted admissible modules, and at boundary admissible levels the category of ordinary $C_2$07-twisted modules is semisimple (Li et al., 2023). This yields explicit twisted MLDEs, twisted Zhu-algebra calculations, and fusion rules between untwisted and twisted sectors. The same paper also derives ordinary characters of some non-vacuum modules for affine $C_2$08 at non-admissible level $C_2$09 from spectral flow automorphisms (Li et al., 2023).

The module-level geometry is now understood much more sharply. For a conical, simple, self-dual, quasi-lisse vertex algebra $C_2$10, the support variety $C_2$11 of any simple ordinary module has the same dimension as $C_2$12, and equals $C_2$13 whenever the latter is irreducible (Villarreal, 4 Nov 2025). In affine and affine $C_2$14-algebra examples, this recovers the phenomenon that ordinary modules do not shrink the associated variety.

A further refinement is the charged or relative theory. If $C_2$15 acts semisimply with integer eigenvalues, one forms the $C_2$16-relative Zhu algebra $C_2$17 by quotienting $C_2$18 by the ideal generated by nonzero $C_2$19-charge pieces. The triple $C_2$20 is stably quasi-lisse if the relative associated variety

$C_2$21

has finitely many symplectic leaves. This framework leads to stable modules, a stable Zhu algebra

$C_2$22

and charged trace functions

$C_2$23

Under stable quasi-lissity and stable rationality, these traces span the flat sections of a Jacobi-invariant connection on the moduli of degree-zero line bundles over elliptic curves, substantially generalizing Zhu’s modular-invariance theorem to the quasi-lisse setting (Arakawa et al., 28 May 2026).

This charged theory reorganizes several older modular phenomena. For admissible affine algebras with $C_2$24, and for admissible $C_2$25-algebras of standard Levi type with $C_2$26, the relevant stable categories satisfy the hypotheses of the theorem, and the resulting charged characters transform as vector-valued Jacobi objects with MLDE constraints (Arakawa et al., 28 May 2026).

6. Modularity, physical correspondences, and current directions

Character theory is one of the most visible outputs of quasi-lisse structure. In the Deligne-series affine examples, the MLDE is rigid enough to determine the vacuum character explicitly as a modular or quasimodular form (Arakawa et al., 2016). In $C_2$27, quasi-lisse coexists with logarithmic features and infinitely many simple modules, while the associated variety remains the nilpotent cone of $C_2$28 (Creutzig et al., 2023). In the Hilbert-scheme family $C_2$29, the supercharacter is an explicit quasimodular form of mixed weight, and the construction matches the Schur index of 4d $C_2$30 $C_2$31 super-Yang–Mills theory (Arakawa et al., 2023). In hypertoric boundary superalgebras, the supercharacter is especially simple: $C_2$32 while the ordinary characters admit Lambert-type series expressions and are conjectured to be quasimodular for congruence subgroups of level $C_2$33 (Arakawa et al., 23 Jun 2026).

Physical applications are not incidental. The 4d/2d correspondence predicts that the associated variety of a chiral algebra should recover the Higgs branch of the 4d theory; the $C_2$34 construction proves this when the Higgs branch is $C_2$35 (Arakawa et al., 2023). The 3d Higgs branch conjecture asserts

$C_2$36

and the hypertoric construction verifies it for all 3d $C_2$37 abelian gauge theories with unimodular $C_2$38 (Arakawa et al., 23 Jun 2026). Mirror symmetry and Gale duality then transport these statements to dual Coulomb-branch constructions.

Several current directions remain open. One is irreducibility: Arakawa–Moreau’s conjecture, cited in later work, predicts that the associated variety of a simple conical quasi-lisse vertex algebra is irreducible; if true, it would force $C_2$39 for all simple ordinary modules (Villarreal, 4 Nov 2025). Another is extension beyond presently verified families: $C_2$40 is conjecturally quasi-lisse for all $C_2$41, and the simple-current extension

$C_2$42

is conjectured to be quasi-lisse on the basis of its finite ordinary representation theory and quasimodular character behavior (Adamovic et al., 3 Feb 2025, Adamovic et al., 2018). In the $C_2$43 family, the sharper conjecture is that

$C_2$44

the closure of the subregular nilpotent orbit, together with a collapsing statement for the subregular $C_2$45-reduction (Adamović et al., 18 Apr 2025).

Across these examples, quasi-lisse vertex algebras occupy a precise intermediate regime: broader than lisse and often nonrational, yet still governed by a rigid Poisson geometry that propagates into characters, conformal blocks, twisted sectors, and gauge-theoretic correspondences. The subject has therefore become a meeting point of Poisson algebraic geometry, modular analysis, BRST localization, and nonsemisimple representation theory.