Semiinfinite cohomology of associative algebras and bar duality

Abstract

We describe semiinfinite cohomology of associative algebras in terms of Koszul (or bar) duality. Consider an associative algebra $A$ and two its subalgebras $B$ and $N$ such that $A=B\otimes N$ as a vector space. We prove that the endomorphism algebra of the semiregular $A$-module appears naturally in semiinfinite cohomology theory as a ``two times Koszul dual'' to the algebra $A$. We compare semiinfinite cohomology of universal enveloping algebras with the well-known Lie algebra semiinfinite cohomology. A new description of the critical 2-cocycle is provided. As a consequence we obtain another proof of the fact that additive categories generated by Verma modules over affine Lie algebras on dual levels are antiequivalent.

arXiv comment21 pages

Cited by in corpus (5)

• Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures
• Equivalence of blocks for the general linear Lie superalgebra
• Semi-infinite highest weight categories
• Two-sided BGG resolutions of admissible representations
• Relative nonhomogeneous Koszul duality