Relative nonhomogeneous Koszul duality

Abstract

This book contains a detailed exposition of the nonhomogeneous Koszul duality theory in the relative situation over a noncentral, noncommutative, nonsemisimple base ring, as announced in Section 0.4 of arXiv:0708.3398. We prove the Poincare-Birkhoff-Witt theorem in this context and construct the triangulated equivalences of derived Koszul duality. The duality between the ring of differential operators and the de Rham DG-algebra, with the ring of functions as the base ring, is the thematic example. The moderate generality level makes the exposition in this book more accessible than the very heavily technical Chapter 11 of arXiv:0708.3398.

LaTeX 2e with mathtools.sty and tikz-cd; 220 pages, 7 commutative diagrams. v.7: Subsection 0.11 and new Section 9 inserted; v.8: Lemma 3.7 inserted, Subsections 10.8-10.10 added -- this is intended as a complete version; v.9: seven references added; v.10: small things corrected, references updated -- this is intended as the final arXiv version (the publisher's version is much more complete)

References in corpus (3)

• Localization of modules for a semisimple Lie algebra in prime characteristic
• Nonhomogeneous quadratic duality and curvature
• Koszul property and Bogomolov's conjecture

Cited by in corpus (5)

• Differential graded Koszul duality: an introductory survey
• Coderived and contraderived categories of locally presentable abelian DG-categories
• An explicit self-dual construction of complete cotorsion pairs in the relative context
• Contraderived categories of CDG-modules
• A bounded below, noncontractible, acyclic complex of projective modules