Relative homological algebra in the category of quasi-coherent sheaves

In this paper, we prove the existence of a flat cover and of a cotorsion envelope for any quasi-coherent sheaf over a scheme (X,O_X). Indeed we prove something more general. We define what it is understood by the category of quasi-coherent R-modules, where R is a representation by rings of a quiver Q, and we prove the existence of a flat cover and a cotorsion envelope for quasi-coherent R-modules. Then we use the fact that the category of quasi-coherent sheaves on (X,O_X) is equivalent to the category of quasi-coherent R-modules for some Q and R to get our result.     

On the finiteness of a field-theoretic invariant for commutative rings

If T is a (commutative unital) ring extension of a ring R, then Λ(T /R) is defined to be the supremum of the lengths of chains of intermediate fields between R _P /P R _P and T _Q /QT _Q , where Q varies over Spec(T) and P:= Q ∩ R. The invariant σ(R):= sup Λ(T/R), where T varies over all the overrings of R. It is proved that if Λ(S/R)< ∞ for all rings S between R and T, then (R, T) is an INC-pair; and that if (R, T) is an INC-pair such that T is a finite-type R-algebra, then Λ(T/R)< ∞. Consequently, if R is a domain with σ(R) < ∞, then the integral closure of R is a Prüfer domain; and if R is a Noetherian G-domain, then σ(R) < ∞, with examples showing that σ(R) can be any given non-negative integer. Other examples include that of a onedimensional Noetherian locally pseudo-valuation domain R with σ(R)=∞.     

Cotorsion Theories Cogenerated by a Torsionfree Class

Let R be a right perfect ring, and let (?, 𝒞) be a cotorsion theory in the category of right R-modules ? _R . In this article, it is shown that every right R-module has a superfluous ?-cover if and only if there exists a torsion theory (𝒜, ?) such that (?, 𝒞) is cogenerated by ?. It is also proved that if (𝒜, ?) is a cosplitting torsion theory, then (^⊥?, (^⊥?)^⊥) is a hereditary and complete cotorsion theory, and if (𝒜, ?) is a centrally splitting torsion theory, then (^⊥?, (^⊥?)^⊥) is a hereditary and perfect cotorsion theory.     

Weighted sums of squares in local rings and their completions, I

Let A be an excellent local ring of real dimension ≤2, let T be a finitely generated preordering in A, and let ${\widehat{T}}We develop a structure theory for two classes of infinite dimensional modules over tame hereditary algebras: the Baer modules, and the Mittag-Leffler ones. A right R-module M is called Baer if ${{\rm Ext}^{1}_{R}\,(M, T)\,=\,0}We develop a structure theory for two classes of infinite dimensional modules over tame hereditary algebras: the Baer modules, and the Mittag-Leffler ones. A right R-module M is called Baer if Ext¹_R (M, T) = 0{{\rm Ext}^{1}_{R}\,(M, T)\,=\,0} for all torsion modules T, and M is Mittag-Leffler in case the canonical map M?_R ?_{i ? I}Q_i? ?_{i ? I}(M?_RQ_i){M\otimes_R \prod _{i\in I}Q_i\to \prod _{i\in I}(M\otimes_RQ_i)} is injective where {Q_i}_{i ? I}{\{Q_i\}_{i\in I}} are arbitrary left R-modules. We show that a module M is Baer iff M is p-filtered where p is the preprojective component of the tame hereditary algebra R. We apply this to prove that the universal localization of a Baer module is projective in case we localize with respect to a complete tube. Using infinite dimensional tilting theory we then obtain a structure result showing that Baer modules are more complex then the (infinite dimensional) preprojective modules. In the final section, we give a complete classification of the Mittag-Leffler modules.     

Cotorsion pairs generated by modules of bounded projective dimension

We apply the theory of cotorsion pairs to study closure properties of classes of modules with finite projective dimension with respect to direct limit operations and to filtrations. We also prove that if the ring is an order in an ℵ₀-noetherian ring Q of little finitistic dimension 0, then the cotorsion pair generated by the modules of projective dimension at most one is of finite type if and only if Q has big finitistic dimension 0. This applies, for example, to semiprime Goldie rings and to Cohen Macaulay noetherian commutative rings.     

Gorenstein injective modules and Auslander categories

In this paper, we study Gorenstein injective modules over a local Noetherian ring R. For an R-module M, we show that M is Gorenstein injective if and only if Hom _R (Ȓ,M) belongs to Auslander category B(Ȓ), M is cotorsion and Ext ⁱ _R (E,M) = 0 for all injective R-modules E and all i > 0. Received: 24 August 2006 Revised: 30 October 2006     

Starke Kotorsionsmoduln

