Cotorsion Modules Research Articles

Triviality criteria for unbounded complexes

We study properties of modules that appear as syzygies of acyclic complexes of projective, injective, flat or flat-cotorsion modules and obtain criteria for these complexes to be contractible or totally acyclic. Our results illustrate the importance of strongly fp-injective modules in the study of these properties. We examine implications of the existence of complete resolutions (in a certain weak sense) and the finiteness of the Gorenstein projective dimension of pure-projective modules. We also use the orthogonality in the homotopy category between complexes of flat modules and pure acyclic complexes of cotorsion modules, in order to study the syzygies of acyclic complexes of flat modules. Finally, we present some applications of our results to group rings, regarding complete resolutions and cohomological periodicity.

Relative injective modules, superstability and noetherian categories

We study classes of modules closed under direct sums, [Formula: see text]-submodules and [Formula: see text]-epimorphic images where [Formula: see text] is either the class of embeddings, RD-embeddings or pure embeddings. We show that the [Formula: see text]-injective modules of theses classes satisfy a Baer-like criterion. In particular, injective modules, RD-injective modules, pure injective modules, flat cotorsion modules and [Formula: see text]-torsion pure injective modules satisfy this criterion. The argument presented is a model theoretic one. We use in an essential way stable independence relations which generalize Shelah’s non-forking to abstract elementary classes. We show that the classical model theoretic notion of superstability is equivalent to the algebraic notion of a noetherian category for these classes. We use this equivalence to characterize noetherian rings, pure semisimple rings, perfect rings and finite products of finite rings and artinian valuation rings via superstability.

A note on Matlis localizations

Let R be a commutative ring and S a multiplicative subset of R. A ring R is called an S-Matlis ring if pd R R S ≤ 1 . In this note, we give some new characterizations of S-Matlis rings in terms of S-strongly flat modules, S-weakly cotorsion modules and S-h-divisible modules.

Gorenstein (ℒ,𝒜)-flat dimension of complexes and relative singularity categories

Assume that the class of all Gorenstein [Formula: see text]-flat modules is closed under extensions. We define a notion of Gorenstein [Formula: see text]-flat dimension for complexes and consider equivalent characterizations of the finiteness of Gorenstein [Formula: see text]-flat dimension of complexes. Furthermore, in addition, assume that [Formula: see text] is a right coherent ring. We construct the relative singularity category with respect to Gorenstein [Formula: see text]-flat modules, as the triangulated quotient of the triangulated subcategory of [Formula: see text] consisting of all complexes with both finite Gorenstein [Formula: see text]-flat dimension and cotorsion dimension by the bounded homotopy category of flat-cotorsion modules, and show that the relative singularity category is triangulated equivalent to the stable category of the Frobenius category consisting of all Gorenstein [Formula: see text]-flat and cotorsion modules.

$S$-cotorsion modules and dimensions

Let $R$ be a ring, $S$ a multiplicative subset of $R$. An $R$-module $M$ is said to be $u$-$S$-flat ($u$- always abbreviates uniformly) if ${\rm Tor}^R_1 (M, N)$ is $u$-$S$-torsion $R$-module for all $R$-modules $N$. In this paper, we introduce and study the concept of $S$-cotorsion module which is in some way a generalization of the notion of cotorsion module. An $R$-module $M$ is said to be $S$-cotorsion if ${\rm Ext}^1_R(F,M)=0$ for any $u$-$S$-flat module $F$. This new class of modules will be used to characterize $u$-$S$-von Neumann regular rings. Hence, we introduce the $S$-cotorsion dimensions of modules and rings. The relations between the introduced dimensions and other (classical) homological dimensions are discussed. As applications, we give a new upper bound on the global dimension of rings.

Flat cotorsion modules over Noether algebras

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 consequence, we show that pointwise Matlis duality gives a bijective correspondence between the isoclasses of indecomposable injective left modules and the isoclasses of indecomposable flat cotorsion right modules. This correspondence is an explicit realization of Herzog's homeomorphism induced from elementary duality of Ziegler spectra.

Singular compactness and definability for $$\Sigma $$-cotorsion and Gorenstein modules

We introduce a general version of singular compactness theorem which makes it possible to show that being a $\Sigma$-cotorsion module is a property of the complete theory of the module. As an application of the powerful tools developed along the way, we give a new description of Gorenstein flat modules which implies that, regardless of the ring, the class of all Gorenstein flat modules forms the left-hand class of a perfect cotorsion pair. We also prove the dual result for Gorenstein injective modules.

Periodic Modules and Acyclic Complexes

