Derived delooping levels and finitistic dimension

Abstract

In this paper, we develop new ideas regarding the finitistic dimension conjecture, or the findim conjecture for short. Specifically, we improve upon the delooping level by introducing three new invariants called the effective delooping level edell, the sub-derived delooping level $\mathrm{sub}\text{-}\mathrm{ddell}$, and the derived delooping level ddell. They are all better upper bounds for the opposite Findim. Precisely, we prove$\mathrm{Findim}{\Lambda }^{\mathrm{op}}=\mathrm{edell}\Lambda \le \mathrm{ddell}\Lambda \left(\text{or }\mathrm{sub}\text{-}\mathrm{ddell}\Lambda \right)\le \mathrm{dell}\Lambda$ and provide examples where the last inequality is strict (including the recent example from [16] where $\mathrm{dell}\Lambda =\infty$, but $\mathrm{ddell}\Lambda =1=\mathrm{Findim}{\Lambda }^{\mathrm{op}}$).

We further enhance the connection between the findim conjecture and tilting theory by showing finitely generated modules with finite derived delooping level form a torsion-free class $F$. Therefore, studying the corresponding torsion pair $(T,F)$ will shed more light on the little finitistic dimension. Lastly, we relate the delooping level to the ϕ-dimension ϕdim, a popular upper bound for findim, and recover a sufficient condition for the findim conjecture given in [5].