2018/03/31 by Alexander Kuznetsov, Kuznetsov, Alexander, Alexander Perry +1
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Algebraic structures and combinatorial models #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1804.00144
openalex publication_date 2018/03/31 · openalex created_date 2024/04/11 · openalex updated_date 2026/07/28
We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical projective duality. Our main theorem says that the homological projective dual category of the categorical join is naturally equivalent to the categorical join of the homological projective dual categories. This categorifies the classical version of this assertion and has many applications, including a nonlinear version of the main theorem of homological projective duality.