We study the behaviour of modules $M$ that fit into a short exact sequence $0\to M\to C\to M\to 0$, where $C$ belongs to a class of modules $\mathcal C$, the so-called $\mathcal C$-periodic modules. We find a rather general framework to improve and generalize some well-known results of Benson and Goodearl and Simson. In the second part we will combine techniques of hereditary cotorsion pairs and presentation of direct limits, to conclude, among other applications, that if $M$ is any module and $C$ is cotorsion, then $M$ will be also cotorsion. This will lead to some meaningful consequences in the category $\textrm{Ch}(R)$ of unbounded chain complexes and in Gorenstein homological algebra. For example we show that every acyclic complex of cotorsion modules has cotorsion cycles, and more generally, every map $F\to C$ where $C$ is a complex of cotorsion modules and $F$ is an acyclic complex of flat cycles, is null-homotopic. In other words, every complex of cotorsion modules is dg-cotorsion.

Injective stabilization of additive functors, I. Preliminaries

This paper is the first one in a series of three dealing with the concept of injective stabilization of the tensor product and its applications. Its primary goal is to collect known facts and establish a basic operational calculus that will be used in the subsequent parts. This is done in greater generality than is necessary for the stated goal. Several results of independent interest are also established. They include, among other things, connections with satellites, an explicit construction of the stabilization of a finitely presented functor, various exactness properties of the injectively stable functors, a construction, from a functor and a short exact sequence, of a doubly-infinite exact sequence by splicing the injective stabilization of the functor and its derived functors. When specialized to the tensor product with a finitely presented module, the injective stabilization with coefficients in the ring is isomorphic to the 1-torsion functor. The Auslander-Reiten formula is extended to a more general formula, which holds for arbitrary (i.e., not necessarily finite) modules over arbitrary associative rings with identity. Weakening of the assumptions in the theorems of Eilenberg and Watts leads to characterizations of the requisite zeroth derived functors.The subsequent papers, provide applications of the developed techniques. Part II deals with new notions of torsion module and cotorsion module of a module. This is done for arbitrary modules over arbitrary rings. Part III introduces a new concept, called the asymptotic stabilization of the tensor product. The result is closely related to different variants of stable homology (these are generalizations of Tate homology to arbitrary rings). A comparison transformation from Vogel homology to the asymptotic stabilization of the tensor product is constructed and shown to be epic.

On copure projective and cotorsion modules

Abstract Let R be an IF ring, or be a ring such that each right R-module has a monomorphic flat envelope and the class of flat modules is coresolving. We firstly give a characterization of copure projective and cotorsion modules by lifting and extension diagrams, which implies that the classes of copure projective and cotorsion modules have some balanced properties. Then, a relative right derived functor is introduced to investigate copure projective and cotorsion dimensions of modules. As applications, some new characterizations of QF rings, perfect rings and noetherian rings are given.

On n-Weak Cotorsion Modules

Let R be a ring and n a fixed non-negative integer. In this paper, n-weak cotorsion modules are introduced and studied. A right R-module N is called n-weak cotorsion module if $$Ext^1_R(F,N)=0$$ for any right R-module F with weak flat dimension at most n. Also some characterizations of rings with finite super finitely presented dimensions are given.

On strongly flat and weakly cotorsion modules

The aim of this paper is to describe the classes of strongly flat and weakly cotorsion modules with respect to a multiplicative subset or a finite collection of multiplicative subsets in a commutative ring. The strongly flat modules are characterized by a set of conditions, while the weakly cotorsion modules are produced by a generation procedure. Passing to the collection of all countable multiplicative subsets, we define quite flat and almost cotorsion modules, and show that, over a Noetherian ring with countable spectrum, all flat modules are quite flat and all almost cotorsion modules are cotorsion.

Weak Gorenstein Cotorsion Modules

Let R be a ring and let 𝒮𝒢ℱ be the class of strongly Gorenstein at right R-modules. We call a right R-module M a weak Gorenstein cotorsion module if M is in the class 𝒮𝒢ℱ⊥. Properties of weak Gorenstein cotorsion modules are investigated. It is shown that weak Gorenstein cotorsion R-modules over coherent rings are indeed weaker than Gorenstein cotorsion R-modules. Weak Gorenstein cotorsion dimension for modules and rings are also studied.

Triangulated Matlis equivalence

This paper is a sequel to [L. Positselski, Dedualizing complexes and MGM duality, J. Pure Appl. Algebra 220(12) (2016) 3866–3909, arXiv:1503.05523 [math.CT]; Contraadjusted modules, contramodules, and reduced cotorsion modules, preprint (2016), arXiv:1605.03934 [math.CT]]. We extend the classical Harrison–Matlis module category equivalences to a triangulated equivalence between the derived categories of the abelian categories of torsion modules and contramodules over a Matlis domain. This generalizes to the case of any commutative ring [Formula: see text] with a fixed multiplicative system [Formula: see text] such that the [Formula: see text]-module [Formula: see text] has projective dimension [Formula: see text]. The latter equivalence connects complexes of [Formula: see text]-modules with [Formula: see text]-torsion and [Formula: see text]-contramodule cohomology modules. It takes a nicer form of an equivalence between the derived categories of abelian categories when [Formula: see text] consists of nonzero-divisors or the [Formula: see text]-torsion in [Formula: see text] is bounded.

