Relative derived delooping levels and torsion intervals

Abstract

Let $U$ be a support $τ$-tilting module over a finite dimensional algebra $A$, and let $\mathcal{V}\subseteq \text{Fac}U$ be any torsion class. The heart $\mathcal H=\text{Fac} U\cap \mathcal{V}^\perp$ inherits the exact structure from mod$A$ and admits an Ext-progenerator $P$. Let $B=\text{End}_A(P)$. We define the relative derived delooping level on the exact heart $\mathcal H$ and compare it with the relative delooping level on $\mathcal {H}$ and the derived delooping level of $B$. We show that $\text{Findim} B^{op}$ is bounded by the relative derived delooping level on the $\mathcal H$. For a wide heart, the relative derived delooping level on the heart equals the derived delooping level of $B$. We obtain explicit bounds from representation-finite relative syzygy strata and characterize global first-order finiteness using an Ext-injective cogenerator.