Remote access

How to Order

For AMS eBook frontlist subscriptions or backfile collection purchases:

   1a. To purchase any ebook backfile or to subscibe to the current year of Contemporary Mathematics, please download this required license agreement,

   1b. To subscribe to the current year of Memoirs of the AMS, please download this required license agreement.

   2. Complete and sign the license agreement.

   3. Email, fax, or send via postal mail to:

Customer Services
American Mathematical Society
201 Charles Street Providence, RI 02904-2294  USA
Phone: 1-800-321-4AMS (4267)
Fax: 1-401-455-4046

Visit the AMS Bookstore for individual volume purchases.

Browse the current eBook Collections price list

Powered by MathJax

Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence

About this Title

Leonid Positselski, Sector of Algebra and Number Theory, Institute for Information Transmission Problems, Bolshoy Karetny per. 19 str. 1, Moscow 127994, Russia

Publication: Memoirs of the American Mathematical Society
Publication Year: 2011; Volume 212, Number 996
ISBNs: 978-0-8218-5296-5 (print); 978-1-4704-0613-4 (online)
Published electronically: November 19, 2010
MathSciNet review: 2830562
Keywords:DG-algebra, CDG-coalgebra, curved A-infinity coalgebra, comodule, contramodule, derived category of the second kind, triangulated category, model category, D-module, Koszul duality
MSC: Primary 18E30, 18G10, 16T15, 16S37, 14F10; Secondary 18G55, 17B55, 16E65, 18G15, 58J10

View full volume PDF

View other years and numbers:

Table of Contents


  • Introduction
  • 1. Derived category of DG-modules
  • 2. Derived categories of DG-comodules and DG-contramodules
  • 3. Coderived and contraderived categories of CDG-modules
  • 4. Coderived category of CDG-comodules and contraderived category of CDG-contramodules
  • 5. Comodule-contramodule correspondence
  • 6. Koszul duality: Conilpotent and nonconilpotent cases
  • 7. $A_\infty $-algebras and curved $A_\infty $-coalgebras
  • 8. Model categories of DG-modules, CDG-comodules, and CDG-contramodules
  • 9. Model categories of DG-algebras and CDG-coalgebras
  • Appendix A. Homogeneous Koszul duality
  • Appendix B. $\mathcal {D}$-$\Omega $ duality


The aim of this paper is to construct the derived nonhomogeneous Koszul duality. We consider the derived categories of DG-modules, DG-comodules, and DG-contramodules, the coderived and contraderived categories of CDG-modules, the coderived category of CDG-comodules, and the contraderived category of CDG-contramodules. The equivalence between the latter two categories (the comodule-contramodule correspondence) is established. Nonhomogeneous Koszul duality or ``triality'' (an equivalence between exotic derived categories corresponding to Koszul dual (C)DG-algebra and CDG-coalgebra) is obtained in the conilpotent and nonconilpotent versions. Various A-infinity structures are considered, and a number of model category structures are described. Homogeneous Koszul duality and D-$\Omega$ duality are discussed in the appendices.

References [Enhancements On Off] (What's this?)