Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.08431

Quiver Demazure algebras I: Residue descent, finite quotients, and PBW bases

Zhi-Wei Li
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study quiver Demazure algebras through residue covers and root-power quotients. The cover determined by the zero-root subsystem identifies the additive algebra with a finite fixed algebra of Sauter's generalized quiver Hecke construction. Her basis theorem then gives additive PBW in every finite Weyl type, for arbitrary admissible residue data and uniform quivers. A sequence-cover argument gives global multiplicative PBW in simply-laced type. Under a directed-path condition, root-power quotients are finite dimensional and the formal exponential identifies their additive and multiplicative forms. For arrow-free quivers, we reduce mixed-residue quotients to matrix algebras over finite skew group rings, obtain sharp nonvanishing criteria from coinvariant geometry, and determine their simple modules. In a mixed type-$D_4$ family we compute an explicit coefficient presentation, dimensions, Loewy lengths, and Cartan matrices. We also specify the direct and finite-cover comparisons with Liu's algebras.

Explore related subjects

math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhi-Wei Li. 2026-10-06. Quiver Demazure algebras I: Residue descent, finite quotients, and PBW bases. https://arxiv.org/abs/2610.08431

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