Homotopy finiteness of some DG categories from algebraic geometry

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

m a t h b b Z / 2

-graded DG categories of coherent matrix factorizations on such schemes. In this case instead of

D_{c o h}^{b} (i l d e Y)

we have a semi-orthogonal gluing of a finite number of DG categories of matrix factorizations on smooth varieties, proper over

m a t h b b A_{m a t h r m k}^{1}

.

Review text

The author proves a conjecture of Kontsevich on homotopy finiteness of certain DG categories, which states that the bounded derived category of coherent sheaves on a separated scheme of finite type over a field \(k\) of characteristic \(0\) is homotopically finitely presented, by establishing a smooth categorical compactification. The basic tools in the proof are categorical resolution of singularities and the closedness of admissible subcategories of smooth proper variety under gluing via perfect bimodules. A similar result for matrix factorizations is also established in the context of \(\mathbb{Z}/2\) graded DG categories. The contents in more detail: In section 1 the author gives an overview to the main content of the paper, briefly reviews some standard concepts in noncommutative algebraic geometry, states the main theorem and discuss its motivations. In section 2 the author presents fundamental results about homotopy finiteness of DG categories and smooth categorical compactifications. Here the key concept is homotopical finite presentation (hfp) of small DG categories, which closely resembles that of finitely dominated spaces and is preserved under Drinfeld DG quotient construction. In section 3 the author defines the notion of homological epimorphism of DG categories which generalize localization functors for small categories. In section 4 and 5 the author discusses the gluing of DG categories via bimodules, and studies the properties of categories and functors under gluing. In particular, the gluing operation is compatible with localization and preserves hfp property. In section 6 the author recall the notion of coderived category, which is the ind-completion of the complexes with bounded Noetherian cohomology, and the absolute derived category, which is the correct version of derived category for matrix factorization. These are backgrounds necessary for the extension of the main theorem to matrix factorization. In section 7 the author constructs specific convenient enhancements for the category involved, and prove the versions of classical theorems for this enhancement. The main theorem is finally proved in section 8, which roughly goes as follows: take a compactification \(Y\) of the variety we begin with, resolve its singularity by a sequence of blow up along smooth centers. By induction on the number of blow ups, the author constructs a DG category glued from smooth projective varieties with a localization functor to the derived category of \(Y\), hence establishes the main theorem. In the base step of the induction the author deals with derived categories of varieties whose reduced part is smooth by a Auslander-type construction, embedding \(D^b_{coh}(Y)\) into a compactification obtained by gluing copies of \(D^b_{coh}(Y_{red})\), and the induction steps are proved by a categorical blow construction which partially compactify the derived category of a variety by gluing (the derived categories of) its blow up and the center. A similar result for matrix factorizations follows the same lines.

Recommendations

Cites work

Cited in

(21)

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)