Homotopy limits in the category of dg-categories in terms of A_-comodules
$A_{\infty}$-categoriescosimplicial systemdescentdifferential graded categoryhomotopy limitmodel structure
Group actions on varieties or schemes (quotients) (14L30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Chain complexes (category-theoretic aspects), dg categories (18G35) (A_{infty})-categories, relations with homological mirror symmetry (18G70) Derived categories, triangulated categories (18G80) Homotopical algebra, Quillen model categories, derivators (18N40)
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}.
- Explicit homotopy limits of \(\mathrm{dg}\)-categories and twisted complexes
- \(\mathcal{A}_\infty\)-functors and homotopy theory of dg-categories
- Homotopy limits of model categories over inverse index categories
- The homotopy theory of dg-categories and derived Morita theory
- Homotopy limits for 2-categories
- A-infinity algebras, modules and functor categories
- A note on a Holstein construction
- A Quillen model structure on the category of dg categories
- Category of \(A_\infty\)-categories
- Differential graded versus simplicial categories
- Explicit homotopy limits of \(\mathrm{dg}\)-categories and twisted complexes
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Properness and simplicial resolutions in the model category \(\mathbf{dgCat}\)
- \(\mathcal{A}_\infty\)-functors and homotopy theory of dg-categories
- Explicit homotopy limits of \(\mathrm{dg}\)-categories and twisted complexes
- Twisted complexes and simplicial homotopies
- Higher descent data as a homotopy limit
- Classical BV formalism for group actions
- Descent of dg cohesive modules for open covers on complex manifolds
- Homotopy characters as a homotopy limit
This page was built for publication: Homotopy limits in the category of dg-categories in terms of \(\mathrm{A}_\infty\)-comodules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2040978)
