Searcharxiv⌕ Search

arXiv · 2609.22780

Affine and Lattice Structures in Regular $\mathbb{N}$-Graded Vertex Operator Algebras with Gorenstein $V_0$

Abstract

We study regular $\mathbb{N}$-graded vertex operator algebras $V=\bigoplus_{n\geq 0}V_n$ whose weight-zero algebra $V_0$ is a nontrivial finite-dimensional local Gorenstein algebra, asking which structural features of strongly rational vertex operator algebras persist without the CFT-type condition $V_0=\mathbb{C}{\bf 1}$. For semisimple Lie subalgebras of the left Leibniz algebra $V_1$, assuming $\ker\left(\left.L(-1)\right|_{V_0}\right)=\mathbb{C}\mathbf{1}$, the product $u_1v$ induces an invariant symmetric bilinear form. Under $C_2$-cofiniteness and a nondegeneracy condition, each simple component with nonzero form generates an affine vertex operator algebra at positive integral level and acts integrably on $V$. When $V_1$ is solvable, the Frobenius structure of $V_0$ yields a distinguished nondegenerate subspace $M\subset V_1$. Under a quasi-primary condition, $M$ is abelian and generates a Heisenberg vertex operator algebra. With additional semisimplicity, full-rank integrality, and cocycle compatibility assumptions, $V$ contains a conformally embedded lattice vertex operator algebra $V_K$, where $K$ is positive-definite and even, with rank $\dim_{\mathbb{C}}M$ and minimum norm at least $4$. Conformally shifted lattice vertex operator algebras provide explicit models illustrating the distinction among weight-one Lie, mode-generated Lie, and lattice structures. They also show that regularity alone does not ensure semisimplicity of arbitrary Heisenberg zero-mode actions, so the additional lattice-theorem hypotheses represent genuine structural obstructions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gaywalee Yamskulna. 2026-09-19. Affine and Lattice Structures in Regular $\mathbb{N}$-Graded Vertex Operator Algebras with Gorenstein $V_0$. https://arxiv.org/abs/2609.22780

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

KEEP EXPLORING

Related papers

Brunnian braids and the inclusion from double shuffle Lie algebra to Kashiwara-Vergne Lie algebra

Schneps \cite{Schneps2012,Schneps2025} and Enriquez-Furusho \cite{EF4} proved that the double shuffle Lie algebra $\mathfrak{dmr}_0$ embeds into the Kashiwara--Vergne Lie algebra $\mathfrak{krv}_2$. We give a Brunnian braid interpretation of a related embedding into the symmetric Kashiwara--Vergne Lie algebra $\mathfrak{krv}_2^{\mathrm{sym}}$. More precisely, the map \[ φ\longmapsto \bigl(φ(-x_0-x_1,x_0),φ(-x_0-x_1,x_1)\bigr) \] defines an injective Lie algebra homomorphism from the subalgebra of $\mathfrak{dmr}_0$ satisfying the condition \[ [x_0,φ(-x_0-x_1,x_0)] +[x_1,φ(-x_0-x_1,x_1)]=0 \] into $\mathfrak{krv}_2^{\mathrm{sym}}$. The proof reformulate the double shuffle and symmetric Kashiwara--Vergne relations through abelianizations of Brunnian Lie algebras associated with the disk and punctured disks. We generalize this inclusion in two directions. First, replacing these abelianizations by higher lower central series quotients yields generalizations of relations and implications among them. Second, we establish explicit identities relating the linear pentagon defect to the stuffle coproduct, the divergence map, and the necklace cobracket.

math.QA↗

A $q$-Weyl Freeness Principle for Nichols Algebras and Pointed Hopf Algebras of Square-Free Dimension

Let $H$ be a pointed Hopf algebra of square-free dimension over an algebraically closed field of characteristic $p>0$. We prove that either $H$ is a group algebra or $\dim H/|\G(H)|=p$, and that in the latter case $H$ belongs to exactly one of two explicit families of rank-one pointed Hopf algebras. We develop a truncated $q$-Weyl freeness principle for finite-dimensional Nichols algebras of quandle type. If $V=\bigoplus_{x\in X}\K e_x$, $X'\subsetneq X$ is a nonempty subquandle, $V'=\bigoplus_{x\in X'}\K e_x$, and $s\in X\setminus X'$, then $\mathcal B(V)\simeq\K[e_s]/(e_s^{m_s})\otimes C_{s,X'}\otimes\mathcal B(V')$ for some graded vector space $C_{s,X'}$, where $m_s$ is the nilpotency order of $e_s$; in particular, $(m_s)_z\,\mathcal H_{\mathcal B(V')}(z)\mid\mathcal H_{\mathcal B(V)}(z)$. In the non-group case, this yields a $p^2$-divisibility obstruction that rules out noncentral support for the infinitesimal braiding. Together with a graded-dual argument, the resulting rank-one reduction forces the diagram of $H$ to have dimension $p$.

math.QA↗