PURE-INJECTIVITY FROM A DIFFERENT PERSPECTIVE

AbstractThe study of pure-injectivity is accessed from an alternative point of view. A module M is called pure-subinjective relative to a module N if for every pure extension K of N, every homomorphism N → M can be extended to a homomorphism K → M. The pure-subinjectivity domain of the module M is defined to be the class of modules N such that M is N-pure-subinjective. Basic properties of the notion of pure-subinjectivity are investigated. We obtain characterizations for various types of rings and modules, including absolutely pure (or, FP-injective) modules, von Neumann regular rings and (pure-) semisimple rings in terms of pure-subinjectivity domains. We also consider cotorsion modules, endomorphism rings of certain modules, and, for a module N, (pure) quotients of N-pure-subinjective modules.

Some results on n-coherent rings, n-hereditary rings and n-regular rings

Let R be a ring and n be a positive integer. R is called left n-coherent, if every n-presented left R-module is $$(n+1)$$ -presented. A left R-module M is called (n, 0)-injective if Ext $$^1_R(V, M)=0$$ for every n-presented module V, a right R-module F is called (n, 0)-flat if Tor $$^R_1(F, V)=0$$ for every n-presented module V, a left R-module M is called (n, 0)-projective if $$\mathrm{Ext}^1_R(M, N)=0$$ for any (n, 0)-injective module N, and a right R-module M is called (n, 0)-cotorsion if $$\mathrm{Ext}^1_R(F, M)=0$$ for any (n, 0)-flat module F. We give some characterizations and properties of (n, 0)-projective modules and (n, 0)-cotorsion modules. n-coherent rings, n-hereditary rings and n-regular rings are characterized by (n, 0)-projective modules, (n, 0)-cotorsion modules, (n, 0)-injective modules and (n, 0)-flat modules.

The cotorsion pair generated by the class of flat Mittag-Leffler modules

Let R be an associative ring with unit and denote by FM the class of all flat and Mittag-Leffler left R-modules. In [4] it is proved that, if R is countable, the orthogonal class of FM consists of all cotorsion modules. In this note we extend this result to the class of all rings R satisfying that each flat left R-module is filtered by totally ordered direct limits of projective modules. This class of rings contains all countable, left perfect and discrete valuation domains. Moreover, assuming that there do not exist inaccessible cardinals, we obtain that, over these rings, all flat left R-modules have finite projective dimension.

Gorenstein injective envelopes and covers over two sided noetherian rings

ABSTRACTWe prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we consider the connection between the Gorenstein injective modules and the strongly cotorsion modules. We prove that when the ring R is commutative noetherian of finite Krull dimension, the class of Gorenstein injective modules coincides with that of strongly cotorsion modules if and only if the ring R is in fact Gorenstein.

Cotorsion dimensions relative to semidualizing modules

Let [Formula: see text] be a semidualizing [Formula: see text]-module, where [Formula: see text] is a commutative ring. We first introduce the definition of [Formula: see text]-cotorsion modules, and obtain the properties of [Formula: see text]-cotorsion modules. As applications, we give some new characterizations for perfect rings. Second, we study the Foxby equivalences between the subclasses of the Auslander class and that of the Bass class with respect to [Formula: see text]. Finally, we discuss [Formula: see text]-cotorsion dimensions and investigate the transfer properties of strongly [Formula: see text]-cotorsion dimensions under almost excellent extensions.

The Poincaré index and the χy-characteristic of Hirzebruch

In the paper, we discuss several methods for computing the homology of contravariant and covariant versions of the classical De Rham complex on analytic spaces. Our approach is based on the theory of holomorphic and regular meromorphic differential forms, and is applicable in different settings depending on concrete types of varieties. Among other things, we describe how to compute by elementary calculations the homological index of vector fields and differential forms given on Cohen–Macaulay curves, graded normal surfaces, complete intersections and some others. In these situations, making use of ideas of X. Gómez-Mont, we derive explicit expressions for the local topological index of Poincaré and its generalizations. Furthermore, applying similar methods to the study of certain other complexes, we investigate some challenges, relating to the computation of classical topological–analytical invariants, such as the Euler characteristic of the Milnor fibre of an isolated singularity, the multiplicity of the discriminant of the versal deformation, the dimension of torsion and cotorsion modules, and so on.