Philosophy of contraherent cosheaves

TL;DR

This paper explores the theory of contraherent cosheaves, focusing on their role in algebraic geometry and addressing technical issues related to colocalization functors and flat modules.

Contribution

It introduces a homological perspective on contraherent cosheaves, emphasizing the significance of flat modules and their properties for the theory.

Findings

Colocalization functors are not exact due to the nature of flat modules.

The difference between projective and flat modules is minimal in the context of homological algebra.

Ring modules involved are often very flat, simplifying theoretical considerations.

Abstract

Contraherent cosheaves are module objects over algebraic varieties defined by gluing using the colocalization functors. Contraherent cosheaves are designed to be used for globalizing contramodules and contraderived categories for the purposes of Koszul duality and semi-infinite algebraic geometry. One major technical problem associated with contraherent cosheaves is that the colocalization functors, unlike the localizations, are not exact. The reason is that, given a commutative ring homomorphism $R\rightarrow S$ arising in connection with a typical covering in algebraic geometry, the ring $S$ is usually a flat, but not a projective $R$-module. We argue that the relevant difference between projective and flat modules, from the standpoint of homological algebra, is not that big, as manifested by the flat/projective and cotorsion periodicity theorems. The difference becomes even smaller if one observes that the ring $S$ is often a very flat $R$-module.