Relative Derived Delooping Levels and $τ$-Tilting Modules

Abstract

Let $\mathcal{E}$ be an essentially small idempotent-complete exact category with enough projective objects. We develop derived delooping levels in $\mathcal{E}$. We apply this framework to a basic support $τ$-tilting module $T$. We then define the derived delooping level relative to $T$ and compare it with the ordinary relative delooping level and the derived delooping level of $B=\operatorname{End}_A(T)$. We show that the big finitistic dimension of $B^{\mathrm{op}}$ is bounded above by the derived delooping level of $\operatorname{Fac}T$ relative to $T$. Moreover, we prove that a self-orthogonal $τ$-tilting module $T$ is a $1$-tilting module whenever $2\text{-}\ddell_B(DT)$ is finite.