-
Lyubeznik numbers, $F$-modules and modules of generalized fractions
Authors:
Mordechai Katzman,
Rodney Y. Sharp
Abstract:
This paper presents an algorithm for calculation of the Lyubeznik numbers of a local ring which is a homomorphic image of a regular local ring $R$ of prime characteristic. The methods used employ Lyubeznik's $F$-modules over $R$, particularly his $F$-finite $F$-modules, and also the modules of generalized fractions of Sharp and Zakeri. It is shown that many modules of generalized fractions over…
▽ More
This paper presents an algorithm for calculation of the Lyubeznik numbers of a local ring which is a homomorphic image of a regular local ring $R$ of prime characteristic. The methods used employ Lyubeznik's $F$-modules over $R$, particularly his $F$-finite $F$-modules, and also the modules of generalized fractions of Sharp and Zakeri. It is shown that many modules of generalized fractions over $R$ have natural structures as $F$-modules; these lead to $F$-module structures on certain local cohomology modules over $R$, which are exploited, in conjunction with $F$-module structures on injective $R$-modules that result from work of Huneke and Sharp, to compute Lyubeznik numbers. The resulting algorithm has been implemented in Macaulay2.
△ Less
Submitted 4 April, 2022; v1 submitted 9 June, 2020;
originally announced June 2020.
-
Graded annihilators and uniformly $F$-compatible ideals
Authors:
Rodney Y. Sharp
Abstract:
Let $R$ be a commutative (Noetherian) local ring of prime characteristic $p$ that is $F$-pure. This paper is concerned with comparison of three finite sets of radical ideals of $R$, one of which is only defined in the case when $R$ is $F$-finite (that is, is finitely generated when viewed as a module over itself via the Frobenius homomorphism). Two of the afore-mentioned three sets have links to t…
▽ More
Let $R$ be a commutative (Noetherian) local ring of prime characteristic $p$ that is $F$-pure. This paper is concerned with comparison of three finite sets of radical ideals of $R$, one of which is only defined in the case when $R$ is $F$-finite (that is, is finitely generated when viewed as a module over itself via the Frobenius homomorphism). Two of the afore-mentioned three sets have links to tight closure, via test ideals. Among the aims of the paper are a proof that two of the sets are equal, and a proposal for a generalization of I. M. Aberbach's and F. Enescu's splitting prime.
△ Less
Submitted 8 September, 2014;
originally announced September 2014.
-
Tight closure with respect to a multiplicatively closed subset of an $F$-pure local ring
Authors:
Rodney Y. Sharp
Abstract:
Let $R$ be a (commutative Noetherian) local ring of prime characteristic that is $F$-pure. This paper studies a certain finite set ${\mathcal I}$ of radical ideals of $R$ that is naturally defined by the injective envelope of the simple $R$-module. This set ${\mathcal I}$ contains $0$ and $R$, and is closed under taking primary components. For a multiplicatively closed subset $S$ of $R$, the conce…
▽ More
Let $R$ be a (commutative Noetherian) local ring of prime characteristic that is $F$-pure. This paper studies a certain finite set ${\mathcal I}$ of radical ideals of $R$ that is naturally defined by the injective envelope of the simple $R$-module. This set ${\mathcal I}$ contains $0$ and $R$, and is closed under taking primary components. For a multiplicatively closed subset $S$ of $R$, the concept of tight closure with respect to $S$, or $S$-tight closure, is discussed, together with associated concepts of $S$-test element and $S$-test ideal. It is shown that an ideal of $R$ belongs to ${\mathcal I}$ if and only if it is the $S'$-test ideal of $R$ for some multiplicatively closed subset $S'$ of $R$. When $R$ is complete, ${\mathcal I}$ is also `closed under taking test ideals', in the following sense: for each proper ideal $C$ in ${\mathcal I}$, it turns out that $R/C$ is again $F$-pure, and if $J$ and $K$ are the unique ideals of $R$ that contain $C$ and are such that $J/C$ is the (tight closure) test ideal of $R/C$ and $K/C$ is the big test ideal of $R/C$, then both $J$ and $K$ belong to ${\mathcal I}$. The paper ends with several examples.
△ Less
Submitted 29 January, 2013;
originally announced January 2013.
-
Big tight closure test elements for some non-reduced excellent rings
Authors:
Rodney Y. Sharp
Abstract:
This paper is concerned with existence of big tight closure test elements for a commutative Noetherian ring $R$ of prime characteristic $p$. Let $R^{\circ}$ denote the complement in $R$ of the union of the minimal prime ideals of $R$. A big test element for $R$ is an element of $R^{\circ}$ which can be used in every tight closure membership test for every $R$-module, and not just the finitely gene…
▽ More
This paper is concerned with existence of big tight closure test elements for a commutative Noetherian ring $R$ of prime characteristic $p$. Let $R^{\circ}$ denote the complement in $R$ of the union of the minimal prime ideals of $R$. A big test element for $R$ is an element of $R^{\circ}$ which can be used in every tight closure membership test for every $R$-module, and not just the finitely generated ones. The main results of the paper are that, if $R$ is excellent and satisfies condition $(R_0)$, and $c \in R^{\circ}$ is such that $R_c$ is Gorenstein and weakly $F$-regular, then some power of $c$ is a big test element for $R$ if (i) $R$ is a homomorphic image of an excellent regular ring of characteristic $p$ for which the Frobenius homomorphism is intersection-flat, or (ii) $R$ is $F$-pure, or (iii) $R$ is local. The Gamma construction is not used.
△ Less
Submitted 8 August, 2011;
originally announced August 2011.
-
Right and Left Modules over the Frobenius Skew Polynomial Ring in the F-Finite Case
Authors:
Rodney Y. Sharp,
Yuji Yoshino
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 30 August, 2010; v1 submitted 23 August, 2010;
originally announced August 2010.
-
An excellent F-pure ring of prime characteristic has a big tight closure test element
Authors:
Rodney Y. Sharp
Abstract:
In two recent papers, the author has developed a theory of graded annihilators of left modules over the Frobenius skew polynomial ring over a commutative Noetherian ring $R$ of prime characteristic $p$, and has shown that this theory is relevant to the theory of test elements in tight closure theory. One result of that work was that, if $R$ is local and the $R$-module structure on the injective…
▽ More
In two recent papers, the author has developed a theory of graded annihilators of left modules over the Frobenius skew polynomial ring over a commutative Noetherian ring $R$ of prime characteristic $p$, and has shown that this theory is relevant to the theory of test elements in tight closure theory. One result of that work was that, if $R$ is local and the $R$-module structure on the injective envelope $E$ of the simple $R$-module can be extended to a structure as a torsion-free left module over the Frobenius skew polynomial ring, then $R$ is $F$-pure and has a tight closure test element. One of the central results of this paper is the converse, namely that, if $R$ is $F$-pure, then $E$ has a structure as a torsion-free left module over the Frobenius skew polynomial ring; a corollary is that every $F$-pure local ring of prime characteristic, even if it is not excellent, has a tight closure test element. These results are then used, along with embedding theorems for modules over the Frobenius skew polynomial ring, to show that every excellent (not necessarily local) $F$-pure ring of characteristic $p$ must have a so-called `big' test element.
△ Less
Submitted 1 May, 2010; v1 submitted 16 July, 2009;
originally announced July 2009.
-
Supporting degrees of multi-graded local cohomolgoy modules
Authors:
Markus P. Brodmann,
Rodney Y. Sharp
Abstract:
For a finitely generated graded module $M$ over a positively-graded commutative Noetherian ring $R$, the second author established in 1999 some restrictions, which can be formulated in terms of the Castelnuovo regularity of $M$ or the so-called $a^*$-invariant of $M$, on the supporting degrees of a graded-indecomposable graded-injective direct summand, with associated prime ideal containing the…
▽ More
For a finitely generated graded module $M$ over a positively-graded commutative Noetherian ring $R$, the second author established in 1999 some restrictions, which can be formulated in terms of the Castelnuovo regularity of $M$ or the so-called $a^*$-invariant of $M$, on the supporting degrees of a graded-indecomposable graded-injective direct summand, with associated prime ideal containing the irrelevant ideal of $R$, of any term in the minimal graded-injective resolution of $M$. Earlier, in 1995, T. Marley had established connections between finitely graded local cohomology modules of $M$ and local behaviour of $M$ across $\Proj(R)$. The purpose of this paper is to present some multi-graded analogues of the above-mentioned work.
△ Less
Submitted 24 October, 2008;
originally announced October 2008.
-
Graded annihilators and tight closure test ideals
Authors:
Rodney Y. Sharp
Abstract:
Let $R$ be a commutative Noetherian local ring of prime characteristic $p$. The main purposes of this paper are to show that if the injective envelope $E$ of the simple $R$-module has a structure as a torsion-free left module over the Frobenius skew polynomial ring over $R$, then $R$ has a tight closure test element (for modules) and is $F$-pure, and to relate the test ideal of $R$ to the smalle…
▽ More
Let $R$ be a commutative Noetherian local ring of prime characteristic $p$. The main purposes of this paper are to show that if the injective envelope $E$ of the simple $R$-module has a structure as a torsion-free left module over the Frobenius skew polynomial ring over $R$, then $R$ has a tight closure test element (for modules) and is $F$-pure, and to relate the test ideal of $R$ to the smallest '$E$-special' ideal of $R$ of positive height.
A byproduct is an analogue of a result of Janet Cowden Vassilev: she showed, in the case where $R$ is an $F$-pure homomorphic image of an $F$-finite regular local ring, that there exists a strictly ascending chain $0 = τ_0 \subset τ_1 \subset ... \subset τ_t = R$ of radical ideals of $R$ such that, for each $i = 0, ..., t-1$, the reduced local ring $R/τ_i$ is $F$-pure and its test ideal (has positive height and) is exactly $τ_{i+1}/τ_i$. This paper presents an analogous result in the case where $R$ is complete (but not necessarily $F$-finite) and $E$ has a structure as a torsion-free left module over the Frobenius skew polynomial ring. Whereas Cowden Vassilev's results were based on R. Fedder's criterion for $F$-purity, the arguments in this paper are based on the author's work on graded annihilators of left modules over the Frobenius skew polynomial ring.
△ Less
Submitted 11 August, 2008;
originally announced August 2008.
-
Frobenius test exponents for parameter ideals in generalized Cohen-Macaulay local rings
Authors:
Craig Huneke,
Mordechai Katzman,
Rodney Y. Sharp,
Yongwei Yao
Abstract:
This paper studies Frobenius powers of parameter ideals in a commutative Noetherian local ring $R$ of prime characteristic $p$. For a given ideal $\fa$ of $R$, there is a power $Q$ of $p$, depending on $\fa$, such that the $Q$-th Frobenius power of the Frobenius closure of $\fa$ is equal to the $Q$-th Frobenius power of $\fa$. The paper addresses the question as to whether there exists a {\em un…
▽ More
This paper studies Frobenius powers of parameter ideals in a commutative Noetherian local ring $R$ of prime characteristic $p$. For a given ideal $\fa$ of $R$, there is a power $Q$ of $p$, depending on $\fa$, such that the $Q$-th Frobenius power of the Frobenius closure of $\fa$ is equal to the $Q$-th Frobenius power of $\fa$. The paper addresses the question as to whether there exists a {\em uniform} $Q_0$ which `works' in this context for all parameter ideals of $R$ simultaneously.
In a recent paper, Katzman and Sharp proved that there does exists such a uniform $Q_0$ when $R$ is Cohen--Macaulay. The purpose of this paper is to show that such a uniform $Q_0$ exists when $R$ is a generalized Cohen--Macaulay local ring. A variety of concepts and techniques from commutative algebra are used, including unconditioned strong $d$-sequences, cohomological annihilators, modules of generalized fractions, and the Hartshorne--Speiser--Lyubeznik Theorem employed by Katzman and Sharp in the Cohen--Macaulay case.
△ Less
Submitted 6 July, 2006;
originally announced July 2006.
-
On the Hartshorne--Speiser--Lyubeznik Theorem about Artinian modules with a Frobenius action
Authors:
Rodney Y. Sharp
Abstract:
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$.
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$.
△ Less
Submitted 12 May, 2006;
originally announced May 2006.
-
Graded annihilators of modules over the Frobenius skew polynomial ring, and tight closure
Authors:
Rodney Y. Sharp
Abstract:
This paper is concerned with the tight closure of an ideal in a commutative Noetherian local ring $R$ of prime characteristic $p$. Several authors, including R. Fedder, K.-i. Watanabe, K. E. Smith, N. Hara and F. Enescu, have used the natural Frobenius action on the top local cohomology module of such an $R$ to good effect in the study of tight closure, and this paper uses that device. The main…
▽ More
This paper is concerned with the tight closure of an ideal in a commutative Noetherian local ring $R$ of prime characteristic $p$. Several authors, including R. Fedder, K.-i. Watanabe, K. E. Smith, N. Hara and F. Enescu, have used the natural Frobenius action on the top local cohomology module of such an $R$ to good effect in the study of tight closure, and this paper uses that device. The main part of the paper develops a theory of what are here called 'special annihilator submodules' of a left module over the Frobenius skew polynomial ring associated to $R$; this theory is then applied in the later sections of the paper to the top local cohomology module of $R$ and used to show that, if $R$ is Cohen--Macaulay, then it must have a weak parameter test element, even if it is not excellent.
△ Less
Submitted 12 May, 2006;
originally announced May 2006.
-
Tight closure test exponents for certain parameter ideals
Authors:
Rodney Y. Sharp
Abstract:
This paper is concerned with the tight closure of an ideal $I$ in a commutative Noetherian ring $R$ of prime characteristic $p$. The formal definition requires, on the face of things, an infinite number of checks to determine whether or not an element of $R$ belongs to the tight closure of $I$. The situation in this respect is much improved by Hochster's and Huneke's test elements for tight clos…
▽ More
This paper is concerned with the tight closure of an ideal $I$ in a commutative Noetherian ring $R$ of prime characteristic $p$. The formal definition requires, on the face of things, an infinite number of checks to determine whether or not an element of $R$ belongs to the tight closure of $I$. The situation in this respect is much improved by Hochster's and Huneke's test elements for tight closure, which exist when $R$ is a reduced algebra of finite type over an excellent local ring of characteristic $p$.
More recently, Hochster and Huneke have introduced the concept of test exponent for tight closure: existence of these test exponents would mean that one would have to perform just one single check to determine whether or not an element of $R$ belongs to the tight closure of $I$. However, to quote Hochster and Huneke, 'it is not at all clear whether to expect test exponents to exist; roughly speaking, test exponents exist if and only if tight closure commutes with localization'.
The main purpose of this paper is to provide a short direct proof that test exponents exist for parameter ideals in a reduced excellent equidimensional local ring of characteristic $p$.
△ Less
Submitted 12 August, 2005;
originally announced August 2005.
-
Uniform Behaviour of the Frobenius closures of ideals generated by regular sequences
Authors:
Mordechai Katzman,
Rodney Y. Sharp
Abstract:
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 resid…
▽ More
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 Frobenius homomorphism $f$, in the indeterminate $x$) that is both $x$-torsion and Artinian over $R$.
△ Less
Submitted 28 January, 2005;
originally announced January 2005.
-
Ideals in a perfect closure, linear growth of primary decompositions, and tight closure
Authors:
Rodney Y. Sharp,
Nicole Nossem
Abstract:
This paper is concerned with tight closure in a commutative Noetherian ring $R$ of prime characteristic $p$, and is motivated by an argument of K. E. Smith and I. Swanson that shows that, if the sequence of Frobenius powers of a proper ideal $I$ of $R$ has linear growth of primary decompositions, then tight closure (of $I$) commutes with localization at the powers of a single element. It is show…
▽ More
This paper is concerned with tight closure in a commutative Noetherian ring $R$ of prime characteristic $p$, and is motivated by an argument of K. E. Smith and I. Swanson that shows that, if the sequence of Frobenius powers of a proper ideal $I$ of $R$ has linear growth of primary decompositions, then tight closure (of $I$) commutes with localization at the powers of a single element. It is shown in this paper that, provided $R$ has a weak test element, linear growth of primary decompositions for other sequences of ideals of $R$ that approximate, in a certain sense, the sequence of Frobenius powers of $I$ would not only be just as good in this context, but, in the presence of a certain additional finiteness property, would actually imply that tight closure (of $I$) commutes with localization at an arbitrary multiplicatively closed subset of $R$.
Work of M. Katzman on the localization problem for tight closure raised the question as to whether the union of the associated primes of the tight closures of the Frobenius powers of $I$ has only finitely many maximal members. This paper develops, through a careful analysis of the ideal theory of the perfect closure of $R$, strategies for showing that tight closure (of a specified ideal $I$ of $R$) commutes with localization at an arbitrary multiplicatively closed subset of $R$ and for showing that the union of the associated primes of the tight closures of the Frobenius powers of $I$ is actually a finite set. Several applications of the strategies are presented; in most of them it was already known that tight closure commutes with localization, but the resulting affirmative answers to Katzman's question in the various situations considered are believed to be new.
△ Less
Submitted 9 May, 2003;
originally announced May 2003.
-
Associated primes of graded components of local cohomology modules
Authors:
Markus P. Brodmann,
Mordechai Katzman,
Rodney Y. Sharp
Abstract:
The $i$-th local cohomology module of a finitely generated graded module $M$ over a standard positively graded commutative Noetherian ring $R$, with respect to the irrelevant ideal $R_+$, is itself graded; all its graded components are finitely generated modules over $R_0$, the component of $R$ of degree 0. This paper is concerned with the asymptotic behaviour of $\Ass_{R_0}(H^i_{R_+}(M)_n)$ as…
▽ More
The $i$-th local cohomology module of a finitely generated graded module $M$ over a standard positively graded commutative Noetherian ring $R$, with respect to the irrelevant ideal $R_+$, is itself graded; all its graded components are finitely generated modules over $R_0$, the component of $R$ of degree 0. This paper is concerned with the asymptotic behaviour of $\Ass_{R_0}(H^i_{R_+}(M)_n)$ as $n \to -\infty$.
The smallest $i$ for which such study is interesting is the finiteness dimension $f$ of $M$ relative to $R_+$, defined as the least integer $j$ for which $H^j_{R_+}(M)$ is not finitely generated. Brodmann and Hellus have shown that $\Ass_{R_0}(H^f_{R_+}(M)_n)$ is constant for all $n < < 0$ (that is, in their terminology, $\Ass_{R_0}(H^f_{R_+}(M)_n)$ is asymptotically stable for $n \to -\infty$). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that $R$ is a homomorphic image of a regular ring): our answer is precisely the set of contractions to $R_0$ of certain relevant primes of $R$ whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology.
Brodmann and Hellus raised various questions about such asymptotic behaviour when $i > f$. They noted that Singh's study of a particular example (in which $f = 2$) shows that $\Ass_{R_0}(H^3_{R_+}(R)_n)$ need not be asymptotically stable for $n \to -\infty$. The second main aim of this paper is to determine, for Singh's example, $\Ass_{R_0}(H^3_{R_+}(R)_n)$ quite precisely for every integer $n$, and, thereby, answer one of the questions raised by Brodmann and Hellus.
△ Less
Submitted 25 September, 2002;
originally announced September 2002.
-
Some properties of top graded local cohomology modules
Authors:
Mordechai Katzman,
Rodney Y. Sharp
Abstract:
This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes.
The second part of this paper constructs examples of cohomological Hilbert functions which are not of polynomial type.
This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes.
The second part of this paper constructs examples of cohomological Hilbert functions which are not of polynomial type.
△ Less
Submitted 25 September, 2002;
originally announced September 2002.
