# nLab guide to noncommutative algebraic geometry literature

This entry provides commented references on the topic of derived noncommutative algebraic geometry.

The original representability theorem: every fully faithful triangulated functor between the derived categories of perfect complexes on two smooth projective varieties is representable by some integral kernel (i.e. is a Fourier-Mukai functor).

If a smooth projective variety has the property that its canonical sheaf is ample? or anti-ample, then one may reconstruct it up to isomorphism from its bounded derived category of coherent sheaves.

A criterion for the equivalence of the derived categories of coherent sheaves on two abelian varieties.

The bounded derived category of coherent sheaves on a smooth projective variety admits a strong generator.

The homotopy category of the model category of dg-categories, where weak equivalences are quasi-equivalences, is studied. It is shown to admit internal homs and the morphism sets are in bijection with right quasi-representable bimodules. Among other applications is a dg-version of Orlov’s representability theorem: it is shown that morphisms between the dg-categories of perfect complexes on smooth proper schemes are in bijection with perfect complexes on the product. An analogous statement for quasi-coherent complexes? is also shown.

The Chow motive of a smooth projective variety may be reconstructed up to Tate twists from the bounded derived category of coherent sheaves.

An (infinity,1)-categorical version of Orlov’s representability theorem, which is further generalized to (smooth proper) derived stacks.

Uniqueness results are established for dg-enhancements of triangulated categories. In particular the results are applied to the derived categories of perfect complexes, coherent sheaves, quasi-coherent sheaves, on schemes. This is then used to deduce from (Toen 2004) representability theorems on the level of triangulated categories, in the non-smooth case.

Describes how to glue two dg-categories in such a way that the homotopy category of the result has a semiorthogonal decomposition into two components, which are the respective homotopy categories of the original dg-categories.

If an admissible subcategory of the bounded derived category of coherent sheaves on a smooth projective variety is a phantom?, has vanishing Hochschild homology and Grothendieck group, then its noncommutative motive vanishes. In particular its higher K-theory also vanishes.

• Beatriz Rodriguez Gonzalez?, A derivability criterion based on the existence of adjunctions, 2012, arXiv:1202.3359.

It is proved that the internal hom of Ho(DGCat) constructed in (Toën 2004) is in fact the right derived functor of the internal hom of DGCat.

The (infinity,1)-categorical representability theorem of (Ben-Zvi-Francis-Nadler 2008) is extended to the non-smooth case.

Last revised on May 12, 2014 at 22:41:18. See the history of this page for a list of all contributions to it.