We investigate injective dimension of $F$-finite $F$-modules in characteristic $p$ and holonomic $D$-modules in characteristic 0. One of our main results is the following. If, either $R$ is a regular ring of finite type over an infinite field of characteristic $p>0$ and $M$ is an $F_R$-finite $F_R$-module, or $R=k[x_1,\dots,x_n]$ where $k$ is a field of characteristic 0 and $M$ is a holonomic $D(R,k)$-module, then the injective dimension of $M$ is the same as the dimension of its support.
Let $M$ be either an $F$-finite $F$-module over a noetherian regular ring of characteristic $p > 0$ or a holonomic $D$-module over a formal power series ring over a field of characteristic zero. We prove that $\injdim_R M$ enjoys a dichotomy property: it has only two possible values, $\dim \Supp_R M - 1$ or $\dim \Supp_R M$.
Let $R$ be a regular local ring containing a field $k$ of characteristic $p$ and $M$ be an $\mathscr{F}$-finite module. In this paper, we study the injective dimension of $M$. We prove that $\operatorname{dim}_R(M) -1 \leq\operatorname{inj.dim}_R(M)$. If $R = k[[x_1,\ldots,x_n]]$ where $k$ is a field of characteristic $0$ we prove the analogous result for a class of holonomic $\mathscr{D}$-modules which contains local cohomology modules.
In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of Gorenstein projective, injective, and flat modules and the notion of the usual projective, injective, and flat modules.
Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, we are concerned with the tensor and torsion product of $C$-injective modules. Firstly, it is shown that the tensor product of any two $C$-injective $R$-modules is $C$-injective if and only if the injective hull of $C$ is $C$-flat. Secondly, it is proved that $C$ is a pointwise dualizing $R$-module if and only if $Tor^R_i(M,N)$ is $C$-injective for all $C$-injective $R$-modules $M$ and $N$, and all $ i \geq 0$. These results recover the celebrated theorems of Enochs and Jenda \cite{EJ2}.
Let R be a ring, X a class of R-modules and n>1 an integer. In this paper, via special finitely presented modules, we introduce the concepts of Gorenstein n-X-injective and n-X-flat modules. And aside, we obtain some equivalent properties of these modules on n-X-coherent rings. Then, we investigate the relations among Gorenstein n-X-injective, n-X-flat, injective and flat modules on X-FC-rings (i.e., self n-X-injective and n-X-coherent rings). Several known results are generalized to this new context
In this note, finite modules locally of finite injective dimension over commutative Noetherian rings are characterized in terms of vanishing of Ext modules.
This paper generalize the idea of the authors in \cite{Bennis and Mahdou1}. Namely, we define and study a particular case of modules with Gorenstein projective, injective, and flat dimension less or equal than $n\geq 0$, which we call, respectively, strongly n-Gorenstein projective, injective and flat modules. These three classes of modules give us a new characterization of the first modules, and they are a generalization of the notions of strongly Gorenstein projective, injective, and flat modules respectively.
We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again injective. We characterize the class of one-dimensional local rings with this property and show that it includes all one-dimensional F-pure rings.
Let R be a commutative Noetherian ring and A an Artinian R-module. We prove that if A has finite Gorenstein injective dimension, then A possesses a Gorenstein injective envelope which is special and Artinian. This, in particular, yields that over a Gorenstein ring any Artinian module possesses a Gorenstein injective envelope which is special and Artinian.
Let $\text{Red}(M)$ be the sum of all reduced submodules of a module $M$. For modules over commutative rings, $\text{Soc}(M)\subseteq \text{Red}(M)$. By drawing motivation from how $\text{Soc}$-injective modules were defined by Amin et. al. in \cite{amin2005}, we introduce $\text{Red}$-injective modules, study their properties and use them to characterize quasi-Frobenius rings and $V$-rings.
In this paper, the notions of nonnil-injective modules and nonnil-FP-injective modules are introduced and studied. Especially, we show that a $ϕ$-ring $R$ is an integral domain if and only if any nonnil-injective (resp., nonnil-FP-injective) module $R$-module is injective (resp., FP-injective). Some new characterizations of $ϕ$-von Neumann regular rings, nonnil-Notherian rings and nonnil-coherent rings are given. We finally characterize $ϕ$-Dedekind rings and $ϕ$-\Prufer\ rings in terms of $ϕ$-flat modules, nonnil-injective modules and nonnil-FP-injective modules.
Let R be a ring. In this paper, Gorenstein (n,d)-flat and (n,d)-Gorenstein (n,d)-injective modules and some of their basic properties are studied. Moreover, some characterizations of rings over Gorenstein (n,d)-flat and (n,d)-Gorenstein (n,d)-injective modules are given. Also, some known results can be obtained as corollaries
In this note, we study commutative Noetherian local rings having finitely generated modules of finite Gorenstein injective dimension. In particular, we consider whether such rings are Cohen-Macaulay.
Let $R$ a commutative ring, $\mathfrak{a} \subset R$ an ideal, $I$ an injective $R$-module and $S \subset R$ a multiplicatively closed set. When $R$ is Noetherian it is well-known that the $\mathfrak{a}$-torsion sub-module $Γ_{\mathfrak{a}}(I)$, the factor module $I/Γ_{\mathfrak{a}}(I)$ and the localization $I_S$ are again injective $R$-modules. We investigate these properties in the case of a commutative ring $R$ by means of a notion of relatively-$\mathfrak{a}$-injective $R$-modules. In particular we get another characterization of weakly pro-regular sequences in terms of relatively injectiv…
It is proven that the weak dimension of each FP-injective module over a chain ring which is either Archimedean or not semicoherent is less or equal to 2.
Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its completion, but it is close: It is a special case of our main theorem that in this setting, an R-module N with Ext^i(S,N)=0 for all i>0 is injective if Hom(S,N) is an injective S-module.
In this paper, we first introduce and study the notions of strongly $ϕ$-flat modules and strongly nonnil-injective modules. And then, we investigate the homology dimensions of modules and rings in terms of these two notions. Finally we give a new homological characterizations of $ϕ$-Dedekind rings and $ϕ$-\Prufer\ rings.
The structure of cyclically pure injective modules over a commutative ring $R$ is investigated and several characterizations for them are presented. In particular, we prove that a module $D$ is cyclically pure injective if and only if $D$ is isomorphic to a direct summand of a module of the form $\Hom_R(L,E)$ where $L$ is the direct sum of a family of finitely presented cyclic modules and $E$ is an injective module. Also, we prove that over a quasi-complete Noetherian ring $(R,\fm)$ an $R$-module $D$ is cyclically pure injective if and only if there is a family $\{C_λ\}_{λ\in Λ}$ of cocyclic m…
We characterize Ding modules and complexes over Ding-Chen rings. We show that over a Ding-Chen ring R, the Ding projective (resp. Ding injective, resp. Ding flat) R-modules coincide with the Gorenstein projective (resp. Gorenstein injective, resp. Gorenstein flat) modules, which in turn are nothing more than modules appearing as a cycle of an exact complex of projective (resp. injective, resp. flat) modules. We prove a similar characterization for chain complexes of R-modules: A complex is Ding projective (resp. Ding injective, resp. Ding flat) if and only if each component is Ding projective …
Let $R$ be a commutative ring with identity and $D$ an $R$-module. It is shown that if $D$ is pure injective, then $D$ is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows that if $R$ is Noetherian, then $D$ is pure injective if and only if $D$ is isomorphic to a direct summand of the direct product of a family of Artinian modules. Moreover, it is proved that $D$ is pure injective if and only if there is a family $\{T_λ\}_{λ\in Λ}$ of $R$-algebras which are finitely presented as $R$-modules, such that $D$ is isomorphic to a d…
We study binomial D-modules, which generalize A-hypergeometric systems. We determine explicitly their singular loci and provide three characterizations of their holonomicity. The first of these states that a binomial D-module is holonomic if and only if its corresponding singular locus is proper. The second characterization is an equivalence of holonomicity and L-holonomicity for these systems. The third refines the second by giving more detailed information about the L-characteristic variety of a non-holonomic binomial D-module.
Let $R \to S$ be a local ring homomorphism and $N$ a finitely generated $S$-module. We prove that if the Gorenstein injective dimension of $N$ over $R$ is finite, then it equals the depth of $R$.
It is proven that each indecomposable injective module over a valuation domain $R$ is polyserial if and only if each maximal immediate extension $\widehat{R}$ of $R$ is of finite rank over the completion $\widetilde{R}$ of $R$ in the $R$-topology. In this case, for each indecomposable injective module $E$, the following invariants are finite and equal: its Malcev rank, its Fleischer rank and its dual Goldie dimension. Similar results are obtained for chain rings satisfying some additional properties. It is also shown that each indecomposable injective module over one Krull-dimensional local No…
Over a noetherian ring, it is a classic result of Matlis that injective modules admit direct sum decompositions into injective hulls of quotients by prime ideals. We show that over a Cohen-Macaulay ring admitting a dualizing module, Gorenstein injective modules admit similar filtrations. We also investigate Tor-modules of Gorenstein injective modules over such rings. This extends work of Enochs and Huang over Gorenstein rings. Furthermore, we give examples showing the following: (1) the class of Gorenstein injective $R$-modules need not be closed under tensor products, even when $R$ is local a…
Let R be a ring and n,k be two non-negative integers. As an extension of several known notions, we introduce and study (n,k)-weak cotorsion modules using the class of right R-modules with n-weak flat dimensions at most k. Various examples and applications are also given.
We give a sufficient condition for the class of Gorenstein injective modules be precovering: if $R$ is right noetherian and if the class of Gorenstein injective modules, $\mathcal{GI}$, is closed under filtrations, then $\mathcal{GI}$ is precovering in $R-Mod$. The converse is also true when we assume that $\mathcal{GI}$ is covering. We extend our results to the category of complexes. We prove that if the class of Gorenstein injective modules is closed under filtrations then the class of Gorenstein injective complexes is precovering in $Ch(R)$. We also give a sufficient condition for the exist…
We study Gorenstein dimension and grade of a module $M$ over a filtered ring whose assosiated graded ring is a commutative Noetherian ring. An equality or an inequality between these invariants of a filtered module and its associated graded module is the most valuable property for an investigation of filtered rings. We prove an inequality G-dim$M\leq{G-dim gr}M$ and an equality ${\rm grade}M={\rm grade gr}M$, whenever Gorenstein dimension of ${\rm gr}M$ is finite (Theorems 2.3 and 2.8). We would say that the use of G-dimension adds a new viewpoint for studying filtered rings and modules. We ap…
In this expository paper, we give a complete proof of van den Essen's theorem that the de Rham cohomology spaces of a holonomic D-module are finite-dimensional in the case of a formal power series ring over a field of characteristic zero. This proof requires results from at least five of van den Essen's papers as well as his unpublished thesis, and until now has not been available in a self-contained document.
In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in prime characteristic. In each of these cases, the ring itself, its localizations, and its local cohomology modules are holonomic. We also show that holonomic D-modules, in this context, have finite length. We obtain these results using a more general version of Bernstein filtrations.
Let $R$ be a ring, and $n$ a fixed nonnegative integer. An $R$-module $W$ is called $L_{n}$-injective if ${\rm Ext}_{R}^{1}(M,W)=0$ for any $R$-module $M$ with flat dimension at most $n$. In this paper, we prove first that ($\mathcal{F}_{n},\mathcal{L}_{n}$) is a complete hereditary cotorsion theory, where $\mathcal{F}_n$ (resp. $\mathcal{L}_n$) denotes the class of all $R$-modules with flat dimension at most $n$ (resp. $L_{n}$-injective $R$-modules). Then we introduce the $L_{n}$-injective dimension of a module and $L_n$-global dimension of a ring. Finally, over rings with weak global dimensi…
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.
It is shown that a ring is left semihereditary if and only each homomorphic image of its injective hull as left module is FP-injective. It is also proven that a commutative ring R is reduced and arithmetical if and only if E/U if FP-injective for any FP-injective R-module E and for any submodule U of finite Goldie dimension. A characterization of commutative rings for which each module of finite Goldie dimension is of injective dimension at most one is given. Let R be a chain ring and Z its subset of zerodivisors. It is proven that E/U is FP-injective for each FP-injective R-module E and each …
The principle "Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra" is given in [3]. There is a remarkable body of evidence supporting this claim (cf. [2] and [3]). Perhaps one of the most glaring exceptions is provided by the fact that tensor products of Gorenstein projective modules need not be Gorenstein projective, even over Gorenstein rings. So perhaps it is surprising that tensor products of Gorenstein injective modules over Gorenstein rings of finite Krull dimension are Gorenstein injective. Our main result is in support of the princ…
Let $R$ be a ring and $n$, $k$ two non-negative integers. In this paper, we introduce the concepts of $n$-weak injective and $n$-weak flat modules and via the notion of special super finitely presented modules, we obtain some characterizations of these modules. We also investigate two classes of modules with richer contents, namely $\mathcal{WI}_k^n(R)$ and $\mathcal{WF}_k^n(R^{op})$ which are larger than that of modules with weak injective and weak flat dimensions less than or equal to $k$. Then on any arbitrary ring, we study the existence of $\mathcal{WI}_k^n(R)$ and $\mathcal{WF}_k^n(R^{op…
Let R be a ring (not necessarily commutative). A left R-module is said to be cotorsion if Ext 1 R (G, M) = 0 for any flat R-module G. It is well known that each pure-injective left R-module is cotorsion, but the converse does not hold: for instance, if R is left perfect but not left pure-semisimple then each left R-module is cotorsion but there exist non-pure-injective left modules. The aim of this paper is to describe the class C of commutative rings R for which each cotorsion R-module is pure-injective. It is easy to see that C contains the class of von Neumann regular rings and the one of p…
Let $R$ be a regular domain containing a field $K$ of characteristic zero and let $D$ be the ring of $K$-linear differential operators on $R$. Let $E$ be an injective left $D$-module. We ask the question, when is $E$ injective as a $R$-module? We show that this is indeed the case when $R = K[X_1,...,X_n]$ or $R = K[[X_1,...,X_n]]$ or $R = \mathbb{C}\{z_1,...,z_n\}$. We also give an application of our result to local cohomology.
A polynomial endomorphism $σ\in {\rm End}_K(P_n)$ is called a Jacobian map if its Jacobian is a nonzero scalar (the field has zero characteristic). Each Jacobian map $σ$ is extended to an endomorphism $σ$ of the Weyl algebra $A_n$. The Jacobian Conjecture (JC) says that every Jacobian map is an automorphism. Clearly, the Jacobian Conjecture is true iff the twisted (by $σ$) $P_n$-module ${}^σ P_n$ is 1-generated for all Jacobian maps $σ$. It is shown that the $A_n$-module ${}^σ P_n$ is 1-generated for all Jacobian maps $σ$. Furthermore, the $A_n$-module ${}^σ P_n$ is holonomic and as a result h…
We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.
