Related papers: Local, colocal, and antilocal properties of module…
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…
We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). We…
Very flat and contradjusted modules naturally arise in algebraic geometry in the study of contraherent cosheaves over schemes. Here, we investigate the structure and approximation properties of these modules over commutative noetherian…
We introduce a local homology theory for linearly compact modules which is in some sense dual to the local cohomology theory of A. Grothendieck. Some basic properties such as the noetherianness, the vanishing and non-vanishing of local…
An associative ring with 1 is said to be semilocal provided it is semisimple artinian modulo its Jacobson radical, that is, modulo its Jacobson radical it is isomorphic to a finite product of matrices over division rings. Modules with a…
For a commutative Noetherian local ring we define and study the class of modules having reducible complexity, a class containing all modules of finite complete intersection dimension. Various properties of this class of modules are given,…
We prove general results about completeness of cotorsion theories and existence of covers and envelopes in locally presentable abelian categories, extending the well-established theory for module categories and Grothendieck categories.…
This paper is a follow-up to arXiv:2212.09639. We consider two algebraic settings of comodules over a coring and contramodules over a topological ring with a countable base of two-sided ideals. These correspond to two (noncommutative)…
Contraherent cosheaves are globalizations of contraadjusted or cotorsion modules over commutative rings obtained by gluing together over a scheme, with the colocalization functors $\operatorname{Hom}_R(S,{-})$ used for the gluing (where $S$…
This paper builds on top of arXiv:2306.02734. We consider a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of open two-sided ideals. The main result is that the homotopy category…
Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a…
Let R be a commutative Noetherian ring. We introduce a theory of formal local cohomology for complexes of R-modules. As an application, we establish some relations between formal local cohomology, local homology, local cohomology and local…
For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a…
This paper is devoted to the more elementary aspects of the contramodule story, and can be viewed as an extended introduction to the more technically complicated arXiv:1503.05523. Reduced cotorsion abelian groups form an abelian category,…
A commutative ring is said to have ITI with respect to an ideal a if the a-torsion functor preserves injectivity of modules. Classes of rings with ITI or without ITI with respect to certain sets of ideals are identified. Behaviour of ITI…
Recently, tilting and cotilting classes over commutative noetherian rings have been classified in arXiv:1203.0907. We proceed and, for each n-cotilting class C, construct an n-cotilting module inducing C by an iteration of injective…
We introduce the notion of a contramodule over a cocommutative coalgebra in a presentably symmetric monoidal $\infty$-category $\mathcal{C}$, and prove a symmetric monoidal $\infty$-categorical version of Positselski's comodule-contramodule…
In this paper, we characterize several properties of commutative notherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application we prove that…
This article concerns linear parts of minimal resolutions of finitely generated modules over commutative local, or graded rings. The focus is on the linearity defect of a module, which marks the point after which the linear part of its…
We present applications of contramodule techniques to the Enochs conjecture about covers and direct limits, both in the categorical tilting context and beyond. In the $n$-tilting-cotilting correspondence situation, if $\mathsf A$ is a…