Relative Derived Delooping Levels and $\tau$-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 $\tau$-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={\mathrm{End}}_A(T)$. We show that the big finitistic dimension of $B^{\mathrm{op}}$ is bounded above by the derived delooping level of $\mathrm{Fac}T$ relative to $T$. Moreover, we prove that a self-orthogonal $\tau$-tilting module $T$ is a $1$-tilting module whenever $2\text{-}\ddell_B(DT)$ is finite.

arXiv comment28pages