Search

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., Comment: Comments appreciated! To appear in the Transactions of the AMS

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., Comment: 17 pages. This paper has been accepted for publication in Acta Mathematica Vietnamica

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., Comment: This has been accepted for publication in the Journal of Pure and Applied Algebra. arXiv admin note: text overlap with arXiv:1108.1660

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., Comment: 36 pages, to appear in the Journal of Algebra

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., Comment: 16 pages, to appear in the Mathematical Proceedings of the Cambridge Philosophical Society. This revised version includes two additionl references and points out that some of the results have been obtained independently by M. Blickle and G. Boeckle

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., Comment: This revised version corrects a small number of misprints and is to appear in the Transactions of the American Mathematical Society.

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., Comment: This is to appear in the Journal of Algebra

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 = \tau_0 \subset \tau_1 \subset ... \subset \tau_t = R$ of radical ideals of $R$ such that, for each $i = 0, ..., t-1$, the reduced local ring $R/\tau_i$ is $F$-pure and its test ideal (has positive height and) is exactly $\tau_{i+1}/\tau_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., Comment: This is to appear in the Journal of Algebra

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., Comment: This is to appear in the Journal of Algebra

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$., Comment: This is to appear in the Proceedings of the American Mathematical Society

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., Comment: This is to appear in the Transactions of the American Mathematical Society

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$., Comment: This is to appear in the Michigan Mathematical Journal

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$., Comment: Accepted for publication in the Journal of Algebra

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., Comment: This is to appear in the Transactions of the American Mathematical Society

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.

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.