Recollements of derived categories from $n$-term big tilting complexes
Let $A$ be a ring, let ${\bf T}$ be a finite-term big tilting complex over $A$, and choose a bounded projective representative $\cpx{P}$ of ${\bf T}$. Put $B=\End_{\D{A}}(\cpx{P})$. We prove that the kernel of the associated derived tensor functor ${\bf R}:\D{B}\to\D{A}$ is equivalent, through the derived inclusion, to...