This book provides comprehensive coverage on semi-infinite homology and cohomology of associative algebraic structures. It features rich representation-theoretic and algebro-geometric examples and applications.

This monograph deals with semi-infinite homological algebra. Intended as the definitive treatment of the subject of semi-infinite homology and cohomology of associative algebraic structures, it also contains material on the semi-infinite (co)homology of Lie algebras and topological groups, the derived comodule-contramodule correspondence, its application to the duality between representations of infinite-dimensional Lie algebras with complementary central charges, and relative non-homogeneous Koszul duality. The book explains with great clarity what the associative version of semi-infinite cohomology is, why it exists, and for what kind of objects it is defined. Semialgebras, contramodules, exotic derived categories, Tate Lie algebras, algebraic Harish-Chandra pairs, and locally compact totally disconnected topological groups all interplay in the theories developed in this monograph. Contramodules, introduced originally by Eilenberg and Moore in the 1960s but almost forgotten for four decades, are featured prominently in this book, with many versions of them introduced and discussed. Rich in new ideas on homological algebra and the theory of corings and their analogues, this book also makes a contribution to the foundational aspects of representation theory. In particular, it will be a valuable addition to the algebraic literature available to mathematical physicists.

Intended as a definitive treatment of the subject of semi-infinite homology and cohomology of associative algebraic structures, this book contains also rich representation-theoretic and algebro-geometric examples and applications Exotic derived categories, contramodules, semialgebras, infinite-dimensional Lie algebras, algebraic Harish-Chandra pairs, and locally compact totally disconnected topological groups all interplay in the theories developed in this monograph Includes supplementary material: sn.pub/extras

Autorentext

Leonid Positselski did his undergraduate studies in Moscow in 1988-93 and received his Ph.D. in Mathematics from Harvard University in 1998. After a series of postdoctoral positions in the U.S. and Europe, he returned to Moscow in 2003. His first book was published in 2005 and the second one in 2010. In 2011-14 he taught as an Associate Professor at the Faculty of Mathematics of the Higher School of Economics in Moscow. Positselski emigrated from Russia to Israel in Spring 2014. Since 2018, he works as a researcher at the Institute of Mathematics of the Czech Academy of Sciences in Prague. Positselski is an algebraist specializing in Homological Algebra and homological aspects of various branches of the "algebraic half" of mathematics, including algebraic geometry, representation theory, commutative algebra, and algebraic K-theory. He is known for his work on Koszul algebras and derived Koszul duality, as well as curved DG-rings, coderived and contraderived categories, and contramodules. Positselski penned more than 45 research papers and two survey papers. He is the author of five books and memoirs, including "Quadratic Algebras" (joint with A. Polishchuk, AMS University Lecture Series, 2005), "Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures" (Monografie Matematyczne IMPAN, Birkhäuser Basel, 2010), "Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence" (AMS Memoir, 2011), "Weakly curved A-infinity algebras over a topological local ring" (SMF Memoir, 2018-19), and "Relative nonhomogeneous Koszul duality" (Frontiers in Mathematics, Birkhäuser Switzerland, 2021-22).

Inhalt

Preface.- Introduction.- 0 Preliminaries and Summary.- 1 Semialgebras and Semitensor Product.- 2 Derived Functor SemiTor.- 3 Semicontramodules and Semihomomorphisms.- 4 Derived Functor SemiExt.- 5 Comodule-Contramodule Correspondence.- 6 Semimodule-Semicontramodule Correspondence.- 7 Functoriality in the Coring.- 8 Functoriality in the Semialgebra.- 9 Closed Model Category Structures.- 10 A Construction of Semialgebras.- 11 Relative Nonhomogeneous Koszul Duality.- Appendix A Contramodules over Coalgebras over Fields.- Appendix B Comparison with Arkhipov's Ext^{\infty/2+} and Sevostyanov's Tor_{\infty/2+}.- Appendix C Semialgebras Associated to Harish-Chandra Pairs.- Appendix D Tate Harish-Chandra Pairs and Tate Lie Algebras.- Appendix E Groups with Open Profinite Subgroups.- Appendix F Algebraic Groupoids with Closed Subgroupoids.- Bibliography.- Index.