Exact sequences of rt-categories

Our aim is to consider what the exact sequence for rt-categories is.

For this, we introduce the notion of exact sequence of rt-categories, modeled on exact sequences of finite tensor categories.

Our central result explores the relationship of exactness at different levels.

Specifically, let $H_1\xrightarrow{f}H_2\xrightarrow{g}H_3$ be a sequence of finite-dimensional Hopf algebras.

We prove that $H_1\xrightarrow{f}H_2\xrightarrow{g}H_3$ is strictly exact if and only if $H_1\text{-}\mathrm{comod}\xrightarrow{f_*}H_2\text{-}\mathrm{comod} \xrightarrow{g_*}H_3\text{-}\mathrm{comod}$ is an exact sequence of finite tensor categories and $g_*$ admits an exact left adjoint, if and only if $D^b_{H_1\text{-}\mathrm{comod}}(H_2\text{-}\mathrm{comod}) \to D^b(H_2\text{-}\mathrm{comod}) \to D^b(H_3\text{-}\mathrm{comod})$ is an exact sequence of rt-categories and $f_*$ is fully faithful.