Skip to main content
added tag 'higher category theory'
Link
Source Link

Good properties of the $H^0$ functor (from quasi-functors to ordinary functors)

Let $\mathcal A, \mathcal B$ be dg-categories over a field $k$. I denote by $\mathcal{RHom}(\mathcal A,\mathcal B)$ the dg-category (defined up to quasi-equivalence) which gives the internal hom in $\mathrm{Hqe}$ (see, for example, Keller's survey, Theorem 4.5). There is a natural $H^0$ functor: \begin{equation} H^0(-) :H^0(\mathcal{RHom}(\mathcal A,\mathcal B)) \to \mathcal{Hom}(H^0(\mathcal A),H^0(\mathcal B)), \end{equation} where $\mathcal{Hom}(-,-)$ here denotes the category of ordinary ($k$-linear) functors; $H^0(\mathcal{RHom}(\mathcal A,\mathcal B))$ can be identified to the category of quasi-functors $\mathrm{rep}(\mathcal A,\mathcal B)$.

I've been studying the properties of this functor for a while. For example, I know that for $\mathcal A = \mathbf{1}$, the category with one object and endomorphism ring $k$, $H^0(-)$ is an equivalence; for $\mathcal A = \Delta^1$, the category freely generated over $k$ by the diagram $0 \to 1$, this functor is full and reflects isomorphisms. Assuming $\mathcal B$ is pretriangulated and taking $\mathcal A = (\Delta^1)^{\mathrm{pretr}}$ (the pretriangulated hull of $\Delta^1$) the above claim implies that $H^0(-)$ induces, in this particular case, a bijection between the isomorphism classes of objects.

Do you know other situations where the $H^0$ functor exhibits some good properties as above? For example, are there other cases in which it is full and reflects isomorphisms? Or cases in which it induces a bijection between isomorphism classes of objects?

(Also, I was wondering if a similar problem is studied in the framework of $(\infty,1)$-categories.)