Higher exact dg-categories

Abstract

We introduce the notion of an $n$-exact dg-category. This notion provides a higher analogue of Chen's exact dg-category, in the sense that the case where $n$ equals 1 recovers exact dg-categories. We prove that, under a suitable vanishing condition on the cohomologies of $\mathrm{Hom}$-complexes of an $n$-exact dg-category $\mathcal{A}$, its homotopy category admits a natural $n$-exangulated structure. Thus $n$-exact dg-categories provide dg-enhancements of $n$-exangulated categories. At the same time, our framework can be regarded as a dg-categorical generalization of $n$-exangulated categories applicable even without the vanishing condition. In the latter part of the article, we show that an $n$-cluster tilting subcategory of an exact dg-category naturally carries the structure of an $n$-exact dg-category. This result indicates that $n$-exact dg-structures provide an intrinsic dg-categorical axiomatization of $n$-cluster tilting subcategories, highlighting the advantages of studying dg-generalizations of $n$-exangulated categories.

62 pages