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.

About the 2-cohomology of the Orthosymplectic superalgebra

Orthosymplectic Feigin-Semikhatov duality

On the Cohomology of GL2 and SL2 over Imaginary Quadratic Fields

Second cohomology space of $\frak {sl}(2)$ acting on the space of $n$-ary differential operators on $\mathbb{R}$

On the cohomology of GL_2 and SL_2 over imaginary quadratic fields

Second bounded cohomology of groups acting on $1$-manifolds and applications to spectrum problems

Symplectic spinors and Hodge theory

Koszulity for nonquadratic algebras II

On the cohomology of certain subspaces of $\mathit{Sym}^n(¶^1)$ and Occam's razor for Hodge structures

The combinatorics of supertorus sheaf cohomology

Hopf algebras and homotopy invariants

On the cohomology of Torelli groups. II

On cohomological invariants of complex and almost complex manifolds

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

On the cohomology of differentiable stacks

On the third cohomology of the Lie algebra of vector fields on weighted densities on R

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

Orthosymplectic Lie superalgebras in superspace analogues of quantum Kepler problems

Gelfand-Fuchs cohomology for affine superspaces A^(m,n)

Floer Homology with DG Coefficients. Applications to cotangent bundles

Nonabelian Hodge isomorphisms for stacks and cohomological Hall algebras