Abstract:We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules. Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (and the cotensor product associative). Besides, for a number of technical reasons we mostly have to assume that the basic ring has a finite homological dimension (no such assumptions about the coring and semialgebra are made). In the final sections we construct model category structures on the categories of complexes of semi(contra)modules, and develop relative nonhomogeneous Koszul duality theory for filtered semialgebras and quasi-differential corings. Our motivating examples come from the semi-infinite cohomology theory. Comparison with the semi-infinite (co)homology of Tate Lie algebras and graded associative algebras is established in appendices, and the semi-infinite homology of a locally compact topological group relative to an open profinite subgroup is defined. An application to the correspondence between complexes of representations of an infinite-dimensional Lie algebra on the complementary central charge levels ($c$ and $26-c$ for the Virasoro) is worked out.

Higher structures on homology groups

Cocyclic Complexes of Hopf Algebras with Special Antipodes

Cyclic duality between BV algebras and BV modules

Structure algebras, Hopf algebroids and oriented cohomology of a group

Homotopy theory of homotopy algebras

Posets, their Incidence Algebras and Relative Operads, and the Cohomology Comparison Theorem

Hopf algebras in the cohomology of $\mathcal{A}_g$, $\mathrm{GL}_n(\mathbb{Z})$, and $\mathrm{SL}_n(\mathbb{Z})$

On fundamental structure underlying Lie algebra homology with coefficients tensor products of the adjoint representation

Structure theorem for Hopf group-coalgebra

Homology and K-theory of dynamical systems. IV. Further structural results on groupoid homology

On the Hochschild cohomology ring of tensor products of algebras

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

A detailed look on actions on Hochschild complexes especially the degree $1$ co-product and actions on loop spaces

The stable cooperations of Morava $K$-Theory and the fiber product of automorphism groups of formal group laws

A model structure and Hopf-cyclic theory on the category of coequivariant modules over a comodule algebra

Homotopy Gerstenhaber formality of Davis-Januszkiewicz spaces

The third cohomology 2-group

Hopf algebras and homotopy invariants

Braided Hochschild cohomology and Hopf actions

Cohomology of Products and Coproducts of Augmented Algebras

Combinatorial Hopf algebras and Towers of Algebras