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.

Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes

Flat quasi-coherent sheaves as direct limits, and quasi-coherent cotorsion periodicity

Flat quasi-coherent sheaves as directed colimits, and quasi-coherent cotorsion periodicity

Coherent sheaves, sheared D-modules, and Hochschild cochains

Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality

Classifying torsionfree classes of the category of coherent sheaves and their Serre subcategories

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

Half-spherical twists on derived categories of coherent sheaves

The abstract cotangent complex and Quillen cohomology of enriched categories

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Semi-Homogeneous Sheaves and Twisted Derived Categories

Quasi-coherent sheaves on complex analytic spaces

Co-t-structures on derived categories of coherent sheaves and the cohomology of tilting modules

Derived categories of Quot schemes on smooth curves and tautological bundles

Moduli spaces of semiorthogonal decompositions in families

K-flatness in Grothendieck categories: Application to quasi-coherent sheaves

On the derived category of a toric stack bundle

Sheaves of $(\infty, \infty)$-categories

Constructible sheaves on toric varieties

Partially Dualized Quasi-Hopf Algebras Reconstructed from Dual Tensor Categories to Finite-Dimensional Hopf Algebras