We generalize Kuznetsov's theory of homological projective duality to the setting of noncommutative algebraic geometry. Simultaneously, we develop the theory over general base schemes, and remove the usual smoothness, properness, and transversality hypotheses.
In his unpublished habilitation thesis @cite_23 , Kuznetsov developed a version of HPD which works for input categories @math that are realizable (compatibly with their @math -linear structure) as an admissible subcategory of the derived category of a variety. Due to my inadequate Russian I was not able to read @cite_23 , but its existence served as an inspiration for this paper.
@cite_23
2618665309
Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair @math , then analogue of HP-duality theorem holds for their intersections with another HP-dual pair @math , provided that they intersect properly. We also prove a relative version of our main result. Taking @math to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem.