We develop a theory of G-dimension for modules over local homomorphisms which encompasses the classical theory of G-dimension for finite modules over local rings. As an application, we prove that a local ring R of characteristic p is Gorenstein if and only if it possesses a nonzero finite module of finite projective dimension that has finite G-dimension when considered as an R-module via some power of the Frobenius endomorphism of R. We also prove results that track the behavior of Gorenstein properties of local homomorphisms under (de)composition.
Let $R$ be a local ring of positive characteristic and $X$ a complex with nonzero finitely generated homology and finite injective dimension. We prove that if derived base change of $X$ via the Frobenius (or more generally, via a contracting) endomorphism has finite injective dimension then $R$ is Gorenstein.
This is a survey on the relation between homological properties of the Frobenius endomorphism and finiteness of various homological dimensions of the ring or of modules over it, such as global dimension and projective dimension. We begin with Kunz's surprising result in 1969 that the regularity of a Noetherian local ring is equivalent to the flatness of its Frobenius endomorphism, as well as the subsequent generalizations to the module setting by Peskine and Szpiro and continue up through the recent flurry of results in the last five years. An attempt is made to include proofs whenever feasibl…
Let $R$ be a commutative Noetherian Cohen-Macaulay local ring that has positive dimension and prime characteristic. Li proved that the tensor product of a finitely generated non-free $R$-module $M$ with the Frobenius endomorphism ${}^{φ^n}\!R$ is not maximal Cohen-Macaulay provided that $M$ has rank and $n\gg 0$. We replace the rank hypothesis with the weaker assumption that $M$ is locally free on the minimal prime ideals of $R$. As a consequence, we obtain, if $R$ is a one-dimensional non-regular complete reduced local ring that has a perfect residue field and prime characteristic, then ${}^{…
On the test properties of the Frobenius endomorphism
West Virginia University（西弗吉尼亚大学）；School of Mathematics, Institute for Research in Fundamental Sciences (IPM)（基础科学研究所数学学院）；Georgia State University（佐治亚州立大学）
It is well-known that for a large class of local rings of positive characteristic, including complete intersection rings, the Frobenius endomorphism can be used as a test for finite projective dimension. In this paper, we exploit this property to study the structure of such rings. One of our results states that the Picard group of the punctured spectrum of such a ring $R$ cannot have $p$-torsion. When $R$ is a local complete intersection, this recovers (with a purely local algebra proof) an analogous statement for complete intersections in projective spaces first given in SGA and also a specia…
Centro de Investigación en Matemáticas, A.C.（数学研究中心）；University of Missouri（密苏里大学）；UC Berkeley Mathematics Department（加州大学伯克利分校数学系）；Universität Leipzig Mathematisches Institut（莱比锡大学数学研究所）
It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and infinitely many $e$. This extends a result of Herzog, who proved it when $M$ is finitely generated, and strengthens a result of the third author and Webb in the case $M$ is arbitrary. It is also proved that when $R$ is a Cohen-Macaulay local ring, it suffices that the Tor vanishing holds for one $e\ge \log_{p}e(R)$, where $e(R)$ is the multiplicity of $R$.
We classify by numerical invariants the finite subgroups $H$ of a primary abelian group $G$ for which every homomorphism or monomorphism of $H$ into $G$, or every endomorphism of $H$, extends to an endomorphism of $G$. We apply these results to show that for finitely generated subgroups of general abelian groups, the extendibility of monomorphisms implies the extendibility of all homomorphisms.
Let $R$ be a standard graded algebra over an $F$-finite field of characteristic $p > 0$. Let $ϕ:R\to R$ be the Frobenius endomorphism. For each finitely generated graded $R$-module $M$, let ${}^ϕ\!M$ be the abelian group $M$ with the $R$-module structure induced by the Frobenius endomorphism. The $R$-module ${}^ϕ\!M$ has a natural grading given by $\text{deg} x=j$ if $x\in M_{jp+i}$ for some $0\le i \le p-1$. In this paper, we prove that $R$ is Koszul if and only if there exists a non-zero finitely generated graded $R$-module $M$ such that $\text{reg}_R\,{}^ϕ\!M <\infty$. This result supplies …
Let $R=\mathbb{K}[X_1, \ldots , X_n ]$ be a polynomial ring over a field $\mathbb{K}$. We introduce an endomorphism $\mathcal{F}^{[m]}: R \rightarrow R $ and denote the image of an ideal $I$ of $R$ via this endomorphism as $I^{[m]}$ and call it to be the $m$ \textit{-th square power} of $I$. In this article, we study some homological invariants of $I^{[m]}$ such as regularity, projective dimension, associated primes and depth for some families of ideals e.g. monomial ideals.
Let $I$ denote an ideal of a local ring $(R,\mathfrak{m})$ of dimension $n$. Let $M$ denote a finitely generated $R$-module. We study the endomorphism ring of the local cohomology module $H^c_I(M), c = \grade (I,M)$. In particular there is a natural homomorphism $\Hom_{\hat{R}^I}(\hat{M}^I, \hat{M}^I)\to \Hom_{R}(H^c_{I}(M),H^c_{I}(M))$, where $\hat{\cdot}^I$ denotes the $I$-adic completion functor. We prove sufficient conditions such that it becomes an isomorphism. Moreover, we study a homomorphism of two such endomorphism rings of local cohomology modules for two ideals $J \subset I$ with th…
Let $(R, \mathfrak m)$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ of height $c$ we are interested in the endomorphism ring $B = \Hom_R(H^c_I(R), H^c_I(R)).$ It turns out that $B$ is a commutative ring. In the case of $(R,\mathfrak m)$ a regular local ring containing a field $B$ is a Cohen-Macaulay ring. Its properties are related to the highest Lyubeznik number $l = \dim_k \Ext_R^d(k,H^c_I(R)).$ In particular $R \simeq B$ if and only if $l = 1.$ Moreover, we show that the natural homomorphism $\Ext_R^d(k, H^c_I(R)) \to k$ is non-zero.
We prove several characterizations of Gorenstein rings in terms of vanishings of derived functors of certain modules or complexes whose scalars are restricted via contracting endomorphisms. These results can be viewed as analogues of results of Kunz (in the case of the Frobenius) and Avramov-Hochster-Iyengar-Yao (in the case of general contracting endomorphisms).
Let $(R,\mathfrak{m})$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ with $\grade I = c$ we define new numerical invariants $τ_{i,j}(I)$ as the socle dimensions of $H^i_{\mathfrak{m}}(H^{n-j}_I(R))$. In case of a regular local ring containing a field these numbers coincide with the Lyubeznik numbers $λ_{i,j}(R/I)$. We use $τ_{d,d}(I), d = \dim R/I,$ to characterize the surjectivity of the natural homomorphism $f : \hat{R} \to \Hom_{\hat{R}}(H^c_{I\hat{R}}(\hat{R}),H^c_{I\hat{R}}(\hat{R}))$. As a technical tool we study several natural homomorphisms. Moreover we prove a …
Regularity, complete intersection and Gorenstein properties of a local ring can be characterized by homological conditions on the canonical homomorphism into its residue field (Serre, Avramov, Auslander). It is also known that in positive characteristic, the Frobenius endomorphism can also be used for these characterizations (Kunz, ...), and more generally any contracting endomorphism. We introduce here a class of local homomorphisms, in some sense larger than all above, for which these characterizations still hold, providing an unified treatment for this class of homomorphisms.
Let I be an ideal of a Complete Cohen-Macaulay local ring R of dimension n. We wil show that the natural homomorphism Rto HomR(HcI(KR), HcI(KR)) is an isomorphism provided that I is a cohomologically compltete intersection ideal of grade c where KR (resp. HiI(.)) denote the canonical module (resp. i-th local cohomology with respect to the ideal I) of R. The same result is true for the Matlis dual of HcI(KR).
Let $M$ denote a finitely generated module over a Noetherian ring $R$. For an ideal $I \subset R$ there is a study of the endomorphisms of the local cohomology module $H^g_I(M), g = \operatorname{grade} (I,M),$ and related results. Another subject is the study of left derived functors of the $I$-adic completion $Λ^I_i(H^g_I(M))$, motivated by a characterization of Gorenstein rings given in the book by Simon and the author. This provides another Cohen-Macaulay criterion. The results are illustrated by several examples. There is also an extension to the case of homomorphisms of two different loc…
The notions of Betti numbers and of Bass numbers of a finite module N over a local ring R are extended to modules that are only assumed to be finite over S, for some local homomorphism f: R --> S. Various techniques are developed to study the new invariants and to establish their basic properties. In several cases they are computed in closed form. Applications go in several directions. One is to identify new classes of finite R-modules whose classical Betti numbers or Bass numbers have extremal growth. Another is to transfer ring theoretical properties between R and S in situations where S may…
Let $R$ be a commutative Noetherian local ring of prime characteristic. The purpose of this paper is to provide a short proof of G. Lyubeznik's extension of a result of R. Hartshorne and R. Speiser about a module over the skew polynomial ring $R[x,f]$ (associated to $R$ and the Frobenius homomorphism $f$, in the indeterminate $x$) that is both $x$-torsion and Artinian over $R$.
It is proved that when R is a local ring of positive characteristic, $ϕ$ is its Frobenius endomorphism, and some non-zero finite R-module has finite flat dimension or finite injective dimension for the R-module structure induced through $ϕ$, then R is regular. This broad generalization of Kunz's characterization of regularity in positive characteristic is deduced from a theorem concerning a local ring R with residue field of k of arbitrary characteristic: If $ϕ$ is a contracting endomorphism of R, then the Betti numbers and the Bass numbers over $ϕ$ of any non-zero finitely generated R-module …
The Frobenius depth denoted by F-depth defined by Hartshorne-Speiser in 1977 and later by Lyubeznik in 2006, in a different way, for rings of positive characteristic. The first aim of the present paper is to compare the F-depth with formal grade and reprove some results of Lyubeznik using formal local cohomology. Then the endomorphism rings of local cohomology modules will be considered. As an application, we reprove the results due to Huneke-Koh in positive characteristic and Lyubeznik in characteristic zero on the annihilators of local cohomology modules.
For a commutative ring $R$ of characteristic $p$, let $ϕ: R \to R$ be the Frobenius homomorphism and let $^{ϕ^r}R$ denote the $R$-module structure on $R$ defined via the $r$-th power of the Frobenius. We show that the Tor functor against the Frobenius module, $\Tor^R_*(-, {^{ϕ^r}}R)$, is rigid for a certain class of depth zero rings which includes rings that are not complete intersection. We also show that $\Tor^R_*(-, {^{ϕ^r}}R)$ is not rigid (non-vacuously) when $\depth (R) >0$ and $r$ is large enough. This answers a question of Avramov and Miller: does rigidity of $\Tor^R_*(-, {^{ϕ^r}}R)$ h…
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 Herzog state that for finitely generated modules $M$, $M$ has finite projective dimension if and only if $\operatorname{Tor}_i^R(R^{(e)},M)=0$ for all $i>0$ and all (equivalently, infinitely many) $e\ge 1$. We prove this statement holds for arbitrary modules using the theory of flat covers and minimal flat resolutions.
If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving an infinite sequence of $\sO_X$-modules descending $\sE$ via the iterates of the Frobenius endomorphism of $X$. We show that this result can be generalized to any infinitesimal deformation $f : X \to S$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it extends to adic formal schemes such that $p$ belongs to an…
The main purposes of this paper are to establish and exploit the result that, over a complete (Noetherian) local ring $R$ of prime characteristic for which the Frobenius homomorphism $f$ is finite, the appropriate restrictions of the Matlis-duality functor provide an equivalence between the category of left modules over the Frobenius skew polynomial ring $R[x,f]$ that are Artinian as $R$-modules and the category of right $R[x,f]$-modules that are Noetherian as $R$-modules.
This paper is concerned with ideals in a commutative Noetherian ring $R$ of prime characteristic. The main purpose is to show that the Frobenius closures of certain ideals of $R$ generated by regular sequences exhibit a desirable type of `uniform' behaviour. The principal technical tool used is a result, proved by R. Hartshorne and R. Speiser in the case where $R$ is local and contains its residue field which is perfect, and subsequently extended to all local rings of prime characteristic by G. Lyubeznik, about a left module over the skew polynomial ring $R[x,f]$ (associated to $R$ and the Fro…
Let $k$ be a perfect field of characteristic $p > 0$, and let $K = k((u))$ be the field of Laurent series over $K$. We study the skew polynomial ring $K[T, Φ]$, where $Φ$ is an endomorphism of $K$ that extends a Frobenius endomorphism of $k$. We give a description of the irreducible skew polynomials, develop an analogue of the theory of the Newton polygon in this context, and classify the similarity classes of irreducible elements.
Let $(R,\mathfrak{m},k)$ denote a local ring. For $I$ and $J$ ideals of $R$, for all integer $i$, let $H^i_{I,J}(-)$ denote the $i$-th local cohomology functor with respect to $(I,J)$. Here we give a generalized version of Local Duality Theorem for local cohomology defined by a pair of ideals. Also, for $M$ be a finitely generated $R$-module, we study the behavior of the endomorphism rings $H^t_{I,J}(M)$ and $D(H^t_{I,J}(M))$ where $t$ is the smallest integer such that the local cohomology with respect to a pair of ideals is non-zero and $D(-):= {\rm Hom}_R(-,E_R(k))$ is the Matlis dual functo…
We consider (Frobenius) difference equations over (F_q(s,t), phi) where phi fixes t and acts on F_q(s) as the Frobenius endomorphism. We prove that every semisimple, simply-connected linear algebraic group G defined over F_q can be realized as a difference Galois group over F_{q^i}(s,t) for some i in N. The proof uses upper and lower bounds on the Galois group scheme of a Frobenius difference equation that are developed in this paper. The result can be seen as a difference analogue of Nori's Theorem which states that G(F_q) occurs as (finite) Galois group over F_q(s).
