Counterexamples and gap phenomena for derived delooping levels

Abstract

Guo and Igusa introduced the derived and sub-derived delooping levels as refinements of the delooping level and asked how these two invariants compare, whether the derived delooping level always coincides with the opposite big finitistic dimension, and, if not, how large their difference can be. We answer these questions. First, we prove that every Artin algebra $A$ satisfies $\operatorname{ddell} A\leq \operatorname{sub-ddell} A$. This gives a positive answer to the ordinary-degree comparison problem, whereas a single explicit eight-dimensional algebra $C$ satisfies $k\text{-}\operatorname{sub-ddell} C=0<1=k\text{-}\operatorname{ddell} C$ for $k\geq 2$. We then compute, for every $k\geq 1$, all $k$-derived and $k$-sub-derived delooping levels of the monomial family of Barrios--Lanzilotta--Mata. In particular, that family satisfies $k\text{-}\operatorname{ddell} A_{n,s}=\operatorname{Findim}(A_{n,s}^{\mathrm{op}})$ for $k\geq 1$. In ordinary degree, this recovers an equality previously announced by Lam. We also construct a two-vertex, eleven-dimensional monomial algebra $Λ$, over an arbitrary field, such that $\operatorname{Findim}(Λ^{\mathrm{op}})=1<2=\operatorname{ddell}Λ=\operatorname{dell}Λ$. The same strict inequality is obtained by Gao, Liu and Xu using different algebras. A ten-dimensional non-monomial variant with a commutative corner algebra is also given. Finally, we construct a family of finite-dimensional monomial algebras $B_r$ satisfying $\operatorname{Findim}(B_r^{\mathrm{op}})=1$ and $\operatorname{ddell} B_r=2r+1$. Thus the difference $\operatorname{ddell} A-\operatorname{Findim}(A^{\mathrm{op}})$ is unbounded even among monomial algebras with fixed opposite big finitistic dimension.