Smooth and proper noncommutative schemes and gluing of DG categories

Abstract

In this paper we discuss different properties of noncommutative schemes over a field. We define a noncommutative scheme as a differential graded category of a special type. We study regularity, smoothness and properness for noncommutative schemes. Admissible subcategories of categories of perfect complexes on smooth projective schemes provide natural examples of smooth and proper noncommutative schemes that are called geometric noncommutative schemes. In this paper we show that the world of all geometric noncommutative schemes is closed under an operation of a gluing of differential graded categories via bimodules. As a consequence of the main theorem we obtain that for any finite dimensional algebra with separable semisimple part the category of perfect complexes over it is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme. Moreover, if the algebra has finite global dimension, then the full subcategory is admissible. We also provide a construction of a smooth projective scheme that admits a full exceptional collection and contains as a subcollection an exceptional collection given in advance. As another application of the main theorem we obtain, in characteristic 0, an existence of a full embedding for the category of perfect complexes on any proper scheme to the category of perfect complexes on a smooth projective scheme.

43 pages, small corrections, a new formulation and proof of Proposition 3.29

References in corpus (5)

• Categorical resolutions of irrational singularities
• Smoothness of equivariant derived categories
• Geometric realizations of quiver algebras
• Theorie homotopique des DG-categories
• A simple counterexample to the Jordan-Hölder property for derived categories

Cited by in corpus (35)

• Derived categories of Gushel-Mukai varieties
• Geometric realizations of quiver algebras
• Finite-dimensional differential graded algebras and their geometric realizations
• Derived noncommutative schemes, geometric realizations, and finite dimensional algebras
• Co-periodic cyclic homology
• Gluing of categories and Krull--Schmidt partners
• Perverse sheaves of categories and some applications
• Non-existence of exceptional collections on twisted flags and categorical representability via noncommutative motives
• Moduli spaces of semiorthogonal decompositions in families
• Strong generators in $D^{perf}(X)$ and $D_{coh}^b(X)$
• Adjunction in 2-categories
• Categories of singularities of invertible polynomials
• Categorical absorptions of singularities and degenerations
• Theory of homotopes in application to mutually unbiased bases, harmonic analysis on graphs and perverse sheaves
• Non-commutative derived moduli prestacks
• On derived categories of arithmetic toric varieties
• Gluing Approximable Triangulated Categories
• Embeddings of algebras in derived categories of surfaces
• Witt vectors, commutative and non-commutative
• Categorical dimension of birational automorphisms and filtrations of Cremona groups
• Spherical twists and Lagrangian spherical manifolds
• On the bounded derived category of $\mathsf{IGr}(3,7)$
• Moduli of Bridgeland semistable holomorphic triples
• Exceptional collections in surface-like categories
• Rational points on symmetric powers and categorical representability
• Smooth functions on algebraic K-theory
• Moduli of noncommutative Hirzebruch surfaces
• The birational geometry of noncommutative surfaces
• A power structure over the Grothendieck ring of geometric dg categories
• Construction of noncommutative surfaces with exceptional collections of length 4
• Some remarks on rigid sheaves, helices and exceptional vector bundles on Fano varieties over arbitrary fields
• Cell 2-Representations and Categorification at Prime Roots of Unity
• From Ohkawa to strong generation via approximable triangulated categories -- a variation on the theme of Amnon Neeman's Nagoya lecture series
• ${\mathbb{A}}^1$-invariance of localizing invariants
• An example of a non-Fourier-Mukai functor between derived categories of coherent sheaves