Suppose that $(R, m)$ is a noetherian local ring and that E is the injective hull of the residue class field $R/m$. Suppose that M is an R-module, $M^0 = {\mbox{\rm Hom}}_R (M, E)$ is the Matlis dual of M and ${\mbox{\rm Coass}(M)} = {\mbox{\rm Ass} (M^0)}$. M is called cotorsion if every prime ideal ${\frak p} \in {\mbox{\rm Coass}}(M)$ is regular; it is called strongly cotorsion if $\cap {\rm Coass}(M)$ is regular. In the first part, we completely describe the structure of the strongly cotorsion modules over R, use this to determine the coassociated prime ideals of the bidual $M^{00}$, and give in the second part criteria for a cotorsion module being strongly cotorsion. Received: 7 March 2002     

A WEAKER FORM OF BAER'S SPLITTING PROBLEM OVER VALUATION DOMAINS

Abstract

Eklof-Fuchs [3] have shown that over an arbitrary valuation domain R, the modules B which satisfy Ext 1/R (B,T) = 0 for all torsion R-modules T are precisely the free R-modules. Here we modify the problem and describe all R-modules B for which Ext 1/R (B, T) vanishes for all bounded and for all divisible torsion R-modules T. It is well known that if R is a descrete rank one valuation domain then all torsion—free R-modules B have this property.     

Gorenstein injective and strongly cotorsion modules

By investigating the properties of some special covers and envelopes of modules, we prove that if R is a Gorenstein ring with the injective envelope of _R R flat, then a left R-module is Gorenstein injective if and only if it is strongly cotorsion, and a right R-module is Gorenstein flat if and only if it is strongly torsionfree. As a consequence, we get that for an Auslander-Gorenstein ring R, a left R-module is Gorenstein injective (resp. flat) if and only if it is strongly cotorsion (resp. torsionfree).     

The phantom cover of a module

A morphism of left R-modules is a phantom morphism if for any morphism , with A finitely presented, the composition fg factors through a projective module. Equivalently, Tor₁(X,f)=0 for every right R-module X. It is proved that every R-module possesses a phantom cover, whose kernel is pure injective.If is the category of finitely presented right R-modules modulo projectives, then the association M?Tor₁(−,M) is a functor from the category of left R-modules to that of the flat functors on . The phantom cover is used to characterize when this functor is faithful or full. It is faithful if and only if the flat cover of every module has a pure injective kernel; this is equivalent to the flat cover being the phantom cover. The question of fullness is only reasonable when the functor is restricted to the subcategory of cotorsion modules. This restriction is full if and only if every phantom cover of a cotorsion module is pure injective.     

The countable Telescope Conjecture for module categories

By the Telescope Conjecture for Module Categories, we mean the following claim: “Let R be any ring and (A,B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A,B) is of finite type.”We prove a modification of this conjecture with the word ‘finite’ replaced by ‘countable.’ We show that a hereditary cotorsion pair (A,B) of modules over an arbitrary ring R is generated by a set of strongly countably presented modules provided that B is closed under unions of well-ordered chains. We also characterize the modules in B and the countably presented modules in A in terms of morphisms between finitely presented modules, and show that (A,B) is cogenerated by a single pure-injective module provided that A is closed under direct limits. Then we move our attention to strong analogies between cotorsion pairs in module categories and localizing pairs in compactly generated triangulated categories.     

Compact nilpotent groups

Herrlich, Salicrup, and Strecker [HSS] have shown that Kuratowski’s Theorem, namely, that a space X is compact if and only if for every space Y, the projection π₂X×Y → Y is a closed map, can be interpreted categorically, and hence generalized and applied in a wider settin than the category of topological spaces. The first author, in an earlier paperj [Fl] , applied this categorical interpretation of compactness in categories of R-modules, obtaining a theory of compactness for each torsion theory T. In the case of the category of abelian groups and a hereditary torsion theory T, a group G is T-compact provided G/TG is a T-injective. In this note, the notion of compact is extended to the categories of hypercentral groups, nilpotent groups, and of FC-groups; it is shown that if T _π denotes the π-torsion subgroup functor for a set of primes π, then a group G is T _π-compact provided G/T _πG is π-complete, extending the abelian group result in a natural way.     

Near-rings with no non-zero nilpotent two-sidedR-subsets

It has been proved that, ifR is a near-ring with no non-zero nilpotent two-sidedR-subsets and if the annihilator of any non-zero ideal is contained in some maximal annihilator, thenR is a subdirect sum of strictly prime near-rings. Moreover, ifR is a near-ring with no non-zero nilpotent two-sidedR-subsets and satisfying a.c.c. or d.c.c. on annihilating ideals of the form Ann (Q), whereQ is an ideal ofR, thenR is a finite subdirect sum of strictly prime near-rings. It is also proved that, ifR is a regular and right duo near-ring that satisfies a.c.c. (or d.c.c.) on annihilating ideals of the form Ann (Q), whereQ is an ideal ofR, thenR is a finite direct sum of near-ringsR _i (1 i n) where eachR _i is simple and strictly prime.     

