arXiv Science⌕ Search

arXiv · 2609.39745

Tensor Product Does Not Behave Additively on Delooping Level

Abstract

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ryan Lam. 2026-10-07. Tensor Product Does Not Behave Additively on Delooping Level. https://arxiv.org/abs/2609.39745

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↗

Block decompositions in the p-adic Langlands correspondence

Let $K/\Qp$ be a finite extension, $\bG$ a connected reductive group over $K$, and set $G = \bG(K)$, considered as a $p$-adic Lie group. We show first that the Bernstein center $\cC_G$ of the category of solid locally $\Qp$-analytic representations of $G$ is isomorphic to the center of the locally analytic distribution algebra $D^\la(G)$. We then consider the Emerton-Gee stack $\frX_{n,K}$ of rank-$n$ $(\vphi,Γ)$-modules over the Robba ring for $K$ and determine its connected components. The latter are in canonical bijection with the primitive idempotents of the ring $\cC_{\GL_n(K)}$. Moreover, under the assumption that the ring of global functions on $\frX_{n,K}$ has no non-zero locally nilpotent elements, we show that this ring is isomorphic to a Fréchet completion of $\cC_{\GL_n(K)}$.

math.RT↗