Searcharxiv⌕ Search

arXiv · 2610.29878

On unitary vertex operator algebras

Abstract

We prove that a conformal vertex algebra with a non-zero invariant Hermitian form is unitary as soon as it admits a non-zero positive energy module with a positive definite invariant Hermitian form. Using free field realizations, we deduce that the principal simple $W$-algebra $W_k(\mathfrak g)$ of a simple Lie algebra $\mathfrak g$ is unitary for central charge $c\ge rank(\mathfrak g)+24\bigl((ρ|ρ^\vee)+\|ρ\|\,\|ρ^\vee\|\bigr)$, and, if $\mathfrak g$ is simply laced, for all $c\ge rank(\mathfrak g)$. Among basic Lie superalgebras which are not Lie algebras, the free field argument applies to $osp(1|2n)$ and $osp(2|2n)$. It shows that $W_k(osp(1|2n))$ is unitary for $c\ge n+\frac12$ and gives an explicit bound for $osp(2|2n)$. Next, we prove that if $\mathfrak s$ is an even $sl_2$-subalgebra of a simple Lie algebra $\mathfrak g$ whose centralizer is not abelian, then the simple $W$-algebra $W_k(\mathfrak g,\mathfrak s)$ is unitary for at most finitely many $k$. We illustrate this on the $W$-algebras of $sl_{qm}$ attached to the nilpotents of Jordan type $q^m$: unitarity is possible only at two levels, and for $q=2$ it does occur at both. For instance, the $W$-algebra of $sl_4$ attached to the partition $2+2$ is unitary only for $k=-2$ and $k=-\frac32$. This fails for Lie superalgebras, as minimal $W$-algebras show, but still holds under stronger assumptions. Finally, we prove that a simple $W$-algebra $W_k(\mathfrak g,\mathfrak s)$ can be unitary for only finitely many $k$ if $\mathfrak g$ is a simple Lie algebra and $\mathfrak s$ is not a distinguished $sl_2$ subalgebra.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Victor G. Kac, Pierluigi Möseneder Frajria, Paolo Papi. 2026-10-21. On unitary vertex operator algebras. https://arxiv.org/abs/2610.29878

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Gelfand-Kirillov dimensions and annihilator varieties of highest weight modules of exceptional Lie algebras

Let $L(λ)$ be an irreducible highest weight module of a complex simple Lie algebra of exceptional type, with highest weight $λ-ρ$, where $ρ$ is half the sum of positive roots. Its annihilator variety is the closure of a nilpotent orbit of dimension twice the Gelfand--Kirillov (GK) dimension of $L(λ)$. We develop an explicit algorithm that determines both invariants for any infinitesimal character. The GK dimension is reduced to evaluating Lusztig's $\mathbf{a}$-function on the integral Weyl group of $λ$. After decomposing the integral root system into irreducible factors, classical factors are treated by the Robinson--Schensted insertion algorithm and the H-algorithm, while exceptional factors are handled by positive index reduction and PyCox. The annihilator orbit is then recovered from the local special datum by Springer theory and Sommers duality. An implementation is available online and takes $λ$ as input to compute the GK dimension and annihilator variety of $L(λ)$.

math.RT↗

Weights and characters for affine Hecke algebras

Weights play an essential role in the classification of simple modules for affine Hecke algebras. In this paper we show the extent to which weights determine simple modules and relate this to induction and restriction along isogenies. We also describe the behaviour of hermitian duals and unitarity under induction and restriction along isogenies.

math.RT↗

Categorification of the genus two DAHA

We construct three derived endofunctors on the derived category of graded integrable representations of the current algebra of a flat degeneration of $D(2|1,α)$, and prove that their classes in the Grothendieck group are the genus two Macdonald operators. Computing the graded $\operatorname{Ext}$ pairing explicitly, we deduce the self-adjointness of the genus two Macdonald operators and the orthogonality of genus $2$ Macdonald polynomials with respect to the certain skew-bilinear form.

math.RT↗