Torsion-free covers

This paper studies the existence and properties of a torsion-free cover with respect to a faithful hereditary torsion theory (T, F) of modules over a ring with unity. A direct sum of a finite number of torsion-free covers of modules is the torsion-free cover of the direct sum of the modules. The concept of aT-near homomorphism, which generalizes Enochs’ definition of a neat submodule, is introduced and studied. This allows the generalization of a result of Enochs on liftings of homomorphisms. Hereditary torsion theories for which every module has a torsion-free cover are called universally covering. If the inclusion map ofR into the appropriate quotient ringQ is a left localization in the sense of Silver, the problem of the existence of universally-covering torsion theories can be reduced to the caseR=Q. As a consequence, many sufficient conditions for a hereditary torsion theory to be universally covering are obtained. For a universally-covering hereditary torsion theory (T, F), the following conditions are equivalent: (1) the product ofF-neat homomorphisms is alwaysT-neat; (2) the product of torsion-free covers is alwaysT-neat; (3) every nonzero module inT has a nonzero socle.     

Comparing First Order Theories of Modules over Group Rings

We consider R‐torsionfree modules over group rings RG, where R is a Dedekind domain and G is a finite group. We compare the (first order) theory T of al these modules and the theory T₀ of the finitely generated ones (so of RG‐lattices). It is easy to realize that they are equal iff R is a field. The obstruction is the existence of R‐divisible R‐torsionfree RG‐modules. Accordingly we consider R‐reduced R‐torsionfree RG‐modules for a local R. We show that the key conditions ensuring that their theory equals T₀ are: (1) RG‐lattices have a finite representation type; (2) each attice over the completion R̂G is isomorphic to the completion of some RG‐lattice.Some related questions are discussed.     

Gorenstein injective envelopes and covers over two sided noetherian rings

We 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.     

Sigma-cotorsion rings

It is proved that a ring R is right perfect if and only if it is Σ-cotorsion as a right module over itself. Several other conditions are shown to be equivalent. For example, that every pure submodule of a free right R-module is strongly pure-essential in a direct summand, or that the countable direct sum of the cotorsion envelope of R_R is cotorsion.If C_R is a flat Σ-cotorsion module, then C_R admits a decomposition into a direct sum of indecomposable modules with a local endomorphism ring. The Jacobson radical J(S) of the endomorphism ring S=End_RC is characterized as the maximum ideal that acts locally T-nilpotently on C_R. If R is semilocal and C=C(R), then the radical consists of those endomorphisms whose image is contained in CJ.     

On the cotorsion hull in torsion theory

The concept of cotorsion was first introduced in the category of Abelian groups (Fuchs [l] ). Matlis [5], studied the cotorsion modules over integral domains. Henderson and Orzech [4], Fuchs [2], and Mines [6], replaced the classical notion of torsion by a torsion theory (T,F) on R-mod, where R is not necessarily commutative ring. In this paper we find conditions on the torsion theory in order to get a T-cotorsion hull for every module. This generalizes the result of Fuchs [2].     

The unique rank property among gabriel localizations

It is not uncommon for rings to have Gabriel localizations which do not possess the unique rank (UR) property although the rings themselves do have UR. We show that if F is a Gabriel filter of right ideals on a ring R and R_F is the corresponding Gabriel localization, then free R_F?modules of ranks m and n are isomorphic if and only if some F-dense submodule of (R/T_f(R))^m is isomorphic to some F-dense submodule of (R/T_F(R))ⁿ, where T_F(R) is the F-torsion ideal of R.     

Two results concerning symmetric bi-derivations on prime rings

Summary LetR be a ring. A bi-additive symmetric mappingD(.,.): R × R R is called a symmetric bi-derivation if, for any fixedy R, the mappingx D(x, y) is a derivation. The purpose of this paper is to prove two results concerning symmetric bi-derivations on prime rings. The first result states that, ifD ₁ andD ₂ are symmetric bi-derivations on a prime ring of characteristic different from two and three such thatD ₁(x, x)D ₂(x,x) = 0 holds for allx R, then eitherD ₁ = 0 orD ₂ = 0. The second result proves that the existence of a nonzero symmetric bi-derivation on a prime ring of characteristic different from two and three, such that [[D(x, x),x],x] Z(R) holds for allx R, whereZ(R) denotes the center ofR, forcesR to be commutative.