We use geometric and cohomological methods to show that given a degree bound for membership in ideals of a fixed degree type in the polynomial ring P=k[x_0,..., x_d], one obtains a good generic degree bound for membership in the tight closure of an ideal of that degree type in any standard-graded k-algebra R of dimension d+1. This indicates that the tight closure of an ideal behaves more uniformly than the ideal itself. Moreover, if R is normal, one obtains a generic bound for membership in the Frobenius closure. If d is at most 2, then the bound for ideal membership in P can be computed from the known cases of the Froeberg conjecture and yields explicit generic tight closure bounds.
The study of Frobenius actions on local cohomology modules over a local ring of prime characteristic has interesting connections with the theory of tight closure. This paper establishes new connections by developing the notion of relative Frobenius actions on local cohomology. As an application, we show that a ring has $F$-nilpotent singularities if and only if the tight closure of every parameter ideal is equal to its Frobenius closure.
Let I denote an R_+ -primary homogeneous ideal in a normal standard-graded Cohen-Macaulay domain over a field of positive characteristic p. We give a linear degree bound for the Frobenius powers I^[q] of I, q=p^e, in terms of the minimal slope of the top-dimensional syzygy bundle on the projective variety Proj R. This provides an inclusion bound for tight closure. In the same manner we give a linear bound for the Castelnuovo-Mumford regularity of the Frobenius powers I^[q].
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 other topics. We prove that if every parameter ideal of a Noetherian local ring of prime characteristic $p>0$ is Frobenius closed, then it is $F$-injective. We prove a necessary and sufficient condition for the injectivity of the Frobenius action on $H^i_{\fm}(R)$ for all $i \le f_{\fm}(R)$, where $f_{\fm}(R)$ is the finiteness dimension of $R$. As applicat…
This paper studies Frobenius maps on injective hulls of residue fields of complete local rings with a view toward providing constructive descriptions of objects originating from the theory of tight closure. Specifically, the paper describes algorithms for computing parameter test ideals, and tight closure of certain submodules of the injective hull of residue fields of a class of well-behaved rings which includes all quasi-Gorenstein complete local rings.
We relate closure operations for ideals and for submodules to non-flat Grothendieck topologies. We show how a Grothendieck topology on an affine scheme induces a closure operation in a natural way, and how to construct for a given closure operation fulfilling certain properties a Grothendieck topology which induces this operation. In this way we relate the radical to the surjective topology and the constructible topology, the integral closure to the submersive topology, to the proper topology and to Voevodsky's h-topology, the Frobenius closure to the Frobenius topology and the plus closure to…
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…
Suppose that R is a two-dimensional normal standard-graded domain over a finite field. We prove that there exists a uniform Frobenius test exponent b for the class of homogeneous ideals in R generated by at most n elements. This means that for every ideal I in this class we have that f^(p^b) belongs to I^([p^b]) if and only if f belongs to the Frobenius closure I^F. This gives in particular a finite test for the Frobenius closure. On the other hand we show that there is no uniform bound for Frobenius test exponent for all homogeneous ideals independent of the number of generators. Under simila…
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 th…
We characterize the tight closure of graded primary ideals in a homogeneous coordinate ring over an elliptic curve by numerical conditions and we show that it is in positive characteristic the same as the plus closure.
We prove that the tight closure and the graded plus closure of a homogeneous ideal coincide for a two-dimensional N-graded domain of finite type over the algebraic closure of a finite field. This answers in this case a ``tantalizing question'' of Hochster.
We formulate problems of tight closure theory in terms of projective bundles and subbundles. This provides a geometric interpretation of such problems and allows us to apply intersection theory to them. This yields new results concerning the tight closure of a primary ideal in a two-dimensional graded domain.
Let $(R,\frak m)$ be an excellent generalized Cohen-Macaulay local ring of dimension $d$ that is $F$-injective on the punctured spectrum. Let $\frak q$ be a standard parameter ideal of $R$. The aim of the paper is to prove that $$\ell_R({\frak q}^F/{\frak q})\leq \sum\limits_{i=0}^{d}\binom{d}{i}\ell_R(0^F_{H^i_{\frak m}(R)}).$$ Moreover, if $\frak q$ is contained in a large enough power of $\frak m$, we have $${\frak q}^F/{\frak q} \cong \bigoplus_{i=0}^d (0^F_{H^i_{\frak m}(R)})^{\binom{d}{i}}.$$
We study computational aspects of the tight closure of a homogeneous primary ideal in a two-dimensional normal standard-graded domain. We show how to use slope criteria for the sheaf of syzygies for generators of the ideal to compute the tight closure. Our method gives in particular an algorithm to compute the tight closure of three elements under the condition that we are able to compute the Harder-Narasimhan filtration. We apply this to the computation of (x^a,y^a,z^a)^* in K[x,y,z]/(F), where F is a homogeneous polynomial.
We introduce a new variant of tight closure associated to any fixed ideal $\a$, which we call $\a$-tight closure, and study various properties thereof. In our theory, the annihilator ideal $τ(\a)$ of all $\a$-tight closure relations, which is a generalization of the test ideal in the usual tight closure theory, plays a particularly important role. We prove the correspondence of the ideal $τ(\a)$ and the multiplier ideal associated to $\a$ (or, the adjoint of $\a$ in Lipman's sense) in normal $\Q$-Gorenstein rings reduced from characteristic zero to characteristic $p \gg 0$. Also, in fixed prim…
We provide a negative answer to an old question in tight closure theory by showing that the containment x^3y^3 \in (x^4,y^4,z^4)^* in K[x,y,z]/(x^7+y^7-z^7) holds for infinitely many but not for almost all prime characteristics of the field K. This proves that tight closure exhibits a strong dependence on the arithmetic of the prime characteristic. The ideal (x,y,z) \subset K[x,y,z,u,v,w]/(x^7+y^7-z^7, ux^4+vy^4+wz^4+x^3y^3) has then the property that the cohomological dimension fluctuates arithmetically between 0 and 1.
We study different notions of slope of a vector bundle over a smooth projective curve with respect to ampleness and affineness in order to apply this to tight closure problems. This method gives new degree estimates from above and from below for the tight closure of a homogeneous $R_+$-primary ideal in a two-dimensional normal standard-graded algebra $R$ in terms of the minimal and the maximal slope of the sheaf of relations for some ideal generators. If moreover this sheaf of relations is semistable, then both degree estimates coincide and we get a vanishing type theorem.
The F-threshold $c^J(\a)$ of an ideal $\a$ with respect to the ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$. We show that under mild assumptions, we can detect the containment in the integral closure or the tight closure of a parameter ideal using F-thresholds. We formulate a conjecture bounding $c^J(\a)$ in terms of the multiplicities $e(\a)$ and $e(J)$, when $\a$ and $J$ are zero-dimensional ideals, and $J$ is generated by a system of parameters. We prove the conjecture when $J$ is a monomial ideal in a polynomial …
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 p…
Building on work of Brenner and Monsky from 2010 and on a Hilbert-Kunz calculation of Monsky from 1998, we exhibit a novel example of a hypersurface over $\overline{\mathbb{F}_2}$ in which tight closure does not commute with localization. Our methods involve a surprising tiling argument using Sierpiński triangles, as well as an inspection of a certain dynamical system in characteristic two.
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…
The Frobenius test exponent $\operatorname{Fte}(R)$ of a local ring $(R,\mathfrak{m})$ of prime characteristic $p > 0$ is the smallest $e_0 \in \mathbb{N}$ such that for every ideal $\mathfrak{q}$ generated by a (full) system of parameters, the Frobenius closure $\mathfrak{q}^F$ has $(\mathfrak{q}^F)^{[p^{e_0}]} = \mathfrak{q}^{[p^{e_0}]}$. We establish a suffcient condition for $\operatorname{Fte}(R)<\infty$ and use it to show that if $R$ is such that the Frobenius closure of the zero submodule in the lower local cohomology modules has finite colength, i.e. $H^j_{\mathfrak{m}}(R) / 0^F_{H^j_{…
We show that for ideals primary to a maximal ideal in a normal domain of finite type over the complex numbers, its tight closure is contained inside the continuous closure.
This paper proves some special cases in which localization of tight closure holds. In particular it studies the condition LC relating to bounding the Loewy lengths of local cohomology of Frobenius iterates of quotient rings.
We prove that in normal rings the tight closure of an ideal can be computed as the sum of the ideal and a piece of the tight closure, called the special tight closure.
Hara and Smith independently proved that in a normal $\mQ$-Gorenstein ring of characteristic $p \gg 0$, the test ideal coincides with the multiplier ideal associated to the trivial divisor. We extend this result for a pair $(R, Δ)$ of a normal ring $R$ and an effective $\mQ$-Weil divisor $Δ$ on $\Spec R$. As a corollary, we obtain the equivalence of strongly F-regular pairs and klt pairs.
We introduce an operation on modules over an $F$-finite ring of characteristic $p$. We call this operation \emph{tight interior}. While it exists more generally, in some cases this operation is equivalent to the Matlis dual of tight closure. Moreover, the interior of the ring itself is simply the big test ideal. We directly prove, without appeal to tight closure, results analogous to persistence, colon capturing, and working modulo minimal primes, and we begin to develop a theory dual to phantom homology. Using our dual notion of persistence, we obtain new and interesting transformation rules …
An analogue of the theory of integral closure and reductions is developed for a more general class of closures, called Nakayama closures. It is shown that tight closure is a Nakayama closure by proving a ``Nakayama lemma for tight closure''. Then, after strengthening A. Vraciu's theory of $*$-independence and the special part of tight closure, it is shown that all minimal $*$-reductions of an ideal in an analytically irreducible excellent local ring of positive characteristic have the same minimal number of generators. This number is called the $*$-spread of the ideal, by analogy with the noti…
We give a treatment of the Brenner-Monsky example based on polynomial algebra and linear algebra. No prior knowledge of tight closure theory, Hilbert-Kunz theory, algebraic geometry or local cohomology is assumed.
This is an expanded version of the author's lecture at the Conference in Commutative Algebra and Algebraic Geometry in Messina Italy in June 1999. The purpose of the talk was to give a brief introduction to the subject of tight closure, aimed at commutative algebraists who have not before studied this topic. The first part focused mainly on the definition and basic properties, with the second part focusing on some applications to algebraic geometry, particularly to global generation of adjoint linear series. These lecture notes follow even more closely a series of two lectures I gave in Kashik…
It is shown that tight closure commutes with localization in any two dimensional ring $R$ of prime characteristic if either $R$ is a Nagata ring or $R$ possesses a weak test element. Moreover, it is proved that tight closure commutes with localization at height one prime ideals in any ring of prime characteristic.
In this paper we find the tight closure of powers of parameter ideals of certain diagonal hypersurface rings. In many cases the associated graded ring with respect to tight closure filtration turns out to be Cohen-Macaulay. This helps us find the tight Hilbert polynomial in these diagonal hypersurfaces. We determine the tight Hilbert polynomial in the following cases: (1) F-pure diagonal hypersurfaces where number of variables is equal to the degree of defining equation, (2) diagonal hypersurface rings where characteristic of the ring is one less than the degree of defining equation and (3) qu…
It is proved that tight closure commutes with localization in any domain which has a module finite extension in which tight closure is known to commute with localization. It follows that tight closure commutes with localization in binomial rings, in particular in semigroup or toric rings.
An equidimensional local ring is F-rational if and only if one ideal generated by a system of parameters is tightly closed. The question of whether a non-equidimensional local ring can have a tightly closed ideal generated by a system of parameters has been a long-standing open problem, and for certain classes of non-equidimensional rings we prove that this is not possible. A key point is that tight closure has a colon capturing property in equidimensional rings that it does not have in non-equidimensional rings. We define a new closure operation, one that rectifies the absence of the colon ca…
We establish an inequality involving colengths of the tight closure of ideals of systems of parameters in local rings with some mild conditions. As an application, we prove and refine a result by Goto and Nakamura, conjectured by Watanabe and Yoshida, which states that the Hilbert-Samuel multiplicity of a parameter ideal is greater than or equal to the colength of the tight closure of the ideal.
In the ring R=K[X,Y,Z]/(X^3+Y^3+Z^3), where K is a field of prime characteristic p other than 3, determining the tight closure of the ideal (X^2, Y^2, Z^2)R had existed as a classic example of the difficulty involved in tight closure computations. We settle this question, compute the Frobenius closure of this ideal, and generalize these results to the diagonal hypersurfaces K[X_1,...,X_n]/(X_1^n + ... + X_n^n).
In this paper we study various equivalent conditions for tight closure to commute with localization. If N is a submodule of a finitely generated module M over a Noetherian commutative ring of characteristic p, then a test exponent for c,N,M is defined to be a power q' of p such that u is in the tight closure of N in M whenever cu^q is in the qth Frobenius power of N for some q \ge q'. We prove that that a test exponent for a locally stable test element c and for N,M as above exists if and only if the tight closure of N in M commutes with localization. Other equivalent conditions are given for …
It is an open question whether tight closure commutes with localization in quotients of a polynomial ring in finitely many variables over a field. Katzman showed that tight closure of ideals in these rings commutes with localization at one element if for all ideals I and J in a polynomial ring there is a linear upper bound in q on the degree in the least variable of reduced Groebner bases in reverse lexicographic ordering of the ideals of the form J + I^{[q]}. Katzman conjectured that this property would always be satisfied. In this paper we prove several cases of Katzman's conjecture. We also…
Hara and Yoshida introduced a notion of $\aaa$-tight closure in 2003, and they proved that the test ideals given by this operation correspond to multiplier ideals. However, their operation is not a true closure. The alternative operation introduced here is a true closure. Moreover, we define a joint Hilbert-Kunz multiplicity that can be used to test for membership in this closure. We study the connections between the Hara-Yoshida operation and the one introduced here, primarily from the point of view of test ideals. We also consider variants with positive real exponents.
We determine when graded rings have F-rational or F-regular Veronese subrings, and develop techniques of constructing F-rational rings which are not F-regular.
We define a duality operation connecting closure operations, interior operations, and test ideals, and describe how the duality acts on common constructions such as trace, torsion, tight and integral closures, and divisible submodules. This generalizes the relationship between tight closure and tight interior given in [Epstein-Schwede 2014] and allows us to extend commonly used results on tight closure test ideals to operations such as those above.
We characterize the rings in which the equality $(τI:τ)= I^*$ holds for every ideal $I \subset R$. Under certain assumptions, these rings must be either weakly F-regular or one-dimensional.
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 tigh…
Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the corresponding tight Hilbert polynomial $P_I^*(n)$ where $I$ is an $\mathfrak m$-primary ideal. It is proved that $F$-rationality can be detected by the vanishing of the first coefficient of $P_I^*(n).$ We find the tight Hilbert polynomial of certain parameter ideals in hypersurface rings and Stanley-Reisner rings of simplicial complexes.
We look at how the equivalence of tight closure and plus closure (or Frobenius closure) in the homogeneous m-coprimary case implies the same closure equivalence in the non-homogeneous m-coprimary case in standard graded rings. Although our result does not depend upon dimension, the primary application is based on results known in dimension 2 due to the recent results of H. Brenner. We also show that unlike the Noetherian case, the injective hull of the residue field over $R^+$ or $R^\infty$ contains elements that are not killed by any power of the maximal ideal of R.
The paper shows that if the set of associated primes of Frobenius powers of ideals or a closely related set of primes is finite then if tight closure does not commute with localisation one can find a counter-example where $R$ is complete local and we are localizing at a prime ideal $P \subset R$ with $\dim (R/P)=1$. If one assumes further that for any local ring $(R,m)$ of prime characteristic $p$ and every finitely generated $R$-module $\bar M$ the set $ \bigcup_e \Ass G^e (\bar M) $ has finitely many maximal elements and, in addition, for every $R$-module $\bar M$ there exists a positive int…
Using a result of M. Hochster and C. Huneke on $F$-rational rings a criterion for complete intersection rings of characteristic $p>0$ is presented. As an application, we give a completely different proof for an algebraic result of G. Faltings that was used by Taylor and Wiles in \cite{TW} for a simplification of the proof of the minimal deformation problem.
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 reg…
Let $(R, \mathfrak{m}, k)$ be an excellent equidimensional local ring of characteristic $p>0$. The aim of this paper is to show that $\ell_R(\mathfrak{q}^*/\mathfrak{q})$ does not depend on the choice of parameter ideal $\mathfrak{q}$ provided $R$ is an $F$-injective local ring that is $F$-rational on the punctured spectrum.
We introduce a new variant of tight closure and give an interpretation of adjoint ideals via this tight closure. As a corollary, we prove that a log pair $(X,Δ)$ is plt if and only if the modulo $p$ reduction of $(X,Δ)$ is divisorially F-regular for all large $p \gg 0$. Here, divisorially F-regular pairs are a class of singularities in positive characteristic introduced by Hara and Watanabe in terms of Frobenius splitting.
