Homotopy limits in the category of dg-categories in terms of \(\mathrm{A}_\infty\)-comodules (Q2040978)

The paper under review gives an explicit formula for the homotopy limit of a cosimplicial system of dg-categories. The homotopy limit is the derived functor of the limit which can be roughly formulated as a homotopy-invariant version of the limit. An explicit construction of homotopy limits of cosimplicial systems of dg-categories is in demand because these systems arise naturally in geometry and algebra. For example, if \(f: X\to Y\) is a fpqc morphism of schemes, we can consider its descent groupoid \(X_1\rightrightarrows X_0\) where \(X_0=X\) and \(X_1=X\times_Y X\) and then its classifying space \[ X_n=X_1\times_{X_0}\ldots\times_{X_0}X_1 \] Let \(QCoh(X_n)\) denote the dg-category of cochain complexes of quasi-coherent sheaves on \(X_n\). Then we get a cosimplicial system of dg-categories \[ QCoh(X_0)\rightrightarrows QCoh(X_1)\ldots \] whose homotopy limit gives the descent data of cochain complexes of quasi-coherent sheaves. It is then desired to describe such a homotopy limit explicitly so that we can compare it with \(QCoh(Y)\). In Proposition 4.0.2 the authors give an explicit construction of the homotopy limit of a cosimplicial system of dg-categories. Notice that the same formula was obtained by Block, Holstein, and Wei in \textit{Explicit homotopy limits of dg-categories and twisted complexes} under certain restrictions on the cosimplicial system, while the in the paper under review these restrictions are removed. Furthermore in Theorem 4.1.1, the authors study groupoids of affine dg-schemes \(\mathbf{X}_1\rightrightarrows \mathbf{X}_0\) and \[ \mathbf{X}_n=\mathbf{X}_1\times_{\mathbf{X}_0}\ldots\times_{\mathbf{X}_0}\mathbf{X}_1 \] They formulate the homotopy limit of \(\mathbf{QCoh}(\mathbf{X}_\cdot)\) explicitly as \(A_{\infty}\)-comodules. The constructions in the current paper are based on the model structure of the category of dg-categories, in particular simplicial resolutions of dg-categories given by Holstein in \textit{Properness and simplicial resolutions in the model category dgCat} and its erratum as well as results on homotopy ends by Arkhipov and Ørsted in \textit{Homotopy (co) limits via homotopy (co) ends in general combinatorial model categories}.