Introduction
The relation between triangulated categories and their higher categorical enhancements—pretriangulated dg, pretriangulated $A_{\infty }$ or stable $\infty $-categorical—has been under investigation for several years now. One reason is that while triangulated categories have grown remarkably important in representation theory and algebraic geometry, many of the constructions one wants to make rely on the functoriality that comes with an enhancement. Many instances of this phenomenon appeared in the recent developments of derived algebraic geometry: for example, in relation to deformation theory and moduli problems.
In this paper, we stick to the language of dg (differential graded) categories. We recall that, roughly, a dg enhancement (or simply an enhancement) of a triangulated category ${\mathscr {T}}$ is a pretriangulated dg category whose homotopy category is equivalent to ${\mathscr {T}}$. It is relevant to note that the ‘natural’ triangulated categories of algebra and geometry come with ‘natural’ dg enhancements. For example, the derived categories ${\mathbf {D}}^?({\mathscr {A}})$ of an abelian category ${\mathscr {A}}$, where $?=\emptyset ,b,+,-$ (i.e., where the cohomology is assumed unbounded, bounded, bounded below or bounded above), as well as the category $\mathrm {Perf}(X)$ of perfect complexes on a quasi-compact and quasi-separated scheme, all have ‘natural’ dg enhancements by construction. This existence does not hold in general. Indeed, there are well-known examples of ‘topological’ triangulated categories that do not admit dg enhancements (see, for instance, [Reference Canonaco and Stellari9, Section 3.2]). More recently, it has been proved in [Reference Rizzardo and Van den Bergh40] that there exist triangulated categories that are linear over a field and without a dg enhancement.
A priori, there is no good reason to expect different enhancements of the same triangulated category to be ‘comparable’. This is important because constructions that take place in an enhancement may depend on the choice of enhancement. And the right notion of ‘comparability’ turns out to be that two enhancements are declared equivalent if they agree up to isomorphism in the homotopy category ${\mathbf {Hqe}}$ of the category of (small) dg categories. Consequently, one says that a triangulated category has a unique enhancement if any two enhancements are isomorphic in ${\mathbf {Hqe}}$. As ${\mathbf {Hqe}}$ is the localisation of the category of dg categories by quasi-equivalences, two dg categories that are isomorphic in ${\mathbf {Hqe}}$ have equivalent homotopy categories, but the converse need not be true. So far, very few examples of triangulated categories admitting non-unique enhancements have been produced. A ‘classical’ one is reported in [Reference Canonaco and Stellari9, Section 3.3] (see also Corollary 6.12). If one requires that everything be linear over a field, the first example was recently found by Rizzardo and Van den Bergh [Reference Rizzardo and Van den Bergh39].
Back to ${\mathbf {Hqe}}$: one can describe all morphisms in this category thanks to the seminal work of Toën [Reference Toën46] (see also [Reference Canonaco, Ornaghi and Stellari8, Reference Canonaco and Stellari11]). Indeed, for the natural enhancements of geometric categories, such as the bounded derived categories of coherent sheaves on smooth projective schemes, the morphisms in ${\mathbf {Hqe}}$ between them are all lifts of exact functors of a special form: the so-called Fourier–Mukai functors (see [Reference Lunts and Schnürer28, Reference Toën46] and [Reference Canonaco and Stellari9, Reference Canonaco and Stellari10] for a survey).
The way the triangulated and dg sides of this picture should be related was pinned down, in the geometric setting, in the seminal work [Reference Bondal, Larsen and Lunts6] by Bondal–Larsen–Lunts, where it is conjectured that
(C1) The geometric triangulated categories ${\mathbf {D}}^b({\mathbf {Coh}}(X))$, ${\mathbf {D}}({\mathbf {Qcoh}}(X))$ and ${\mathbf {Perf}}(X)$ should have a unique dg enhancement when X is a quasi-projective scheme (i.e., any two dg enhancements should be isomorphic in ${\mathbf {Hqe}}$).
(C2) If $X_1$ and $X_2$ are smooth projective schemes, then all exact functors between ${\mathbf {D}}^b({\mathbf {Coh}}(X_1))$ and ${\mathbf {D}}^b({\mathbf {Coh}}(X_2))$ should lift to morphisms in ${\mathbf {Hqe}}$.
Conjecture (C2) has recently been disproved in [Reference Rizzardo, Van den Bergh and Neeman38], and even when a lift exists, it is not unique in general by [Reference Canonaco and Stellari12]. On the other hand, special cases of (C1) have been proved to be correct, in increasing generality, by several authors over the last decade. Let us briefly go through this part of the story; after all, this article belongs to this string of results.
The first breakthrough in the direction of (C1) came from the beautiful work by Lunts and Orlov [Reference Lunts and Orlov27], which proved, among other things, that ${\mathbf {D}}({\mathscr {G}})$ has a unique enhancement when ${\mathscr {G}}$ is a Grothendieck abelian category with a small set of compact generators. This result implies that (C1) holds true for ${\mathbf {D}}({\mathbf {Qcoh}}(X))$ when X is a quasi-compact and separated scheme with enough locally free sheaves (see [Reference Lunts and Orlov27, Theorem 2.10]). This was extended to all Grothendieck abelian categories in [Reference Canonaco and Stellari13] by using the theory of well-generated triangulated categories. Hence (C1) holds for ${\mathbf {D}}({\mathbf {Qcoh}}(X))$ when X is any scheme or algebraic stack.
As for ${\mathbf {D}}^b({\mathbf {Coh}}(X))$ and ${\mathbf {Perf}}(X)$, Lunts and Orlov show in [Reference Lunts and Orlov27] that they have unique enhancements when X is a quasi-projective scheme (see Theorems 2.12 and 2.13 in [Reference Lunts and Orlov27]). Clearly, together with the previous result, this implies that (C1) holds even in greater generality. Actually, an additional improvement of the argument in [Reference Lunts and Orlov27] allowed the first and third author to prove that ${\mathbf {D}}^b({\mathbf {Coh}}(X))$ and ${\mathbf {Perf}}(X)$ have unique enhancements when X is any noetherian scheme with enough locally free sheaves (see Corollaries 6.11 and 7.2 in [Reference Canonaco and Stellari13]).
Fresh air was brought into the subject with the advent of the powerful theory of $\infty $-categories. Specifically, Antieau [Reference Antieau1] reconsidered the problem of uniqueness of enhancements, taking a completely different approach employing Lurie’s work on prestable $\infty $-categories (see [Reference Lurie30, Appendix C]). Using this amazing machinery, he proved the beautiful result that ${\mathbf {D}}^?({\mathscr {A}})$ has a unique enhancement when $?=b,+,-$ and ${\mathscr {A}}$ is any small abelian category. It should be noted that restricting to small categories is a minor issue, as explained in Section 3.5.
If ${\mathscr {A}}$ is not only abelian but also a Grothendieck category, one can, following Lurie, construct three interesting triangulated categories out of ${\mathscr {A}}$: the usual derived category ${\mathbf {D}}({\mathscr {A}})$, the unseparated derived category $\check {{\mathbf {D}}}({\mathscr {A}})$ and the left completed derived category $\widehat {{\mathbf {D}}}({\mathscr {A}})$. We know all about ${\mathbf {D}}({\mathscr {A}})$, and, in particular, we know that it has a unique enhancement by [Reference Canonaco and Stellari13]. The triangulated category $\check {{\mathbf {D}}}({\mathscr {A}})$ is nothing but the homotopy category of injectives in ${\mathscr {A}}$ and has been extensively studied by Krause in [Reference Krause23]. The uniqueness of enhancements for $\check {{\mathbf {D}}}({\mathscr {A}})$, when ${\mathscr {A}}$ is not only Grothendieck but also locally coherent, is one of the main results of Antieau (see [Reference Antieau1, Theorem 1]). The triangulated category $\widehat {{\mathbf {D}}}({\mathscr {A}})$ is more mysterious. It does not seem to have a purely triangulated description, and it should be thought of as a remedy to the fact that, in general, ${\mathbf {D}}({\mathscr {A}})$ is not left complete (see [Reference Neeman32]). In [Reference Antieau1], the uniqueness of the enhancement for $\widehat {{\mathbf {D}}}({\mathscr {A}})$ is stated as an open and challenging problem (see [Reference Antieau1, Question 8.1]).
Antieau’s striking achievements offered what appeared to be conclusive evidence of the superiority of the $\infty $-category machine, and our initial, humble goal was to try to find out how much of his opus could be obtained by more primitive methods. The authors were surprised by the outcome of what started as a modest project: beginning with a few simple new ideas, we ended up not only improving on Antieau’s results, but also solving most of the open problems in the literature.
Our first precise statement is the following:
Theorem A. Let ${\mathscr {A}}$ be an abelian category:
(1) The triangulated category ${\mathbf {D}}^?({\mathscr {A}})$ has a unique dg enhancement when $?=b,+,-,\emptyset $.
(2) If ${\mathscr {A}}$ is a Grothendieck abelian category, then $\check {{\mathbf {D}}}({\mathscr {A}})$ and $\widehat {{\mathbf {D}}}({\mathscr {A}})$ have unique dg enhancements.
The striking and new part of (1) is the uniqueness for ${\mathbf {D}}({\mathscr {A}})$ for every abelian category ${\mathscr {A}}$. Nonetheless, our approach will uniformly and harmlessly produce uniqueness of enhancements for ${\mathbf {D}}^?({\mathscr {A}})$, for $?=b,-,+$, thus recovering Antieau’s results in a completely different way. Part (2) of Theorem A on the one hand generalises [Reference Antieau1, Theorem 1] and, on the other hand, answers the questions in [Reference Antieau1] about $\widehat {{\mathbf {D}}}({\mathscr {A}})$ that we mentioned above. In particular, Theorem A (2) gives a positive answer to Question 4.7 in [Reference Canonaco and Stellari9].
Back to the geometric setting. If X is a quasi-compact and quasi-separated scheme, then the category ${\mathbf {D}}({\mathbf {Qcoh}}(X))$ is in general not equivalent to ${\mathbf {D}}_{{\mathbf {qc}}}(X)$, the full triangulated subcategory of the category of complexes of $\mathcal {O}_X$-modules consisting of all complexes with quasi-coherent cohomology. Thus the uniqueness of dg enhancements for ${\mathbf {D}}_{{\mathbf {qc}}}(X)$ cannot directly be deduced from Theorem A. Nonetheless, this category is of primary interest: for example, because the category of perfect complexes on X coincides with the subcategory of compact objects in ${\mathbf {D}}_{{\mathbf {qc}}}(X)$.
The uniqueness of dg enhancements for ${\mathbf {D}}_{{\mathbf {qc}}}(X)$ and ${\mathbf {Perf}}(X)$ was formulated as an open problem by Antieau in [Reference Antieau1, Question 8.16], and our second main result positively answers his question in the context of dg enhancements:
Theorem B. Let X be a quasi-compact and quasi-separated scheme. Then the categories ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ and ${\mathbf {Perf}}(X)$ have a unique dg enhancement for $?=b,+,-,\emptyset $.
The case of ${\mathbf {Perf}}(X)$ is covered by [Reference Antieau1, Corollary 9] under the stronger assumption that the scheme is quasi-compact, quasi-separated and $0$-complicial. The latter condition, which we do not need to make explicit here, roughly refers to a property of ${\mathbf {Perf}}(X)$ induced by the t-structure on ${\mathbf {D}}_{{\mathbf {qc}}}(X)$ and predicts how perfect complexes with only non-negative cohomologies are generated by perfect quasi-coherent sheaves. As we will explain below, part of the interest of Theorem B is that the proof introduces a new technique to study the uniqueness of enhancements based on homotopy limits.
Applications: past, present and future
We have already said that the key to our approach lies in a few simple new ideas. One can ask if these ideas might be relevant or useful in other contexts. Hence we should mention that a linchpin to our approach, namely Proposition 2.9 and its proof, has already been used by the second author in [Reference Neeman31] to provide a counterexample to conjectures by Schlichting [Reference Schlichting43] and by Antieau, Gepner and Heller [Reference Antieau, Gepner and Heller2] about vanishing in negative K-theory. Note that this application is totally unrelated to the content of the current article.
Within the present paper, there are further, easy applications of our main results. In particular, we deduce that the following triangulated categories have unique enhancements:
• ${\mathbf {D}}^?({\mathbf {Qcoh}}(X))$, for X any scheme or algebraic stack, and ${\mathbf {D}}^?({\mathbf {Coh}}(X))$, for any scheme or any locally noetherian algebraic stack, for $?=\emptyset ,b,+,-$ (see Corollary 5.9);
• ${\mathbf {D}}({\mathscr {G}})^{\alpha }$, where ${\mathscr {G}}$ is a Grothendieck abelian category and $\alpha $ is a large regular cardinal (see Corollary 5.8). Recall here that ${\mathbf {D}}({\mathscr {G}})$ is a well-generated triangulated category and ${\mathbf {D}}({\mathscr {G}})^{\alpha }$ is the full triangulated subcategory consisting of its $\alpha $-compact objects;
• ${\mathbf {K}}^?({\mathscr {A}})$, for any abelian category ${\mathscr {A}}$ and for $?=\emptyset ,b,+,-$ (see Corollary 5.6).
The first two items together yield a complete positive answer to Question 4.8 in [Reference Canonaco and Stellari10].
Another interesting and surprising application, discussed in Section 5.5, is that we recover and generalise the construction of the realisation functor of Beĭlinson, Bernstein and Deligne [Reference Beĭlinson, Bernstein and Deligne4]. This functor plays a key role in the study of triangulated categories with t-structures. The original, involved proof is replaced in Section 5.5 by a different approach, combining the vital Proposition 2.9 with the techniques in Section 4 to deliver the results easily.
In future work, we will analyse how our uniqueness results apply to study the liftability of exact functors along the lines of (C2) above. More specifically, we will investigate a classical conjecture by Rickard asserting that all autoequivalences of ${\mathbf {D}}(\mathrm {Mod}(R))$, where R is a commutative ring, are liftable. We have already (briefly) discussed the case of projective schemes. The affine case is still very challenging and essentially open. We will explain how our techniques provide simplifications and generalisations of the existing results.
Still with an eye to the future, we conclude this discussion by pointing out that there remain a couple of situations of high algebro-geometric interest where the (non-)uniqueness of the enhancements needs to be fully understood: the categories of matrix factorisations and the case of admissible subcategories of triangulated categories admitting a unique enhancement. If we work with categories and functors linear over $\mathbb {Z}$, then there are examples of categories of matrix factorisations with non-unique enhancements (see [Reference Dugger and Shipley17, Reference Schlichting42]). Similarly, in Section 6.4, we provide an example of a $\mathbb {Z}$-linear triangulated category with a unique enhancement (by Theorem A) but with an admissible subcategory with non-unique $\mathbb {Z}$-linear enhancements (see Corollary 6.12). It remains open to understand if similar examples can be found for categories linear over a field and if one can find admissible subcategories with non-unique enhancements in ${\mathbf {D}}^b({\mathbf {Coh}}(X))$ when X is a smooth projective scheme.
The strategy of the proofs
The one-sentence summary of the proof of Theorem A (1) would be that it is an elaborate study of special generators for ${\mathbf {D}}^?({\mathscr {A}})$, coupled with a suitable description of ${\mathbf {D}}^?({\mathscr {A}})$ as a Verdier quotient. The same principle underlies all the existing papers in the literature proving the uniqueness of enhancements of derived categories of abelian categories. The many papers differ in which generators they use and what quotient they study.
In the current article, we realise ${\mathbf {D}}^?({\mathscr {A}})$ as a quotient of the homotopy category ${\mathbf {K}}^?({\mathscr {A}})$ and show that ${\mathbf {K}}^?({\mathscr {A}})$ is generated in $3$ steps by objects that are direct sums of shifts of objects in ${\mathscr {A}}$ (Proposition 2.9 and Corollary 2.10). The key fact here, namely that ${\mathbf {K}}^?({\mathscr {A}})$ is generated in $3$ steps by the simple objects described above, can be seen by combining Krause’s [Reference Krause23, Lemma 3.1 and its proof] with Max Kelly’s old result [Reference Kelly22] (see [Reference Neeman37, Theorem 7.5 and its proof] for a modern account). But we include a full proof in this article because we make use of the explicit three steps that suffice.
This is different from and, in a sense, more natural than the point of view of [Reference Lunts and Orlov27] and [Reference Canonaco and Stellari13, Reference Canonaco and Stellari14]. In those earlier papers, to prove that ${\mathbf {D}}({\mathscr {G}})$ has a unique enhancement for ${\mathscr {G}}$ a Grothendieck abelian category, one uses the strong and special property that ${\mathscr {G}}$ has a generator. Thus one can take generators for ${\mathbf {D}}({\mathscr {G}})$, which all live in degree $0$, and ${\mathbf {D}}({\mathscr {G}})$ is a suitable quotient of the derived category of modules over the category formed by these generators.
The technical complications of our approach involve, at the triangulated level, a careful analysis of certain special products and coproducts. It is discussed in Section 1 and reverberates at the dg level where one has to construct suitable dg enhancements of ${\mathbf {K}}^?({\mathscr {A}})$ and ${\mathbf {D}}^?({\mathscr {A}})$ and an intricate zigzag of dg functors linking them. The dg work is carried out in Section 4. Again, the dg part of the argument is simpler in [Reference Lunts and Orlov27, Reference Canonaco and Stellari13] and involves a short zigzag diagram consisting of one roof of dg functors. The last part of the proof in Section 5 is then very close in spirit to the argument in Section 4 and 5 of [Reference Lunts and Orlov27] (and thus in Section 4 of [Reference Canonaco and Stellari13]).
The proof of the uniqueness of dg enhancements for $\check {{\mathbf {D}}}({\mathscr {A}})$ in Section 6.1 is a reduction to Theorem C in [Reference Canonaco and Stellari13, Reference Canonaco and Stellari14] (see Theorem 6.2). It uses the work of Krause [Reference Krause23] to show that $\check {{\mathbf {D}}}({\mathscr {A}})$ is a well-generated triangulated category and can be written as a quotient of the derived category of the abelian category of modules over the abelian subcategory ${\mathscr {A}}^{\alpha }$ of ${\mathscr {A}}$, which consists of the $\alpha $-presentable objects in ${\mathscr {A}}$ (here, $\alpha $ is a sufficiently large regular cardinal).
Finally, the case of $\widehat {{\mathbf {D}}}({\mathscr {A}})$ is studied in Section 6.3, and the proof makes use of the natural t-structure induced on $\widehat {{\mathbf {D}}}({\mathscr {A}})$ by ${\mathbf {D}}({\mathscr {A}})$. With this t-structure, we have a natural equivalence $\widehat {{\mathbf {D}}}({\mathscr {A}})^+\cong {\mathbf {D}}^+({\mathscr {A}})$. We can invoke Theorem A (1) and then deduce the result by a careful analysis of the compatibility with homotopy colimits. It should be noted that here we need to use that ${\mathbf {D}}^?({\mathscr {A}})$ has a semi-strongly unique dg enhancement (see Remark 5.4). Roughly, this means if ${\mathscr {C}}_1$ and ${\mathscr {C}}_2$ are two dg enhancements of ${\mathbf {D}}^?({\mathscr {A}})$ (i.e., there are exact equivalences $\mathsf {E}_i\colon H^0({\mathscr {C}}_i)\xrightarrow {\sim }{\mathbf {D}}^?({\mathscr {A}})$), then the isomorphism $f\colon {\mathscr {C}}_1\xrightarrow {\sim }{\mathscr {C}}_2$ in ${\mathbf {Hqe}}$ provided by Theorem A (1) is such that $H^0(f)(X)\cong \mathsf {E}_2^{-1}\circ \mathsf {E}_1(X)$, for all X in $H^0({\mathscr {C}}_1)$.
The strategy of the proof of Theorem B is new and is based on the idea of realising a dg enhancement of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ (and of ${\mathbf {Perf}}(X))$ as the homotopy limit of dg enhancements of the derived category of the open subschemes in an affine open cover of X. More precisely: in Section 7, we prove that given any enhancement ${\mathscr {C}}$ of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ (or ${\mathbf {Perf}}(X))$, one can produce an isomorphism in ${\mathbf {Hqe}}$ between ${\mathscr {C}}$ and the homotopy limit of induced enhancements of the derived categories of the affine schemes in the cover (and of their finite intersections). This can be deduced from Theorem 7.4, which is a general criterion involving the simpler case of homotopy pullbacks.
This has the clear advantage that for each Zariski open subset U in the covering of X and all their finite intersections, one knows that ${\mathbf {D}}^?_{{\mathbf {qc}}}(U)\cong {\mathbf {D}}^?({\mathbf {Qcoh}}(U))$, since U is quasi-compact and separated. Thus the uniqueness of their enhancements is guaranteed by Theorem A (1). The hard work comes in showing that the constructions in Section 4, and thus the proof of Theorem A (1) in Section 5, are compatible with restriction to appropriate open subschemes. In Section 8, we show this compatibility with the special homotopy limits we are considering, concluding the proof.
Related work
Throughout this article, we work with dg enhancements. Since Antieau’s enhancements are stable $\infty $-categories, a comparison requires one to invoke results like [Reference Antieau1, Meta Theorem 13] and [Reference Cohn15]. These results assert that for most of the triangulated categories we study, the difference is immaterial; the uniqueness of enhancement problems in the two different settings are equivalent. This is clear for the triangulated categories in Theorem A. As for the categories ${\mathbf {Perf}}(X)$ and ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ in Theorem B, the situation is a bit more delicate. Indeed, as pointed out in Section 8.2 of [Reference Antieau1], Meta Theorem 13 may not automatically apply, and, by [Reference Cohn15], Theorem B only implies that the two triangulated categories mentioned above have unique $\mathbb {Z}$-linearised stable $\infty $-enhancements. We leave this to the interested reader.
The reason we stick to (pretriangulated) dg categories is for convenience—it makes the key Proposition 2.9 and Corollary 2.10 easier and cleaner to use. In the triangulated category ${\mathbf {D}}^?({\mathscr {A}})$, the generators given by Proposition 2.9 and Corollary 2.10 have (non-canonical) direct sum decompositions, and using this is easier in enhancements that are additive. In fact, the interested reader can check that for us, the case where $?=b$ is easy. The subtlety comes in dealing with $?\in \{+,-,\infty \}$, where issues of limits come up. And as far as we can tell, the $\infty $-category machine would not help much here.
Of course, Antieau [Reference Antieau1] has taught us that a clever application of the $\infty $-category machine can lead to spectacular progress. It is entirely possible that our new ideas, combined with the powerful machinery, will produce startling advances. For example, the local-to-global approach of Theorem B might readily be amenable to the $\infty $-category methods.
We leave this to the experts.
Structure of the paper
In Section 1, we deal with some foundational questions about products and coproducts in the triangulated categories ${\mathbf {K}}^?({\mathscr {A}})$ and ${\mathbf {D}}^?({\mathscr {A}})$. We also discuss their behaviour with respect to exact functors.
Section 2 introduces various notions of generation for triangulated categories. In particular, in Section 2.1, we define well-generated triangulated categories, and we set the stage for our study of $\check {{\mathbf {D}}}({\mathscr {G}})$. Section 2.2 is about the approach to the generation of ${\mathbf {K}}^?({\mathscr {A}})$ and ${\mathbf {D}}^?({\mathscr {A}})$, which is crucial in the proof of Theorem A (1).
In Section 3, we introduce some standard material about dg categories and, at the same time, slightly extend known results and constructions such as Drinfeld’s notion of homotopy flat resolution (see Section 3.2). In Section 3.3, we study homotopy limits and homotopy pullbacks. We also reconsider localisations in the dg context (Section 3.4) and carefully define the notion of dg enhancement and why their uniqueness is independent of the universe (see Section 3.5).
Section 4 is devoted to the construction of appropriate enhancements for ${\mathbf {K}}^?({\mathscr {A}})$ and ${\mathbf {D}}^?({\mathscr {A}})$. This naturally leads to the proof of Theorem A (1) in Section 5. The second part of Theorem A is proved in the subsequent section and uses somewhat different techniques.
The proof of Theorem B occupies Section 7 and Section 8. The first of the two sections sets up the general technique and criterion that link homotopy pullbacks and limits to dg enhancements. The second combines this with Theorem A to finish the argument.
Notation and conventions
All preadditive categories and all additive functors are assumed to be $\Bbbk $-linear for a fixed commutative ring $\Bbbk $. By a $\Bbbk $-linear category, we mean a category whose Hom-spaces are $\Bbbk $-modules and such that the compositions are $\Bbbk $-bilinear, not assuming that finite coproducts exist.
With the small exception of Section 3.5, throughout the paper, we assume that a universe containing an infinite set is fixed. Several definitions concerning dg categories need special care because they may, in principle, require a change of universe. The major subtle logical issues in this sense can be overcome in view of [Reference Lunts and Orlov27, Appendix A] and Section 3.5. A careful reader should look at them; but in this paper, after these delicate issues are appropriately discussed, we will not explicitly mention the universe we are working in. The members of this universe will be called small sets. Unless stated otherwise, we always assume that the Hom-spaces in a category form a small set. A category is called small if the isomorphism classes of its objects form a small set.
If ${\mathscr {T}}$ is a triangulated category and ${\mathscr {S}}$ a full triangulated subcategory of ${\mathscr {T}}$, we denote by ${\mathscr {T}}/{\mathscr {S}}$ the Verdier quotient of ${\mathscr {T}}$ by ${\mathscr {S}}$. In general, ${\mathscr {T}}/{\mathscr {S}}$ is not a category according to our convention (meaning the Hom-spaces in ${\mathscr {T}}/{\mathscr {S}}$ need not be small sets), but it is in many common situations, for instance when ${\mathscr {T}}$ is small.
1 The triangulated categories
In this section, we discuss some properties of most of the triangulated categories whose dg enhancements are studied in this paper. The focus is on the existence of (co)products of special objects and the commutativity of such (co)products with exact functors.
1.1 The categories
Let us recall that when ${\mathscr {A}}$ is a small additive category, then ${\mathbf {K}}({\mathscr {A}})$ denotes the homotopy category of complexes. Namely, its objects are cochain complexes of objects in ${\mathscr {A}}$, while its morphisms are homotopy equivalence classes of morphisms of complexes. For $A^{*}\in \mathrm {Ob}({\mathbf {K}}({\mathscr {A}}))$, we denote by $A^i$ its ith component. We can then define the full subcategories ${\mathbf {K}}^b({\mathscr {A}})$, ${\mathbf {K}}^+({\mathscr {A}})$, ${\mathbf {K}}^-({\mathscr {A}})$ of the category ${\mathbf {K}}({\mathscr {A}})$ whose objects are
For $?=b,+,-,\emptyset $, we single out the full subcategory ${\mathbf {V}}^?({\mathscr {A}})\subseteq {\mathbf {K}}^?({\mathscr {A}})$ consisting of objects with zero differentials. The properties of such a subcategory will be studied in Section 2 and will be crucial in the rest of this paper. Here we just point out that for an object $A^{*}\in {\mathbf {V}}^?({\mathscr {A}})$, we will use the shorthand
to remind that the object $A^i\in {\mathscr {A}}$ is placed in degree i.
Remark 1.1. It is not difficult to prove that $\bigoplus _{i\in \mathbb {Z}}{A^i}[-i]$ satisfies both the universal property of product and coproduct in ${\mathbf {K}}^?({\mathscr {A}})$. Namely, there are canonical isomorphisms
When ${\mathscr {A}}$ is an abelian category, the full triangulated subcategory ${\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})\subseteq {\mathbf {K}}^?({\mathscr {A}})$ consists of acyclic complexes: that is, objects in ${\mathbf {K}}({\mathscr {A}})$ with trivial cohomology. The triangulated category ${\mathbf {D}}^?({\mathscr {A}})$ is then the Verdier quotient of ${\mathbf {K}}^?({\mathscr {A}})$ by ${\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$, and it comes with a quotient functor
We can then consider the full subcategory ${\mathbf {B}}^?({\mathscr {A}})\subseteq {\mathbf {D}}^?({\mathscr {A}})$ as
Remark 1.2. By the definition of the Verdier quotient, ${\mathbf {B}}^?({\mathscr {A}})$ has the same objects as ${\mathbf {V}}^?({\mathscr {A}})$. Thus we will freely denote them by $\bigoplus {A^i}[-i]$. But since the morphisms in ${\mathbf {D}}^?({\mathscr {A}})$ differ from those in ${\mathbf {K}}^?({\mathscr {A}})$ in a significant way, we should not expect $\bigoplus {A^i}[-i]$ to automatically satisfy the universal properties of either product or coproduct in ${\mathbf {D}}^?({\mathscr {A}})$. This will be discussed later.
Remark 1.3. It is interesting to observe that if ${\mathscr {A}}$ is a small abelian category, then [Reference Krause23, Lemma 3.1] implies that there is a (small) abelian category ${\mathscr {B}}$ and an exact equivalence ${\mathbf {K}}^?({\mathscr {A}})\cong {\mathbf {D}}^?({\mathscr {B}})$ for $?=b,+,-,\emptyset $. To be precise, the category ${\mathscr {B}}$ is the abelian category of coherent ${\mathscr {A}}$-modules. The result follows from [Reference Verdier47, Proposition III 2.4.4 (c)], once we observe that any coherent ${\mathscr {A}}$-module has a projective resolution of length at most $2$ (see the proof of [Reference Krause23, Lemma 3.1]).
If ${\mathscr {G}}$ is a Grothendieck abelian category, then it contains enough injectives, and one can take the full subcategory $\mathrm {Inj}({\mathscr {G}})\subseteq {\mathscr {G}}$ of injective objects. According to Lurie’s terminology [Reference Lurie29], the unseparated derived category of ${\mathscr {G}}$ is the triangulated category
This category has been extensively studied by the second author [Reference Neeman35] and Krause [Reference Krause23]. Some of its properties will be recalled later. For the moment, we content ourselves with the simple observation that it fits in the following localisation sequence
Namely, $\mathsf {Q}$ and $\mathsf {J}$ have right adjoints $\mathsf {Q}^{\rho }$ and $\mathsf {J}^{\rho }$, respectively. Under some additional assumptions (e.g., if ${\mathbf {D}}({\mathscr {G}})$ is compactly generated), $\mathsf {Q}$ and $\mathsf {J}$ have left adjoints $\mathsf {Q}^{\lambda }$ and $\mathsf {J}^{\lambda }$ as well.
Example 1.4. A case where the latter situation is realised can be obtained as follows. Let p be a prime number and $\mathbb {F}_p=\mathbb {Z}/p\mathbb {Z}$ the field with p elements. Consider the rings $R_1:=\mathbb {Z}/p^2\mathbb {Z}$ and $R_2:=\mathbb {F}_p[\varepsilon ]$ (where $\varepsilon ^2=0$). For $i=1,2$, set ${\mathscr {T}}_i:=\check {{\mathbf {D}}}(\mathrm {Mod}(R_i))$, and denote by ${\mathscr {S}}_i$ the full subcategory of ${\mathscr {T}}_i$ consisting of acyclic complexes. The ring $R_i$ is noetherian and ${\mathbf {D}}(\mathrm {Mod}(R_i))$ is compactly generated. Thus the inclusion of ${\mathscr {S}}_i$ has left adjoint, and ${\mathscr {S}}_i$ is a localising and admissible subcategory of ${\mathscr {T}}_i$.
The last triangulated category we study in this paper is the completed derived category of a Grothendieck category. Since, to the best of our knowledge, its definition intrinsically involves pretriangulated dg categories, this discussion is postponed to Section 6.2.
1.2 More on products and coproducts
As we observed in Remark 1.2, objects with zero differentials need not always agree with the obvious products or coproducts in ${\mathbf {D}}^?({\mathscr {A}})$. In this section, we provide sufficient conditions for agreement.
Let us introduce some notation, slightly generalising the problem. Let ${\mathscr {A}}$ be a small abelian category, and let $\{A_n^{*}\}_{n\ge 0}$ be a sequence of objects in ${\mathbf {D}}^?({\mathscr {A}}))$. If either $A_n^i=0$ for all $i>-n$ or $A_n^i=0$ for all $i<n$, we can consider the complex $\bigoplus _{n=0}^{\infty } A_n^{*}\in {\mathbf {D}}({\mathscr {A}})$, which is the termwise direct sum of the complexes $A_n$. Note that this makes sense because under our assumptions, each term of the complex $\bigoplus _{n=0}^{\infty } A_n^{*}\in {\mathbf {D}}({\mathscr {A}})$ consists of a finite direct sum.
With this in mind, we can prove the following.
Lemma 1.5. Let ${\mathscr {A}}$ be a small abelian category, and let $\{A_n^{*}\}_{n\ge 0}\subseteq \mathrm {Ob}({\mathbf {D}}^?({\mathscr {A}}))$:
(1) If $A_n^i=0$ for all $i>-n$ and $?=-,\emptyset $, then $\bigoplus _{n=0}^{\infty } A_n^{*}$ is a coproduct in ${\mathbf {D}}^?({\mathscr {A}})$: that is, there is a canonical isomorphism
$$\begin{align*}\bigoplus_{n=0}^{\infty} A_n^{*}\cong\coprod_{n=0}^{\infty} A_n^{*}. \end{align*}$$(2) If $A_n^i=0$ for all $i<n$ and $?=+,\emptyset $, then $\bigoplus _{n=0}^{\infty } A_n^{*}$ is a product in ${\mathbf {D}}^?({\mathscr {A}})$: that is, there is a canonical isomorphism
$$\begin{align*}\bigoplus_{n=0}^{\infty} A_n^{*}\cong\prod_{n=0}^{\infty} A_n^{*}. \end{align*}$$
Proof. The statements in (1) and (2) are obtained one from the other by passing to the opposite categories. Thus we just need to prove (1) and show that $\bigoplus _{n=0}^{\infty } A_n^{*}$ satisfies the universal property of a coproduct in ${\mathbf {D}}^?({\mathscr {A}})$ for $?=-,\emptyset $.
Suppose therefore that $B^{*}$ is an object of ${\mathbf {D}}^?({\mathscr {A}})$ and that we are given morphisms $\varphi _n:A_n^{*}\to B^{*}$. For $n\geq 0$, $\varphi _n$ can be represented in ${\mathbf {K}}^?({\mathscr {A}})$ by a roof
This means $\widetilde A_n^{*}\to A_n^{*}\to N_n^{*}$ is a distinguished triangle in ${\mathbf {K}}^?({\mathscr {A}})$ with $N_n^{*}\in {\mathbf {K}}_{\mathrm {acy}}({\mathscr {A}})$, and $\varphi _n=\beta \circ \alpha ^{-1}$ in ${\mathbf {D}}^?({\mathscr {A}})$.
As $A_n^i=0$ for all $i>-n$, the cochain map $A_n^{*}\to N_n^{*}$ must factor as $A_n^{*}\to N_n^{\le -n}\to N_n^{*}$, where $N_n^{\le -n}$ is still acyclic but vanishes in degrees $>-n$. Here $N_n^{\le -n}$ is the truncation
where K is the kernel of the map $N^{-n}\to N^{-n+1}$.
Now we form in ${\mathbf {K}}^?({\mathscr {A}})$ the morphism of distinguished triangles
which allows us to represent the morphism $\varphi _n:A_n^{*}\to B^{*}$ by the roof
with $\widehat A_n^i=0$ for all $i>-n+1$. And now the roof
is a well-defined diagram in ${\mathbf {K}}^?({\mathscr {A}})$ since in each degree, the sums are finite. Hence we obtain a morphism $\bigoplus _{n=0}^{\infty } A_n^{*}\to B^{*}$ in ${\mathbf {D}}^?({\mathscr {A}})$, and obviously the composite $A_n^{*}\to \bigoplus _{n=0}^{\infty } A_n^{*}\to B^{*}$ is $\varphi _n$ for every n.
It remains to prove that such a morphism is unique. This is equivalent to showing that given a morphism $\varphi :\bigoplus _{n=0}^{\infty } A_n^{*}\to B^{*}$ in ${\mathbf {D}}^?({\mathscr {A}})$ such that the composites $A_n^{*}\to \bigoplus _{n=0}^{\infty } A_n^{*}\to B^{*}$ vanish for every n, $\varphi $ vanishes.
Such a $\varphi $ may be represented in ${\mathbf {K}}^?({\mathscr {A}})$ by a roof
meaning $N^{*}\to B^{*}\to \widetilde B^{*}$ is a distinguished triangle in ${\mathbf {K}}^?({\mathscr {A}})$ with $N^{*}\in {\mathbf {K}}_{\mathrm {acy}}({\mathscr {A}})$ and $\varphi =\beta ^{-1}\circ \alpha $ in ${\mathbf {D}}^?({\mathscr {A}})$.
If the composite $A_n^{*}\to \bigoplus _{n=0}^{\infty } A_n^{*}\to B^{*}$ vanishes in ${\mathbf {D}}^?({\mathscr {A}})$, then the morphism $A_n^{*}\to \bigoplus _{n=0}^{\infty } A_n^{*}\to \widetilde B^{*}$ is a morphism in ${\mathbf {K}}^?({\mathscr {A}})$ whose image in ${\mathbf {D}}^?({\mathscr {A}})$ vanishes, and hence it must factor in ${\mathbf {K}}^?({\mathscr {A}})$ as $A_n^{*}\to M_n^{*}\to \widetilde B^{*}$, with $M_n^{*}\in {\mathbf {K}}_{\mathrm {acy}}({\mathscr {A}})$. As in the first part of the proof, the map $A_n^{*}\to M_n^{*}$ must factor as $A_n^{*}\to M_n^{\le -n}\to M_n^{*}$, where $M_n^{\le -n}$ is acyclic and vanishes in degrees $>-n$. But then $\bigoplus _{n=0}^{\infty } A_n^{*}\to \widetilde B^{*}$ factors in ${\mathbf {K}}^?({\mathscr {A}})$ as
showing that $\varphi $ vanishes in ${\mathbf {D}}^?({\mathscr {A}})$.
The following is then a straightforward consequence.
Corollary 1.6. Let ${\mathscr {A}}$ be a small abelian category, and let $\{A^i\}_{i\ge 0}\subseteq \mathrm {Ob}({\mathscr {A}})$. Then $\bigoplus _{i=0}^{\infty }{A^i}[k+i]$ is a coproduct in ${\mathbf {D}}^-({\mathscr {A}})$ and ${\mathbf {D}}({\mathscr {A}})$, while $\bigoplus _{i=0}^{\infty }{A^i}[k-i]$ is a product in ${\mathbf {D}}^+({\mathscr {A}})$ and ${\mathbf {D}}({\mathscr {A}})$ for all $k\in \mathbb {Z}$.
1.3 (Co)products and functors
We continue with some technical results that will be used later. In particular, in this section, we investigate when special exact functors commute with products and, dually, with coproducts.
If ${\mathscr {A}}$ is an abelian category and $n\in \mathbb {Z}$, we denote by ${\mathbf {D}}^?({\mathscr {A}})^{\geq n}$ (respectively, ${\mathbf {D}}^?({\mathscr {A}})^{\leq n}$) the full subcategory of ${\mathbf {D}}^?({\mathscr {A}})$ consisting of objects with trivial cohomologies in degrees $<n$ (respectively, $>n$).
Proposition 1.7. Let ${\mathscr {A}}$ be a small abelian category and $\mathsf {F}:{\mathscr {T}}\to {\mathbf {D}}^?({\mathscr {A}})$ an additive functor, where $?=+,\emptyset $. Assume that $\{T_i\}_{1\leq i<\infty }\subseteq \mathrm {Ob}({\mathscr {T}})$ is such that
(i) The product $\prod _{i=1}^{\infty } T_i$ exists in ${\mathscr {T}}$.
(ii) For every integer $n>0$, there exists an integer $m(n)>0$ such that $\mathsf {F}\left (\prod _{i=m(n)}^{\infty } T_i\right )\in {\mathbf {D}}({\mathscr {A}})^{\geq n}$.
Then the product $\prod _{i=1}^{\infty }\mathsf {F}(T_i)$ exists in ${\mathbf {D}}^?({\mathscr {A}})$ and the canonical map
is an isomorphism.
Proof. Given $k>0$ and $j\geq k$, the object $\mathsf {F}(T_j)$ is a direct summand of $\mathsf {F}\left (\prod _{i=k}^{\infty } T_i\right )$. Thus, assumption (ii) implies that for every $n>0$, there exists $m(n)>0$ with $F(T_j)\in {\mathbf {D}}({\mathscr {A}})^{\geq n}$ for all $j\geq m(n)$. For $n>0$, we set
By the previous discussion, $A_n\in {\mathbf {D}}({\mathscr {A}})^{\geq n}$, and Lemma 1.5 implies that $\prod _{n=1}^{\infty }A_n$ exists in ${\mathbf {D}}^?({\mathscr {A}})$. Thus
exists in ${\mathbf {D}}^?({\mathscr {A}})$.
Let us move to the second part of the statement. For $m\geq 2$, the natural map
can be identified with the product of the two natural maps
This clearly implies that $\mathrm {Cone}\left (\theta \right )\cong \mathrm {Cone}\left (\theta _1\right )\oplus \mathrm {Cone}\left (\theta _2\right )$. Since $\mathsf {F}$ (being additive) commutes with finite products, $\theta _1$ is an isomorphism, whence $\mathrm {Cone}\left (\theta _1\right )\cong 0$. On the other hand, condition (ii) tells us that when $m\gg 0$, the object $\mathrm {Cone}\left (\theta _2\right )$ will belong to ${\mathbf {D}}^?({\mathscr {A}})^{\geq n}$ with n arbitrarily large. Hence $\mathrm {Cone}\left (\theta \right )\cong \mathrm {Cone}\left (\theta _2\right )$ must vanish, and $\theta $ must be an isomorphism.
Clearly, Proposition 1.7 has the following dual version whose proof simply consists in reducing to the previous result by passing to the opposite category.
Proposition 1.8. Let ${\mathscr {A}}$ be a small abelian category and $\mathsf {F}:{\mathscr {T}}\to {\mathbf {D}}^?({\mathscr {A}})$ an additive functor, where $?=-,\emptyset $. Assume that $\{T_i\}_{1\leq i<\infty }\subseteq \mathrm {Ob}({\mathscr {T}})$ is such that
(i) The coproduct $\coprod _{i=1}^{\infty } T_i$ exists in ${\mathscr {T}}$.
(ii) For every integer $n>0$, there exists an integer $m(n)>0$ such that $\mathsf {F}\left (\coprod _{i=m(n)}^{\infty } T_i\right )\in {\mathbf {D}}({\mathscr {A}})^{\leq -n}$.
Then the coproduct $\coprod _{i=1}^{\infty }\mathsf {F}(T_i)$ exists in ${\mathbf {D}}^?({\mathscr {A}})$ and the canonical map
is an isomorphism.
2 Generation
The key idea pursued in this paper is that uniqueness of dg enhancements is tightly related to suitable notions of generations. Those that are of interest in this paper are explained in this section.
2.1 Well-generated triangulated categories
Let ${\mathscr {T}}$ be a triangulated category with small coproducts. For a cardinal $\alpha $, an object S of ${\mathscr {T}}$ is $\alpha $-small if every map $S\to \coprod _{i\in I}X_i$ in ${\mathscr {T}}$ (where I is a small set) factors through $\coprod _{i\in J}X_i$ for some $J\subseteq I$ with $\lvert J\rvert <\alpha $. A cardinal $\alpha $ is called regular if it is not the sum of fewer than $\alpha $ cardinals, all of them smaller than $\alpha $.
Definition 2.1. The category ${\mathscr {T}}$ is well-generated if there exists a small set ${\mathscr {S}}$ of objects in ${\mathscr {T}}$ satisfying the following properties:
(G1) An object $X\in {\mathscr {T}}$ is isomorphic to $0$ if and only if $\mathrm {Hom}_{\mathscr {T}}(S,{X}[j])=0$ for all $S\in {\mathscr {S}}$ and all $j\in \mathbb {Z}$.
(G2) For every small set of maps $\{X_i\to Y_i\}_{i\in I}$ in ${\mathscr {T}}$, the induced map $\mathrm {Hom}_{\mathscr {T}}(S,\coprod _iX_i)\to \mathrm {Hom}_{\mathscr {T}}(S,\coprod _i Y_i)$ is surjective for all $S\in {\mathscr {S}}$ if $\mathrm {Hom}_{\mathscr {T}}(S,X_i)\to \mathrm {Hom}_{\mathscr {T}}(S, Y_i)$ is surjective for all $i\in I$ and all $S\in {\mathscr {S}}$.
(G3) There exists a regular cardinal $\alpha $ such that every object of ${\mathscr {S}}$ is $\alpha $-small.
Remark 2.2. The above notion was originally developed in [Reference Neeman36]. Here we used the equivalent formulation in [Reference Krause24]. A nice survey on the subject is in [Reference Krause25].
Part of this paper is about enhancements of triangulated categories constructed out of Grothendieck categories. For the non-expert reader, let us recall that an abelian category ${\mathscr {G}}$ is a Grothendieck category if it is closed under small coproducts, has a small set of generators ${\mathscr {S}}$ and the direct limits of short exact sequences are exact in ${\mathscr {G}}$. The objects in ${\mathscr {S}}$ are generators in the sense that for any C in ${\mathscr {G}}$, there exists an epimorphism $S\twoheadrightarrow C$ in ${\mathscr {G}}$, where S is a small coproduct of objects in ${\mathscr {S}}$. By taking the coproduct of all generators in ${\mathscr {S}}$, we can assume that ${\mathscr {G}}$ has a single generator G.
(i) If X is an algebraic stack, the abelian categories $\mathrm {Mod}(\mathcal {O}_X)$ and ${\mathbf {Qcoh}}(X)$ of $\mathcal {O}_X$-modules and quasi-coherent modules are Grothendieck categories.
(ii) If ${\mathscr {A}}$ is a small, $\Bbbk $-linear category, we denote by $\mathrm {Mod}({\mathscr {A}})$ the Grothendieck category of additive functors ${\mathscr {A}}{^{\circ }}\to \mathrm {Mod}(\Bbbk )$. For later use, recall that if $\alpha $ is a regular cardinal, then we denote by $\mathrm {Lex}_{\alpha }({\mathscr {A}}{^{\circ }},\mathrm {Mod}(\Bbbk ))$ the full subcategory of $\mathrm {Mod}({\mathscr {A}})$ consisting of left exact functors that commute with $\alpha $-coproducts.
(iii) If ${\mathscr {A}}$ is an abelian category, we denote by $\mathrm {Ind}({\mathscr {A}})$ its Ind-category (see [Reference Grothendieck and Verdier19, Section 8]), which is a Grothendieck category. Roughly, it is obtained from ${\mathscr {A}}$ by formally adding filtered colimits of objects in ${\mathscr {A}}$.
The following states an important property for the derived category of a Grothendieck category.
Theorem 2.4 ([Reference Neeman33], Theorem 0.2).
If ${\mathscr {G}}$ is a Grothendieck category, then ${\mathbf {D}}({\mathscr {G}})$ is well-generated.
A full triangulated subcategory of ${\mathscr {T}}$ is $\alpha $-localising if it is closed under $\alpha $-coproducts and under direct summands (the latter condition is automatic if $\alpha>\aleph _0$). An $\alpha $-coproduct is a coproduct of strictly less than $\alpha $ summands. A full subcategory of ${\mathscr {T}}$ is localising if it is $\alpha $-localising for all regular cardinals $\alpha $.
When the category ${\mathscr {T}}$ is well-generated and we want to put emphasis on the cardinal $\alpha $ in (G3) and on ${\mathscr {S}}$, we say that ${\mathscr {T}}$ is $\alpha $-well-generated by the set ${\mathscr {S}}$. In this situation, following [Reference Krause24], we denote by ${\mathscr {T}}^{\alpha }$ the smallest $\alpha $-localising subcategory of ${\mathscr {T}}$ containing ${\mathscr {S}}$. By [Reference Krause24, Reference Neeman36], ${\mathscr {T}}^{\alpha }$ does not depend on the choice of the set ${\mathscr {S}}$, which well-generates ${\mathscr {T}}$.
Let ${\mathscr {G}}$ be a Grothendieck category, and let $\alpha $ be a sufficiently large regular cardinal. We are interested in describing the category ${\mathbf {D}}({\mathscr {G}})^{\alpha }$. To this end, we denote by ${\mathscr {G}}^{\alpha }$ the full subcategory of ${\mathscr {G}}$ consisting of $\alpha $-presentable objects. An object G in ${\mathscr {G}}$ is $\alpha $-presentable if the functor $\mathrm {Hom}_{{\mathscr {G}}}(G,-)\colon {\mathscr {G}}\to \mathrm {Mod}(\Bbbk )$ preserves $\alpha $-filtered colimits (see, for example, [Reference Krause25, Section 6.4] for the definition of $\alpha $-filtered colimit).
Theorem 2.5 ([Reference Krause23], Corollary 5.5 and Theorem 5.10).
Let ${\mathscr {G}}$ be a Grothendieck category, and let $\alpha $ be a sufficiently large regular cardinal.
(1) The category ${\mathscr {G}}^{\alpha }$ is abelian.
(2) There is a natural exact equivalence ${\mathbf {D}}({\mathscr {G}})^{\alpha }\cong {\mathbf {D}}({\mathscr {G}}^{\alpha })$.
The objects in ${\mathscr {T}}^{\alpha }$ are called $\alpha $-compact. Thus we will sometimes say that ${\mathscr {T}}$ is $\alpha $-compactly generated by the set of $\alpha $-compact generators ${\mathscr {S}}$. A very interesting case is when $\alpha =\aleph _0$. Indeed, with this choice, ${\mathscr {T}}^{\alpha }={\mathscr {T}}^c$, the full triangulated subcategory of compact objects in ${\mathscr {T}}$. Recall that an object C in ${\mathscr {T}}$ is compact if the functor ${\mathscr {T}}(C,-)$ commutes with small coproducts. Notice that the compact objects in ${\mathscr {T}}$ are precisely the $\aleph _0$-small ones.
The analogue of Theorem 2.4 can be proven for the unseparated derived category.
Theorem 2.6 ([Reference Krause23], Theorem 5.12).
If ${\mathscr {G}}$ is a Grothendieck category, then $\check {{\mathbf {D}}}({\mathscr {G}})$ is well-generated.
A weaker form of Theorem 2.5 (2) is also available. Indeed, by combining [Reference Krause23, Theorem 5.12(3)] with Theorem 2.5(2) for $\alpha $ a sufficiently large regular cardinal, there is a quotient functor
We will not use such a general result in this paper, but we will elaborate more on the following easier case.
Example 2.7. If ${\mathscr {A}}$ is a small abelian category, then one takes the Ind-category ${\mathscr {G}}:=\mathrm {Ind}({\mathscr {A}})$ (see Example 2.3). By [Reference Krause23, Theorem 4.9], there is a natural exact equivalence $\check {{\mathbf {D}}}({\mathscr {G}})^c\cong {\mathbf {D}}^b({\mathscr {A}})$.
2.2 Generating derived categories
In the general case when ${\mathscr {A}}$ is any abelian category, not necessarily Grothendieck, we need a different approach to the generation of ${\mathbf {D}}^?({\mathscr {A}})$.
Let us first recall the following rather general definition (see [Reference Bondal and Van den Bergh7]).
Definition 2.8. Let ${\mathscr {T}}$ be a triangulated category, and let ${\mathscr {S}}\subset \mathrm {Ob}({\mathscr {T}})$. We define
(1) ${\left \langle \mathscr {S} \right \rangle }_{1}$ is the collection of all direct summands of finite coproducts of shifts of objects in ${\mathscr {S}}$.
(2) ${\left \langle \mathscr {S} \right \rangle }_{n+1}$ consists of all direct summands of objects $T\in {\mathscr {T}}$ for which there exists a distinguished triangle $T_1\to T\to T_2$ with $T_1\in {\left \langle \mathscr {S} \right \rangle }_{n}$ and $T_2\in {\left \langle \mathscr {S} \right \rangle }_{1}$.
We set ${\left \langle \mathscr {S} \right \rangle }_{\infty }$ for the full subcategory consisting of all objects T in ${\mathscr {T}}$ contained in ${\left \langle \mathscr {S} \right \rangle }_{n}$ for some n.
In our special case, we can prove the following.
Proposition 2.9. Let ${\mathbf {V}}^?({\mathscr {A}})\subset {\mathbf {K}}^?({\mathscr {A}})$ be as defined in the opening paragraph of Subsection 1.1. For $?=b,+,-,\emptyset $, we have that ${\left \langle {\mathbf {V}}^?({\mathscr {A}}) \right \rangle }_{3}={\mathbf {K}}^?({\mathscr {A}})$.
Proof. Let $A^{*}\in \mathrm {Ob}({\mathbf {K}}^?({\mathscr {A}}))$, which we write as a complex
Let $K^i$ be the kernel of the differential $A^i\to A^{i+1}$. Then the map $A^{i-1}\to A^i$ factors uniquely as $A^{i-1}\xrightarrow {\alpha ^i} K^i\hookrightarrow A^i$.
This yields the morphism
in ${\mathbf {V}}^?({\mathscr {A}})$. Denote by $C^{*}$ its mapping cone. It is clear that $C^{*}\in {\left \langle {\mathbf {V}}^?({\mathscr {A}}) \right \rangle }_{2}$, and it is the direct sum over $i\in \mathbb {Z}$ of the complexes
Now consider the cochain map
whose components, out of ${K^{i}}[-i]$, are (respectively) $\varphi ^i$ as below
and $\psi ^i$ as below
It can be easily checked that the mapping cone of the morphism $\varphi +\psi $ is isomorphic to the direct sum of the complex $A^{*}$ and of complexes of the form
In other words, $\mathrm {Cone}\left (\varphi +\psi \right )\cong A^{*}$ in ${\mathbf {K}}^?({\mathscr {A}})$. Therefore, as $C^{*}$ belongs to ${\left \langle {\mathbf {V}}^?({\mathscr {A}}) \right \rangle }_{2}$ and $\varphi +\psi $ is a morphism from an object of ${\mathbf {V}}^?({\mathscr {A}})$ to $C^{*}$, we have that $A^{*}\in {\left \langle {\mathbf {V}}^?({\mathscr {A}}) \right \rangle }_{3}$.
The reader might wish to compare the proof of Proposition 2.9 above with the proof of [Reference Rouquier41, Proposition 7.22]; there are similarities.
As a straightforward consequence of Proposition 2.9 and of the fact that ${\mathbf {D}}^?({\mathscr {A}})$ is a quotient of ${\mathbf {K}}^?({\mathscr {A}})$, as explained in Section 1.1, we obtain the following.
3 Dg categories and enhancements
We briefly introduce dg categories and some basic machinery in Section 3.1. Next, we describe some constructions that will be important in the rest of the paper: Drinfeld quotients and h-flat resolutions (Section 3.2), the model structure and homotopy pullbacks (Section 3.3) and, finally, localisations for dg categories (Section 3.4). Dg enhancements, their uniqueness and dependence on the universe where the categories are defined are the contents of Section 3.5.
3.1 Dg categories
A dg category is a $\Bbbk $-linear category ${\mathscr {C}}$ such that the morphism spaces $\mathrm {Hom}_{\mathscr {C}}\left (A,B\right )$ are complexes of $\Bbbk $-modules and the composition maps $\mathrm {Hom}_{\mathscr {C}}(B,C)\otimes _{\Bbbk }\mathrm {Hom}_{\mathscr {C}}(A,B)\to \mathrm {Hom}_{\mathscr {C}}(A,C)$ are morphisms of complexes for all $A,B,C$ in $\mathrm {Ob}({\mathscr {C}})$.
A dg functor $\mathsf {F}\colon {\mathscr {C}}_1\to {\mathscr {C}}_2$ between two dg categories is a $\Bbbk $-linear functor such that the maps $\mathrm {Hom}_{{\mathscr {C}}_1}(A,B)\to \mathrm {Hom}_{{\mathscr {C}}_2}(\mathsf {F}(A),\mathsf {F}(B))$ are morphisms of complexes for all $A,B$ in $\mathrm {Ob}({\mathscr {C}}_1)$.
The underlying category $Z^0({\mathscr {C}})$ (respectively, the homotopy category $H^0({\mathscr {C}})$) of a dg category ${\mathscr {C}}$ is the $\Bbbk $-linear category with the same objects of ${\mathscr {C}}$ and such that $\mathrm {Hom}_{Z^0({\mathscr {C}})}(A,B):=Z^0(\mathrm {Hom}_{\mathscr {C}}(A,B))$ (respectively, $\mathrm {Hom}_{H^0({\mathscr {C}})}(A,B):=H^0(\mathrm {Hom}_{\mathscr {C}}(A,B))$) for all $A,B$ in $\mathrm {Ob}({\mathscr {C}})$ (with composition of morphisms naturally induced from the one in ${\mathscr {C}}$). Two objects of ${\mathscr {C}}$ are dg isomorphic (respectively, homotopy equivalent) if they are isomorphic in $Z^0({\mathscr {C}})$ (respectively, $H^0({\mathscr {C}})$). One can also define $Z({\mathscr {C}})$ (respectively $H({\mathscr {C}})$) to be the graded (namely, dg with trivial differential) category whose objects are the same as those of ${\mathscr {C}}$, while $\mathrm {Hom}_{Z({\mathscr {C}})}(A,B):=\oplus _{i\in \mathbb {Z}}Z^i(\mathrm {Hom}_{\mathscr {C}}(A,B))$ (respectively, $\mathrm {Hom}_{H({\mathscr {C}})}(A,B):=\oplus _{i\in \mathbb {Z}}H^i(\mathrm {Hom}_{\mathscr {C}}(A,B))$) for all $A,B$ in $\mathrm {Ob}({\mathscr {C}})$.
Example 3.1. If ${\mathscr {A}}$ is a $\Bbbk $-linear category, there is a natural dg category ${\mathbf {C}}_{{\mathbf {dg}}}^?({\mathscr {A}})$ such that $H^0({\mathbf {C}}_{{\mathbf {dg}}}^?({\mathscr {A}}))={\mathbf {K}}^?({\mathscr {A}})$ for $?=b,+,-,\emptyset $. Explicitly,
for every $A^{*},B^{*}\in \mathrm {Ob}({\mathbf {C}}_{{\mathbf {dg}}}^?({\mathscr {A}}))$ and for every $n\in \mathbb {Z}$. While the composition of morphisms is the obvious one, the differential is defined on a homogeneous element $f\in \mathrm {Hom}_{{\mathbf {C}}_{{\mathbf {dg}}}^?({\mathscr {A}})}(A^{*},B^{*})^n$ by $d(f):=d_B\circ f-(-1)^nf\circ d_A$.
A dg functor $\mathsf {F}\colon {\mathscr {C}}_1\to {\mathscr {C}}_2$ induces a $\Bbbk $-linear functor $H^0(\mathsf {F})\colon H^0({\mathscr {C}}_1)\to H^0({\mathscr {C}}_2)$. We say that $\mathsf {F}$ is a quasi-equivalence if the maps $\mathrm {Hom}_{{\mathscr {C}}_1}(A,B)\to \mathrm {Hom}_{{\mathscr {C}}_2}(\mathsf {F}(A),\mathsf {F}(B))$ are quasi-isomorphisms for all $A,B$ in $\mathrm {Ob}({\mathscr {C}}_1)$, and $H^0(\mathsf {F})$ is an equivalence.
If $\mathbb {U}$ is a universe, we denote by ${\mathbf {dgCat}}_{\mathbb {U}}$ (or simply by ${\mathbf {dgCat}}$, if there can be no ambiguity about $\mathbb {U}$) the category whose objects are $\mathbb {U}$-small dg categories and whose morphisms are dg functors. It is known (see [Reference Tabuada44]) that ${\mathbf {dgCat}}$ has a model structure whose weak equivalences are quasi-equivalences and such that every object is fibrant. We denote by ${\mathbf {Hqe}}$ (or ${\mathbf {Hqe}}_{\mathbb {U}}$, if needed) the corresponding homotopy category, namely the localisation of ${\mathbf {dgCat}}$ with respect to quasi-equivalences. Since $H^0$ sends quasi-equivalences to equivalences, for every morphism $f\colon {\mathscr {C}}_1\to {\mathscr {C}}_2$ in ${\mathbf {Hqe}}$ there is a $\Bbbk $-linear functor $H^0(f)\colon H^0({\mathscr {C}}_1)\to H^0({\mathscr {C}}_2)$, which is well-defined up to isomorphism.
Dg functors between two dg categories ${\mathscr {C}}_1$ and ${\mathscr {C}}_2$ form in a natural way the objects of a dg category $\underline {\mathcal {H}om}({\mathscr {C}}_1,{\mathscr {C}}_2)$. For every dg category ${\mathscr {C}}$, we set $\mathrm {dgMod}({\mathscr {C}}):=\underline {\mathcal {H}om}({\mathscr {C}}^{\circ },{\mathbf {C}}_{{\mathbf {dg}}}(\mathrm {Mod}(\Bbbk )))$ and call its objects (right) dg ${\mathscr {C}}$-modules. Observe that $\mathrm {dgMod}(\Bbbk )$ can be identified with ${\mathbf {C}}_{{\mathbf {dg}}}(\mathrm {Mod}(\Bbbk ))$.
For every dg category ${\mathscr {C}}$, the map defined on objects by $A\mapsto \mathrm {Hom}_{\mathscr {C}}(-,A)$ extends to a fully faithful dg functor $\mathsf {Y}^{{\mathscr {C}}}_{\mathrm {dg}}\colon {\mathscr {C}}\to \mathrm {dgMod}({\mathscr {C}})$ (the dg Yoneda embedding). It is easy to see that the image of $\mathsf {Y}^{{\mathscr {C}}}_{\mathrm {dg}}$ is contained in the full dg subcategory $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})$ of $\mathrm {dgMod}({\mathscr {C}})$ whose objects are h-projective dg ${\mathscr {C}}$-modules. By definition, $M\in \mathrm {Ob}(\mathrm {dgMod}({\mathscr {C}}))$ is h-projective if $\mathrm {Hom}_{H^0(\mathrm {dgMod}({\mathscr {C}}))}(M,N)=0$ for every $N\in \mathrm {Ob}(\mathrm {dgAcy}({\mathscr {C}}))$, where $\mathrm {dgAcy}({\mathscr {C}})$ is the full dg subcategory of $\mathrm {dgMod}({\mathscr {C}})$ whose objects are acyclic (in the sense that $N(A)$ is an acyclic complex for every $A\in \mathrm {Ob}({\mathscr {C}})$).
If $\mathsf {F}\colon {\mathscr {C}}_1\to {\mathscr {C}}_2$ is a dg functor, composition with $\mathsf {F}^{\circ }$ yields a dg functor $\mathsf {Res}(\mathsf {F})\colon \mathrm {dgMod}({\mathscr {C}}_2)\to \mathrm {dgMod}({\mathscr {C}}_1)$. It turns out that there also exists a dg functor $\mathsf {Ind}(\mathsf {F})\colon \mathrm {dgMod}({\mathscr {C}}_1)\to \mathrm {dgMod}({\mathscr {C}}_2)$, which is left adjoint to $\mathsf {Res}(\mathsf {F})$ and such that $\mathsf {Ind}(\mathsf {F})\circ \mathsf {Y}^{{\mathscr {C}}_1}_{\mathrm {dg}}\cong \mathsf {Y}^{{\mathscr {C}}_2}_{\mathrm {dg}}\circ \mathsf {F}$. Moreover, $\mathsf {Ind}(\mathsf {F})$ preserves h-projective dg modules, and $\mathsf {Ind}(\mathsf {F})\colon \mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}_1)\to \mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}_2)$ is a quasi-equivalence if $\mathsf {F}$ is. This last fact clearly implies that a(n iso)morphism $f\colon {\mathscr {C}}_1\to {\mathscr {C}}_2$ in ${\mathbf {Hqe}}$ induces a(n iso)morphism $\mathsf {Ind}(f)\colon \mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}_1)\to \mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}_2)$ in ${\mathbf {Hqe}}$.
As is explained, for instance, in [Reference Bondal, Larsen and Lunts6], there is a notion of formal shift by an integer n of an object A in a dg category ${\mathscr {C}}$ (denoted, as usual, by ${A}[n]$). Similarly, one can define the formal cone of a morphism f in $Z^0({\mathscr {C}})$ (denoted, as usual, by $\mathrm {Cone}\left (f\right )$). Shifts and cones need not exist in an arbitrary dg category, but when they do, they are unique up to dg isomorphism and are preserved by dg functors. The following property of the cone of a morphism will be useful later.
Lemma 3.2. Let $A\xrightarrow {f}B\xrightarrow {g}C$ be morphisms in $Z^0({\mathscr {C}})$ such that $\mathrm {Cone}\left (f\right )$ exists and $g\circ f$ is a coboundary. Then there exists $h\colon \mathrm {Cone}\left (f\right )\to C$ in $Z^0({\mathscr {C}})$ such that $g=h\circ j$, where $j\colon B\to \mathrm {Cone}\left (f\right )$ is the natural morphism.
Proof. See [Reference Genovese18, Proposition 2.3.4].
Definition 3.3. A dg category ${\mathscr {C}}$ is strongly pretriangulated if ${A}[n]$ and $\mathrm {Cone}\left (f\right )$ exist (in ${\mathscr {C}}$) for every $n\in \mathbb {Z}$, every object A of ${\mathscr {C}}$ and every morphism f of $Z^0({\mathscr {C}})$.
A dg category ${\mathscr {C}}$ is pretriangulated if there exists a quasi-equivalence ${\mathscr {C}}\to {\mathscr {C}}'$ with ${\mathscr {C}}'$ strongly pretriangulated.
Remark 3.4. If ${\mathscr {C}}$ is a pretriangulated dg category, then $H^0({\mathscr {C}})$ is a triangulated category in a natural way. If f is a morphism in ${\mathbf {Hqe}}$ between two pretriangulated dg categories, then the functor $H^0(f)$ is exact.
If ${\mathscr {C}}$ is a dg category, $\mathrm {dgMod}({\mathscr {C}})$, $\mathrm {dgAcy}({\mathscr {C}})$ and $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})$ are strongly pretriangulated dg categories. Moreover, the (triangulated) categories $H^0(\mathrm {dgMod}({\mathscr {C}}))$, $H^0(\mathrm {dgAcy}({\mathscr {C}}))$ and $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$ have arbitrary coproducts, and there is a semi-orthogonal decomposition
This clearly implies that there is an exact equivalence between $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$ and the Verdier quotient $\mathcal {D}({\mathscr {C}}):=H^0(\mathrm {dgMod}({\mathscr {C}}))/H^0(\mathrm {dgAcy}({\mathscr {C}}))$ (which is by definition the derived category of ${\mathscr {C}}$).
For every dg category ${\mathscr {C}}$, we will denote by $\mathrm {Pretr}({\mathscr {C}})$ (respectively, $\mathrm {Perf}({\mathscr {C}})$) the smallest full dg subcategory of $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})$ containing $\mathsf {Y}^{{\mathscr {C}}}_{\mathrm {dg}}({\mathscr {C}})$ and closed under homotopy equivalences, shifts, cones (respectively, also direct summands in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$). It is easy to see that $\mathrm {Pretr}({\mathscr {C}})$ and $\mathrm {Perf}({\mathscr {C}})$ are strongly pretriangulated and that ${\mathscr {C}}$ is pretriangulated if and only if $\mathsf {Y}^{{\mathscr {C}}}_{\mathrm {dg}}\colon {\mathscr {C}}\to \mathrm {Pretr}({\mathscr {C}})$ is a quasi-equivalence. Moreover, $\mathrm {Pretr}({\mathscr {C}})\subseteq \mathrm {Perf}({\mathscr {C}})$ and $H^0(\mathrm {Perf}({\mathscr {C}}))$ can be identified with the idempotent completion $H^0(\mathrm {Pretr}({\mathscr {C}}))^{\mathrm {ic}}$ of $H^0(\mathrm {Pretr}({\mathscr {C}}))$. Hence $\mathsf {Y}^{{\mathscr {C}}}_{\mathrm {dg}}\colon {\mathscr {C}}\to \mathrm {Perf}({\mathscr {C}})$ is a quasi-equivalence if and only if ${\mathscr {C}}$ is pretriangulated and $H^0({\mathscr {C}})$ is idempotent complete.
Remark 3.5. Recall that an additive category ${\mathscr {A}}$ is idempotent complete if every idempotent (namely, a morphism $e\colon A\to A$ in ${\mathscr {A}}$ such that $e^2=e$) splits or, equivalently, has a kernel. Every additive category ${\mathscr {A}}$ admits a fully faithful and additive embedding ${\mathscr {A}}\hookrightarrow {\mathscr {A}}^{\mathrm {ic}}$, where ${\mathscr {A}}^{\mathrm {ic}}$ is an idempotent complete additive category, with the property that every object of ${\mathscr {A}}^{\mathrm {ic}}$ is a direct summand of an object from ${\mathscr {A}}$. The category ${\mathscr {A}}^{\mathrm {ic}}$ (or, better, the functor ${\mathscr {A}}\to {\mathscr {A}}^{\mathrm {ic}}$) is called the idempotent completion of ${\mathscr {A}}$. It can be proved (see [Reference Balmer and Schlichting3]) that if ${\mathscr {T}}$ is a triangulated category, then ${\mathscr {T}}^{\mathrm {ic}}$ is triangulated as well (and ${\mathscr {T}}\hookrightarrow {\mathscr {T}}^{\mathrm {ic}}$ is exact).
If ${\mathscr {C}}$ is a dg category, then $H^0(\mathrm {Perf}({\mathscr {C}}))$ is idempotent complete, and from this it is easy to deduce that $Z^0(\mathrm {Perf}({\mathscr {C}}))$ is also idempotent complete.
If ${\mathscr {A}}$ is an abelian category, it follows from [Reference Balmer and Schlichting3, Reference Schlichting43] that ${\mathbf {D}}^?({\mathscr {A}})$ is idempotent complete for $?=b,+,-,\emptyset $. More precisely, for $?\in \{-,+\}$, the result may be found in [Reference Balmer and Schlichting3, Lemma 2.4]; for $?=b$, see [Reference Balmer and Schlichting3, Lemma 2.8]; and for $?=\emptyset $, see Theorem 6 of Section 10 in [Reference Schlichting43] combined with Lemma 7 of Section 9 in the same paper.
Observe that by Remark 1.3 combined with the paragraph above, the categories ${\mathbf {K}}^?({\mathscr {A}})$ are also idempotent complete—as long as ${\mathscr {A}}$ is abelian and with $?=b,+,-,\emptyset $.
3.2 Drinfeld quotients and h-flat resolutions
Let ${\mathscr {C}}$ be a dg category and ${\mathscr {D}}\subseteq {\mathscr {C}}$ a full dg subcategory. As explained in [Reference Drinfeld16, Section 3.1], one can form the Drinfeld quotient of ${\mathscr {C}}$ by ${\mathscr {D}}$, which we denote by ${\mathscr {C}}/{\mathscr {D}}$. This is a dg category, and its construction goes roughly as follows: given $D\in \mathrm {Ob}({\mathscr {D}})$, we formally add a morphism $f_D\colon D\to D$ of degree $-1$, and we set $d(f_D)=\mathrm {id}_D$.
If ${\mathscr {C}}$ is pretriangulated and ${\mathscr {D}}$ is a full pretriangulated dg subcategory, then ${\mathscr {C}}/{\mathscr {D}}$ is pretriangulated. In this case, the natural dg functor ${\mathscr {C}}\to {\mathscr {C}}/{\mathscr {D}}$ induces an exact functor $H^0({\mathscr {C}})\to H^0({\mathscr {C}}/{\mathscr {D}})$, which sends to zero the objects of ${\mathscr {D}}$. Thus it factors through the Verdier quotient $H^0({\mathscr {C}})\to H^0({\mathscr {C}})/H^0({\mathscr {D}})$, yielding an exact functor
which need not be an equivalence, in general.
Definition 3.6. We remind the reader of the terminology of [Reference Drinfeld16]. A dg category ${\mathscr {C}}$ is h-flat if, for all $C_1,C_2\in \mathrm {Ob}({\mathscr {C}})$, the complex $\mathrm {Hom}_{\mathscr {C}}(C_1,C_2)$ is homotopically flat over $\Bbbk $. The homotopic flatness of $\mathrm {Hom}_{\mathscr {C}}(C_1,C_2)$ means for any acyclic complex M of $\Bbbk $-modules, $\mathrm {Hom}_{\mathscr {C}}(C_1,C_2)\otimes _{\Bbbk } M$ is acyclic.
Example 3.7. If $\Bbbk $ is a field, then every dg category is clearly h-flat.
As a special case of [Reference Drinfeld16, Theorem 3.4], we have that if ${\mathscr {C}}$ is an h-flat pretriangulated dg category and ${\mathscr {D}}$ is a full pretriangulated subcategory of ${\mathscr {C}}$, then equation (3.2) is an exact equivalence.
If ${\mathscr {C}}$ is not h-flat, Drinfeld shows in [Reference Drinfeld16, Lemma B.5] that one can construct an h-flat dg category $\widetilde {\mathscr {C}}$ with a quasi-equivalence $\mathsf {I}_{\mathscr {C}}\colon \widetilde {\mathscr {C}}\to {\mathscr {C}}$. One can then define $\widetilde {\mathscr {D}}$ to be the full dg subcategory $\mathsf {I}_{\mathscr {C}}^{-1}{\mathscr {D}}\subset \widetilde {\mathscr {C}}$ and take the morphism $q\in \mathrm {Hom}_{\mathbf {Hqe}}\left ({\mathscr {C}},\widetilde {\mathscr {C}}/\widetilde {\mathscr {D}}\right )$ represented as
where the dg functor on the right is the natural one mentioned above.
This construction satisfies the following universal property, which is a special instance of [Reference Drinfeld16, Main Theorem]. Assume that ${\mathscr {C}}'$ is a pretriangulated dg category and $f\in \mathrm {Hom}_{\mathbf {Hqe}}({\mathscr {C}},{\mathscr {C}}')$ is such that $H^0(f)$ sends the objects of ${\mathscr {D}}$ to zero. Then there is a unique $\overline {f}\in \mathrm {Hom}_{\mathbf {Hqe}}\left (\widetilde {\mathscr {C}}/\widetilde {\mathscr {D}},{\mathscr {C}}'\right )$ making the diagram
commute in ${\mathbf {Hqe}}$.
In the rest of this section, we describe two variants of $\widetilde {\mathscr {C}}$ with properties that we will need in the rest of the paper. We start with a dg category ${\mathscr {C}}$, we let ${\mathscr {T}}$ be the graded category ${\mathscr {T}}=H({\mathscr {C}})$, and the aim is to produce two sequences of dg categories and faithful dg functors
together with compatible dg functors $\mathsf {I}_n\colon {\mathscr {C}}_n\to {\mathscr {C}}$ and $\mathsf {I}^{\prime }_n\colon {\mathscr {C}}^{\prime }_n\to {\mathscr {C}}$, which are the identity on objects. Then we set ${{\mathscr {C}}}^{\mathrm {hf}}$ and ${{\mathscr {C}}}^{\mathrm {sm}}$ to be the respective colimits, with the induced dg functors ${\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}\colon {{\mathscr {C}}}^{\mathrm {hf}}\overset {\sim }{\longrightarrow }{\mathscr {C}}$ and ${\mathsf {I}}^{\mathrm {sm}}_{\mathscr {C}}\colon {{\mathscr {C}}}^{\mathrm {sm}}\overset {\sim }{\longrightarrow }{\mathscr {C}}$.
We define ${\mathscr {C}}_0={\mathscr {C}}^{\prime }_0$ to be the discrete $\Bbbk $-linear category with the same objects as ${\mathscr {C}}$. This means
The dg functor $\mathsf {I}_0=\mathsf {I}^{\prime }_0$ is the obvious one that acts as the identity on objects and morphisms.
For $n=1$, we set
Now the composite
is surjective by construction; hence we may choose a splitting. We let $\overline D^1_{\mathscr {C}}(A,B)\subset D^1_{\mathscr {C}}(A,B)$ be a subset such that the composite $\overline D^1_{\mathscr {C}}(A,B)\to D^1_{\mathscr {C}}(A,B)\to \mathrm {Hom}_{{\mathscr {T}}}(A,B)$ is an isomorphism. And we define ${\mathscr {C}}_1$ so that $\mathrm {Hom}_{{\mathscr {C}}_1}^{}(A,B)$ is the graded $\Bbbk $-module freely generated by the basis $D^1_{\mathscr {C}}(A,B)-\{0\}$, with the composition being obvious on basis vectors. And ${\mathscr {C}}^{\prime }_1$ is the graded $\Bbbk $-linear category freely generatedFootnote 1 over ${\mathscr {C}}_0$ by the sets $\overline D^1_{\mathscr {C}}(A,B)$. The differentials of ${\mathscr {C}}_1$ and ${\mathscr {C}}^{\prime }_1$ are trivial.
We continue for $n\geq 2$ by defining inductively, for all $A,B\in \mathrm {Ob}({\mathscr {C}})$,
The definition of $\overline D^n_{\mathscr {C}}(A,B)$ is slightly more delicate. We begin by copying the procedure above with ${\mathscr {C}}^{\prime }_{n-1}$ in place of ${\mathscr {C}}_{n-1}$, setting
And then we observe that $\widehat D^n_{\mathscr {C}}(A,B)$ surjects to the kernel of the surjective map
allowing us to choose a subset $\overline D^n_{\mathscr {C}}(A,B)\subset \widehat D^n_{\mathscr {C}}(A,B)$ so that the composite
is an isomorphism. And now we are ready: ${\mathscr {C}}_n$ is the graded $\Bbbk $-linear category freely generated over ${\mathscr {C}}_{n-1}$ by the sets $D^n_{\mathscr {C}}(A,B)$, while ${\mathscr {C}}^{\prime }_n$ is the graded $\Bbbk $-linear category freely generated over ${\mathscr {C}}^{\prime }_{n-1}$ by the sets $\overline D^n_{\mathscr {C}}(A,B)$. It is easy to show that ${\mathscr {C}}_n,{\mathscr {C}}^{\prime }_n$ become dg categories if we extend the differential on ${\mathscr {C}}_{n-1}$ by sending a generator $(f,b)$, in either $D_n(A,B)$ or $\overline D^n_{\mathscr {C}}(A,B)$, to b.
For $n\ge 1$, the dg functor $\mathsf {I}_n\colon {\mathscr {C}}_n\to {\mathscr {C}}$ is determined by setting $\mathsf {I}_n|_{{\mathscr {C}}_{n-1}}:=\mathsf {I}_{n-1}$ and $\mathsf {I}_n((f,b)):=f$ for all $(f,b)\in D^n_{\mathscr {C}}(A,B)$. Similarly, the dg functor $\mathsf {I}^{\prime }_n\colon {\mathscr {C}}^{\prime }_n\to {\mathscr {C}}$ is given by setting $\mathsf {I}^{\prime }_n|_{{\mathscr {C}}^{\prime }_{n-1}}:=\mathsf {I}^{\prime }_{n-1}$ and $\mathsf {I}^{\prime }_n((f,b)):=f$ for all $(f,b)\in \overline D^n_{\mathscr {C}}(A,B)$.
The following are easy consequences of the definitions.
Lemma 3.8. If the category ${\mathscr {T}}$ is $\mathbb {U}$-small, if $\mathbb {U}\in \mathbb {V}$ is a larger universe and if ${\mathscr {C}}$ is a $\mathbb {V}$-small dg category with $H({\mathscr {C}})\cong {\mathscr {T}}$, then the dg functor ${\mathsf {I}}^{\mathrm {sm}}:{{\mathscr {C}}}^{\mathrm {sm}}\to {\mathscr {C}}$ is a quasi-equivalence with ${{\mathscr {C}}}^{\mathrm {sm}}$ a $\mathbb {U}$-small dg category. Moreover, if ${\mathscr {C}}$ is pretriangulated, then so is ${{\mathscr {C}}}^{\mathrm {sm}}$.
Proof. Obvious by construction, the passage from ${\mathscr {C}}^{\prime }_{n-1}$ to ${\mathscr {C}}^{\prime }_n$ keeps tight control of the size of sets that come up (see, in particular, equation (3.4)).
Remark 3.9. It is easy to see that if ${\mathscr {C}}$ is pretriangulated (closed by shifts is enough), then $H({\mathscr {C}})$ is $\mathbb {U}$-small if and only if $H^0({\mathscr {C}})$ is $\mathbb {U}$-small.
Proposition 3.10. The construction taking a dg category ${\mathscr {C}}$ to the dg functor ${\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}\colon {{\mathscr {C}}}^{\mathrm {hf}}\to {\mathscr {C}}$ satisfies the following properties:
(1) For every dg category ${\mathscr {C}}$, the dg functor ${\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}$ is a quasi-equivalence and ${{\mathscr {C}}}^{\mathrm {hf}}$ is h-flat.
(2) ${(-)}^{\mathrm {hf}}$ is a functor from the category of dg categories to itself, and ${\mathsf {I}}^{\mathrm {hf}}:{(-)}^{\mathrm {hf}}\to \mathrm {id}$ is a natural transformation. This means if ${\mathscr {C}}$ and ${\mathscr {D}}$ are dg categories and $\mathsf {F}\colon {\mathscr {C}}\to {\mathscr {D}}$ is a dg functor, there is a canonically defined dg functor ${\mathsf {F}}^{\mathrm {hf}}\colon {{\mathscr {C}}}^{\mathrm {hf}}\to {{\mathscr {D}}}^{\mathrm {hf}}$ making the following diagram commutative:
Moreover, the construction taking $\mathsf {F}\colon {\mathscr {C}}\to {\mathscr {D}}$ to ${\mathsf {F}}^{\mathrm {hf}}\colon {{\mathscr {C}}}^{\mathrm {hf}}\to {{\mathscr {D}}}^{\mathrm {hf}}$ respects composition and identities.(3) If ${\mathscr {C}}$ is pretriangulated, then ${{\mathscr {C}}}^{\mathrm {hf}}$ is pretriangulated.
Proof. Part (1) has the same proof as in [Reference Drinfeld16, Lemma B.5] since properties (i)–(iv) in the construction of [Reference Drinfeld16, Lemma B.5] are obviously satisfied by our construction as well (note that (iii) is verified starting from $n=2$). The functoriality and naturality in (2) are clear; the construction is choice-free. Indeed, $\mathsf {F}$ induces a natural dg functor $\mathsf {F}_0\colon {\mathscr {C}}_0\to {\mathscr {D}}_0$ acting as $\mathsf {F}$ on the objects and as the identity on the morphisms. Similarly, $\mathsf {F}$ induces a dg functor $\mathsf {F}_n\colon {\mathscr {C}}_n\to {\mathscr {D}}_n$ extending $\mathsf {F}_{n-1}$ and determined by the assignment
We set ${\mathsf {F}}^{\mathrm {hf}}$ to be the colimit of the dg functors $\mathsf {F}_n$. Part (3) is easy from (1).
Suppose now that ${\mathscr {C}}$ is a dg category and ${\mathscr {D}}\subseteq {\mathscr {C}}$ is a full dg subcategory. Moreover, let ${\mathscr {D}}'$ be the full dg subcategory of ${{\mathscr {C}}}^{\mathrm {hf}}$ with the same objects as ${\mathscr {D}}$. When ${\mathscr {C}}$ and ${\mathscr {D}}$ are pretriangulated, there are natural exact equivalences $H^0({\mathscr {C}})/H^0({\mathscr {D}})\cong H^0({{\mathscr {C}}}^{\mathrm {hf}})/H^0({\mathscr {D}}')\cong H^0\left ({{\mathscr {C}}}^{\mathrm {hf}}/{\mathscr {D}}'\right )$. Furthermore, not only are $\widetilde {\mathscr {C}}$ and ${{\mathscr {C}}}^{\mathrm {hf}}$ isomorphic in ${\mathbf {Hqe}}$, but by the universal property of Drinfeld quotients mentioned above, the dg categories $\widetilde {\mathscr {C}}/\widetilde {\mathscr {D}}$ and ${{\mathscr {C}}}^{\mathrm {hf}}/{\mathscr {D}}'$ are isomorphic in ${\mathbf {Hqe}}$.
Remark 3.11. Now let ${\mathscr {C}}$ be a pretriangulated dg category and ${\mathscr {D}}$ a full pretriangulated dg subcategory of ${\mathscr {C}}$. Denoting by $\mathsf {Q}\colon {{\mathscr {C}}}^{\mathrm {hf}}\to {{\mathscr {C}}}^{\mathrm {hf}}/{\mathscr {D}}'$ the natural dg functor, assume that we have a dg functor $\mathsf {F}\colon {{\mathscr {C}}}^{\mathrm {hf}}\to {\mathscr {C}}'$ of pretriangulated dg categories such that $H^0(\mathsf {F})$ sends the objects of ${\mathscr {D}}'$ to zero. Then the universal property pictured in equation (3.3) can be made more explicit: there exists a dg functor $\overline {\mathsf {F}}\colon {{\mathscr {C}}}^{\mathrm {hf}}/{\mathscr {D}}'\to {\mathscr {C}}'$ such that the diagram
is commutative in ${\mathbf {dgCat}}$. The existence of $\overline {\mathsf {F}}$ is simple enough to see from the construction of ${{\mathscr {C}}}^{\mathrm {hf}}/{\mathscr {D}}'$ and $\mathsf {Q}$ in [Reference Drinfeld16, Section 3.1]. Indeed, as ${{\mathscr {C}}}^{\mathrm {hf}}/{\mathscr {D}}'$ has the same objects as ${{\mathscr {C}}}^{\mathrm {hf}}$, one sets $\overline {\mathsf {F}}(C):=\mathsf {F}(C)$ for all C in ${{\mathscr {C}}}^{\mathrm {hf}}/{\mathscr {D}}'$. If $D\in {\mathscr {D}}'$ is an object, then $\mathrm {Hom}_{{\mathscr {C}}'}(\mathsf {F}(D),\mathsf {F}(D))$ is acyclic, allowing us to choose a degree -1 morphism $f(D)\colon \mathsf {F}(D)\to \mathsf {F}(D)$ with $d(f(D))=\mathrm {id}$. Then the dg functor $\overline {\mathsf {F}}$ extends $\mathsf {F}$ on morphisms and takes each degree $-1$ morphism $f_D\colon D\to D$, in the definition of the category ${{\mathscr {C}}}^{\mathrm {hf}}/{\mathscr {D}}'$, to the degree -1 morphism $f(D)$ in ${\mathscr {C}}'$.
The construction of the dg functor $\overline {\mathsf {F}}$ in the paragraph above depends on making choices and is not unique; the uniqueness is only up to homotopy, meaning in the category ${\mathbf {Hqe}}$. But if ${\mathscr {C}}_1$ and ${\mathscr {C}}_2$ are pretriangulated dg categories with full pretriangulated dg subcategories ${\mathscr {D}}_1\subset {\mathscr {C}}_1$ and ${\mathscr {D}}_2\subset {\mathscr {C}}_2$, and $\mathsf {G}\colon {\mathscr {C}}_1\to {\mathscr {C}}_2$ is a dg functor with $\mathsf {G}({\mathscr {D}}_1)\subseteq {\mathscr {D}}_2$, then ${\mathsf {G}}^{\mathrm {hf}}$ induces a natural dg functor ${{\mathscr {C}}}^{\mathrm {hf}}_1/{\mathscr {D}}^{\prime }_1\to {{\mathscr {C}}}^{\mathrm {hf}}_2/{\mathscr {D}}^{\prime }_2$. Both the passage from ${\mathscr {C}}$ to ${{\mathscr {C}}}^{\mathrm {hf}}$ and Drinfeld’s construction of the quotient ${{\mathscr {C}}}^{\mathrm {hf}}/{\mathscr {D}}'$ are manifestly functorial.
In the rest of the paper, we will sometimes sloppily denote by ${\mathscr {C}}/{\mathscr {D}}$ either the Drinfeld quotient of ${\mathscr {C}}$ by ${\mathscr {D}}$ when ${\mathscr {C}}$ is h-flat or of ${{\mathscr {C}}}^{\mathrm {hf}}$ by ${\mathscr {D}}'$ otherwise.
3.3 The model structure and homotopy pullbacks
Let us recall that the pullback of a diagram
in ${\mathbf {dgCat}}$ is given by a dg category ${\mathscr {C}}_1\times _{\mathscr {D}}{\mathscr {C}}_2$ defined in the obvious way. Unfortunately, this notion of pullback does not behave well with respect to quasi-equivalences.
To overcome this issue, one has to note that by the work of Tabuada [Reference Tabuada44], ${\mathbf {dgCat}}$ has a model category structure whose weak equivalences are the quasi-equivalences. We refer to [Reference Hovey21] for an exhaustive introduction to model categories. Here we content ourselves with some remarks about the special case of ${\mathbf {dgCat}}$. In particular, in Tabuada’s model structure, all dg categories are fibrant, but not all are cofibrant. Furthermore, such a model structure is right proper: that is, every pullback of a weak equivalence along a fibration is a weak equivalence, thanks to the fact that all objects are fibrant (see [Reference Hirschhorn20, Corollary 13.1.3]). Finally, ${\mathbf {Hqe}}$ can be reinterpreted as the homotopy category of ${\mathbf {dgCat}}$ with respect to such a model structure.
As is explained, for instance, in [Reference Hirschhorn20, Section 13.3], one can then consider the homotopy pullback ${\mathscr {C}}_1\times ^h_{\mathscr {D}} {\mathscr {C}}_2$ of equation (3.5). By definition ${\mathscr {C}}_1\times ^h_{\mathscr {D}} {\mathscr {C}}_2:={\mathscr {C}}^{\prime }_1\times _{\mathscr {D}}{\mathscr {C}}^{\prime }_2$ is the usual pullback of a diagram
where at least one among $\mathsf {F}^{\prime }_1$ and $\mathsf {F}^{\prime }_2$ is a fibration and (for $i=1,2$) $\mathsf {F}_i=\mathsf {F}^{\prime }_i\circ \mathsf {I}_i$ with $\mathsf {I}_i\colon {\mathscr {C}}_i\to {\mathscr {C}}^{\prime }_i$ a quasi-equivalence. Notice that such a factorisation of $\mathsf {F}_i$ always exists, and in fact one could choose $\mathsf {I}_i$ to be a cofibration as well. The homotopy pullback does not depend, up to isomorphism in ${\mathbf {Hqe}}$, on the choice of the diagram given by equation (3.6).
Let us spell out an explicit description of ${\mathscr {C}}_1\times ^h_{\mathscr {D}} {\mathscr {C}}_2$. We can take $\mathsf {F}^{\prime }_2=\mathsf {F}_2$ and factor only $\mathsf {F}_1$ as follows. Define ${\mathscr {C}}^{\prime }_1$ to be the dg category whose objects are triples, $(C_1,D,f)$, where $C_1\in \mathrm {Ob}({\mathscr {C}}_1)$, $D\in \mathrm {Ob}({\mathscr {D}})$ and $f\colon \mathsf {F}_1(C_1)\to D$ is a homotopy equivalence. A morphism of degree n from $(C_1,D,f)$ to $(C^{\prime }_1,D',f')$ in ${\mathscr {C}}^{\prime }_1$ is given by a triple $(a_1,b,h)$ with $a_1\in \mathrm {Hom}_{{\mathscr {C}}_1}(C_1,C^{\prime }_1)^n$, $b\in \mathrm {Hom}_{\mathscr {D}}(D,D')^n$ and $h\in \mathrm {Hom}_{\mathscr {D}}(\mathsf {F}_1(C_1),D')^{n-1}$. The differential is defined by
and the composition by
The dg functor $\mathsf {I}_1$ is defined by $\mathsf {I}_1(C_1):=(C_1,\mathsf {F}_1(C_1),\mathrm {id}_{\mathsf {F}_1(C_1)})$ on objects and $\mathsf {I}_1(a_1):=(a_1,\mathsf {F}_1(a_1),0)$ on morphisms. On the other hand, the dg functor $\mathsf {F}^{\prime }_1$ is defined as projection on the second component both on objects and on morphisms. It is not difficult to check that $\mathsf {I}_1$ is a quasi-equivalence and $\mathsf {F}^{\prime }_1$ is a fibration.
With the above choice, ${\mathscr {C}}_1\times ^h_{\mathscr {D}}{\mathscr {C}}_2$ can be identified with the dg category whose objects are triples $(C_1,C_2,f)$, where $C_i\in \mathrm {Ob}({\mathscr {C}}_i)$ for $i=1,2$ and $f\colon \mathsf {F}_1(C_1)\to \mathsf {F}_2(C_2)$ is a homotopy equivalence. A morphism of degree n from $(C_1,C_2,f)$ to $(C^{\prime }_1,C^{\prime }_2,f')$ in ${\mathscr {C}}_1\times ^h_{\mathscr {D}}{\mathscr {C}}_2$ is given by a triple $(a_1,a_2,h)$ with $a_i\in \mathrm {Hom}_{{\mathscr {C}}_i}(C_i,C^{\prime }_i)^n$ for $i=1,2$ and $h\in \mathrm {Hom}_{\mathscr {D}}(\mathsf {F}_1(C_1),\mathsf {F}_2(C^{\prime }_2)^{n-1}$. The differential is defined by
and the composition by
Remark 3.12. By the universal property of the pullback, if ${\mathscr {C}}$ is a dg category with dg functors $\mathsf {G}_i\colon {\mathscr {C}}\to {\mathscr {C}}_i$ for $i=1,2$ making the diagram
commutative in ${\mathbf {dgCat}}$, then there is a unique dg functor $\mathsf {F}\colon {\mathscr {C}}\to {\mathscr {C}}_1\times ^h_{\mathscr {D}} {\mathscr {C}}_2$ making the diagram
commutative in ${\mathbf {dgCat}}$. Given the explicit description of the homotopy pullback discussed above, the dg functor $\mathsf {F}$ is defined by
on objects and
on morphisms.
Remark 3.13. The homotopy pullback is a special instance of the concept of homotopy limit in a model category for which exhaustive presentations are available—for example, in [Reference Hirschhorn20, Section 19.1]. What is important for us is that homotopy limits are well-defined once we invert weak equivalences. Concretely, given a small category ${\mathscr {N}}$ and a functor $\mathsf {F}\colon {\mathscr {N}}\to {\mathbf {dgCat}}$, the homotopy limit $\operatorname {\mathrm {Holim}}(\mathsf {F})$ is a well-defined object of ${\mathbf {Hqe}}$ up to canonical isomorphism. Moreover, suppose we are given a diagram
meaning ${\mathscr {N}}$ is a small category, $\mathsf {F},\mathsf {G}\colon {\mathscr {N}}\to {\mathbf {dgCat}}$ are functors, $\theta :\mathsf {F}\to \mathsf {G}$ is a natural transformation and $\pi \colon {\mathbf {dgCat}}\to {\mathbf {Hqe}}$ is the natural functor. Then $\operatorname {\mathrm {Holim}}(\theta )$ delivers a well-defined morphism in ${\mathbf {Hqe}}$ (up to canonical isomorphism), and if $\pi \circ \theta \colon \pi \colon \mathsf {F}\to \pi \colon \mathsf {G}$ is an isomorphism, then so is $\operatorname {\mathrm {Holim}} (\theta )$. Thus $\operatorname {\mathrm {Holim}}\colon \mathrm {Hom}\big ({\mathscr {N}},{\mathbf {dgCat}}\big )\to {\mathbf {Hqe}}$ takes morphisms in $\mathrm {Hom}\big ({\mathscr {N}},{\mathbf {dgCat}}\big )$ that induce isomorphisms in $\mathrm {Hom}\big ({\mathscr {N}},{\mathbf {Hqe}}\big )$ to isomorphisms in ${\mathbf {Hqe}}$.
What we will need in Section 7 is the following simple case. We start with a finite set of integers $N:=\{1,\dots ,n\}$ and form the category ${\mathscr {N}}$, whose objects are the subsets of N and whose morphisms are the inclusions. We then consider a functor ${\mathscr {N}}\to {\mathbf {dgCat}}$ and denote by ${\mathscr {C}}_I$ the dg category corresponding to $I\subseteq N$. We can then form the homotopy limit
The special case when $n=2$ is just a homotopy pullback, specifically the homotopy pullback of ${\mathscr {C}}_{\{1\}}\to {\mathscr {C}}_{\{1,2\}}\leftarrow {\mathscr {C}}_{\{2\}}$. In the discussion just preceding Remark 3.12, we spelled out an explicit, functorial construction for homotopy pullbacks, allowing us to enhance the homotopy pullback to a functor $\operatorname {\mathrm {Holim}}\colon \mathrm {Hom}\big (\{1\}\to \{1,2\}\leftarrow \{2\},{\mathbf {dgCat}}\big )\to {\mathbf {dgCat}}$. This will allow us to iterate the construction. We will end up reducing the computation of the homotopy limit, in the case where $n>2$, to iterated homotopy pullbacks.
3.4 Localisations in dg categories
Let us first recall a basic construction in the context of triangulated categories. Let ${\mathscr {T}}$ be such a category, and suppose further that ${\mathscr {T}}$ is closed under arbitrary coproducts. Let ${\mathscr {S}}\subset {\mathscr {T}}^c$ be a collection of compact objects closed under shifts. Then every object $T\in {\mathscr {T}}$ sits in a distinguished triangle
with $S\in {\mathbf {Loc}}({\mathscr {S}})$, the smallest full triangulated subcategory of ${\mathscr {T}}$ containing ${\mathscr {S}}$ and closed under arbitrary coproducts, and $T_S$ in ${\mathscr {S}}^{\perp }:=\left \{T\in {\mathscr {T}}:\mathrm {Hom}_{{\mathscr {T}}}({\mathscr {S}},T)=0\right \}$.
The expert reader has certainly noticed that this observation follows from the existence of a semi-orthogonal decomposition for ${\mathscr {T}}$ with factors given by ${\mathscr {S}}$ and ${\mathscr {S}}^{\perp }\cong {\mathscr {T}}/{\mathscr {S}}$. But here, we want to stress that the construction of S and $T_S$ is explicit. Indeed, put $T_0=T$, and then inductively construct distinguished triangles
where the first map is the coproduct of all morphisms $C\to T_i$ with $C\in \mathrm {Ob}({\mathscr {S}})$. Then we consider the map $T\longrightarrow \operatorname {\mathrm {Hocolim}} T_i$ and complete it to a distinguished triangle
A direct computation shows that $S\in \mathrm {Ob}({\mathbf {Loc}}({\mathscr {S}}))$ and $T_S:=\operatorname {\mathrm {Hocolim}} T_i\in \mathrm {Ob}({\mathscr {S}}^{\perp })$ (see, for example, [Reference Neeman34, Lemma 1.7]).
The following result will be used later and provides an enhancement of the above discussion to the setting of dg categories. Actually, the content of the proposition is more elaborate and deals with two distinct (and orthogonal) localisations.
Proposition 3.14. Let ${\mathscr {C}}$ be a dg category, and suppose that ${\mathscr {D}}_1$ and ${\mathscr {D}}_2$ are full dg subcategories of ${\mathscr {C}}$ such that
(i) ${\mathscr {D}}_1$ and ${\mathscr {D}}_2$ are closed under shifts.
(ii) $\mathrm {Hom}_{H^0({\mathscr {C}})}({\mathscr {D}}_i,{\mathscr {D}}_j)=0$ for $i\neq j\in \{1,2\}$.
Then for any $C\in \mathrm {Ob}(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$, there exists a diagram in $Z^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$
that is commutative in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$ and such that
(1) its rows and columns yield distinguished triangles in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$;
(2) $D_1\in \mathrm {Ob}(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_1))$ and $D_2\in \mathrm {Ob}(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_2))$;
(3) the complexes
$$ \begin{align*}\mathrm{Hom}_{\mathrm{h}\text{-}\mathrm{proj}({\mathscr{C}})}\left(\mathrm{h}\text{-}\mathrm{proj}({\mathscr{D}}_i),C_{D_i}\right)\qquad\mathrm{Hom}_{\mathrm{h}\text{-}\mathrm{proj}({\mathscr{C}})}\left(\mathrm{h}\text{-}\mathrm{proj}({\mathscr{D}}_i),C_{D_1,D_2}\right)\end{align*} $$are acyclic for $i=1,2$.
Proof. To obtain the objects $D_i$ and $C_{D_i}$ and the triangles in the second row and the second column in equation (3.8), we proceed by enhancing the construction at the beginning of this section to the context of dg categories. Since the situation is symmetric, we denote by ${\mathscr {D}}$ either of the two dg subcategories ${\mathscr {D}}_1$ and ${\mathscr {D}}_2$. Given $C\in \mathrm {Ob}(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$, we set $C_0=C$ and then inductively define $C_{i+1}$ to be the cone of the map
where the coproduct is over all objects $P\in \mathrm {Ob}({\mathscr {D}})$ and a set of morphisms in $\mathrm {Hom}_{Z^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}))}(P,C_i)$ representing all morphisms in $\mathrm {Hom}_{H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}))}(P,C_i)$. As above, the natural map $C\to \operatorname {\mathrm {Hocolim}} C_i$ in $Z^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$ sits in the triangle
which is distinguished in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$. The argument above now shows that D is an object of $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}})$ and $C_D:=\operatorname {\mathrm {Hocolim}} C_i$ is such that $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}(Q,C_D)$ is acyclic for all $Q\in \mathrm {Ob}(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}))$.
Since $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})$ is pretriangulated, the second row and second column we just constructed can be completed to the diagram of equation (3.8), where the rows and columns are cofibre sequences, in particular yielding distinguished triangles in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$.
It remains to prove that the object $C_{D_1,D_2}$ that we constructed is such that the complex $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}\left (\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_i),C_{D_1,D_2}\right )$ is acyclic for $i=1,2$. To this end, we apply the functor $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}^{}\left ({\mathscr {D}}_i,-\right )$ to the triangle
where $i\neq j\in \{1,2\}$. The complex $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}\left ({\mathscr {D}}_i,C_{D_i}\right )$ is clearly acyclic from the first part of the construction. By (ii), we know that $\mathrm {Hom}_{\mathscr {C}}({\mathscr {D}}_i,{\mathscr {D}}_j)$ is acyclic, and thus $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}\left ({\mathscr {D}}_i,\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_j)\right )$ is acyclic as well, because the objects in ${\mathscr {D}}_i$ are in ${\mathscr {C}}$ and thus are compact in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$. Since $D_j$ belongs to $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_j)$, we obtain that $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}\left ({\mathscr {D}}_i,D_j\right )$ is acyclic. From this, we deduce that $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}\left ({\mathscr {D}}_i,C_{D_1,D_2}\right )$ is acyclic, and this implies that $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}\left (\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_i),C_{D_1,D_2}\right )$ is acyclic as well.
3.5 Dg enhancements and their uniqueness
In this section, we will be careful about the universe where the triangulated and dg categories live—mostly to show that such care is superfluous.
Definition 3.15. Let $\mathbb {U}\in \mathbb {V}$ be universes, and consider a $\mathbb {U}$-small triangulated category ${\mathscr {T}}$. A dg $\mathbb {V}$-enhancement (or simply a $\mathbb {V}$-enhancement) of ${\mathscr {T}}$ is a pair $({\mathscr {C}},\mathsf {E})$, where ${\mathscr {C}}$ is a $\mathbb {V}$-small pretriangulated dg category and $\mathsf {E}\colon H^0({\mathscr {C}})\to {\mathscr {T}}$ is an exact equivalence.
By abuse of notation, one says that ${\mathscr {C}}$ is a $\mathbb {V}$-enhancement of ${\mathscr {T}}$ if $\mathsf {E}$ is clear from the context.
Example 3.16. If ${\mathscr {A}}$ is a $\mathbb {U}$-small additive category, then ${\mathbf {C}}_{{\mathbf {dg}}}^?({\mathscr {A}})$ is in a natural way a $\mathbb {U}$-enhancement of ${\mathbf {K}}^?({\mathscr {A}})$ (see Example 3.1). If ${\mathscr {A}}$ is abelian, then, since ${\mathbf {D}}^?({\mathscr {A}})={\mathbf {K}}^?({\mathscr {A}})/{\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$, the discussion in Section 3.2 allows us to conclude that the Drinfeld quotient
is a $\mathbb {U}$-enhancement of ${\mathbf {D}}^?({\mathscr {A}})$. Here ${\mathbf {Acy}}^?({\mathscr {A}})$ denotes the full dg subcategory of ${\mathbf {C}}_{{\mathbf {dg}}}^?({\mathscr {A}})$ whose objects correspond to those of ${\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$.
The core of this paper is to study when dg enhancements are unique in the following sense.
Definition 3.17. The $\mathbb {U}$-small triangulated category ${\mathscr {T}}$ has a unique $\mathbb {V}$-enhancement if, given two $\mathbb {V}$-enhancements $({\mathscr {C}}_1,\mathsf {E}_1)$ and $({\mathscr {C}}_2,\mathsf {E}_2)$ of ${\mathscr {T}}$, there is a $\mathbb {V}$-small pretriangulated dg category ${\mathscr {C}}_3$ and quasi-equivalences $\mathsf {I}_i\colon {\mathscr {C}}_3\to {\mathscr {C}}_i$ for $i=1,2$.
Let us now prove the following result.
Proposition 3.18. Let ${\mathscr {T}}$ be a $\mathbb {U}$-small triangulated category. If ${\mathscr {T}}$ has a $\mathbb {V}$–enhancement for some universe $\mathbb {V}$, with $\mathbb {U}\in \mathbb {V}$, then it also has a $\mathbb {U}$–enhancement. Furthermore, there exists a universe $\mathbb {V}$, with $\mathbb {U}\in \mathbb {V}$ and such that ${\mathscr {T}}$ has a unique $\mathbb {V}$–enhancement, if and only if ${\mathscr {T}}$ has a unique $\mathbb {U}$-enhancement. Moreover, if ${\mathscr {T}}$ has a unique $\mathbb {U}$-enhancement, then it has a unique $\mathbb {V}$ enhancement for all $\mathbb {U}\in \mathbb {V}$.
Proof. Suppose ${\mathscr {T}}$ has a $\mathbb {V}$-enhancement ${\mathscr {C}}$. In Lemma 3.8 (see also Remark 3.9), we produced a quasi-equivalence ${\mathsf {I}}^{\mathrm {sm}}_{\mathscr {C}}:{{\mathscr {C}}}^{\mathrm {sm}}\to {\mathscr {C}}$, with ${{\mathscr {C}}}^{\mathrm {sm}}$ a $\mathbb {U}$-small pretriangulated dg category; this gives the existence of a $\mathbb {U}$-enhancement for ${\mathscr {T}}$.
Now let $\mathbb {V}$ be a universe with $\mathbb {U}\in \mathbb {V}$ and such that ${\mathscr {T}}$ has a unique $\mathbb {V}$-enhancement. Let ${\mathscr {C}}_1$ and ${\mathscr {C}}_2$ be two $\mathbb {U}$-enhancements of ${\mathscr {T}}$. By the uniqueness of $\mathbb {V}$-enhancements, there exists a $\mathbb {V}$-enhancement ${\mathscr {C}}_3$ and quasi-equivalences $\mathsf {I}_i\colon {\mathscr {C}}_3\to {\mathscr {C}}_i$ for $i=1,2$. Lemma 3.8 produces for us a quasi-equivalence ${\mathsf {I}}^{\mathrm {sm}}_{{\mathscr {C}}_3}:{{\mathscr {C}}}^{\mathrm {sm}}_3\to {\mathscr {C}}_3$ with ${{\mathscr {C}}}^{\mathrm {sm}}_3$ a $\mathbb {U}$-small pretriangulated dg category, and the composites $\mathsf {I}_i\circ {\mathsf {I}}^{\mathrm {sm}}_{{\mathscr {C}}_3}\colon {{\mathscr {C}}}^{\mathrm {sm}}_3\to {\mathscr {C}}_i$ for $i=1,2$ show that the $\mathbb {U}$-enhancement is unique.
Finally, the ‘moreover’ part. Suppose, therefore, that ${\mathscr {T}}$ has a unique $\mathbb {U}$-enhancement and $\mathbb {V}$ is some universe with $\mathbb {U}\in \mathbb {V}$. Let ${\mathscr {C}}_1$ and ${\mathscr {C}}_2$ be two pretriangulated dg $\mathbb {V}$-categories enhancing ${\mathscr {T}}$. Lemma 3.8 produces for us quasi-equivalences ${\mathsf {I}}^{\mathrm {sm}}_i\colon {{\mathscr {C}}}^{\mathrm {sm}}_i\to {\mathscr {C}}_i$ for $i=1,2$, with ${{\mathscr {C}}}^{\mathrm {sm}}_i$ both $\mathbb {U}$-small. By the uniqueness of $\mathbb {U}$-enhancements, there exists a $\mathbb {U}$-small pretriangulated dg category ${\mathscr {C}}_3$ and quasi-equivalences $\mathsf {I}_i\colon {\mathscr {C}}_3\to {{\mathscr {C}}}^{\mathrm {sm}}_i$ for $i=1,2$. But now the composites ${\mathsf {I}}^{\mathrm {sm}}_i\circ \mathsf {I}_i\colon {\mathscr {C}}_3\to {\mathscr {C}}_i$ for $i=1,2$ show that the enhancements to $\mathbb {V}$ are unique.
Given this, in the rest of the paper, it will rarely be necessary to specify in which universe we are working. For this reason, we will freely talk about dg enhancements and their uniqueness without mentioning any universe.
Remark 3.19. (i) The property of having a unique dg enhancement is clearly invariant under exact equivalences. More precisely, if ${\mathscr {T}}_1$ and ${\mathscr {T}}_2$ are triangulated categories such that there is an exact equivalence ${\mathscr {T}}_1\cong {\mathscr {T}}_2$, then ${\mathscr {T}}_1$ has a unique dg enhancement if and only if ${\mathscr {T}}_2$ does.
(ii) Given a triangulated category ${\mathscr {T}}$, the category ${\mathscr {T}}{^{\circ }}$ has a natural triangulated structure. Since there is a natural exact equivalence $H^0({\mathscr {D}}){^{\circ }}\cong H^0({\mathscr {D}}{^{\circ }})$ for any pretriangulated dg category ${\mathscr {D}}$, it is clear that ${\mathscr {T}}$ has a unique dg enhancement if and only if ${\mathscr {T}}{^{\circ }}$ does.
An equivalent way to state Definition 3.17 is by saying that there is an isomorphism $f\in \mathrm {Hom}_{\mathbf {Hqe}}({\mathscr {C}}_1,{\mathscr {C}}_2)$. With this in mind, we can state the following stronger definition.
Definition 3.20. A triangulated category ${\mathscr {T}}$ has a semi-strongly unique enhancement if, given two enhancements $({\mathscr {C}}_1,\mathsf {E}_1)$ and $({\mathscr {C}}_2,\mathsf {E}_2)$ of ${\mathscr {T}}$, there is an isomorphism $f\in \mathrm {Hom}_{\mathbf {Hqe}}({\mathscr {C}}_1,{\mathscr {C}}_2)$ such that $\mathsf {E}_1(C)\cong \mathsf {E}_2(H^0(f))(C)$ in ${\mathscr {T}}$ for every $C\in \mathrm {Ob}({\mathscr {C}}_1)$.
4 A special zigzag of dg functors
This slightly technical section provides a useful enhancement for the category ${\mathbf {B}}^?({\mathscr {A}})$ of Section 1.1. This is done in Section 4.1. Section 4.4 deals with the important relation between enhancements of ${\mathbf {V}}^?({\mathscr {A}})$ and ${\mathbf {B}}^?({\mathscr {A}})$. This is achieved with a complicated argument that involves a variant of the enhancement of ${\mathbf {B}}^?({\mathscr {A}})$ constructed in Section 4.1 (see Section 4.2) and a discussion about homotopy limits in Section 4.3, where we make explicit the construction in Section 3.3 in a very concrete context.
4.1 An enhancement for ${\mathbf {B}}^?({\mathscr {A}})$
Remembering Example 3.16, it is clear that for $?=b,+,-,\emptyset $, the full dg subcategory ${\mathscr {V}}={\mathscr {V}}^?({\mathscr {A}})$ of ${\mathbf {C}}_{{\mathbf {dg}}}^?({\mathscr {A}})$ whose objects are complexes with trivial differential is in a natural way an enhancement of ${\mathbf {V}}^?({\mathscr {A}})$.
Assume from now on that ${\mathscr {A}}$ is abelian, and fix an enhancement $({\mathscr {C}},\mathsf {E})$ of ${\mathbf {D}}^?({\mathscr {A}})$. We are going to define a dg category ${\mathscr {B}}^?_{{\mathscr {C}},\mathsf {E}}({\mathscr {A}})$, which will turn out to be an enhancement of ${\mathbf {B}}^?({\mathscr {A}})$. Recall that the latter category is the full subcategory of ${\mathbf {D}}^?({\mathscr {A}})$ consisting of complexes with trivial differential. The notation for ${\mathscr {B}}^?_{{\mathscr {C}},\mathsf {E}}({\mathscr {A}})$ alludes to the fact that its definition depends on the pair $({\mathscr {C}},\mathsf {E})$. But in the sequel, when there is no risk of confusion, we will use the shorthand ${\mathscr {B}}:={\mathscr {B}}^?_{{\mathscr {C}},\mathsf {E}}({\mathscr {A}})$.
An object $B=(B^-,B^+,B^i,\alpha ^i,\beta ^i)_{i\in \mathbb {Z}}$ of ${\mathscr {B}}$ is given by objects $B^-$, $B^+$ and $B^i$ of ${\mathscr {C}}$ together with morphisms ${B^i}[-i]\xrightarrow {\alpha ^i}B^?\xrightarrow {\beta ^i}{B^i}[-i]$ of $Z^0({\mathscr {C}})$ (where $?=+$ if $i>0$ and $?=-$ if $i\le 0$) such that the following conditions are satisfied:
(B.1) If $i,j$ are both $>0$ or both $\le 0$, then $\beta ^j\circ \alpha ^i$ is $\mathrm {id}_{{B^i}[-i]}$ for $i=j$ and is $0$ for $i\ne j$.
(B.2) $\mathsf {E}(B^i)\in \mathrm {Ob}({\mathscr {A}})$ for every $i\in \mathbb {Z}$.
(B.3) The morphisms $\alpha ^i$ with $i\le 0$ and $\beta ^i$ with $i>0$ induce isomorphisms in $H^0({\mathscr {C}})\cong {\mathbf {D}}^?({\mathscr {A}})$
$$\begin{align*}\coprod_{i\le0}{B^i}[-i]\xrightarrow{\sim} B^-,\qquad B^+\xrightarrow{\sim}\prod_{i>0}{B^i}[-i]. \end{align*}$$
Given objects $B_k=(B_k^-,B_k^+,B_k^i,\alpha _k^i,\beta _k^i)_{i\in \mathbb {Z}}$, for $k=1,2$, we define
It is straightforward to check that ${\mathscr {B}}$ (with the obvious composition of morphisms) is a dg category and that the map defined on objects by $(B^-,B^+,B^i,\alpha ^i,\beta ^i)_{i\in \mathbb {Z}}\mapsto B^-\oplus B^+$ extends to a fully faithful dg functor $\mathsf {B}\colon {\mathscr {B}}\to {\mathscr {C}}$.
One can consider the following variant, which will be used in the proof of Theorem B. Let ${\mathscr {A}}$ be an abelian category with a Serre subcategory ${\mathscr {E}}\subseteq {\mathscr {A}}$. Consider then the full triangulated subcategory ${\mathbf {D}}^?_{\mathscr {E}}({\mathscr {A}})$ of ${\mathbf {D}}^?({\mathscr {A}})$ consisting of all complexes with cohomology in ${\mathscr {E}}$. There is a natural exact functor
which in general is not an equivalence.
Given a dg enhancement $({\mathscr {C}},\mathsf {E})$ of ${\mathbf {D}}^?_{\mathscr {E}}({\mathscr {A}})$, we define a dg category $\widehat {\mathscr {B}}^?_{{\mathscr {C}},\mathsf {E}}({\mathscr {A}},{\mathscr {E}})$, for which we use the shorthand $\widehat {\mathscr {B}}$, in a fashion that is very similar to ${\mathscr {B}}$.
In particular, an object $B=(B^-,B^+,B^i,\alpha ^i,\beta ^i)_{i\in \mathbb {Z}}$ of $\widehat {\mathscr {B}}$ is given by objects $B^-$, $B^+$ and $B^i$ of ${\mathscr {C}}$ together with morphisms ${B^i}[-i]\xrightarrow {\alpha ^i}B^?\xrightarrow {\beta ^i}{B^i}[-i]$ of $Z^0({\mathscr {C}})$ (where $?=+$ if $i>0$ and $?=-$ if $i\le 0$) such that (B.1) is satisfied, while (B.2) and (B.3) are replaced, respectively, by the following:
(B.2’) $\mathsf {E}(B^i)\cong \pi (Q_i)$ for some $Q_i\in \mathrm {Ob}({\mathscr {E}})$ and for every $i\in \mathbb {Z}$.
(B.3’) The morphisms $\alpha ^i$ with $i\le 0$ and $\beta ^i$ with $i>0$ induce isomorphisms in ${\mathbf {D}}^?_{\mathscr {E}}({\mathscr {A}})$
$$\begin{align*}\pi\left(\coprod_{i\le0}{Q^i}[-i]\right)\xrightarrow{\sim}\mathsf{E}(B^-),\qquad \mathsf{E}(B^+)\xrightarrow{\sim}\pi\left(\prod_{i>0}{Q^i}[-i]\right). \end{align*}$$
As for the Hom-spaces, given objects $B_k=(B_k^-,B_k^+,B_k^i,\alpha _k^i,\beta _k^i)_{i\in \mathbb {Z}}$, for $k=1,2$, we keep the same definition and set
Recall the h-flat resolution ${\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}\colon {{\mathscr {C}}}^{\mathrm {hf}}\to {\mathscr {C}}$ of Proposition 3.10.
Proposition 4.1. If $({\mathscr {C}},\mathsf {E})$ is a dg enhancement of ${\mathbf {D}}^?_{\mathscr {E}}({\mathscr {A}})$, then ${\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}$ induces a quasi-equivalence
which is also surjective on objects.
Proof. The result follows from a direct check using the definitions, and we only briefly outline it here. Since the dg functor ${\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}$ is the identity on objects, we define ${\widehat {\mathsf {I}}}^{\mathrm {hf}}_{\mathscr {C}}$ by sending an object $(B^-,B^+,B^i,\widetilde \alpha ^i,\widetilde \beta ^i)_{i\in \mathbb {Z}}$ of ${\widehat {\mathscr {B}}}^{\mathrm {hf}}:=\widehat {\mathscr {B}}^?_{{{\mathscr {C}}}^{\mathrm {hf}},\mathsf {E}\circ H^0({\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}})}({\mathscr {A}},{\mathscr {E}})$ to $(B^-,B^+,B^i,{\mathsf {I}}^{\mathrm {hf}}(\widetilde \alpha ^i),{\mathsf {I}}^{\mathrm {hf}}(\widetilde \beta ^i))_{i\in \mathbb {Z}}$ in $\widehat {\mathscr {B}}:=\widehat {\mathscr {B}}^?_{{\mathscr {C}},\mathsf {E}}({\mathscr {A}},{\mathscr {E}})$. The fact that morphisms in ${\widehat {\mathscr {B}}}^{\mathrm {hf}}$ (respectively, $\widehat {\mathscr {B}}$) are defined as in ${{\mathscr {C}}}^{\mathrm {hf}}$ (respectively, ${\mathscr {C}}$) clearly implies that ${\widehat {\mathsf {I}}}^{\mathrm {hf}}_{\mathscr {C}}$ extends to a dg functor if we define it on morphisms like ${\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}$. It is also obvious that ${\widehat {\mathsf {I}}}^{\mathrm {hf}}_{\mathscr {C}}$ is quasi-fully faithful because ${\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}$ is, and it remains to show that ${\widehat {\mathsf {I}}}^{\mathrm {hf}}_{\mathscr {C}}$ is surjective on objects. Given $(B^-,B^+,B^i,\alpha ^i,\beta ^i)_{i\in \mathbb {Z}}\in \mathrm {Ob}(\widehat {\mathscr {B}})$, the closed degree-$0$ morphisms $\alpha ^i$ and $\beta ^i$ can be seen as morphisms in the dg category ${\mathscr {C}}_1$—with the notation used in Section 3.2 to define ${{\mathscr {C}}}^{\mathrm {hf}}$, we may view $\alpha ^i$ and $\beta ^i$ as belonging to the bases $D^1_{\mathscr {C}}(B^i[-i],B^?)$ (respectively $D^1_{\mathscr {C}}(B^?,B^i[-i])$) freely generating $\mathrm {Hom}_{{\mathscr {C}}_1}(B^i[-i],B^?)$ (respectively $\mathrm {Hom}_{{\mathscr {C}}_1}(B^?,B^i[-i])$) as modules over $\Bbbk $—and the relations $\beta ^i\circ \alpha ^i=\mathrm {id}$ and $\beta ^j\circ \alpha ^i=0$ for $i\neq j$, hold in ${\mathscr {C}}_1$ by definition, and therefore also in ${{\mathscr {C}}}^{\mathrm {hf}}=\operatorname {\mathrm {colim}}{\mathscr {C}}_i$. Thus we obtain an object in ${\widehat {\mathscr {B}}}^{\mathrm {hf}}$ that is mapped to $(B^-,B^+,B^i,\alpha ^i,\beta ^i)_{i\in \mathbb {Z}}$ by ${\widehat {\mathsf {I}}}^{\mathrm {hf}}_{\mathscr {C}}$.
Back to the dg category ${\mathscr {B}}$, in the following, we will assume that:
Notice that by Remark 3.5, this condition can be always achieved, up to replacing ${\mathscr {C}}$ with $\mathrm {Pretr}({\mathscr {C}})=\mathrm {Perf}({\mathscr {C}})$.
Proposition 4.2. If $({\mathscr {C}},\mathsf {E})$ is a dg enhancement of ${\mathbf {D}}^?({\mathscr {A}})$ such that ${\mathscr {C}}$ satisfies equation (4.1), then the essential image of $\mathsf {E}\circ H^0(\mathsf {B})\colon H^0({\mathscr {B}})\to {\mathbf {D}}^?({\mathscr {A}})$ is ${\mathbf {B}}^?({\mathscr {A}})$.
Proof. Given $B=(B^-,B^+,B^i,\alpha ^i,\beta ^i)_{i\in \mathbb {Z}}$ in ${\mathscr {B}}$, it is clear from Corollary 1.6 and the definition of ${\mathscr {B}}$ that $\mathsf {E}(\mathsf {B}(B))\cong \bigoplus _{i\in \mathbb {Z}}{A^i}[-i]\in \mathrm {Ob}({\mathbf {B}}^?({\mathscr {A}}))$, where $A^i:=\mathsf {E}(B^i)\in \mathrm {Ob}({\mathscr {A}})$.
Conversely, given $A^{*}=\bigoplus _{i\in \mathbb {Z}}{A^i}[-i]\in \mathrm {Ob}({\mathbf {B}}^?({\mathscr {A}}))$, we can take $B^i\in \mathrm {Ob}({\mathscr {C}})$ such that $\mathsf {E}(B^i)\cong A^i$ for every $i\in \mathbb {Z}$. Moreover, let $C^-,C^+\in \mathrm {Ob}({\mathscr {C}})$ be such that $\mathsf {E}(C^-)\cong \bigoplus _{i\le 0}{A^i}[-i]$ and $\mathsf {E}(C^+)\cong \bigoplus _{i>0}{A^i}[-i]$. Then there exist morphisms
of $Z^0({\mathscr {C}})$ (where $?=+$ if $i>0$ and $?=-$ if $i\le 0$) such that if $i,j$ are both $>0$ or both $\le 0$, then the image in $H^0({\mathscr {C}})$ of $\tilde {\beta }^j\circ \tilde {\alpha }^i$ is $\mathrm {id}_{{B^i}[-i]}$ for $i=j$ and is $0$ for $i\ne j$. Now we set
For every $j\in \mathbb {Z}$, we also define $\alpha ^j\colon {B^j}[-j]\to B^?$ as the morphism induced by $\tilde {\alpha }^j\colon {B^j}[-j]\to C^?$ and by the natural morphism ${B^j}[-j]\to \mathrm {Cone}\left (\mathrm {id}_{{B^j}[-j]}\right )$. On the other hand, we define $\beta ^j\colon B^?\to {B^j}[-j]$ as the morphism induced by $\tilde {\beta }^j\colon C^?\to {B^j}[-j]$ and by morphisms $\mathrm {Cone}\left (\mathrm {id}_{{B^i}[-i]}\right )\to {B^j}[-j]$ in $Z^0({\mathscr {C}})$ (whose existence is ensured by Lemma 3.2) with the property that the composition with the natural morphism ${B^i}[-i]\to \mathrm {Cone}\left (\mathrm {id}_{{B^i}[-i]}\right )$ is $\mathrm {id}_{{B^i}[-i]}-\tilde {\beta }^i\circ \tilde {\alpha }^i$ for $i=j$ and is $-\tilde {\beta }^j\circ \tilde {\alpha }^i$ for $i\ne j$. It is then clear that $B:=(B^-,B^+,B^i,\alpha ^i,\beta ^i)_{i\in \mathbb {Z}}$ is an object of ${\mathscr {B}}$ that satisfies $\mathsf {E}(\mathsf {B}(B))\cong A^{*}$.
Remark 4.3. By Proposition 4.2, the dg category ${\mathscr {B}}$ is an enhancement of ${\mathbf {B}}^?({\mathscr {A}})$. Moreover, in view of Corollary 2.10, and taking into account that $H^0({\mathscr {C}})\cong {\mathbf {D}}^?({\mathscr {A}})$ is idempotent complete (see Remark 3.5), we have $\mathrm {Perf}({\mathscr {B}})\cong {\mathscr {C}}$ in ${\mathbf {Hqe}}$ (using [Reference Lunts and Orlov27, Proposition 1.16]). Observe that, similarly, $\mathrm {Perf}({\mathscr {V}})\cong {\mathbf {C}}_{{\mathbf {dg}}}^?({\mathscr {A}})$ in ${\mathbf {Hqe}}$. Hence $\mathrm {Perf}({\mathscr {B}})$ (respectively, $\mathrm {Perf}({\mathscr {V}})$) is an enhancement of ${\mathbf {D}}^?({\mathscr {A}})$ (respectively, ${\mathbf {K}}^?({\mathscr {A}})$).
4.2 A technical interlude
We first describe a variant of ${\mathscr {B}}$. We start by introducing new $\mathrm {Hom}$ spaces between objects of ${\mathscr {B}}$, depending on an integer $n>0$.
Given $B=(B^-,B^+,B^i,\alpha ^i,\beta ^i)_{i\in \mathbb {Z}}$ in ${\mathscr {B}}$, the two compositions of morphisms (induced by the $\alpha ^i$ and the $\beta ^i$)
are obviously the identities. As $Z^0({\mathscr {C}})$ is idempotent complete, this implies that there exist objects ${}^{n}\!B^{-n-1}$ and ${}^{n}\!B^{n+1}$ of ${\mathscr {C}}$ such that (setting also ${}^{n}\!B^i:=B^i$ for $-n\le i\le n$)
in $Z^0({\mathscr {C}})$. Notice that if $n<m$, then
in $Z^0({\mathscr {C}})$. Now, given two objects $B_1$ and $B_2$ of ${\mathscr {B}}$, there is an isomorphism of complexes
and we define
where (for $-n-1\le i,j\le n+1$),
Obviously we can identify $\mathrm {Hom}_n(B_1,B_2)$ with a subcomplex of $\mathrm {Hom}_{{\mathscr {B}}}(B_1,B_2)$.
Remark 4.4. One might hope to obtain a dg category ${\mathscr {B}}_n$ with the same objects as ${\mathscr {B}}$ and such that $\mathrm {Hom}_{{\mathscr {B}}_n}(B_1,B_2):=\mathrm {Hom}_n(B_1,B_2)$ for every $B_1,B_2\in \mathrm {Ob}({\mathscr {B}})$. Unfortunately, given also $B_3\in \mathrm {Ob}({\mathscr {B}})$, the composition map (which is a morphism of complexes)
does not send $\mathrm {Hom}_n(B_1,B_2)\otimes _{\Bbbk }\mathrm {Hom}_n(B_2,B_3)$ to $\mathrm {Hom}_n(B_1,B_3)$, in general. More precisely, $\mathrm {Hom}_n^{h,i}(B_1,B_2)\otimes _{\Bbbk }\mathrm {Hom}_n^{i,j}(B_2,B_3)$ need not be sent to $\mathrm {Hom}_n^{h,j}(B_1,B_3)$ if $-n\le h\le n+1$, $-n-1\le j\le n$ and $i=-n-1$ or $i=n+1$.
Remark 4.5. If $n<m$, we can regard $\mathrm {Hom}_m(B_1,B_2)$ as a subcomplex of $\mathrm {Hom}_n(B_1,B_2)$. Indeed, it is clear that for $m-1\le i,j\le m+1$, $\mathrm {Hom}_{{\mathscr {C}}}({{}^{m}\!B_1^i}[-i],{{}^{m}\!B_2^j}[-j])$ can be viewed as a subcomplex of $\mathrm {Hom}_{{\mathscr {C}}}({{}^{n}\!B_1^{i'}}[-i'],{{}^{n}\!B_2^{j'}}[-j'])$, where we define
and similarly for $j'$. Since $j-i\le j'-i'$ when $i'\ge -n$ (which implies $i'\le i$) and $j'\le n$ (which implies $j'\ge j$), it follows that in any case, $\mathrm {Hom}_m^{i,j}(B_1,B_2)$ can be viewed as a subcomplex of $\mathrm {Hom}_n^{i',j'}(B_1,B_2)$.
By the above, there is a natural morphism $\operatorname {\mathrm {Holim}}\mathrm {Hom}_n(B_1,B_2)\to \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_2)$ in ${\mathbf {D}}(\mathrm {Mod}(\Bbbk ))$. Composing it with the morphism of complexes
(induced by precomposition with the $\beta ^j_2$ and postcomposition with the $\alpha ^i_1$), we obtain a morphism in ${\mathbf {D}}(\mathrm {Mod}(\Bbbk ))$
Lemma 4.6. For every $B_1,B_2\in \mathrm {Ob}({\mathscr {B}})$, equation (4.3) factors (uniquely) through a morphism
which is an isomorphism in ${\mathbf {D}}(\mathrm {Mod}(\Bbbk ))$. Moreover, this isomorphism is compatible with truncations, meaning for every $k\in \mathbb {Z}$, the induced morphism
is also an isomorphism in ${\mathbf {D}}(\mathrm {Mod}(\Bbbk ))$.
Proof. Let us fix an integer l. Notice first that since $H^l(\mathrm {Hom}_{{\mathscr {C}}}(C_1,C_2))\cong \mathrm {Hom}_{H^0({\mathscr {C}})}(C_1,{C_2}[l])$ for every $C_1,C_2\in \mathrm {Ob}({\mathscr {C}})$, we have
for every $k\in \mathbb {Z}$. In particular, we obtain
for every $i,j\in \mathbb {Z}$. Taking into account that $\mathrm {Hom}_{H^0({\mathscr {C}})}(B^i_1,{B^j_2}[k])=0$ for $k<0$ (because $\mathsf {E}(B_1^i),\mathsf {E}(B_2^j)\in \mathrm {Ob}({\mathscr {A}})$), this implies that
As $H^l\colon {\mathbf {D}}(\mathrm {Mod}(\Bbbk ))\to \mathrm {Mod}(\Bbbk )$ commutes with products, it follows that
On the other hand, given integers $n,i,j$ with $n>0$ and $-n-1\le i,j\le n+1$, we have
We shall henceforth assume $n>-l/2-1$. Then
(since $i=n+1\ge -n$, $j=-n-1\le n$ and $l>j-i=-2n-2$). Therefore,
Now, observe that ${{}^{n}\!B_1^{-n-1}}[n+1]\cong \coprod _{i<n}{B_1^i}[-i]$ and ${{}^{n}\!B_2^{n+1}}[-n-1]\cong \prod _{i>n}{B_2^i}[-i]$ in $H^0({\mathscr {C}})$. From this, we deduce that (for $-n-1\le j\le n+1$)
and similarly (for $-n-1\le i\le n+1$)
Thus the first summand in equation (4.5) can be written as
where (for $i\le n$ and $j\ge -n$)
Using again the fact that $\mathrm {Hom}_{H^0({\mathscr {C}})}(B_1^i,{B_2^j}[l+i-j])=0$ if $l<j-i$, we see that for fixed $i,j\in \mathbb {Z}$,
when $n\ge \lvert i\rvert ,\lvert j\rvert $.
Reasoning as before, the last two summands in equation (4.5) can be written as
where (for $j\ge -n$ and $i\le n$)
Then given $j\in \mathbb {Z}$ (respectively, $i\in \mathbb {Z}$), $\mathrm {Hom}_{n,l}(B_1,B_2^j)=0$ (respectively, $\mathrm {Hom}_{n,l}(B_1^i,B_2)=0$) when $n\ge \lvert j\rvert ,j-l$ (respectively $n\ge \lvert i\rvert ,-i-l$).
Summing up, we have shown that $H^l(\mathrm {Hom}_n(B_1,B_2))$ is a product of terms, each of which stabilises as n goes to infinity. Moreover, the only surviving terms in the limit are $\mathrm {Hom}_{H^0({\mathscr {C}})}(B_1^i,B_2^{i+l})$, which are precisely those appearing in the right-hand side of equation (4.4). From this, it follows that
and that the right-hand side can be identified with the left-hand side of equation (4.4). This clearly proves the first statement. As for the second, it is enough to note that, by the same argument,
This concludes the proof.
Now we are going to see how the problem with compositions mentioned in Remark 4.4 can be overcome.
Lemma 4.7. Given $B_1,B_2,B_3\in \mathrm {Ob}({\mathscr {B}})$ and $n,k,l\in \mathbb {Z}$ with $n\ge k,l,1$, the composition map given by equation (4.2) restricts to a morphism of complexes
Proof. Given $f\in \mathrm {Hom}_{2n}(B_1,B_2)^{\le k}\subseteq \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_2)$ and $g\in \mathrm {Hom}_{2n}(B_2,B_3)^{\le l}\subseteq \mathrm {Hom}_{{\mathscr {B}}}(B_2,B_3)$, we have to prove that $g\circ f\in \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_3)$ actually belongs to $\mathrm {Hom}_n(B_1,B_3)^{\le k+l}$. As obviously $g\circ f\in \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_3)^{\le k+l}$, it is enough to show that $g\circ f\in \mathrm {Hom}_n(B_1,B_3)$. We can clearly assume that there exist $-2n-1\le h,i,j\le 2n+1$ such that
Using the notation of Remark 4.5 (with $m=2n$), we know that $g\circ f\in \mathrm {Hom}_{{\mathscr {C}}}({{}^{n}\!B_1^{h'}}[-h'],{{}^{n}\!B_3^{j'}}[-j'])$. Thus, to conclude that $g\circ f\in \mathrm {Hom}_n^{h',j'}(B_1,B_3)$, it remains to check that $g\circ f\in \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_3)^{\le j'-h'}$ if $h'\ge -n$ and $j'\le n$. Now, this is certainly true if $\lvert i\rvert \le 2n$, because in that case $f\in \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_2)^{\le i-h}$, $g\in \mathrm {Hom}_{{\mathscr {B}}}(B_2,B_3)^{\le j-i}$ and $i-h+j-i=j-h\le j'-h'$. On the other hand, if $i=-2n-1$, then $f\in \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_2)^{\le -2n-1-h}$, $g\in \mathrm {Hom}_{{\mathscr {B}}}(B_2,B_3)^{\le l}$ and $-2n-1-h+l\le -2n-1-h'+n\le j'-h'$. Similarly, if $i=2n+1$, then $f\in \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_2)^{\le k}$, $g\in \mathrm {Hom}_{{\mathscr {B}}}(B_2,B_3)^{\le j-2n-1}$ and $k+j-2n-1\le n+j'-2n-1\le j'-h'$.
For every $n>0$, the natural projection
induces, passing to truncations, a morphism of complexes
for every $k\in \mathbb {Z}$. Composing it with the product of the natural maps
we obtain a morphism of complexes
Observe that for every $k,l\in \mathbb {Z}$, there are also morphisms of complexes
where the first map is induced by composition in ${\mathscr {C}}$, and the second one is the natural projection.
Lemma 4.8. The maps $p_n^k$ are compatible with compositions, meaning for every $n,k,l\in \mathbb {Z}$ with $n\ge k,l,1$,
is a commutative diagram of complexes.
Proof. As in the proof of Lemma 4.7, let $f\in \mathrm {Hom}_{2n}^{h,i}(B_1,B_2)^{\le k}$ and $g\in \mathrm {Hom}_{2n}^{i,j}(B_2,B_3)^{\le l}$ for some $-2n-1\le h,i,j\le 2n+1$: we need to prove that
We can restrict to the case $-n\le h,j\le n$, since otherwise both sides of equation (4.7) are evidently $0$. We claim that the same is true if $\lvert i\rvert =2n+1$. In fact, if $i=-2n-1$, then $f\in \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_2)^{\le -2n-1-h}$, $g\in \mathrm {Hom}_{{\mathscr {B}}}(B_2,B_3)^{\le l}$ and $-2n-1-h+l\le -2n-1-h+n<j-h$. Similarly, if $i=2n+1$, then $f\in \mathrm {Hom}_{{\mathscr {B}}}(B_1,B_2)^{\le k}$, $g\in \mathrm {Hom}_{{\mathscr {B}}}(B_2,B_3)^{\le j-2n-1}$ and $k+j-2n-1\le n+j-2n-1<j-h$. Finally, if $\lvert i\rvert \le 2n$, we can assume that f and g are homogeneous, say of degrees d and e. We must have $d\le i-h$ and $e\le j-i$ (whence $d+e\le j-h$), and again equation (4.7) becomes $0=0$ unless $d+e=j-h$. Clearly $d+e=j-h$ implies $d=i-h$ and $e=j-i$, in which case it is straightforward to see that equation (4.7) is satisfied.
4.3 Homotopy limits of sequences
As the name suggests, homotopy limits are unique only up to homotopy. And there are multiple ways to make enhanced versions of them—we already met this in Section 3.3, where the special case of homotopy pullbacks was discussed in some detail. We remind the reader: in Section 3.3, the approach was to impose a model structure on some ambient category and, with respect to this model structure, do some fibrant replacement. In this section, we want to lay the groundwork for the way we will treat homotopy limits of countable sequences, and the method will be different. It will be based on a (dual) version of Milnor’s mapping telescope.
We start in somewhat greater generality; the sequences will come later. Let $A_1,A_2,A_3$ be cochain complexes of $\Bbbk $-modules, and let $\mu :A_1\otimes A_2\to A_3$ be a cochain map, which we should think of as the composition. Suppose further that for $i\in \{1,2,3\}$, we are given cochain maps $\phi _i:A_i\to A_i$ such that the square below commutes:
Now, for $i\in \{1,2,3\}$, we define
And the composition map $\widetilde \mu :\widetilde A_1\otimes \widetilde A_2\to \widetilde A_3$ is set to be the composite
The truncation is the obvious map; the tensor product of two mapping cones is the total complex of a complex of three terms, and we truncate the term on the right. The map $\Psi $ is also obvious, meaning what is left from the tensor product of two mapping cones after truncation: we take the morphisms $(\mathrm {id}-\phi _1)\otimes \mathrm {id}\colon A_1\otimes A_2\to A_1\otimes A_2$ and $\mathrm {id}\otimes (\mathrm {id}-\phi _2)\colon A_1\otimes A_2\to A_1\otimes A_2$ and combine them to form a single map $\Psi \colon A_1\otimes A_2\to (A_1\otimes A_2)\oplus (A_1\otimes A_2)$. And finally, the map $\Theta $ is obtained as the map deduced from the commutative square below by taking the mapping cones of the horizontal maps:
Remark 4.9. Suppose now that $A_1$, $A_2$ and $A_3$ are inverse sequences of cochain complexes of $\Bbbk $-modules. That is, for any integer $n>0$ and for $i\in \{1,2,3\}$, we are given a cochain complex $A_{i,n}$. These come with multiplication maps $\mu _n:A_{1,n}\otimes A_{2,n}\to A_{3,n}$ and sequence maps $\phi _{i,n}\colon A_{i,n+1}\to A_{i,n}$, and for each n, the square below commutes:
For $i\in \{1,2,3\}$, define $\widehat A_i:=\prod _{n>0}A_{i,n}$. The multiplication map $\widehat \mu \colon \widehat A_1\otimes \widehat A_2\to \widehat A_3$ is the composite
If we let $\phi _i\colon \widehat A_i\to \widehat A_i$ be the composite
then the square
commutes. Then setting
the discussion preceding the remark showed us how to construct the composition $\widetilde \mu :\widetilde A_1\otimes \widetilde A_2\to \widetilde A_3$.
Using this, we can give the following.
Definition 4.10. The homotopy limit of a sequence $A=\{A_n\}$ of complexes of $\Bbbk $-modules is the complex
Remark 4.9 also showed us how, given three inverse sequences of complexes of $\Bbbk $-modules $A_1$, $A_2$ and $A_3$ and compatible multiplications $\mu _n:A_{1,n}\otimes A_{2,n}\to A_{3,n}$, we can assemble them to a multiplication map
4.4 Relating ${\mathscr {V}}$ and ${\mathscr {B}}$
We have been assembling a sequence of technical lemmas, and the time has come to use them. In this section, we will prove
Proposition 4.11. There exists a morphism $u\colon {\mathscr {V}}\to {\mathscr {B}}$ in ${\mathbf {Hqe}}$ such that the exact functor $H^0(u)\colon H^0({\mathscr {V}})\cong {\mathbf {V}}^?({\mathscr {A}})\to H^0({\mathscr {B}})\cong {\mathbf {B}}^?({\mathscr {A}})$ (see Remark 4.3) can be identified with the natural functor ${\mathbf {V}}^?({\mathscr {A}})\to {\mathbf {B}}^?({\mathscr {A}})$.
The proof will occupy the remainder of this section. We will begin with the dg category ${\mathscr {B}}$ and gradually produce a zigzag of dg functors that compose (in the category ${\mathbf {Hqe}}$) to our desired map $u\colon {\mathscr {V}}\to {\mathscr {B}}$.
Step 1. The dg category ${\mathscr {B}}'$ has the same objects as ${\mathscr {B}}$, and the dg functor ${\mathscr {B}}\to {\mathscr {B}}'$ is the identity on objects. The Hom-complexes in the dg category ${\mathscr {B}}'$, as well as the dg functor ${\mathscr {B}}\to {\mathscr {B}}'$, are specified by giving the cochain map $\mathrm {Hom}_{\mathscr {B}}(B_1,B_2)\to \mathrm {Hom}_{{\mathscr {B}}'}(B_1,B_2)$ for every pair of objects $B_1,B_2\in {\mathscr {B}}$. We declare this to be the natural cochain map
where on the right, we mean the homotopy limit, in the sense of Section 4.3, of the inverse sequence
The composition law in the category ${\mathscr {B}}'$ giving the map
is as in Remark 4.9 and Definition 4.10.
It is obvious that the dg functor ${\mathscr {B}}\to {\mathscr {B}}'$ is a quasi-equivalence.
Step 2. In this step, we will produce a dg functor ${\mathscr {B}}"\to {\mathscr {B}}'$, with ${\mathscr {B}}'$ as in Step 1. Let us start with the following useful definition.
Definition 4.12. Let ${\mathscr {S}}$ be the set of functions $f\colon \mathbb {N}\to \mathbb {N}\cup \{0\}$ satisfying
(i) f is nondecreasing, meaning $f(n)\leq f(n+1)$ for all $n\in \mathbb {N}$.
(ii) $f(n)\to \infty $ as $n\to \infty $.
We turn ${\mathscr {S}}$ into a partially ordered set by setting $f\leq f'$ if $f(n)\leq f'(n)$ for all $n\in \mathbb {N}$.
Back in Section 4.2, we introduced the subcomplexes $\mathrm {Hom}_n(B_1,B_2)\subset \mathrm {Hom}_{\mathscr {B}}(B_1,B_2)$ for $B_1,B_2$ objects of ${\mathscr {B}}$ and for $n\in \mathbb {N}$. We extend this definition now, allowing $n=0$, by declaring $\mathrm {Hom}_0(B_1,B_2):=\mathrm {Hom}_{\mathscr {B}}(B_1,B_2)$.
Given a pair of objects $B_1,B_2\in {\mathscr {B}}$, a function $f\in {\mathscr {S}}$ and an integer $k>0$, we can combine the information recalled in the discussion just prior to Step 2 to form the inverse sequence
If $f\leq g$ are elements of ${\mathscr {S}}$, then there is a natural map of inverse sequences
which allows us to view the construction for fixed $B_1,B_2,k$ as a functor from ${\mathscr {S}}^{\circ }$ to the category of inverse sequences of cochain complexes. We can now form the dg category ${\mathscr {B}}"$; the objects are identical to those of ${\mathscr {B}}$. For a pair of objects $B_1,B_2\in {\mathscr {B}}$, we declare
This means for fixed $f\in {\mathscr {S}}$ and $k\in \mathbb {N}$, we take the homotopy inverse limit of the sequence depicted above. And as this is contravariantly functorial in $f\in {\mathscr {S}}$ and covariantly functorial in $k\in \mathbb {N}$, we can form the (ordinary) colimit of these cochain complexes. Moreover, for each $f\in {\mathscr {S}}$ and $k\in \mathbb {N}$, there is an obvious map of inverse systems
and, taking homotopy inverse limits, we deduce a map
with ${\mathscr {B}}'$ the dg category of Step 1. And as this map is compatible with increasing $k\in \mathbb {N}$ and decreasing $f\in {\mathscr {S}}$, it gives rise to a cochain map
This defines for us what the dg functor ${\mathscr {B}}"\to {\mathscr {B}}'$ does on Hom-complexes.
It remains to deal with composition. Suppose $f,g\in {\mathscr {S}}$ and $k,l\in \mathbb {N}$ are given. We form $h\in {\mathscr {S}}$ as follows
where the symbol $\lfloor x\rfloor $ means the integer part of x; that is, the function $\lfloor -\rfloor $ takes a real number x to the largest integer not larger than x. With this choice, we have that either $h(n)=0$ or $h(n)\geq \max (k,l,1)$, and $f(n),g(n)$ are both $\geq 2h(n)$. Lemma 4.7 tells us that the composition
is well-defined, and Remark 4.9 and Definition 4.10 allow us to pass to the homotopy inverse limits, producing a map
Now, passing to the colimit over $f,g\in {\mathscr {S}}$ and $k,l\in \mathbb {N}$, we produce the composition map
Step 3. In this step, we will produce a dg functor ${\mathscr {B}}"\to \overline {\mathscr {B}}$, with ${\mathscr {B}}"$ as in Step 2. On objects, this dg functor is the identity. We need to explain, for every pair of objects $B_1,B_2\in {\mathscr {B}}$, the map $\mathrm {Hom}_{{\mathscr {B}}"}(B_1,B_2)\to \mathrm {Hom}_{\overline {\mathscr {B}}}(B_1,B_2)$.
The idea is simple enough. In the paragraphs preceding Lemma 4.8, we introduced the maps $p_n^k:\mathrm {Hom}_n(B_1,B_2)^{\leq k}\to \overline {\mathrm {Hom}}_n(B_1,B_2)^{\leq k}$. Back then, we assumed $n\geq 1$. In Step 2, we extended the definition of $\mathrm {Hom}_n(B_1,B_2)^{\leq k}$ to $n=0$ by setting $\mathrm {Hom}_0(B_1,B_2)^{\leq k}=\mathrm {Hom}_{\mathscr {B}}(B_1,B_2)^{\leq k}$, and now we extend the definition of $\overline {\mathrm {Hom}}_n(B_1,B_2)^{\leq k}$ to $n=0$ by setting $\overline {\mathrm {Hom}}_0(B_1,B_2)^{\leq k}=0$. Now let $B_1,B_2\in {\mathscr {B}}$, $f\in {\mathscr {S}}$ and $k\in \mathbb {N}$ be given; the maps $p_{f(i)}^k$ provide morphisms of inverse sequences
And the map $\mathrm {Hom}_{{\mathscr {B}}"}(B_1,B_2)\to \mathrm {Hom}_{\overline {\mathscr {B}}}(B_1,B_2)$ is obtained by taking first homotopy inverse limits and then colimits, as in
The composition law on the dg category $\overline {\mathscr {B}}$, as well as the fact that the map $\mathrm {Hom}_{{\mathscr {B}}"}(B_1,B_2)\to \mathrm {Hom}_{\overline {\mathscr {B}}}(B_1,B_2)$ respects composition, can be deduced by combining Lemma 4.8 with Remark 4.9 and Definition 4.10.
From Lemma 4.6, we learn that the dg functor ${\mathscr {B}}"\to \overline {\mathscr {B}}$ is a quasi-equivalence.
Step 4. In this step, we will produce a dg functor $\widetilde B\to \overline B$. As in the previous steps, the functor is the identity on objects. We define $\mathrm {Hom}_{\widetilde {\mathscr {B}}}(B_1,B_2)$ by the formula
and we need to explain the map $\mathrm {Hom}_{\widetilde {\mathscr {B}}}(B_1,B_2)\to \mathrm {Hom}_{\overline {\mathscr {B}}}(B_1,B_2)$.
Now recall that by definition (see just before Lemma 4.8),
Hence there is an obvious map
which is just the functor $(-)^{\leq k}$ applied to the projection from the large product to the smaller one. For any $f\in {\mathscr {S}}$, this induces a map
Now, taking the colimit over $f\in {\mathscr {S}}$ and as $k\to \infty $ produces a map
which is our definition of the morphism $\mathrm {Hom}_{\widetilde {\mathscr {B}}}(B_1,B_2)\to \mathrm {Hom}_{\overline {\mathscr {B}}}(B_1,B_2)$.
It is easy to check that the map is compatible with composition and hence defines a dg functor $\widetilde {\mathscr {B}}\to \overline {\mathscr {B}}$. And it is obvious that this map is a quasi-equivalence.
This concludes the proof of Proposition 4.11, since $\widetilde {\mathscr {B}}$ is manifestly quasi-equivalent to ${\mathscr {V}}$ under the natural dg functor $\widetilde {\mathscr {B}}\to {\mathscr {V}}$. For later use, let us summarise here the sequence of dg categories and dg functors constructed along the proof
where all dg functors but $\mathsf {F}'\colon {\mathscr {B}}"\to {\mathscr {B}}'$ are quasi-equivalences.
5 Uniqueness for ${\mathbf {D}}^?({\mathscr {A}})$
This section is devoted to the proof of Theorem A (1). It requires some technical observations that are contained in Section 5.2. Some straightforward but interesting applications are discussed in Section 5.4.
5.1 A brief summary of the setting
Let ${\mathscr {A}}$ be an abelian category, and let $({\mathscr {C}},\mathsf {E})$ be an enhancement of ${\mathbf {D}}^?({\mathscr {A}})$. In view of Example 3.16, Theorem A (1) will be proved once we show that there is an isomorphism between ${\mathscr {C}}$ and ${\mathbf {D}}^?_{\mathbf {dg}}({\mathscr {A}})$ in ${\mathbf {Hqe}}$.
Let us first define a morphism between these dg categories. One may construct the dg categories ${\mathscr {V}}={\mathscr {V}}^?({\mathscr {A}})$ and ${\mathscr {B}}={\mathscr {B}}^?({\mathscr {A}})$ as in Section 4, which, in view of Remark 4.3, come with isomorphisms in ${\mathbf {Hqe}}$
Furthermore, by Proposition 4.11, there is a morphism $u\in \mathrm {Hom}_{\mathbf {Hqe}}({\mathscr {V}},{\mathscr {B}})$ such that $H^0(u)$ is the natural functor from ${\mathbf {V}}^?({\mathscr {A}})$ to ${\mathbf {B}}^?({\mathscr {A}})$. Consider then the morphism in ${\mathbf {Hqe}}$
As a conclusion, we have the exact functors $\mathsf {F}_1,\mathsf {F}_2\colon {\mathbf {K}}^?({\mathscr {A}})\to {\mathbf {D}}^?({\mathscr {A}})$ defined as follows:
where $\mathsf {Q}$ is the quotient functor in equation (1.1). Set, for later use,
The following is clear from the definitions.
Lemma 5.1. In the setting above, there is a natural isomorphism
of exact functors.
5.2 Some preliminary results
We discuss a general result that applies nicely to the setting in the previous section.
Proposition 5.2. Assume that ${\mathscr {A}}$ is an abelian category and that $\mathsf {G}_1,\mathsf {G}_2:{\mathbf {K}}^?({\mathscr {A}})\to {\mathbf {D}}^?({\mathscr {A}})$ are exact functors such that
(i) There is a natural isomorphism $\theta \colon \mathsf {G}_1|_{{\mathbf {V}}^?({\mathscr {A}})}\overset {\sim }{\longrightarrow }\mathsf {G}_2|_{{\mathbf {V}}^?({\mathscr {A}})}$.
(ii) Suppose $a\leq b$ are integers. If $V^{*}\in \mathrm {Ob}\left ({\mathbf {V}}^?({\mathscr {A}})\right )$ is such that $V^i=0$ for all $i\notin [a,b]$, then $\mathsf {G}_1(V^{*})\cong \mathsf {G}_2(V^{*})\in \mathrm {Ob}\left ({\mathbf {D}}({\mathscr {A}})^{\leq b}\cap {\mathbf {D}}({\mathscr {A}})^{\geq a}\right )$.
Then for every $A^{*}\in \mathrm {Ob}\left ({\mathbf {K}}^?({\mathscr {A}})\right )$, there exists an isomorphism $\widetilde \theta _{A^{*}}\colon \mathsf {G}_1(A^{*})\overset {\sim }{\longrightarrow }\mathsf {G}_2(A^{*})$ such that the following square commutes in ${\mathbf {D}}^?({\mathscr {A}})$
for every $V^{*}\in \mathrm {Ob}\left ({\mathbf {V}}^?({\mathscr {A}})\right )$ and every morphism $h:V^{*}\to A^{*}$ of ${\mathbf {K}}^?({\mathscr {A}})$.
Proof. Given $A^{*}\in {\mathbf {K}}^?({\mathscr {A}})$, we denote by $K^i$ the kernel of the differential $d^i\colon A^i\to A^{i+1}$ and by $\alpha ^i\colon A^{i-1}\to K^i$ the natural factorisation of the differential $d^{i-1}\colon A^{i-1}\to A^i$.
Consider the commutative square
where the vertical maps are isomorphisms by (i). Of course, it could be split into the direct sum of two similar commutative diagrams, where the direct sums are indexed, respectively, over $i\ge 1$ and $i\le 0$. By (ii), Proposition 1.8 and Proposition 1.7, we obtain two commutative diagrams
and
For each $i\in \mathbb {Z}$, $\theta $ induces by (i) an isomorphism of distinguished triangles
where $\varphi ^i$ is the morphism of equation (2.1). By taking products over the integers $i\geq 1$ and coproducts over $i\leq 0$, this produces an isomorphism of distinguished triangles
where $\varphi :=\bigoplus _{i\in \mathbb {Z}}{\varphi ^i}[-i]$ and $\theta ':=\bigoplus _{i\in \mathbb {Z}}\theta ^{\prime }_i$. Hence the rightmost square in equation (5.3) commutes.
For $i\in \mathbb {Z}$, consider now the inclusion $\rho ^i\colon K^{i-1}\hookrightarrow A^{i-1}$. The composite $K^{i-1}\xrightarrow {\rho ^i} A^{i-1}\xrightarrow {\alpha ^i} K^i$ vanishes in ${\mathscr {A}}$. Thus $\rho ^i$ factors in ${\mathbf {K}}^?({\mathscr {A}})$ as $K^{i-1}\xrightarrow {\psi ^{i-1}}{\mathrm {Cone}\left (\alpha ^i\right )}[-1]\to A^{i-1}$, where $\psi ^j$ is the morphism of equation (2.2). From this, we deduce for each $i\in \mathbb {Z}$ a diagram
Note that if we delete the middle column, the resulting square commutes because of the naturality of the isomorphism $\theta $. If we delete the left column, the resulting square commutes by the definition of $\theta ^{\prime }_i$. It follows that the difference between the composites in the square on the left is annihilated by the map $\mathsf {G}_2({\mathrm {Cone}\left (\alpha ^i\right )}[-i])\to \mathsf {G}_2({A^{i-1}}[-i+1])$ and hence must factor through $\mathsf {G}_2({K^i}[-i])$. But by (ii), there can be no nonzero map $\mathsf {G}_1({K^{i-1}}[-i+1])\to \mathsf {G}_2({K^i}[-i])$, and hence the square on the left must also commute. Taking the coproduct over $i\leq 0$ and the product over $i\geq 1$ and then assembling, we deduce a commutative square
where $\psi :=\bigoplus _{i\in \mathbb {Z}}{\psi ^i}[-i]$.
By putting together this commutative square and rightmost commutative square in equation (5.3), we obtain the commutative square
which can be completed to an isomorphism of distinguished triangles
Here we use the fact that, as we observed in the proof of Proposition 2.9, the mapping cone of $\varphi +\psi $ is isomorphic in ${\mathbf {K}}({\mathscr {A}})$ to $A^{*}$.
Clearly $\widetilde \theta _{A^{*}}$ is an isomorphism; thus, to complete the proof, it remains to prove that the square in the statement commutes.
To this end, observe that both squares in the diagram
commute by construction, and thus the outside square commutes as well. Moreover, any map $V^{*}\to A^{*}$, where $V^{*}\in {\mathbf {V}}^?({\mathscr {A}})$, must factor as $V^{*}\xrightarrow {\beta }\bigoplus _{i\in \mathbb {Z}}{K^i}[-i]\xrightarrow {\sigma \circ \varphi } A^{*}$, and in the diagram
both squares commute: the left-hand square by the naturality of $\theta $ and the right-hand square (which is the outside square in equation (5.4)) by the observation above. Thus we deduce the commutativity of the outside square in equation (5.5), completing the proof.
We now want to apply this result in the setting of Section 5.1.
Corollary 5.3. Let ${\mathscr {A}}$ be an abelian category, and let $\mathsf {F}_1,\mathsf {F}_2:{\mathbf {K}}^?({\mathscr {A}})\to {\mathbf {D}}^?({\mathscr {A}})$ be as in equation (5.1). Then for every $A^{*}\in \mathrm {Ob}\left ({\mathbf {K}}^?({\mathscr {A}})\right )$, there is an isomorphism $\widetilde \theta _{A^{*}}\colon \mathsf {F}_1(A^{*})\overset {\sim }{\longrightarrow }\mathsf {F}_2(A^{*})$ such that the following square commutes in ${\mathbf {D}}^?({\mathscr {A}})$
for every $V^{*}\in \mathrm {Ob}\left ({\mathbf {V}}^?({\mathscr {A}})\right )$ and every morphism $h\colon V^{*}\to A^{*}$ of ${\mathbf {K}}^?({\mathscr {A}})$.
5.3 Proof of Theorem A (1)
This part of the argument is very similar to [Reference Lunts and Orlov27, Section 6]. The key differences are our approach to generation for ${\mathbf {D}}^?({\mathscr {A}})$ and all of its consequences in the previous section. We are in the setting of Section 5.1.
Suppose that $L^{*}\in {\mathbf {K}}^?_{\mathrm {acy}}{{\mathscr {A}}}$ is an acyclic object. By Corollary 5.3, $\mathsf {F}_1(L^{*})\cong \mathsf {F}_2(L^{*})$ in ${\mathbf {D}}^?({\mathscr {A}})$. Since $\mathsf {F}_2(L^{*})$ is zero as $\mathsf {F}_2=\mathsf {Q}$ is the Verdier quotient map, we have $\mathsf {F}_1(L^{*})\cong 0$, whence the functor $\mathsf {F}_1$ must factor through $\mathsf {Q}$. Let us write this as
As an immediate consequence, the morphism g in equation (5.2) must factor through the Drinfeld quotient as follows:
Note that, by construction, we have
The proof will be complete once we show that $H^0(g')$ is an equivalence. As $\mathsf {E}$ is an exact equivalence, we are reduced to showing that $\mathsf {F}^{\prime }_1$ is an equivalence.
Let us prove that $\mathsf {F}^{\prime }_1$ is fully faithful. By Corollary 2.10, it suffices to show that for any pair of objects $V_1,V_2\in \mathrm {Ob}({\mathbf {V}}^?({\mathscr {A}}))$, the functor $\mathsf {F}^{\prime }_1$ induces an isomorphism
To prove the injectivity, choose in the category ${\mathbf {K}}^?({\mathscr {A}})/{\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$ a morphism $h:V_1\to V_2$ mapping to zero under $\mathsf {F}^{\prime }_1$. We may represent h in ${\mathbf {K}}^?({\mathscr {A}})$ as
where $V_2\xrightarrow {b} A\to L$ is a distinguished triangle with $L\in {\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$ and where $h=b^{-1}\circ a$ in ${\mathbf {K}}^?({\mathscr {A}})/{\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$. But then $0\cong \mathsf {F}^{\prime }_1(h)=\mathsf {F}^{\prime }_1(b)^{-1}\circ \mathsf {F}^{\prime }_1(a)$, and we deduce that $\mathsf {F}^{\prime }_1(a)=\mathsf {F}_1(a)\cong 0$. By Corollary 5.3, there is an isomorphism $\widetilde \theta _A\colon \mathsf {F}_1(A)\overset {\sim }{\longrightarrow }\mathsf {F}_2(A)$ rendering commutative the square
The vertical maps are isomorphisms; hence the vanishing of $\mathsf {F}_1(a)$ implies that $\mathsf {F}_2(a)\cong 0$. Hence a vanishes in ${\mathbf {K}}^?({\mathscr {A}})/{\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$ as $\mathsf {F}_2=\mathsf {Q}$ is the Verdier quotient. Thus $h=0$.
As for the surjectivity, let $h\colon \mathsf {F}_1(V_1)\to \mathsf {F}_1(V_2)$ be a morphism in the category ${\mathbf {D}}^?({\mathscr {A}})$. By Lemma 5.1, $\theta $ induces isomorphisms $\mathsf {F}_1(V_i)\cong \mathsf {F}_2(V_i)$ for $i=1,2$. Hence there is a morphism $h'\colon \mathsf {F}_2(V_1)\to \mathsf {F}_2(V_2)$ making the following diagram commutative in ${\mathbf {D}}^?({\mathscr {A}})$:
We can represent $h'$ in ${\mathbf {K}}^?({\mathscr {A}})$ as
where $V_2\xrightarrow {b'} A'\to L'$ is a distinguished triangle with $L'\in {\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$ and where $h'=(b')^{-1}\circ a'$ in ${\mathbf {D}}^?({\mathscr {A}})$. By Corollary 5.3, there is an isomorphism $\widetilde \theta _A\colon \mathsf {F}_1(A)\overset {\sim }{\longrightarrow }\mathsf {F}_2(A)$ making the diagram
commutative. From this, we deduce that
Hence, by definition, $\mathsf {F}^{\prime }_1(h')=h$.
As for the essential surjectivity of $\mathsf {F}^{\prime }_1$, observe that since it is fully faithful, its essential image is a full and thick (because the source category ${\mathbf {D}}^?({\mathscr {A}})$ is idempotent complete) triangulated subcategory of ${\mathbf {D}}^?({\mathscr {A}})$ containing $\mathsf {F}_1({\mathbf {V}}^?({\mathscr {A}}))$. But $\mathsf {F}_1({\mathbf {V}}^?({\mathscr {A}}))=\mathsf {F}_2({\mathbf {V}}^?({\mathscr {A}}))={\mathbf {B}}^?({\mathscr {A}})$ by Lemma 5.1 so, by Corollary 2.10, the essential image of $\mathsf {F}^{\prime }_1$ coincides with ${\mathbf {D}}^?({\mathscr {A}})$.
This concludes the proof of Theorem A (1) as we proved that $(g')^{-1}$ is an isomorphism between ${\mathscr {C}}$ and ${\mathbf {D}}^?_{\mathbf {dg}}({\mathscr {A}})={\mathbf {C}}_{{\mathbf {dg}}}^?({\mathscr {A}})/{\mathbf {Acy}}^?({\mathscr {A}})$ in ${\mathbf {Hqe}}$.
Remark 5.4. It should be noted that our proof shows more: ${\mathbf {D}}^?({\mathscr {A}})$ has a semi-strongly unique dg enhancement for any abelian category ${\mathscr {A}}$. Indeed as we observed above, by Corollary 5.3, given any object $A\in \mathrm {Ob}({\mathbf {D}}^?({\mathscr {A}}))=\mathrm {Ob}({\mathbf {K}}^?({\mathscr {A}}))$, there is an isomorphism $\mathsf {F}_1(A)\cong \mathsf {F}_2(A)$ in ${\mathbf {D}}^?({\mathscr {A}})$. But $\mathsf {F}_1(A)\cong \mathsf {F}^{\prime }_1(A)=\mathsf {E}\circ H^0(g')(A)$ by equation (5.6). Moreover, $\mathsf {F}_2(A)=A$ by definition. Hence $H^0(g')(A)\cong \mathsf {E}^{-1}(A)$ for all $A\in \mathrm {Ob}({\mathbf {D}}^?_{\mathbf {dg}}({\mathscr {A}}))$.
Remark 5.5. For later use, we can reinterpret the previous proof in terms of the zigzag diagram given by equation (4.8), which describes the morphism $u\colon {\mathscr {V}}\to {\mathscr {B}}$ in ${\mathbf {Hqe}}$. First, observe that the morphism $f=\mathsf {Ind}(u)$ in ${\mathbf {Hqe}}$ defined in Section 5.1 is represented by the zigzag diagram
where all dg functors but $\mathsf {Ind}(\mathsf {F}')$ are quasi-equivalences. By Proposition 3.10, up to taking functorial h-flat resolutions, we can assume without loss of generality that all dg categories in the above diagram are h-flat.
Denoting by ${\mathscr {N}}$ the full dg subcategory of $\mathrm {Perf}({\mathscr {V}})$ (which is an enhancement of ${\mathbf {K}}^?({\mathscr {A}})$ by Remark 4.3) defining an enhancement of ${\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$, our proof above shows that there are full dg subcategories $\widetilde {\mathscr {S}}\subseteq \mathrm {Perf}(\widetilde {\mathscr {B}})$, $\overline {\mathscr {S}}\subseteq \mathrm {Perf}(\overline {\mathscr {B}})$, ${\mathscr {S}}"\subseteq \mathrm {Perf}({\mathscr {B}}")$, ${\mathscr {S}}'\subseteq \mathrm {Perf}({\mathscr {B}}')$ and ${\mathscr {S}}\subseteq \mathrm {Perf}({\mathscr {B}})$ such that
(1) we have quasi-equivalences $\widetilde {\mathscr {S}}\cong {\mathscr {N}}$, $\widetilde {\mathscr {S}}\cong \overline {\mathscr {S}}$, ${\mathscr {S}}"\cong \overline {\mathscr {S}}$ and ${\mathscr {S}}\cong {\mathscr {S}}'$, which are induced by the corresponding dg functors in equation (5.7);
(2) ${\mathscr {S}}'$ is the smallest full dg subcategory of $\mathrm {Perf}({\mathscr {B}}')$ containing $\mathsf {Ind}(\mathsf {F}')({\mathscr {S}}")$;
(3) we have quasi-equivalences $\mathrm {Perf}(\widetilde {\mathscr {B}})/\widetilde {\mathscr {S}}\cong \mathrm {Perf}({\mathscr {V}})/{\mathscr {N}}$, $\mathrm {Perf}(\widetilde {\mathscr {B}})/\widetilde {\mathscr {S}}\cong \mathrm {Perf}(\overline {\mathscr {B}})/\overline {\mathscr {S}}$, $\mathrm {Perf}({\mathscr {B}}")/{\mathscr {S}}"\cong \mathrm {Perf}(\overline {\mathscr {B}})/\overline {\mathscr {S}}$, $\mathrm {Perf}({\mathscr {B}}")/{\mathscr {S}}"\cong \mathrm {Perf}({\mathscr {B}}')/{\mathscr {S}}'$ and $\mathrm {Perf}({\mathscr {B}})/{\mathscr {S}}\cong \mathrm {Perf}({\mathscr {B}}')/{\mathscr {S}}'$ induced by the dg functors given by equation (5.7) in view of Remark 3.11.
In particular, $H^0({\mathscr {S}}')\cong H^0({\mathscr {S}})\cong 0$, and we get the commutative diagram of zigzags
where the dg functors in the bottom zigzag are quasi-equivalences, the vertical maps are Drinfeld dg quotient functors such that $\mathrm {Perf}({\mathscr {B}}')\to \mathrm {Perf}({\mathscr {B}}')/{\mathscr {S}}'$ and $\mathrm {Perf}({\mathscr {B}})\to \mathrm {Perf}({\mathscr {B}})/{\mathscr {S}}$ are quasi-equivalences.
5.4 Applications
The first easy observation is that by Remark 1.3 (and Remark 3.19 (i)), Theorem A (1) immediately implies the following.
Corollary 5.6. If ${\mathscr {A}}$ is an abelian category, then ${\mathbf {K}}^?({\mathscr {A}})$ has a unique enhancement for $?=b,+,-,\emptyset $.
In this light, it would be interesting to investigate further the following problem.
Question 5.7. Let ${\mathscr {A}}$ be an abelian category. Does ${\mathbf {K}}^?_{\mathrm {acy}}({\mathscr {A}})$ have a unique enhancement for $?=b,+,-,\emptyset $?
Next, if ${\mathscr {G}}$ is a Grothendieck category, then we learnt in Section 2.1 that for $\alpha $ a sufficiently large cardinal, then ${\mathbf {D}}({\mathscr {G}})^{\alpha }\cong {\mathbf {D}}({\mathscr {G}}^{\alpha })$. Hence we get
Corollary 5.8. If ${\mathscr {G}}$ is a Grothendieck category and $\alpha $ is a sufficiently large cardinal, then ${\mathbf {D}}({\mathscr {G}})^{\alpha }$ has a unique enhancement.
When ${\mathscr {G}}={\mathbf {Qcoh}}(X)$ and X is an algebraic stack, then this answers the second part of [Reference Canonaco and Stellari9, Question 4.7] in the positive. Partial results are in [Reference Antieau1].
Continuing the discussion in the geometric setting, let us recall that while quasi-coherent sheaves are defined on any algebraic stack, coherent sheaves seem to be well defined only on locally noetherian algebraic stacks (see, for example, [Reference Laumon and Moret-Bailly26, Chapter 15]) or, of course, schemes. But when they are defined, they form an abelian category, and thus we can deduce the following.
Corollary 5.9. If X is an algebraic stack, then ${\mathbf {D}}^?({\mathbf {Qcoh}}(X))$ has a unique enhancement for $?=b,+,-,\emptyset $. If X is a scheme or a locally noetherian algebraic stack, then the same is true for ${\mathbf {D}}^?({\mathbf {Coh}}(X))$.
Note that here, apart from Theorem A (1), we are implicitly using Proposition 3.18, as ${\mathbf {Qcoh}}(X)$ is not in general small in the given universe. This concludes the proof of the problem posed in [Reference Canonaco and Stellari9, Question 4.7].
We conclude this section with a question that we believe to be very natural as it concerns a potentially very interesting generalisation of Theorem A (1).
Question 5.10. Let ${\mathscr {A}}$ be an abelian category, and let ${\mathscr {B}}$ be a Serre subcategory of ${\mathscr {A}}$. Does the full subcategory ${\mathbf {D}}^?_{{\mathscr {B}}}({\mathscr {A}})$ of ${\mathbf {D}}^?({\mathscr {A}})$, consisting of complexes with cohomology in ${\mathscr {B}}$, have a unique dg enhancement for $?=b,+,-,\emptyset $?
A positive answer to Question 5.10 would immediately imply the uniqueness of dg enhancements for ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ in Theorem B. Unfortunately, the techniques developed in this paper seem insufficient to address Question 5.10.
5.5 Aside: the ‘realisation’ functor of Beĭlinson, Bernstein and Deligne
Recall that a t-structure on a triangulated category ${\mathscr {T}}$ is a pair of full subcategories $({\mathscr {T}}^{\geq 0},{\mathscr {T}}^{\leq 0})$ such that
(i) If $X\in \mathrm {Ob}({\mathscr {T}}^{\leq 0})$ and $Y\in \mathrm {Ob}({\mathscr {T}}^{\geq 0})$, then $\mathrm {Hom}_{\mathscr {T}}(X,{Y}[-1])=0$;
(ii) ${{\mathscr {T}}^{\leq 0}}[1]\subseteq {\mathscr {T}}^{\leq 0}$ and ${{\mathscr {T}}^{\geq 0}}[-1]\subseteq {\mathscr {T}}^{\geq 0}$ (we set ${\mathscr {T}}^{\leq n}:={{\mathscr {T}}^{\leq 0}}[-n]$ and ${\mathscr {T}}^{\geq n}:={{\mathscr {T}}^{\geq 0}}[-n]$);
(iii) For any object $X\in \mathrm {Ob}({\mathscr {T}})$ there is a distinguished triangle
$$ \begin{align*} X^{\leq 0}\longrightarrow X\longrightarrow X^{\geq 1}, \end{align*} $$where $X^{\leq 0}\in \mathrm {Ob}({\mathscr {T}}^{\leq 0})$ and $X^{\geq 1}\in \mathrm {Ob}({\mathscr {T}}^{\geq 1})$.
The heart of a t-structure $({\mathscr {T}}^{\geq 0},{\mathscr {T}}^{\leq 0})$ on ${\mathscr {T}}$ is the abelian category ${\mathscr {T}}^{\heartsuit }:={\mathscr {T}}^{\geq 0}\cap {\mathscr {T}}^{\leq 0}$. Given an object $X\in {\mathscr {T}}$ and an integer i, we can use the distinguished triangle in (iii) to define the object $X^{\geq i}\in \mathrm {Ob}({\mathscr {T}}^{\geq i})$ as ${({X}[i-1]^{\ge 1})}[1-i]$. A t-structure on ${\mathscr {T}}$ is nondegenerate if the intersections of all the ${\mathscr {T}}^{\leq n}$ and of all the ${\mathscr {T}}^{\geq n}$ are trivial.
In [Reference Beĭlinson, Bernstein and Deligne4, Proposition 3.1.10], Beĭlinson, Bernstein and Deligne proved a very interesting result asserting that if ${\mathscr {T}}$ is a triangulated category with a t-structure with heart ${\mathscr {T}}^{\heartsuit }$, under a hypothesis on the existence of filtered derived categories, the natural inclusion ${\mathscr {T}}^{\heartsuit }\subset {\mathscr {T}}$ extends to an exact functor
respecting t-structures. The original proof was relatively complicated, and there has been some literature on this since. But the point here is that the result becomes straightforward by our techniques, which allow for generalisations to ${\mathbf {D}}^?({\mathscr {T}}^{\heartsuit })$.
As above, let ${\mathscr {T}}$ be a triangulated category with a t-structure, and assume we are given an enhancement $({\mathscr {C}},\mathsf {E})$ of ${\mathscr {T}}$. Let ${\mathbf {V}}^?({\mathscr {T}}^{\heartsuit })$ be as in the opening paragraphs of Section 1.1, and let ${\mathscr {V}}^?({\mathscr {T}}^{\heartsuit })$ be its enhancement defined at the very beginning of Section 4.1. And finally, assume that there is a morphism $f\in \mathrm {Hom}_{\mathbf {Hqe}}({\mathscr {V}}^?({\mathscr {T}}^{\heartsuit }),{\mathscr {C}})$ such that the functor $\mathsf {F}:=\mathsf {E}\circ H^0(f)\colon {\mathbf {V}}^?({\mathscr {T}}^{\heartsuit })\to {\mathscr {T}}$ satisfies the following properties for every countable collection $\{T^i: i\in \mathbb {Z}\}$ of objects of ${\mathscr {T}}^{\heartsuit }$.
(1) $\mathsf {F}$ takes a finite sum $\oplus _{i=m}^n T^i[-i]$ in ${\mathbf {V}}^?({\mathscr {T}}^{\heartsuit })$ to the object $\oplus _{i=m}^n T^i[-i]\in {\mathscr {T}}$, and on morphisms it is the obvious functor.
(2) If $?=-,\emptyset $, then $\mathsf {F}\big (\oplus _{i=-\infty }^n T^i[-i]\big )\in {\mathscr {T}}^{\leq n}$.
(3) If $?=+,\emptyset $, then $\mathsf {F}\big (\oplus _{i=n}^{\infty } T^i[-i]\big )\in {\mathscr {T}}^{\geq n}$.
Consider the morphism $\widetilde f:=\mathsf {Ind}(f)|_{\mathrm {Perf}({\mathscr {V}}^?({\mathscr {T}}^{\heartsuit }))}\in \mathrm {Hom}_{{\mathbf {Hqe}}}(\mathrm {Perf}({\mathscr {V}}^?({\mathscr {T}}^{\heartsuit })),\mathrm {Perf}({\mathscr {C}}))$. Assuming that ${\mathscr {T}}$ is idempotent complete, it induces an exact functor
and it is an easy exercise to show that the ${\mathscr {T}}^{\heartsuit }$-cohomology of $\widetilde {\mathsf {F}}(E)$ vanishes for every $E\in {\mathrm {Ob}}({\mathbf {K}}^{?}_{\mathrm {acy}}({\mathscr {T}}^{\heartsuit }))$. Assuming also that the t-structure is nondegenerate, we deduce that $\widetilde {\mathsf {F}}({\mathbf {K}}^{?}_{\mathrm {acy}}({\mathscr {T}}^{\heartsuit }))=0$, and the functor $\widetilde {\mathsf {F}}$ must factor through
Thus the problem reduces to finding a morphism $f\in {\mathrm {Hom}}_{\mathbf {Hqe}}({\mathscr {V}}^?({\mathscr {T}}^{\heartsuit }),{\mathscr {C}})$ with the required properties, and Section 4 is all about methods to do this. The special case $?=b$ is trivial since the limit arguments disappear. To the best of our knowledge, there is only one other article in the literature that shows how to construct the realisation functor on unbounded or half-bounded derived categories: Virili [Reference Virili48, Sections 5 and 6]. But the hypotheses Virili places on the categories ${\mathscr {T}}$ and ${\mathscr {T}}^{\heartsuit }$ are much more restrictive than ours.
6 The unseparated and completed derived categories
In this section, we prove Theorem A (2). In Section 6.1, we prove the uniqueness of enhancements for the unseparated derived category of a Grothendieck category, while the proof of the uniqueness of enhancements for the completed derived category of a Grothendieck category is carried out in Section 6.3. This is preceded by a discussion about the basic properties of completed derived categories in Section 6.2. We end this section with some speculations about the uniqueness of dg enhancements for admissible subcategories.
6.1 The unseparated derived category
The uniqueness of dg enhancements for $\check {{\mathbf {D}}}({\mathscr {G}})$ for ${\mathscr {G}}$ a Grothendieck category can be deduced from a general criterion proved in [Reference Canonaco and Stellari14].
To state it precisely, let us recall the following general definition.
Definition 6.1. Let ${\mathscr {A}}$ be a small $\Bbbk $-linear category considered as a dg category concentrated in degree $0$, and let ${\mathscr {T}}$ be a triangulated category with small coproducts. An exact functor $\mathsf {F}\colon \mathcal {D}({\mathscr {A}})\to {\mathscr {T}}$ is right vanishing if it preserves small coproducts and there exists a full subcategory ${\mathscr {R}}$ of ${\mathscr {T}}$ with the following properties:
(R1) ${\mathscr {R}}$ is closed under small coproducts.
(R2) ${\mathscr {R}}$ is closed under extensions (meaning if $X\to Y\to Z$ is a distinguished triangle in ${\mathscr {T}}$ with $X,Z\in {\mathscr {R}}$, then $Y\in {\mathscr {R}}$, as well).
(R3) ${\mathsf {F}(\mathsf {Y}^{{\mathscr {A}}}(A))}[k]\in {\mathscr {R}}$ for every $A\in {\mathscr {A}}$ and every integer $k<0$.
(R4) $\mathrm {Hom}_{\mathscr {T}}\left (\mathsf {F}(\mathsf {Y}^{{\mathscr {A}}}(A)),R\right )=0$ for every $A\in {\mathscr {A}}$ and every $R\in {\mathscr {R}}$.
The following is the revised version of [Reference Canonaco and Stellari13, Theorem C], which appeared in the preprint version [Reference Canonaco and Stellari14]. It extends [Reference Lunts and Orlov27, Theorem 2.7]. The key notion is well-generation for triangulated categories (see Section 2.1).
Theorem 6.2. Let ${\mathscr {A}}$ be a small $\Bbbk $-linear category considered a dg category concentrated in degree $0$, and let ${\mathscr {L}}$ be a localising subcategory of $\mathcal {D}({\mathscr {A}})$ such that:
(a) The quotient $\mathcal {D}({\mathscr {A}})/{\mathscr {L}}$ is a well-generated triangulated category.
(b) The quotient functor $\mathsf {Q}\colon \mathcal {D}({\mathscr {A}})\to \mathcal {D}({\mathscr {A}})/{\mathscr {L}}$ is right vanishing.
Then $\mathcal {D}({\mathscr {A}})/{\mathscr {L}}$ has a unique enhancement.
Let us move to the first part of Theorem A (2). By Theorem 2.6, $\check {{\mathbf {D}}}({\mathscr {G}})$ is well-generated, so to apply Theorem 6.2, we just need to show that $\check {{\mathbf {D}}}({\mathscr {G}})$ can be written as a quotient $\mathcal {D}({\mathscr {A}})/{\mathscr {L}}$ with ${\mathscr {A}}$ concentrated in degree $0$ and that the quotient functor is right vanishing.
For the given Grothendieck category ${\mathscr {G}}$, take a sufficiently large cardinal $\alpha $ such that ${\mathscr {G}}^{\alpha }$ is abelian (see Theorem 2.5).
Remark 6.3. Even though, by the discussion in Section 3.5, the choice of the universe can be made harmless, it is easy to see that in this case ${\mathscr {G}}^{\alpha }$ is small, since ${\mathscr {G}}$ is generated by one object.
By the discussion at the beginning of [Reference Krause23, Section 5], we have an equivalence
given by the assignment $G\mapsto \mathrm {Hom}_{\mathscr {G}}(-,G)|_{{\mathscr {G}}^{\alpha }}$ (see Example 2.3 (ii)). On the other hand, by [Reference Krause23, Proposition 5.4], the natural inclusion $\mathrm {Lex}_{\alpha }(({\mathscr {G}}^{\alpha })^{\circ },\mathrm {Mod}(\Bbbk ))\hookrightarrow \mathrm {Mod}({\mathscr {G}}^{\alpha })$ has a left adjoint
which is an exact functor sending $\mathsf {Y}^{{\mathscr {G}}^{\alpha }}(G)$ to itself. Hence, by equations (6.1) and (6.2), we have
for all $G\in {\mathscr {G}}^{\alpha }$.
On the other hand, consider the commutative diagram of natural inclusions
By passing to the (left) adjoints, we get the corresponding commutative diagram
If $\mathsf {K}\colon {\mathscr {G}}^{\alpha }\to {\mathbf {K}}({\mathscr {G}})$ is the natural functor, it can be completed to the following diagram:
It is easy to see that the diagram is commutative (up to isomorphism). Indeed, the lower triangle is commutative by definition, while the upper one, involving $\mathsf {K}$, commutes by equation (6.3).
Let us now observe that the triangulated category $\check {{\mathbf {D}}}({\mathscr {G}})$ fits in the framework of Theorem 6.2. Indeed, by [Reference Krause23, Theorem 5.12], the functor $\mathsf {Q}_4$ is a localisation with localising subcategory ${\mathscr {S}}\subseteq {\mathbf {D}}(\mathrm {Mod}({\mathscr {G}}^{\alpha }))$. Thus $\mathsf {Q}_4$ induces an equivalence
Moreover, by the second main result in [Reference Krause23], the triangulated category $\check {{\mathbf {D}}}({\mathscr {G}})$ (and thus the localisation ${\mathbf {D}}(\mathrm {Mod}({\mathscr {G}}^{\alpha }))/{\mathscr {S}}$) is well-generated.
Therefore, to apply Theorem 6.2 and conclude that $\check {{\mathbf {D}}}({\mathscr {G}})$ has a unique enhancement, we just need to show that the quotient functor
is right vanishing. The set ${\mathscr {R}}$ of objects of ${\mathbf {D}}(\mathrm {Mod}({\mathscr {G}}^{\alpha }))/{\mathscr {S}}$ with respect to which this is checked consists of the preimage under $\mathsf {F}_1$ of the objects that are isomorphic to complexes of injective objects in ${\mathscr {G}}$ concentrated in positive degrees.
It is clear that (R1)–(R3) are satisfied by definition. To prove (R4), consider any $G\in {\mathscr {G}}^{\alpha }$ and $R\in {\mathscr {R}}$. Then
where the second isomorphism is by the definition of $\mathsf {F}_1$, and the third is due to the commutativity of equation (6.4). But since the functor $\mathsf {Q}_2$ consists of taking injective resolutions, the complex $\mathsf {Q}_2(\mathsf {K}(G))$ has trivial cohomology in positive degrees. Hence
by the definition of ${\mathscr {R}}$.
6.2 The completed derived category: basic properties
In this section, we discuss enhancements of the completed derived category. This is interesting to analyse, partly because this is a triangulated category whose definition starts from a dg category—which, of course, turns out to be one of its dg enhancements. In the presentation, we follow [Reference Lurie29, Section 1.2.1]. We will not introduce the language of $\infty $-categories as we will only use it superficially in this paper.
Let ${\mathscr {G}}$ be a Grothendieck category, and fix the enhancement of ${\mathbf {D}}({\mathscr {G}})$ given by the dg category ${\mathbf {D}}_{\mathbf {dg}}({\mathscr {G}})$, which is the Drinfeld quotient ${\mathbf {C}}_{{\mathbf {dg}}}({\mathscr {G}})/{\mathbf {Acy}}({\mathscr {G}})$.
For $i\in \mathbb {Z}$, we denote by ${\mathbf {D}}_{\mathbf {dg}}({\mathscr {G}})^{\geq i}$ the full dg subcategory of ${\mathbf {D}}_{\mathbf {dg}}({\mathscr {G}})$ such that $H^0({\mathbf {D}}_{\mathbf {dg}}({\mathscr {G}})^{\geq i})={\mathbf {D}}({\mathscr {G}})^{\geq i}$. Once we interpret them as $\infty $-categories, one obtains functors
From this, one produces a sequence of $\infty $-categories and functors
Denote by $\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})$ its homotopy limit.
By [Reference Lurie29, Proposition 1.2.1.17], $\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})$ is a stable $\infty $-category; and thus, by the main result in [Reference Cohn15], it is naturally quasi-equivalent to a pretriangulated dg category. So, without loss of generality, we can assume in this paper that $\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})$ is a pretriangulated dg category, thus motivating the notation.
Remark 6.4. By definition, $\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})$ can alternatively be defined as the homotopy limit of the following sequence:
More precisely, one defines the left completion of ${\mathbf {D}}^+({\mathscr {G}})$ by using equation (6.5). By [Reference Lurie29, Remark 1.2.1.18], such a completion is naturally quasi-equivalent to $\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})$. It follows that the objects of $\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})$ can be identified with homotopy limits of objects in the full dg subcategories ${\mathbf {D}}_{\mathbf {dg}}({\mathscr {G}})^{\geq i}$ for $i\leq 0$.
Definition 6.5. The (left) completed derived category of a Grothendieck category ${\mathscr {G}}$ is the triangulated category $\widehat {{\mathbf {D}}}({\mathscr {G}}):=H^0(\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}}))$.
By construction, $\widehat {{\mathbf {D}}}({\mathscr {G}})$ has a dg enhancement. The other properties of such a triangulated category that are relevant in this paper are summarised in the following proposition (see Section 5.5 for the definition and basic properties of t-structures).
Proposition 6.6 ([Reference Lurie29], Proposition 1.2.1.17).
Let ${\mathscr {G}}$ be a Grothendieck category.
(1) There is a natural exact functor ${\mathbf {D}}({\mathscr {G}})\to \widehat {{\mathbf {D}}}({\mathscr {G}})$.
(2) The category $\widehat {{\mathbf {D}}}({\mathscr {G}})$ has a natural t-structure, and the functor in (1) identifies its heart with ${\mathscr {G}}$ and induces an equivalence ${\mathbf {D}}({\mathscr {G}})^{\geq 0}\cong \widehat {{\mathbf {D}}}({\mathscr {G}})^{\geq 0}$.
(3) The category $\widehat {{\mathbf {D}}}({\mathscr {G}})$ is left complete (i.e., for any $X\in \widehat {{\mathbf {D}}}({\mathscr {G}})$, the natural morphism $X\to \operatorname {\mathrm {Holim}} X^{\geq i}$ is an isomorphism).
Part (3) in the proposition above, which essentially follows from the definition, motivates the choice of the name for $\widehat {{\mathbf {D}}}({\mathscr {G}})$. As a consequence of (2), we have a natural equivalence
where $\widehat {{\mathbf {D}}}({\mathscr {G}})^+$ denotes the full subcategory of $\widehat {{\mathbf {D}}}({\mathscr {G}})$ consisting of all the objects $X\in \mathrm {Ob}(\widehat {{\mathbf {D}}}({\mathscr {G}}))$ such that $X=X^{\geq i}$ for $i\ll 0$. We denote by $\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})^+$ the full dg subcategory of $\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})$ such that $H^0(\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})^+)=\widehat {{\mathbf {D}}}({\mathscr {G}})^+$.
Remark 6.7. It was proved in [Reference Neeman32] that there exist Grothendieck categories ${\mathscr {G}}$ such that ${\mathbf {D}}({\mathscr {G}})$ is not left complete in the sense of Proposition 6.6 (3). The category $\widehat {{\mathbf {D}}}({\mathscr {G}})$ provides a natural way to complete ${\mathbf {D}}({\mathscr {G}})$ in view of Proposition 6.6 (1).
6.3 The completed derived category: uniqueness of enhancements
Let us prove that $\widehat {{\mathbf {D}}}({\mathscr {G}})$ has a unique dg enhancement when ${\mathscr {G}}$ is a Grothendieck category. To do this, we use Remark 3.19 (ii) and show that $\widehat {{\mathbf {D}}}({\mathscr {G}}){^{\circ }}$ has a unique dg enhancement. Hence we assume that there is an exact equivalence
where ${\mathscr {C}}$ is a pretriangulated dg category.
Remark 6.8. By Proposition 6.6 (2), $\widehat {{\mathbf {D}}}({\mathscr {G}})$ has a natural t-structure. Hence $\widehat {{\mathbf {D}}}({\mathscr {G}}){^{\circ }}$ and $H^0({\mathscr {C}})$ are endowed with a t-structure $(H^0({\mathscr {C}})^{\geq 0},H^0({\mathscr {C}})^{\leq 0})$ as well. Of course, $\mathsf {F}$ yields equivalences $H^0({\mathscr {C}})^{\geq 0}\cong \widehat {{\mathbf {D}}}({\mathscr {G}})^{\leq 0}$ and $H^0({\mathscr {C}})^{\leq 0}\cong \widehat {{\mathbf {D}}}({\mathscr {G}})^{\geq 0}$. Moreover, as by Proposition 6.6 (3) $\widehat {{\mathbf {D}}}({\mathscr {G}})$ is left complete, by passing to the opposite category, we have that the natural morphism
is an isomorphism for any $X\in \mathrm {Ob}(H^0({\mathscr {C}}))$. More generally, in view of Remark 6.4, the objects of $\widehat {{\mathbf {D}}}({\mathscr {G}}){^{\circ }}$ (respectively, $H^0({\mathscr {C}})$) are identified with all the homotopy colimits of sequences of objects in $(\widehat {{\mathbf {D}}}({\mathscr {G}}){^{\circ }})^{\leq i}$ (respectively, $H^0({\mathscr {C}})^{\leq i}$) with eventually stable cohomology.
Clearly, there exists a full pretriangulated dg subcategory ${\mathscr {C}}^+\subseteq {\mathscr {C}}$ such that $\mathsf {F}^+:=\mathsf {F}|_{(\widehat {{\mathbf {D}}}({\mathscr {G}})^+){^{\circ }}}$ is an exact equivalence
In the following, let ${\mathscr {D}}$ be either $\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}}){^{\circ }}$ or ${\mathscr {C}}$, and let ${\mathscr {D}}^+$ be either $(\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})^+){^{\circ }}$ or ${\mathscr {C}}^+$. We denote by $\widehat {\mathsf {Y}}^{{\mathscr {D}}}_{\mathrm {dg}}\colon {\mathscr {D}}\to \mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}^+)$ the morphism in ${\mathbf {Hqe}}$ defined as the composition
where $\mathsf {I}\colon {\mathscr {D}}^+\hookrightarrow {\mathscr {D}}$ and $\mathsf {J}\colon \mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}^+)\hookrightarrow \mathrm {dgMod}({\mathscr {D}}^+)$ are the natural inclusions and $\mathsf {P}$ is the quotient dg functor. Moreover, let ${\mathscr {D}}^{\leq i}$ be the full dg subcategory of ${\mathscr {D}}$ such that $H^0({\mathscr {D}}^{\leq i})=H^0({\mathscr {D}})^{\leq i}$ (we implicitly refer to the t-structures in Remark 6.8).
Lemma 6.9. The essential image of the exact functor $H^0(\widehat {\mathsf {Y}}^{{\mathscr {D}}}_{\mathrm {dg}})$ consists of objects isomorphic to homotopy colimits in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}^+))$ of $\mathsf {Y}^{{\mathscr {D}}^+}_{\mathrm {dg}}(X_i)$, where $X_i\in \mathrm {Ob}({\mathscr {D}}^{\leq i})$ for $i\geq 0$. Moreover, $\widehat {\mathsf {Y}}^{{\mathscr {D}}}_{\mathrm {dg}}$ is quasi-fully faithful.
Proof. Let $X\in \mathrm {Ob}({\mathscr {D}})$. By Remark 6.8, we have a (closed, degree $0$) morphism in $\mathrm {dgMod}({\mathscr {D}}^+)$
which we claim to be a quasi-isomorphism. To prove this, it is enough to show that the induced morphism $\widetilde \varphi _X(Y)\colon \operatorname {\mathrm {Hocolim}}\mathrm {Hom}_{H^0({\mathscr {D}})}\left (Y,X^{\leq i}\right )\to \mathrm {Hom}_{H^0({\mathscr {D}})}\left (Y,X\right )$ is an isomorphism for all $Y\in \mathrm {Ob}(H^0({\mathscr {D}}^+))$. But in the t-structure on $H^0({\mathscr {D}})$ from Remark 6.8, Y has bounded above nontrivial cohomologies. That means the natural maps
are isomorphisms for i sufficiently large. Hence we have natural isomorphisms
and the composition of these maps is precisely $\widetilde \varphi _X(Y)$. This shows that any object in the essential image of $H^0(\widehat {\mathsf {Y}}^{{\mathscr {D}}}_{\mathrm {dg}})$ is isomorphic to the homotopy colimit of objects in ${\mathscr {D}}^{\leq i}$ for $i\geq 0$. To show the other inclusion, note that the same argument proves that the dg module $\operatorname {\mathrm {Hocolim}}\mathrm {Hom}_{{\mathscr {D}}}(-,X_i)$, where $X_i\in \mathrm {Ob}({\mathscr {D}}^{\leq i})$, is quasi-isomorphic to $\mathrm {Hom}_{\mathscr {D}}(-,X)$, where $X:=\operatorname {\mathrm {Hocolim}} X_i$ is in ${\mathscr {D}}$ by Remark 6.8.
Let us now prove that $\widehat {\mathsf {Y}}^{{\mathscr {D}}}_{\mathrm {dg}}$ is quasi-fully faithful. For $X_1,X_2\in \mathrm {Ob}(H^0({\mathscr {D}}))$, we have the quasi-isomorphisms
where the first quasi-isomorphism is a consequence of the fact that $\varphi _{X_1}$ is a quasi-isomorphism. The third one follows from the Yoneda lemma, while the last one is again Remark 6.8. For the second and the fourth quasi-isomorphisms, we use the fact that the $\mathrm {Hom}$-functor turns colimits in the first argument into limits. Therefore, $\widehat {\mathsf {Y}}^{{\mathscr {D}}}_{\mathrm {dg}}$ is quasi-fully faithful.
By equation (6.6), Theorem A (1) and again Remark 3.19 (ii), there is a morphism
such that
(a) $\mathsf {G}^+:=H^0(g^+)$ is an exact equivalence.
(b) $\mathsf {G}^+(X)\cong \mathsf {F}^+(X)$ for all $X\in \mathrm {Ob}((\widehat {{\mathbf {D}}}({\mathscr {G}})^+){^{\circ }})$ (see Remark 5.4).
The morphism $g:=\mathsf {Ind}(g^+)\in \mathrm {Hom}_{\mathbf {Hqe}}(\mathrm {h}\text {-}\mathrm {proj}((\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})^+){^{\circ }}),\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}^+))$ is such that $\mathsf {G}:=H^0(g)$ is an exact equivalence by (a). Thus we get the diagram
which is commutative in ${\mathbf {Hqe}}$. Denote by $g'$ the composition $g\circ \widehat {\mathsf {Y}}^{\widehat {{\mathbf {D}}}_{\mathbf {dg}}({\mathscr {G}})^{\circ }}_{\mathrm {dg}}$. It is clear from Lemma 6.9 that $H^0(g')$ is fully faithful.
Let us prove that the essential image of $H^0(g')$ coincides with the essential image of $H^0(\widehat {\mathsf {Y}}^{{\mathscr {C}}}_{\mathrm {dg}})$. Let $X\in \mathrm {Ob}(\widehat {{\mathbf {D}}}({\mathscr {G}}))$. Then by Remark 6.8, equation (6.7) and the fact that $\mathsf {G}$ is an exact equivalence, we get
By (b), $\mathsf {G}^+(X^{\leq i})\cong \mathsf {F}^+(X^{\leq i})\in \mathrm {Ob}({\mathscr {C}}^{\leq i})$ for all $i\geq 0$. By Lemma 6.9, we get that $H^0(g')(X)$ is in the essential image of $H^0(\widehat {\mathsf {Y}}^{{\mathscr {C}}}_{\mathrm {dg}})$. The same argument shows the other inclusion.
In conclusion, let $g"$ denote the inverse of $\widehat {\mathsf {Y}}^{{\mathscr {C}}}_{\mathrm {dg}}$ in ${\mathbf {Hqe}}$, when we interpret $\widehat {\mathsf {Y}}^{{\mathscr {C}}}_{\mathrm {dg}}$ as a morphism between ${\mathscr {C}}$ and its essential image. The above argument shows that $g"\circ g'$ is an isomorphism in $\mathrm {Hom}_{\mathbf {Hqe}}\left (\widehat {{\mathbf {D}}}({\mathscr {G}}){^{\circ }},{\mathscr {C}}\right )$ as we want.
6.4 Two applications: a shortcut and a negative result
Let us first note that the methods used in the proof in Section 6.1 (or rather, their specialisation to the subcategory of compact objects) can be used to give a straightforward proof of the uniqueness of dg enhancements of ${\mathbf {D}}^b({\mathscr {A}})$, where ${\mathscr {A}}$ is a small abelian category.
Indeed, given such an ${\mathscr {A}}$, one takes the Grothendieck category ${\mathscr {G}}:=\mathrm {Ind}({\mathscr {A}})$ (see Example 2.3 (iii)). In that case, by Example 2.7 and [Reference Krause23, Proposition 4.7], we have a sequence of equivalences
where, by abuse of notation, we write $\mathrm {Inj}({\mathscr {A}})$ instead of $\mathrm {Inj}(\mathrm {Mod}({\mathscr {A}}))$ and where ${\mathscr {L}}'\subseteq {\mathbf {K}}(\mathrm {Inj}({\mathscr {A}}))^c$ is a full triangulated subcategory. Let ${\mathscr {L}}$ be the smallest localising subcategory of ${\mathbf {K}}(\mathrm {Inj}({\mathscr {A}}))$ containing ${\mathscr {L}}'$. By the main result in [Reference Neeman34], we deduce from this the exact equivalence
Since ${\mathbf {K}}(\mathrm {Inj}({\mathscr {A}}))\cong {\mathbf {D}}(\mathrm {Mod}({\mathscr {A}}))\cong \mathcal {D}({\mathscr {A}})$ (see, for example, [Reference Krause23, Lemma 4.8]), the uniqueness of dg enhancements for ${\mathbf {D}}^b({\mathscr {A}})$ is a consequence of the following result.
Theorem 6.10 ([Reference Lunts and Orlov27], Theorem 2).
Let ${\mathscr {A}}$ be a small category, and let ${\mathscr {L}}$ be a localising subcategory of $\mathcal {D}({\mathscr {A}})$ such that:
(a) ${\mathscr {L}}^c={\mathscr {L}}\cap \mathcal {D}({\mathscr {A}})^c$ and ${\mathscr {L}}^c$ satisfies (G1) in ${\mathscr {L}}$.
(b) $\mathrm {Hom}_{\mathcal {D}({\mathscr {A}})/{\mathscr {L}}}\left (\mathsf {Q}(\mathsf {Y}^{{\mathscr {A}}}(A_1)),{\mathsf {Q}(\mathsf {Y}^{{\mathscr {A}}}(A_2))}[i]\right )=0$ for all $A_1,A_2\in {\mathscr {A}}$ and all integers $i<0$.
Then $(\mathcal {D}({\mathscr {A}})/{\mathscr {L}})^c$ has a unique enhancement.
Indeed, in our situation, ${\mathscr {L}}^c={\mathscr {L}}'$ and assumption (b) is clear because, given $A\in {\mathscr {A}}$, the object $\mathsf {Y}^{{\mathscr {A}}}(A)\in \mathcal {D}({\mathscr {A}})$ is mapped to A by the composition of the equivalences given by equations (6.8) and (6.9) (see the discussion in [Reference Canonaco and Stellari13, Section 6.1]).
Let us now pass to the negative examples of this section. The relation between the uniqueness of dg enhancements of triangulated categories and their admissible subcategories turns out to be a delicate and intriguing problem. In [Reference Canonaco and Stellari9], the following natural question was raised:
Question 6.11. Let ${\mathscr {S}}$ be a full triangulated subcategory of a triangulated category ${\mathscr {T}}$. Does ${\mathscr {S}}$ have unique enhancement if ${\mathscr {T}}$ does? What if ${\mathscr {S}}$ is a localising (if ${\mathscr {T}}$ has small coproducts) or an admissible subcategory of ${\mathscr {T}}$?
Recall that a full triangulated subcategory ${\mathscr {S}}$ of a triangulated category ${\mathscr {T}}$ is admissible if the inclusion functor ${\mathscr {S}}\hookrightarrow {\mathscr {T}}$ has left and right adjoints.
As an application of Theorem A (2), we deduce the following result.
Corollary 6.12. Assume that $\Bbbk =\mathbb {Z}$. Then there exists a triangulated category ${\mathscr {T}}$ with small coproducts and a localising and admissible subcategory ${\mathscr {S}}$ of ${\mathscr {T}}$ such that ${\mathscr {T}}$ has a unique enhancement, while ${\mathscr {S}}$ does not.
Proof. For $i=1,2$, consider the triangulated categories ${\mathscr {T}}_i$ with localising and admissible subcategories ${\mathscr {S}}_i\hookrightarrow {\mathscr {T}}_i$ in Example 1.4. For the convenience of the reader, let us recall that in the example, we consider rings $R_1:=\mathbb {Z}/p^2\mathbb {Z}$ and $R_2:=\mathbb {F}_p[\varepsilon ]$ (where $\varepsilon ^2=0$) and, for $i=1,2$, we set ${\mathscr {T}}_i:=\check {{\mathbf {D}}}(\mathrm {Mod}(R_i))$. Moreover, we denoted by ${\mathscr {S}}_i$ the full subcategory of ${\mathscr {T}}_i$ consisting of acyclic complexes. By Theorem A, ${\mathscr {T}}_i$ has a unique dg enhancement, whereas ${\mathscr {S}}_i$ does not, as it is explained in [Reference Canonaco and Stellari9, Section 3.3]. Indeed, while ${\mathscr {S}}_1$ and ${\mathscr {S}}_2$ are both equivalent to the category $\mathrm {Mod}(\mathbb {F}_p)$ endowed with the triangulated structure defined by $[1]=\mathrm {id}$ (and, necessarily, distinguished triangles given by triangles inducing long exact sequences), it follows from [Reference Dugger and Shipley17, Reference Schlichting42] that the natural enhancements of ${\mathscr {S}}_1$ and ${\mathscr {S}}_2$ are not isomorphic in ${\mathbf {Hqe}}$.
Remark 6.13. (i) Keeping the notation of Example 1.4, the triangulated categories ${\mathscr {S}}_1$ and ${\mathscr {S}}_2$ are $\mathbb {F}_p$-linear, and the same is true for the natural enhancement of ${\mathscr {S}}_2$, but not for that of ${\mathscr {S}}_1$. Thus it remains an open problem whether a similar counterexample can be found when $\Bbbk $ is a field.
(ii) In Example 1.4, the fact that ${\mathbf {D}}(\mathrm {Mod}(R_i))$ is compactly generated implies that the right adjoint to the quotient functor ${\mathbf {K}}(\mathrm {Inj}(\mathrm {Mod}(R_i)))\to {\mathbf {D}}(\mathrm {Mod}(R_i))$ has itself a right adjoint. Hence, ${\mathbf {D}}(\mathrm {Mod}(R_i))$ is an admissible localising subcategory of ${\mathbf {K}}(\mathrm {Inj}(\mathrm {Mod}(R_i)))$ and, moreover, both triangulated categories ${\mathbf {K}}(\mathrm {Inj}(\mathrm {Mod}(R_i)))$ and ${\mathbf {D}}(\mathrm {Mod}(R_i))$ have unique enhancements (by Theorem A). This, together with Corollary 6.12, shows that the same triangulated category ${\mathbf {K}}(\mathrm {Inj}(\mathrm {Mod}(R_i)))$ may have a unique enhancement and, at the same time, contain admissible (localising) subcategories answering both positively (e.g., ${\mathbf {D}}(\mathrm {Mod}(R_i))$) and negatively (e.g., ${\mathscr {S}}_i$) to Question 6.11. This clarifies that a complete answer to the question above cannot simply rely on the properties of the ambient category.
7 Homotopy pullbacks and enhancements
In this part, we investigate the relation of dg enhancement with homotopy pullbacks; this will provide us with the formal machinery needed to prove Theorem B. The framework we will be working with is set up in some generality in Section 7.1, with the examples hinting at the geometric relevance of the formalism. In Section 7.2, we state and prove the main ingredient in the proof of Theorem B, while Section 7.3 provides technical refinements.
7.1 The setting
Let us summarise the abstract setting, where we aim to state and prove the general criterion for the uniqueness of dg enhancements in the presence of homotopy pullbacks.
Setup 7.1. Let ${\mathscr {C}}$ be a pretriangulated dg category such that $H^0({\mathscr {C}})$ is idempotent complete, and let ${\mathscr {D}}_i\subseteq {\mathscr {C}}$ be a full dg subcategory for $i=1,2$ such that
(i) ${\mathscr {D}}_i$ is closed under shifts for $i=1,2$.
(ii) $\mathrm {Hom}_{H^0({\mathscr {C}})}\left (H^0({\mathscr {D}}_i),H^0({\mathscr {D}}_j)\right )=0$ for $i\neq j\in \{1,2\}$.
Assume further that there is a commutative diagram in ${\mathbf {dgCat}}$
of pretriangulated and idempotent complete dg categories and such that
(iii) $H^0(\mathsf {Q}_i)$ is the idempotent completion of the Verdier quotient functor that sends to zero the thick subcategory $\overline {\mathscr {D}}_i\subseteq H^0({\mathscr {C}})$ generated by $H^0({\mathscr {D}}_i)$ for $i=1,2$.
(iv) $H^0(\overline {\mathsf {Q}}_1)\circ H^0(\mathsf {Q}_1)(=H^0(\overline {\mathsf {Q}}_2)\circ H^0(\mathsf {Q}_2))$ is the idempotent completion of the Verdier quotient functor that sends to zero the thick subcategory $\overline {\mathscr {D}}_{1,2}\subseteq H^0({\mathscr {C}})$ generated by $H^0({\mathscr {D}}_1)\cup H^0({\mathscr {D}}_2)$.
For the non-expert reader, let us recall that given an exact functor $\mathsf {F}\colon {\mathscr {T}}_1\to {\mathscr {T}}_2$ and a thick subcategory ${\mathscr {S}}\subseteq {\mathscr {T}}_1$, we say that $\mathsf {F}$ is the idempotent completion of the Verdier quotient that sends ${\mathscr {S}}$ to zero if we have a factorisation
where $\mathsf {Q}$ is the Verdier quotient functor and $\mathsf {I}$ is the idempotent completion of ${\mathscr {T}}_1/{\mathscr {S}}$.
Let us now discuss the two geometric examples that are of interest here.
Example 7.2 (Quasi-coherent sheaves).
Let X be a quasi-compact and quasi-separated scheme. Let ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ be the full triangulated subcategory of ${\mathbf {D}}^?(\mathrm {Mod}(\mathcal {O}_X))$ consisting of complexes with quasi-coherent cohomologies for $?=b,+,-,\emptyset $. Let $U_1,U_2\subseteq X$ be quasi-compact open subsets such that $X=U_1\cup U_2$. Denote by $\iota _i\colon U_i\hookrightarrow X$ and $\iota _{1,2}\colon U_1\cap U_2\hookrightarrow X$ the open immersions.
Let $({\mathscr {C}},\mathsf {F})$ be a dg enhancement of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$, and assume that ${\mathscr {C}}$ is h-flat. Set
for $i=1,2$. Assumption (i) in Setup 7.1 is then verified. Moreover, $\overline {\mathscr {D}}_i=H^0({\mathscr {D}}_i)\cong {\mathbf {D}}^?_{X\setminus U_i}(X)$ and $\overline {\mathscr {D}}_{1,2}=H^0({\mathscr {D}}_{1,2})\cong {\mathbf {D}}^?_{X\setminus (U_1\cap U_2)}(X)$, where ${\mathbf {D}}^?_Z(X)$ denotes the full (triangulated) subcategory of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ consisting of complexes with cohomology supported on the closed subset $Z\subseteq X$. Given this identification, the fact that $X=U_1\cup U_2$ clearly implies that $\mathrm {Hom}_{H^0({\mathscr {C}})}(H^0({\mathscr {D}}_i),H^0({\mathscr {D}}_j)=0$, when $i\neq j\in \{1,2\}$. Thus (ii) in Setup 7.1 holds true.
Consider the (idempotent completion of the) Drinfeld quotients ${\mathscr {C}}_{{\mathscr {D}}_i}:={\mathscr {C}}/{\mathscr {D}}_i$ and ${\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}:={\mathscr {C}}/{\mathscr {D}}_{1,2}$. Following the discussion in Section 3.2, we get dg quotient functors $\mathsf {Q}_i\colon {\mathscr {C}}\to {\mathscr {C}}_{{\mathscr {D}}_i}$ and $\mathsf {Q}_{1,2}\colon {\mathscr {C}}\to {\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}$. Moreover, ${\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}$ is, at the same time, the Drinfeld quotient of ${\mathscr {C}}_{{\mathscr {D}}_1}$ and of ${\mathscr {C}}_{{\mathscr {D}}_2}$ by $\mathsf {Q}_1({\mathscr {D}}_2)$ and $\mathsf {Q}_2({\mathscr {D}}_1)$, respectively. Hence we also get the dg functors $\overline {\mathsf {Q}}_i\colon {\mathscr {C}}_{{\mathscr {D}}_i}\to {\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}$ for $i=1,2$. Since ${\mathscr {C}}$ is h-flat, the results in Section 3.2 show that
for $i=1,2$. Moreover, $H^0(\mathsf {Q}_i)$ and $H^0(\overline {\mathsf {Q}}_1)\circ H^0(\mathsf {Q}_1)$ are the corresponding Verdier quotient functors. Hence assumptions (iii) and (iv) in Setup 7.1 are satisfied as well.
Example 7.3 (Perfect complexes).
As in the previous example, let X be a quasi-compact and quasi-separated scheme. Let ${\mathbf {Perf}}(X)$ be the category of perfect complexes on X (i.e., complexes in ${\mathbf {D}}_{{\mathbf {qc}}}(X)$, which are locally quasi-isomorphic to bounded complexes of locally free sheaves of finite type). By [Reference Bondal and Van den Bergh7, Theorem 3.1.1], ${\mathbf {Perf}}(X)$ can alternatively be described as the category of compact objects ${\mathbf {D}}_{{\mathbf {qc}}}(X)^c$.
If $({\mathscr {C}},\mathsf {F})$ is a dg enhancement of ${\mathbf {Perf}}(X)$ with ${\mathscr {C}}$ h-flat, then the same construction as in Example 7.2 yields the dg categories ${\mathscr {D}}_i$, ${\mathscr {D}}_{1,2}$, ${\mathscr {C}}_{{\mathscr {D}}_i}$ and ${\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}$ with dg functors $\mathsf {Q}_i$ and $\overline {\mathsf {Q}}_i$. The fact that the assumptions of Setup 7.1 are satisfied can be checked as in Example 7.2. One has to be careful only about (iii) and (iv) as for localisation theory for compact objects in [Reference Neeman34, Reference Thomason and Trobaugh45], the functor $H^0(\mathsf {Q}_i)\colon H^0({\mathscr {C}})\to H^0({\mathscr {C}}_{{\mathscr {D}}_i})\cong {\mathbf {Perf}}(U_i)$ is the composition
where the first functor is the Verdier quotient functor while the latter inclusion identifies $H^0({\mathscr {C}}_{{\mathscr {D}}_i})$ to the idempotent completion of $H^0({\mathscr {C}})/H^0({\mathscr {D}}_i)$. The same is true for the composition $H^0(\overline {\mathsf {Q}}_1)\circ H^0(\mathsf {Q}_1)$.
7.2 A useful criterion
This section is devoted to the proof of the following result, which will be crucial for our geometric applications.
Theorem 7.4. In Setup 7.1, the natural dg functor from ${\mathscr {C}}$ to the homotopy pullback ${\mathscr {C}}_{{\mathscr {D}}_1}\times ^h_{{\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}}{\mathscr {C}}_{{\mathscr {D}}_2}$ of the diagram
is a quasi-equivalence.
Proof. To simplify the notation, we set ${\mathscr {P}}:={\mathscr {C}}_{{\mathscr {D}}_1}\times ^h_{{\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}}{\mathscr {C}}_{{\mathscr {D}}_2}$, and we use its explicit construction discussed in Section 3.3. We denote by $\mathsf {F}\colon {\mathscr {C}}\to {\mathscr {P}}$ the natural dg functor explicitly described in Remark 3.12. We want to prove that it is a quasi-equivalence.
Let us begin by proving that the functor $\mathsf {F}$ is quasi-fully-faithful. Since the assumptions of Proposition 3.14 are satisfied, any object $C\in \mathrm {Ob}({\mathscr {C}})$ sits in a commutative diagram
where rows and columns yield distinguished triangles in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$, $D_i\in \mathrm {Ob}(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_i))$ and the complexes
are acyclic for $i=1,2$. It follows first that the square
is a homotopy cartesian square in $\mathrm {dgMod}(\Bbbk )$ (here we use the same terminology as in [Reference Neeman36, Section 1.4]) for all $C'\in \mathrm {Ob}({\mathscr {C}})$. Now equation (7.1) and assumptions (iii) and (iv) in Setup 7.1 imply that the natural maps
induced, respectively, by $\mathsf {Ind}(\mathsf {Q}_i)$ for $i=1,2$ and by $\mathsf {Ind}(\overline {\mathsf {Q}}_1\circ \mathsf {Q}_1)(=\mathsf {Ind}(\overline {\mathsf {Q}}_2\circ \mathsf {Q}_2))$ are all quasi-isomorphisms in $\mathrm {dgMod}(\Bbbk )$. On the other hand, the images under $\mathsf {Ind}(\mathsf {Q}_i)$ and $\mathsf {Ind}(\overline {\mathsf {Q}}_i\circ \mathsf {Q}_i)$ of the natural morphisms $C\to C_{D_i}$ and $C\to C_{D_1,D_2}$ in $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})$ become, by construction, quasi-isomorphisms in $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}_{{\mathscr {D}}_i})$ and $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2})$, respectively.
Hence equation (7.2) is quasi-isomorphic in $\mathrm {dgMod}(\Bbbk )$ to the square
where the arrows are induced by the quotient dg functors $\mathsf {Q}_i$ and $\overline {\mathsf {Q}}_i$ for $i=1,2$.
In conclusion, equation (7.3) must be homotopy cartesian in $\mathrm {dgMod}(\Bbbk )$, and this implies that the dg functor $\mathsf {F}$ induces a quasi-isomorphism
for all $C',C\in \mathrm {Ob}({\mathscr {C}})$, meaning $\mathsf {F}$ is quasi-fully faithful.
It remains to show that $H^0(\mathsf {F})$ is essentially surjective. To this end, let us recall that an object in ${\mathscr {P}}$ is a triple $(C_1,C_2,f)$, where $C_i\in \mathrm {Ob}({\mathscr {C}}_{{\mathscr {D}}_i})$ and $f\colon \overline {\mathsf {Q}}_1(C_1)\to \overline {\mathsf {Q}}_2(C_2)$ is a homotopy equivalence in ${\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}$. Hence, we need to show that given such a triple $(C_1,C_2,f)$, there is $C\in \mathrm {Ob}({\mathscr {C}})$ and a homotopy equivalence $\mathsf {F}(C)\cong (C_1,C_2,f)$ in ${\mathscr {P}}$.
First, we note that by assumption (iii) in Setup 7.1, we may choose $\widetilde C_i\in \mathrm {Ob}({\mathscr {C}})$ such that $C_i$ is a direct factor $\mathsf {Q}_i(\widetilde C_i)$ in $H^0({\mathscr {C}}_{{\mathscr {D}}_i})$ for $i=1,2$. We also have triangles in $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})$
that become distinguished in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$, such that $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})} (\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_i),\widetilde C_{D_i} )$ is acyclic and with $D_i\in \mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_i)$ for $i=1,2$ (see Proposition 3.14). If we apply $\mathsf {Ind}(\mathsf {Q}_i)$ to equation (7.4), we get quasi-isomorphisms in $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}_{{\mathscr {D}}_i})$
for $i=1,2$. As the map induced by $\mathsf {Ind}(\mathsf {Q}_i)$
is a quasi-isomorphism for $i=1,2$, the idempotent $e^{\prime }_i$ realising $C_i$ as a direct summand of $\mathsf {Q}_i(\widetilde C_i)\cong \mathsf {Ind}(\mathsf {Q}_i)(\widetilde C_{D_i})$ in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}_{{\mathscr {D}}_i}))$ can be lifted to a closed degree-$0$ morphism $e_i\colon \widetilde C_{D_i}\longrightarrow \widetilde C_{D_i}$ in $\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})$. Therefore, we can set
for $i=1,2$. We claim that the complex $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}\left (\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_i),\widehat C_i\right )$ is acyclic. Indeed, for all $D\in {\mathscr {D}}_i$, we have natural isomorphisms
and $\mathrm {Hom}_{H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))}(D, C_{D_i})$ is trivial by the definition of $C_{D_i}$. For the isomorphism, we used that $D\in {\mathscr {D}}_i\subseteq {\mathscr {C}}$ is a compact object in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$. Since $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_i))$ is compactly generated by the objects in ${\mathscr {D}}_i$, the claim follows.
Moreover, there is an isomorphism in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}_{{\mathscr {D}}_i}))$
Indeed, using the fact that $\mathsf {Ind}(\mathsf {Q}_i)$ commutes with coproducts in $Z^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$, we get
For the penultimate isomorphism, we used equation (7.5).
Now we can go further and invoke Proposition 3.14 again to get a triangle
with $D\in \mathrm {Ob}(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_1))$ and such that it becomes distinguished in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$ and the complex $\mathrm {Hom}_{\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}})}\left (\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_i),C_D\right )$ is acyclic for $i=1,2$.
Hence we have a sequence of homotopy equivalences
The first and the third are those in equation (7.6). The second one is just f in the given triple $(C_1,C_2,f)$. For the last one, observe that
Thus, if we apply $\mathsf {H}$ to the distinguished triangle given by equation (7.7) in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$, we get an isomorphism $\mathsf {H}(\widehat C_2)\cong \mathsf {H}(C_D)$ because $\mathsf {H}(D)=H^0(\overline {\mathsf {Q}}_1)\left (H^0(\mathsf {Ind}(\mathsf {Q}_1))(D)\right )=0$.
In conclusion, we have morphisms
in $Z^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$. We claim that this can be completed to a square
in $Z^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$, which becomes commutative in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$. Indeed, one proceeds as in [Reference Neeman36, Section 1.4] and considers the morphism $\varphi :=f_1+f_2\colon \widehat C_1\oplus \widehat C_2\to C_D$ in $Z^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$. We set $C:={\mathrm {Cone}\left (\varphi \right )}[-1]$ so that we get a triangle
which becomes distinguished in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$. One sets $g_i$ to be the composition of $\psi $ with the natural projection $\widehat C_1\oplus \widehat C_2\to \widehat C_i$. It is clear from the defining triangle given by equation (7.10) that there are isomorphisms in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$
where the last one is equation (7.6).
The object C is actually compact in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$ (and thus it is contained in $H^0({\mathscr {C}})\cong H^0(\mathrm {Perf}({\mathscr {C}}))$). Indeed, by equation (7.11), $\mathsf {Ind}(\mathsf {Q}_i)(C)\in {\mathscr {C}}_{{\mathscr {D}}_i}$ is compact. By (ii) in Setup 7.1, we immediately have that
for $i\neq j\in \{1,2\}$, and thus $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_1))$ and $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_2))$ are localising completely orthogonal full triangulated subcategories of $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$. Thus they provide Bousfield localisations. Since $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {D}}_i))$ is compactly generated by the objects in ${\mathscr {D}}_i$, which are compact in $H^0(\mathrm {h}\text {-}\mathrm {proj}({\mathscr {C}}))$, [Reference Rouquier41, Corollary 5.12] implies that C is compact.
In conclusion, $C\in {\mathscr {C}}$, $\mathsf {Q}_i(C)\cong C_i$ by equation (7.11); and then, by equation (7.8), we conclude that there is a quasi-isomorphism $\mathsf {F}(C)\cong (C_1,C_2,f)$.
7.3 Refining the geometric application
We want to extend the discussion further in Example 7.2 and Example 7.3. Assume X to be a quasi-compact and quasi-separated scheme, and let $U_1,\dots , U_n\subset X$ be a finite collection of quasi-compact open subsets such that $X=U_1\cup \dots \cup U_n$.
For $I\subseteq N:=\{1,\dots ,n\}$, we set $U_I:=\cap _{i\in I} U_i$, and we denote by $\iota _I\colon U_I\hookrightarrow X$ the corresponding open immersion. Clearly $U_{\emptyset }=X$ and $\iota _{\emptyset }=\mathrm {id}$.
Remark 7.5. It is clear that $\cup _{i\in I}U_i$ is quasi-compact and quasi-separated for every $I\subseteq N$. Also, the open subsets $U_I$ must be quasi-compact because they are the intersections of the quasi-compact open subsets $U_i$ in the quasi-separated X. Now assume that the open subsets $U_i\subset X$ are all affine; in this case, for $I\neq \emptyset $, the open subset $U_I$ is also separated, being an open subset of an affine (hence separated) scheme. Therefore, by [Reference Bökstedt and Neeman5, Corollary 5.5], ${\mathbf {D}}^?_{{\mathbf {qc}}}(U_I)\cong {\mathbf {D}}^?(U_I)$ for $I\ne \emptyset $. Here and in what follows we use the shorthand ${\mathbf {D}}^?(U_I):={\mathbf {D}}^?({\mathbf {Qcoh}}(U_I))$.
Let $({\mathscr {C}},\mathsf {E})$ be a dg enhancement either of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ or of ${\mathbf {Perf}}(X)$, and let us assume that ${\mathscr {C}}$ is h-flat. We denote by ${\mathscr {D}}_I$ the full dg subcategory of ${\mathscr {C}}$ defined by
and set ${\mathscr {C}}_I:=\mathrm {Perf}({\mathscr {C}}/{\mathscr {D}}_I)$. We have an exact equivalence given by the composition
Moreover, the dg quotient functors $\mathsf {Q}_I\colon {\mathscr {C}}\to {\mathscr {C}}_I$ are such that the diagram of triangulated categories and exact functors
is commutative.
By construction, whenever $I\subseteq I'\subseteq N$, there is a natural dg functor ${\mathscr {C}}_I\to {\mathscr {C}}_{I'}$ and these functors compose nicely. In particular, as in Remark 3.13, we can form the homotopy limit
Remark 7.6. In analogy with the usual homotopy limit of categories, we can inductively compute ${{\mathscr {C}}}^{\mathrm {hl}}$ up to quasi-equivalence as follows due to the universal property in Remark 3.13.
Let $N':=\{1,\dots ,n-1\}$, and consider the homotopy limits
By construction, we have natural dg functors
Then ${{\mathscr {C}}}^{\mathrm {hl}}$ is the homotopy pullback of the diagram
For $n=2$, we have the following easy result.
Lemma 7.7. Let X be a quasi-compact and quasi-separated scheme, and let $U_1,U_2\subseteq X$ be quasi-compact open subschemes such that $X=U_1\cup U_2$. Assume that ${\mathscr {C}}$ is an h-flat dg enhancement either of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ or of ${\mathbf {Perf}}(X)$ for $?=b,+,-,\emptyset $. Then there is a quasi-equivalence ${\mathscr {C}}\to {{\mathscr {C}}}^{\mathrm {hl}}$.
Proof. By Remark 7.6, ${{\mathscr {C}}}^{\mathrm {hl}}$ is just the pullback of the diagram
Since, by Example 7.2 and Example 7.3, the assumptions in Setup 7.1 are verified (with ${\mathscr {C}}_{\{i\}}={\mathscr {C}}_{{\mathscr {D}}_i}$ for $i=1,2$, and ${\mathscr {C}}_{\{1,2\}}={\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}$), the result follows from Theorem 7.4.
The following is the natural generalisation of Lemma 7.7.
Proposition 7.8. Let X be a quasi-compact and quasi-separated scheme, and let ${\mathscr {C}}$ be an h-flat dg enhancement either of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ or of ${\mathbf {Perf}}(X)$ for $?=b,+,-,\emptyset $. Then there is a quasi-equivalence ${\mathscr {C}}\to {{\mathscr {C}}}^{\mathrm {hl}}$.
Proof. The argument is by induction on n, the number of quasi-compact open subsets in the covering $\{U_1,\dots ,U_n\}$ of X. Clearly, if $n=1$, there is nothing to prove. Thus we can assume $n\geq 2$ and set
Clearly, $V_i$ is quasi-compact for $i=1,2$. Define ${\mathscr {C}}_{{\mathscr {D}}_i}$, ${\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}$, $\mathsf {Q}_i$ and $\overline {\mathsf {Q}}_i$ as in Example 7.2 or Example 7.3. In particular, ${\mathscr {C}}_{{\mathscr {D}}_i}$ and ${\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}$ are dg enhancements of ${\mathbf {D}}^?_{{\mathbf {qc}}}(V_i)$ and ${\mathbf {D}}^?_{{\mathbf {qc}}}(V_1\cap V_2)$ (or of ${\mathbf {Perf}}(V_i)$ and ${\mathbf {Perf}}(V_1\cap V_2)$) for $i=1,2$.
Now, consider the homotopy limits ${\mathscr {C}}'$ and ${\mathscr {C}}"$ in Remark 7.6. By induction, based on Remark 7.6 and Lemma 7.7, it is easy to see that ${\mathscr {C}}'$ is a dg enhancement of ${\mathbf {D}}^?_{{\mathbf {qc}}}(V_1)$ and ${\mathscr {C}}"$ is a dg enhancement of ${\mathbf {D}}^?_{{\mathbf {qc}}}(V_1\cap V_2)$ (respectively, ${\mathbf {Perf}}(V_1)$ and ${\mathbf {Perf}}(V_1\cap V_2)$). The induction gives more precise information: there are quasi-equivalences $\mathsf {F}'\colon {\mathscr {C}}_{{\mathscr {D}}_1}\to {\mathscr {C}}'$ and $\mathsf {F}"\colon {\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}\to {\mathscr {C}}"$, making the diagrams
commutative in ${\mathbf {dgCat}}$. Note that the induction applies to ${\mathscr {C}}"$ as well, since $V_1\cap V_2=(U_1\cap U_n)\cup \dots \cup (U_{n-1}\cap U_n)$ is the union of $n-1$ quasi-compact open subsets.
By Lemma 7.7, there is a quasi-equivalence $\mathsf {F}_1\colon {\mathscr {C}}\to {\mathscr {C}}_{{\mathscr {D}}_1}\times ^h_{{\mathscr {C}}_{{\mathscr {D}}_1,{\mathscr {D}}_2}}{\mathscr {C}}_{{\mathscr {D}}_2}$. By equation (7.13) and [Reference Hirschhorn20, Proposition 13.3.9], we get a quasi-equivalence
where the latter dg category is ${{\mathscr {C}}}^{\mathrm {hl}}$ by Remark 7.6. Hence $\mathsf {F}:=\mathsf {F}_2\circ \mathsf {F}_1\colon {\mathscr {C}}\to {{\mathscr {C}}}^{\mathrm {hl}}$ is the quasi-equivalence we are looking for.
In Proposition 7.8 (and in Lemma 7.7), we always assumed that the dg enhancement ${\mathscr {C}}$ is h-flat. If not, we can take the quasi-equivalence ${\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}\colon {{\mathscr {C}}}^{\mathrm {hf}}\to {\mathscr {C}}$ in Proposition 3.10. By Proposition 7.8, we get a quasi-equivalence
Then the composition $[\mathsf {F}]\circ [{\mathsf {I}}^{\mathrm {hf}}_{\mathscr {C}}]^{-1}$ yields an isomorphism between ${\mathscr {C}}$ and ${\left ({{\mathscr {C}}}^{\mathrm {hf}}\right )}^{\mathrm {hl}}$ in ${\mathbf {Hqe}}$.
In conclusion, we have the following.
Corollary 7.9. Let X be a quasi-compact and quasi-separated scheme, and let ${\mathscr {C}}$ be a dg enhancement either of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ or of ${\mathbf {Perf}}(X)$ for $?=b,+,-,\emptyset $. Then there is an isomorphism ${\mathscr {C}}\cong {\left ({{\mathscr {C}}}^{\mathrm {hf}}\right )}^{\mathrm {hl}}$ in ${\mathbf {Hqe}}$.
8 Uniqueness of enhancements for geometric categories
In this section, we prove Theorem B; more precisely, the proof is in Section 8.1 and Section 8.2. In Section 8.3, we show how a weaker version of Theorem B, for the category of perfect complexes, can be obtained by ‘simpler’ means.
8.1 Proof of Theorem B: the case of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$
Write X as a finite union $X=U_1\cup \dots \cup U_n$ of affine open subschemes. The argument is based on induction on n.
When X is affine (or, more generally, quasi-compact and separated), ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)\cong {\mathbf {D}}^?({\mathbf {Qcoh}}(X))$ by [Reference Bökstedt and Neeman5, Corollary 5.5], whence ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ has a unique enhancement by Theorem A (1). Thus we may assume $n\geq 2$.
Suppose that $({\mathscr {C}},\mathsf {E})$ is a dg enhancement of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$. Up to replacing ${\mathscr {C}}$ with the quasi-equivalent dg category $\mathrm {Perf}({\mathscr {C}})$, we can assume that ${\mathscr {C}}$ satisfies equation (4.1). Now we construct the dg category $\widehat {\mathscr {B}}:=\widehat {\mathscr {B}}_{{\mathscr {C}},\mathsf {E}}(\mathrm {Mod}(X),{\mathbf {Qcoh}}(X))$, together with a fully faithful dg functor $\widehat {\mathscr {B}}\to {\mathscr {C}}$. In view of Proposition 4.1, up to replacing ${\mathscr {C}}$ with the quasi-equivalent dg category ${{\mathscr {C}}}^{\mathrm {hf}}$, we can assume that ${\mathscr {C}}$ is h-flat.
Now we can define the dg categories ${\mathscr {C}}_I$ and the dg functors $\mathsf {Q}_I\colon {\mathscr {C}}\to {\mathscr {C}}_I$ as in Section 7.3, and we keep the same notation as in that section. For every subset $\emptyset \neq I\subseteq N=\{1,\dots ,n\}$, as ${\mathscr {C}}_I$ has the same objects as ${\mathscr {C}}$, we can construct a dg category ${\mathscr {B}}_I$ with the same objects as $\widehat {\mathscr {B}}$ and with
Moreover, by construction, the dg functor $\mathsf {Q}_I$ induces a natural dg functor
Remark 8.1. Arguing as in Remark 4.3, we see that the image of $H^0(\widehat {\mathscr {B}})$ under the composition
(see Remark 7.5 for the last equivalence) coincides with ${\mathbf {B}}^?({\mathbf {Qcoh}}(U_I))$. This simple observation follows from the definition of $\widehat {\mathscr {B}}$ together with the fact that a quasi-coherent sheaf on $U_I$ extends to a quasi-coherent sheaf on X, and the functor
surjects on complexes of quasi-coherent sheaves with zero differentials. Hence, $H^0(\mathsf {Q}_I)(H^0(\widehat {\mathscr {B}}))\cong H^0({\mathscr {B}}_I)\cong {\mathbf {B}}^?({\mathbf {Qcoh}}(U_I))$ and the dg functor ${\mathscr {B}}_I\to {\mathscr {C}}_I$ induces a quasi-equivalence $\mathrm {Perf}({\mathscr {B}}_I)\cong {\mathscr {C}}_I$ because of Corollary 2.10. Moreover, if $\emptyset \neq I\subseteq I'\subseteq N$, we have dg functors
corresponding to the restriction ${\mathbf {D}}^?(U_I)\to {\mathbf {D}}^?(U_{I'})$. In particular, these dg functors compose nicely.
By the invariance of homotopy limits under quasi-equivalences (see Remark 3.13), we have a quasi-equivalence
On the other hand, by Proposition 7.8 (see also Corollary 7.9), we have a quasi-equivalence ${\mathscr {C}}\longrightarrow {{\mathscr {C}}}^{\mathrm {hl}}$. Putting it all together, we get an isomorphism
in ${\mathbf {Hqe}}$.
By Remark 5.5, given I, as a consequence of our proof of Theorem A (1) for the uniqueness of dg enhancements of ${\mathbf {D}}^?(U_I)$, we get full dg subcategories ${\mathscr {N}}_I\subseteq \mathrm {Perf}({\mathscr {V}}_I)$, $\widetilde {\mathscr {S}}_I\subseteq \mathrm {Perf}(\widetilde {\mathscr {B}}_I)$, $\overline {\mathscr {S}}_I\subseteq \mathrm {Perf}(\overline {\mathscr {B}}_I)$, ${\mathscr {S}}^{\prime \prime }_I\subseteq \mathrm {Perf}({\mathscr {B}}^{\prime \prime }_I)$, ${\mathscr {S}}^{\prime }_I\subseteq \mathrm {Perf}({\mathscr {B}}^{\prime }_I)$ and ${\mathscr {S}}_I\subseteq \mathrm {Perf}({\mathscr {B}}_I)$ and the commutative diagram of zigzags
where the dg functors in the bottom zigzag are quasi-equivalences, the vertical maps are Drinfeld dg quotient functors such that $\mathrm {Perf}({\mathscr {B}}^{\prime }_I)\to \mathrm {Perf}({\mathscr {B}}^{\prime }_I)/{\mathscr {S}}^{\prime }_I$ and $\mathrm {Perf}({\mathscr {B}}_I)\to \mathrm {Perf}({\mathscr {B}}_I)/{\mathscr {S}}_I$ are quasi-equivalences. Most importantly, the lower zigzag remains functorial in I (by Remark 3.11).
Thus, by Remark 3.13, we get the following chain of isomorphisms in ${\mathbf {Hqe}}$:
Together with equation (8.1), we get an isomorphism $\operatorname {\mathrm {Holim}} \mathrm {Perf}({\mathscr {V}}_I)/{\mathscr {N}}_I\cong {\mathscr {C}}$ in ${\mathbf {Hqe}}$. But the construction of ${\mathscr {N}}_I$ and of the dg functors ${\mathscr {V}}_I\to {\mathscr {V}}_{I'}$ (and thus of the induced ones $\mathrm {Perf}({\mathscr {V}}_I)/{\mathscr {N}}_I\to \mathrm {Perf}({\mathscr {V}}_{I'})/{\mathscr {N}}_{I'}$) are independent of the given dg enhancement $({\mathscr {C}},\mathsf {E})$. Indeed, ${\mathscr {N}}_I$ is an enhancement of ${\mathbf {K}}^?_{\mathrm {acy}}(U_I)$, and the dg functors are induced by the open immersions $\iota _{I,I'}$ above.
In conclusion, all dg enhancements of ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ are isomorphic in ${\mathbf {Hqe}}$ to $\operatorname {\mathrm {Holim}} \mathrm {Perf}({\mathscr {V}}_I)/{\mathscr {N}}_I$, and thus ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$ has a unique dg enhancement.
8.2 Proof of Theorem B: the case of ${\mathbf {Perf}}(X)$
The case of perfect complexes is treated with a strategy that is essentially identical to the one in Section 8.1: we write X as a finite union $X=U_1\cup \dots \cup U_n$ of affine open subschemes, we proceed by induction on n and finish by using Section 7.3 in an essential way. The main difference is that instead of following the construction of $\widetilde {\mathscr {B}}$ and ${\mathscr {V}}$ in Section 4.1 and Section 4.2, we will partially use the strategy used in [Reference Lunts and Orlov27] to prove Theorem 6.10.
If $n=1$, then X is affine and the result follows from [Reference Lunts and Orlov27, Proposition 2.6]. Thus we can assume $n\geq 2$ and start proving the following simple result.
Lemma 8.2. Let X be an affine scheme and $\iota \colon U\hookrightarrow X$ be an open subscheme. Then ${\mathbf {D}}_{{\mathbf {qc}}}(U)$ is compactly generated by the compact object $\mathcal {O}_U=\iota ^{*}\mathcal {O}_X$ and ${\mathbf {Perf}}(U)={\left \langle \mathcal {O}_U \right \rangle }_{\infty }$.
Proof. Let $Z:=X\setminus U$, and denote by ${\mathbf {D}}_Z(X)$ the full triangulated subcategory of ${\mathbf {D}}_{{\mathbf {qc}}}(X)$ consisting of complexes with (topological) support contained in the closed subset Z. Consider the short exact sequence of triangulated categories
By [Reference Rouquier41, Theorem 6.8], ${\mathbf {D}}_Z(X)$ is compactly generated by objects that are compact in ${\mathbf {D}}_{{\mathbf {qc}}}(X)$. Hence, by [Reference Neeman34, Theorem 2.1], $\iota ^{*}$ sends the compact generator $\mathcal {O}_X$ to the compact generator $\mathcal {O}_U$ and ${\mathbf {D}}_{{\mathbf {qc}}}(U)^c={\left \langle \mathcal {O}_U \right \rangle }_{\infty }$. Since ${\mathbf {Perf}}(U)={\mathbf {D}}_{{\mathbf {qc}}}(U)^c$ (see Example 7.3), this concludes the proof.
Hence, in our situation, ${\mathbf {Perf}}(U_I)={\left \langle \mathcal {O}_{U_I} \right \rangle }_{\infty }$ for all $\emptyset \neq I\subseteq N$. This implies that given a dg enhancement $({\mathscr {C}},\mathsf {E})$ of ${\mathbf {Perf}}(X)$ inducing equivalences $\mathsf {E}_I\colon H^0({\mathscr {C}}_I)\overset {\sim }{\longrightarrow }{\mathbf {Perf}}(U_I)$, we can take the dg category ${\mathscr {N}}_I\subseteq {\mathscr {C}}_I$ with only one object $O_I$, which is the lift of $\mathcal {O}_{U_I}$ along $\mathsf {E}_I$. By the above result, the inclusion of ${\mathscr {N}}_I$ in ${\mathscr {C}}_I$ induces a quasi-equivalence $\mathrm {Perf}({\mathscr {N}}_I)\cong {\mathscr {C}}_I$. Moreover, as in the previous section, the quotient dg functors ${\mathscr {C}}_I\to {\mathscr {C}}_{I'}$ for $\emptyset \neq I\subseteq I'\subset N$, induce dg functors ${\mathscr {N}}_I\to {\mathscr {N}}_{I'}$ and thus dg functors
with the same properties as in Remark 8.1.
On the other hand, $\mathcal {O}_{U_I}$ as an object of ${\mathbf {Perf}}(U_I)$ generates a dg category ${\mathscr {A}}_I$ all sitting in degree zero. The open inclusion $\iota _{I,I'}\colon U_{I'}\hookrightarrow U_I$ induces a dg functor
The argument in [Reference Lunts and Orlov27, Section 6] applies in this case, and thus:
(a) There is a morphism $\mathrm {Perf}({\mathscr {A}}_I)\to \mathrm {Perf}({\mathscr {N}}_I)$ in ${\mathbf {Hqe}}$ that can be represented by a roof
which is functorial in I.Footnote 2(b) A full dg subcategory ${\mathscr {L}}_I\subseteq \mathrm {Perf}({\mathscr {A}}_I)$ such that the idempotent completion
$$\begin{align*}\widehat{\mathscr{A}}_I:=(\mathrm{Perf}({\mathscr{A}}_I)/{\mathscr{L}}_I)^{\mathrm{ic}} \end{align*}$$of the Drinfeld quotient is a dg enhancement of ${\mathbf {Perf}}(U_I)$. Moreover, the definition of $\widehat {\mathscr {A}}_I$ is functorial in I, and both its definition and that of the natural dg functors $\widehat {\mathscr {A}}_I\longrightarrow \widehat {\mathscr {A}}_{I'}$ induced by $\widetilde {\mathsf {Q}}^{\prime }_{I,I'}$ are independent of the dg enhancement $({\mathscr {C}},\mathsf {E})$.
Here, as in the previous section, we freely use the possibility of taking functorial h-flat resolutions.
As a result of Lemma 6.2 and Lemma 6.3 in [Reference Lunts and Orlov27], we get a roof of quasi-equivalences
where ${\mathscr {L}}^{\prime }_I$ is a full pretriangulated dg subcategory of $\mathrm {Perf}(\widetilde {\mathscr {N}}_I)$ identified with ${\mathscr {L}}_I$ under the quasi-equivalence $\mathrm {Perf}(\widetilde {\mathscr {N}}_I)\to \widehat {\mathscr {A}}_I$ and the diagram is functorial in I.
In conclusion, as in the previous section, we have a chain of isomorphism in ${\mathbf {Hqe}}$
due to Proposition 7.8 and the invariance of homotopy limits under quasi-equivalences. Thus ${\mathbf {Perf}}(X)$ has a unique enhancement since the latter homotopy limit does not depend on $({\mathscr {C}},\mathsf {E})$. Therefore, the proof of Theorem B is complete.
Remark 8.3. As we observed in Example 7.3, the triangulated category ${\mathbf {Perf}}(X)$ identifies with ${\mathbf {D}}_{{\mathbf {qc}}}(X)^c$ when X is a quasi-compact and quasi-separated scheme. It is then easy (see, for example, the argument in [Reference Canonaco and Stellari9, Remark 5.5]) to deduce the uniqueness of enhancement of ${\mathbf {D}}_{{\mathbf {qc}}}(X)$ from that of ${\mathbf {Perf}}(X)$. The complications in Section 8.1 emerge while dealing with ${\mathbf {D}}^?_{{\mathbf {qc}}}(X)$, when $?=b,+,-$.
8.3 An aside
It is worth pointing out that a weak version of Theorem B for ${\mathbf {Perf}}(X)$ can be proved using techniques very similar to the ones in [Reference Canonaco and Stellari13].
The simple observation is that assumption (2) in [Reference Canonaco and Stellari13, Theorem B] can be replaced by the weaker (ii) below to get the following slightly more general result.
Theorem 8.4. Let ${\mathscr {G}}$ be a Grothendieck category with a small set ${\mathscr {A}}$ of generators such that
(i) ${\mathscr {A}}$ is closed under finite coproducts;
(ii) If $f\colon \coprod _{i\in I}C_i\to C$ (with I a small set) is a morphism in ${\mathscr {G}}$ and $A\in \mathrm {Ob}({\mathscr {A}})$ is a subobject of C such that $A\subseteq \operatorname {\mathrm {im}} f$, then there exists a finite subset $I'$ of I such that $A\subseteq f(\coprod _{i\in I'}C_i)$;
(iii) If $f\colon A'\twoheadrightarrow A$ is an epimorphism of ${\mathscr {G}}$ with $A,A'\in {\mathscr {A}}$, then $\ker f\in {\mathscr {A}}$;
(iv) For every $A\in {\mathscr {A}}$, there exists $N(A)>0$ such that $\mathrm {Hom}_{{\mathbf {D}}({\mathscr {G}})}\left (A,{A'}[N(A)]\right )=0$ for every $A'\in \mathrm {Ob}({\mathscr {A}})$.
Then ${\mathbf {D}}({\mathscr {G}})^c$ has a unique enhancement.
Actually, it is very easy to see that the argument used in [Reference Canonaco and Stellari13] to prove the theorem still works with the new hypothesis and proves Theorem 8.4. Indeed, in [Reference Canonaco and Stellari13, Remark 6.3], it is proved, in particular, that the old assumption (2) implies (ii). Moreover, in the other parts of the proof of [Reference Canonaco and Stellari13, Theorem B], where (2) was used (in the proofs of Lemma 6.4 and Proposition 6.5, where Remark 6.3 is invoked), precisely (ii) is needed.
As an application, we obtain the following improvement of [Reference Canonaco and Stellari13, Proposition 6.10] in the case of schemes. Recall that a scheme X has enough perfect coherent sheaves if ${\mathbf {Qcoh}}(X)$ is generated, as a Grothendieck category, by a small set of objects in ${\mathbf {Coh}}(X)\cap {\mathbf {Perf}}(X)$.
Proposition 8.5. Let X be a quasi-compact and semi-separated scheme with enough perfect coherent sheaves. Then ${\mathbf {Perf}}(X)$ has a unique enhancement.
Proof. The argument of the proof of [Reference Canonaco and Stellari13, Proposition 6.10] (with the same ${\mathscr {A}}$) shows that conditions (i), (iii) and (iv) of Theorem B are satisfied. As for (ii), one is reduced to proving the following statement: if $\mathcal {F}=\bigcup _{i\in I}\mathcal {F}_i\in {\mathbf {Coh}}(X)$, with $\mathcal {F}_i$ a quasi-coherent subsheaf of $\mathcal {F}$ for every $i\in I$, then there exists a finite subset $I'$ of I such that $\mathcal {F}=\bigcup _{i\in I'}\mathcal {F}_i$. Since X (being quasi-compact) has a finite affine open cover, we can also assume that X is affine, in which case the statement follows directly from the fact that $\mathcal {F}$ is of finite type.
Proposition 8.5 is a strictly stronger version than [Reference Canonaco and Stellari13, Proposition 6.10], as is demonstrated by the following example.
Example 8.6. If X is an affine scheme such that $\mathcal {O}_X$ is coherent, then the hypotheses of Proposition 8.5 are satisfied, since $\mathcal {O}_X\in {\mathbf {Coh}}(X)\cap {\mathbf {Perf}}(X)$ is a generator of ${\mathbf {Qcoh}}(X)$. On the other hand, if X is not noetherian, then the hypotheses of [Reference Canonaco and Stellari13, Proposition 6.10] are not satisfied. An explicit example is given by $X=\operatorname {\mathrm {Spec}}(A)$ with A the polynomial ring in infinitely many variables over a field.
We conclude our presentation by recalling that in [Reference Antieau1, Corollary 9], the author proved that ${\mathbf {Perf}}(X)$ has a unique enhancement when X is a quasi-compact, quasi-separated and $0$-complicial scheme. We refer to [Reference Antieau1] for the precise definition of $0$-complicial that is not needed here. On the other hand, it is not complicated to see that a quasi-compact and semi-separated scheme with enough perfect coherent sheaves is $0$-complicial and thus [Reference Antieau1, Corollary 9] should be more general than Proposition 8.5. It would be interesting to find an example of a scheme satisfying the assumptions in [Reference Antieau1, Corollary 9] but not the assumptions in the above proposition.
Acknowledgements
It is our great pleasure to thank Benjamin Antieau, Pieter Belmans, Henning Krause and Valerio Melani for insightful conversations about several problems related to the contents of this paper. We are also very grateful to Michel Van den Bergh, Alexander Kuznetsov, Valery Lunts and Bregje Pauwels for comments on a preliminary version of this paper.
Conflicts of Interest
The authors have no conflicts of interest to declare.
Financial support
A. C. was partially supported by the research project PRIN 2017 ‘Moduli and Lie Theory’. A. N. was partially supported by grants DP150102313 and DP200102537 from the Australian Research Council. P. S. was partially supported by the ERC Consolidator Grant ERC-2017-CoG-771507-StabCondEn, by the research project PRIN 2017 ‘Moduli and Lie Theory’ and by the research project FARE 2018 HighCaSt (grant number R18YA3ESPJ).