You are provided with the abstract of a scientific paper and the abstracts of the papers it references. Your task is to write a Related Work section for the main paper. This section should concisely summarize and integrate the key points from the cited abstracts, reflecting how they relate to the main paper's contributions and context. In your summary, use numerical citation markers like [1], [2], etc., to refer to the corresponding papers.

Main Abstract:
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.

Cited Abstract(s):
[1]: Beginning with the theorems of Beilinson and Orlov on derived categories, we show how these lead naturally to Kuznetsov's beautiful theory of Homological Projective Duality. We then survey some examples.

[2]: 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.

[3]:
During the preparation of this paper, two other works on HPD appeared. [2] , Jiang--Leung--Xie build on the argument from [1] to prove a generalization of Theorem , where the the pair @math is replaced by any HPD pair. We independently discovered (a more general form of) this result, which appears as an application in [3] .