Homotopy finiteness of some DG categories from algebraic geometry

DOI10.4171/JEMS/979MaRDI QIDQ2216729zbMATH OpenOpenAlexFDO

Authors Alexander I. Efimov

Publication date 17 December 2020

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1308.0135

zbMATH Keywords

derived categoriesdifferential graded categorieshomotopy finitenessresolution of singularitiesVerdier localization

Mathematics Subject Classification ID

Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Rational and birational maps (14E05) Localization of categories, calculus of fractions (18E35) Derived categories, triangulated categories (18G80)

Abstract: In this paper, we prove that the bounded derived category $D_{coh}^b(Y)$ of coherent sheaves on a separated scheme $Y$ of finite type over a field $mathrmk$ of characteristic zero is homotopically finitely presented. This confirms a conjecture of Kontsevich. We actually prove a stronger statement: $D_{coh}^b(Y)$ is equivalent to a DG quotient $D_{coh}^b(ildeY)/T,$ where $ildeY$ is some smooth and proper variety, and the subcategory $T$ is generated by a single object. The proof uses categorical resolution of singularities of Kuznetsov and Lunts cite{KL}, and a theorem of Orlov cite{Or} stating that the class of geometric smooth and proper DG categories is stable under gluing. We also prove the analogous result for $mathbbZ/2$-graded DG categories of coherent matrix factorizations on such schemes. In this case instead of $D_{coh}^b(ildeY)$ we have a semi-orthogonal gluing of a finite number of DG categories of matrix factorizations on smooth varieties, proper over $mathbb{A}_{mathrmk}^1$.

Recommendations

• On the homotopy finiteness of DG categories
• Smooth compactifications in derived non-commutative geometry
• Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration
• The homotopy theory of dg-categories and derived Morita theory
• Finitude homotopique des dg-algèbres propres et lisses

Cites work

• A generalization of the imbedding problem of an abstract variety in a complete variety
• A Quillen model structure on the category of dg categories
• Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
• Categorical resolution of singularities
• Categorical resolutions of irrational singularities
• Coherent analogues of matrix factorizations and relative singularity categories
• Combinatorial homotopy. I
• Deriving DG categories
• Des catégories abéliennes
• DG quotients of DG categories.
• Dimensions of triangulated categories.
• ENHANCED TRIANGULATED CATEGORIES
• Finiteness conditions for CW-complexes. I, II.
• Formal completions and idempotent completions of triangulated categories of singularities
• Higher \(K\)-theory via universal invariants
• Homological Epimorphisms of Differential Graded Algebras
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1121937 (Why is no real title available?)
• scientific article; zbMATH DE number 2069670 (Why is no real title available?)
• scientific article; zbMATH DE number 1789952 (Why is no real title available?)
• scientific article; zbMATH DE number 2150985 (Why is no real title available?)
• Localization with Respect to Certain Periodic Homology Theories
• Moduli of objects in dg-categories
• Notes on A∞-Algebras, A∞-Categories and Non-Commutative Geometry
• On the cyclic homology of exact categories
• Perpendicular categories with applications to representations and sheaves
• Refined blowups
• Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
• Resolutions in factorization categories
• Smooth and proper noncommutative schemes and gluing of dg categories
• Smoothness of equivariant derived categories
• The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel
• The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
• the stable derived category of a noetherian scheme
• Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence
• Uniqueness of dg enhancements for the derived category of a Grothendieck category
• Uniqueness of enhancement for triangulated categories

Cited in

(21)

• K-theory and the singularity category of quotient singularities
• Categorical smooth compactifications and neighborhoods of infinity
• Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration
• Resolutions in factorization categories
• Mac Lane (co)homology of the second kind and Wieferich primes
• Finitude homotopique des dg-algèbres propres et lisses
• On the homotopy finiteness of DG categories
• McKay correspondence, cohomological Hall algebras and categorification
• Smooth compactifications in derived non-commutative geometry
• Homological Bondal-Orlov localization conjecture for rational singularities
• Categorical action filtrations via localization and the growth as a symplectic invariant
• Kernels of categorical resolutions of nodal singularities
• Gluing approximable triangulated categories
• Descent conditions for generation in derived categories
• Coderived and contraderived categories of locally presentable abelian DG-categories
• Purity and 2-Calabi-Yau categories
• Contraderived categories of CDG-modules
• Calabi-Yau structures on topological Fukaya categories
• Homologically finite-dimensional objects in triangulated categories
• Generalized non-commutative degeneration conjecture
• Algebraization of complex analytic varieties and derived categories.

This page was built for publication: Homotopy finiteness of some DG categories from algebraic geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2216729)