Related papers: On the injective dimension of unit Cartier and Fro…

We show that the category of quasi-coherent Cartier crystals is equivalent to the category of unit Cartier modules on an F-finite noetherian ring R, and that these equivalent categories have finite global dimension, by showing that every…

Let R be a regular ring of characteristic p. Hochster showed that the category of Lyubeznik's F-modules has enough injectives, so that every F-module has an injective resolution in this category. We show that under mild conditions on R, for…

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…

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…

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…

It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully…

Let $R$ be a commutative Noetherian local ring. We prove that the finiteness of the injective dimension of a finitely generated $R$-module $C$ is determined by the existence of a Cohen--Macaulay module $M$ that satisfies an inequality…

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…

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…

Let $(R, \frak m)$ be a Noetherian local ring, $M$ a finitely generated $R$-module. The aim of this paper is to prove a uniform formula for the index of reducibility of paprameter ideals of $M$ provided the polynomial type of $M$ is at most…

Recently, the regular local rings of prime characteristic were characterized in terms of the finiteness of injective dimension of the Frobenius map. We obtain relative versions of this result.

The main aim of this article is to study the relation between $F$-injective singularity and the Frobenius closure of parameter ideals in Noetherian rings of positive characteristic. The paper consists of the following themes, including many…

Let $R$ be a commutative ring with identity. The small finitistic dimension $\fPD(R)$ of $R$ is defined to be the supremum of projective dimensions of $R$-modules with finite projective resolutions. In this paper, we characterize a ring $R$…

Let $R$ be a commutative Noetherian local ring of prime characteristic $p$ and $f:R\to R$ the Frobenius ring homomorphism. For $e\ge 1$ let $R^{(e)}$ denote the ring $R$ viewed as an $R$-module via $f^e$. Results of Peskine, Szpiro, and…

We obtain various characterizations of commutative Noetherian local rings $(R, \fm)$ in terms of homological dimensions of certain finitely generated modules. For example, we establish that $R$ is Gorenstein if the Gorenstein injective…

We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings, and $M$ is a non-zero finitely generated or artinian $S$-module whose injective dimension over $R$ is bounded by the difference of the embedding…

Let $R$ be an $F$-finite Noetherian regular ring containing an algebraically closed field $k$ of positive characteristic, and let $M$ be an $\F$-finite $\F$-module over $R$ in the sense of Lyubeznik (for example, any local cohomology module…

We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…

On a locally Noetherian scheme X over a field of positive characteristic p we study the category of coherent O_X-modules M equipped with a p^{-e}-linear map, i.e. an additive map C: O_X \to O_X satisfying rC(m)=C(r^{p^e}m) for all m in M, r…

Let $(R, \frak m)$ be a local ring of prime characteristic $p$ of dimension $d$ with the embedding dimension $v$. Suppose the Frobenius test exponent for parameter ideals $Fte(R)$ of $R$ is finite, and let $Q = p^{Fte(R)}$. It is shown that…