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.

Linkage of modules with respect to a semidualizing module

Linkage of modules by reflexive morphisms

Generic Constructions and Semidualizing Modules

Multiplicities of Semidualizing Modules

Gorenstein Right Derived Functors of − ⊗ −with Respect to Semidualizing Modules

Perfect linkage of Cohen--Macaulay modules over Cohen--Macaulay rings

Totally reflexive modules with respect to a semidualizing bimodule

Dualities and equivalences of the category of relative Cohen-Macaulay modules

On Vanishing and Cofiniteness of Generalized Local Cohomology Modules

Duality Pairs Induced by Gorenstein Projective Modules with Respect to Semidualizing Modules

Semidualizing Modules and Rings of Invariants

Lim Cohen-Macaulay sequences of modules

Tate Cohomology of Gorenstein Flat Modules with Respect to Semidualizing Modules

Non-vanishing and cofiniteness of generalized local cohomology modules

Finite homological dimension of Hom and vanishing of Ext

[math]-weak injective and [math]-weak flat modules under [math]-semidualizing bimodules

TC-Gorenstein projective, LC-Gorenstein injective and HC-Gorenstein flat modules

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

On nearly Gorenstein affine semigroups

On Nil-semicommutative Modules

Ding projective complexes with respect to a semidualizing module