arXiv Science⌕ Search

arXiv · 2610.09523

On the Structure of Higher Zhu Induced Modules in Positive Characteristic

Abstract

Let $F$ be an algebraically closed field of characteristic different from $2$, and let $V$ be a nonnegatively integer-graded vertex operator algebra over $F$. We consider higher Zhu algebras obtained by taking a quotient of $V$ by a relation space containing the vectors $D_V^{(h)}a-\binom{-\mathrm{wt}(a)}{h}a$ for all homogeneous $a\in V$ and integers $h\geq1$, where $D_V^{(h)}a=a_{-h-1}\mathbf1$. For $n\geq1$ and a nonzero unital module $U$ over the corresponding higher Zhu algebra, we study the quotients $L_n(U)$ of induced modules and determine the kernel of the canonical map $U\toΩ_n(L_n(U))/Ω_{n-1}(L_n(U))$. This kernel is the largest submodule of $U$ that factors through the adjacent lower-level algebra. When this submodule is zero, the canonical map is an isomorphism, and each $Ω_r$ is the direct sum of the first $r+1$ homogeneous subspaces. These results are proved using an expansion of zero modes with integer coefficients and the grading of the standard induced modules. Moreover, the construction is natural with respect to module homomorphisms, and $L_n(U)$ is indecomposable in the graded module category whenever $U$ is indecomposable. From nonsplit extensions of modules for higher Zhu algebras satisfying the stated hypotheses, we construct nonsplit short exact sequences of weak $V$-modules.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Haihua Huang. 2026-10-07. On the Structure of Higher Zhu Induced Modules in Positive Characteristic. https://arxiv.org/abs/2610.09523

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

KEEP EXPLORING

Related papers

The double super Yangians in type A for arbitrary $0^m 1^n$-sequences and their bosonic representations

In this paper, we introduce the double super Yangian $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$ and $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ associated with any fixed $0^{m}1^{n}$-sequence $\mathfrak{s}$. First, we establish an explicit isomorphism between the Drinfeld and R-matrix presentations of $\mathrm{DY}_{h}(\mathfrak{gl}^{\mathfrak{s}}_{m|n})$. We then generalize the notion of the quantum Berezinian to $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$, and employ it to construct the R-matrix presentation of $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ and prove that it is isomorphic to the Drinfeld presentation. As an application, we present level-1 bosonic representations for $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$ and $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ in terms of their Drinfeld current generators.

math.RT↗

Tilting mutation of gentle algebras and its combinatorial description

Tilting mutation provides a natural way to construct derived-equivalent algebras by replacing an indecomposable summand of a tilting object. Holm, Schröer and Zimmermann~\cite{HSZ01} (see also the appendix of~\cite{AA08}) have described combinatorial transformations of the quiver and relations of a gentle algebra that yield derived equivalences via tilting complexes. In this paper, we develop a self-contained module-theoretic framework for tilting mutation via generalized $\mathrm{BB}$-tilting modules. For a gentle algebra $A=\mathbb{k} Q/\langle I\rangle$ and a vertex $k\in Q_0$, we first give a necessary and sufficient condition, expressed in terms of the arrows and relations incident with $k$, for the corresponding minimal left approximation of $P(k)$ to yield a tilting mutation. This criterion applies uniformly to vertices with or without loops. When the mutation exists, we determine the irreducible morphisms between the indecomposable summands of the mutated tilting module and use them to construct explicitly the Gabriel quiver and defining relations of its endomorphism algebra. In particular, we also provide a combinatorial mutation $(Q,I)\mapsto(Q',I')$ of gentle pairs such that $μ_k^+(A)\cong \mathbb{k} Q'/\langle I'\rangle,$ so the resulting algebra is again gentle and derived equivalent to $A$. Finally, we formulate the dual cotilting mutation and its combinatorial description via opposite gentle pairs.

math.RT↗

Tensor Product Does Not Behave Additively on Delooping Level

The Finitistic Dimension Conjecture is one of the most important homological conjectures in the representation theory of finite-dimensional algebras. Recently, Gélinas arXiv:2004.04828 proposed the notion of "delooping level" to study the finitistic dimension Conjecture. This article reports a misconception between the delooping level and the tensor product of algebras. Namely, for finite-dimensional algebras $A$ and $B$, the difference $\operatorname{dell}(A\otimes_{\mathbf{k}}B) - \left(\operatorname{dell}(A)+ \operatorname{dell}(B)\right)$ can be arbitrarily large or negative.

math.RT↗