We expand the notion of core to $cl$-core for Nakayama closures $cl$. In the characteristic $p>0$ setting, when $cl$ is the tight closure, denoted by *, we give some examples of ideals when the core and the *-core differ. We note that *-core$(I)=$ core$(I)$, if $I$ is an ideal in a one-dimensional domain with infinite residue field or if $I$ is an ideal generated by a system of parameters in any Noetherian ring. More generally, we show the same result in a Cohen--Macaulay normal local domain with infinite perfect residue field, if the analytic spread, $\ell$, is equal to the *-spread and $I$ is $G_{\ell}$ and weakly-$(\ell-1)$-residually $S_2$. This last is dependent on our result that generalizes the notion of general minimal reductions to general minimal *-reductions. We also determine that the *-core of a tightly closed ideal in certain one-dimensional semigroup rings is tightly closed and therefore integrally closed.
We introduce two closure operations on ideals in commutative rings related to the ring operation of root closure. One closure is the result of iterating a root-like operation on ideals infinitely many times, and the other closure arises as a graded component of the root closure of the Rees algebra applied to an ideal. We study the properties of these closures and prove they are distinct operations.
This paper studies the Ratliff-Rush closure of ideals in integral domains. By definition, the Ratliff-Rush closure of an ideal $I$ of a domain $R$ is the ideal given by $\tilde{I}:=\bigcup(I^{n+1}:_{R}I^{n})$ and an ideal $I$ is said to be a Ratliff-Rush ideal if $\tilde{I}=I$. We completely characterize integrally closed domains in which every ideal is a Ratliff-Rush ideal and we give a complete description of the Ratliff-Rush closure of an ideal in a valuation domain.
We prove that the initial ideal of the defining ideal of a monomial curve that corresponds to an almost arithmetic sequence of positive integers is Ratliff-Rush closed.
In this paper, we prove a result similar to results of Itoh and Hong-Ulrich, proving that integral closure of an ideal is compatible with specialization by a general element of that ideal for ideals of height at least two in a large class of rings. Moreover, we show integral closure of sufficiently large powers of the ideal is compatible with specialization by a general element of the original ideal. In a polynomial ring over an infinite field, we give a class of squarefree monomial ideals for which the integral closure is compatible with specialization by a general linear form.
In a formally unmixed Noetherian local ring, if the colength and multiplicity of an integrally closed ideal agree, then $R$ is regular. We deduce this using the relationship between multiplicity and various ideal closure operations.
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.
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 establishes the fundamental properties of the $s$-closures, a recently introduced family of closure operations on ideals of rings of positive characteristic. The behavior of the $s$-closure of homogeneous ideals in graded rings is studied, and criteria are given for when the $s$-closure of an ideal can be described exactly in terms of its tight closure and rational powers. Sufficient conditions are established for the weak $s$-closure to equal to the $s$-closure. A generalization of the Briancon-Skoda theorem is given which compares any two different $s$-closures applied to powers o…
It is well known that a domain without proper strongly divisorial ideals is completely integrally closed. In this paper we show that a domain without {\em prime} strongly divisorial ideals is not necessarily completely integrally closed, although this property holds under some additional assumptions.
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 article outgrew from an effort to understand our basic question: Are the annihilators of the non-zero Koszul homology modules $H_i$ of an unmixed ideal $I$ contained in the integral closure $\bar{I}$ of $I$? We also obtain some variations on a result of Burch, which continue the theme of the paper in that they deal with annihilators of homology and integrally closed ideals.
Let R be an excellent local ring, m its maximal ideal and I an ideal. Then there exists a positive integer c such that for all integers n, the integral closure of (I + m^n) is contained in m^(n/c) + the integral closure of I. In the proof, a version of the linear Artin approximation theorem is proved.
Among the several types of closures of an ideal $I$ that have been defined and studied in the past decades, the integral closure $\bar{I}$ has a central place being one of the earliest and most relevant. Despite this role, it is often a difficult challenge to describe it concretely once the generators of $I$ are known. Our aim in this note is to show that in a broad class of ideals their radicals play a fundamental role in testing for integral closedness, and in case $I\neq \bar{I}$, $\surd{I}$ is still helpful in finding some fresh new elements in $\bar{I}\setminus I$. Among the classes of id…
Let R be an integral domain and I a nonzero ideal of R. A sub-ideal J of I is a t-reduction of I if (JI^{n})_{t}=(I^{n+1})_{t} for some positive integer n. An element x in R is t-integral over I if there is an equation x^{n} + a_{1}x^{n-1} +...+ a_{n-1}x + a_{n} = 0 with a_{i} in (I^{i})_{t} for I = 1,...,n. The set of all elements that are t-integral over I is called the t-integral closure of I. This paper investigates the t-reductions and t-integral closure of ideals. Our objective is to establish satisfactory t-analogues of well-known results, in the literature, on the integral closure of i…
We prove that the integral closedness of any ideal of height at least two is compatible with specialization by a generic element. This opens the possibility for proofs using induction on the height of an ideal. Also, with additional assumptions, we show that an element is integral over a module if it is integral modulo a generic element of the module. This turns questions about integral closures of modules into problems about integral closures of ideals, by means of a construction known as Bourbaki ideal.
Test ideals are an important concept in tight closure theory and their behavior via flat base change can be very difficult to understand. Our paper presents results regarding this behavior under flat maps with reasonably nice (but far from smooth) fibers. This involves analyzing, in depth, a special type of ideal of test elements, called the CS test ideal. Besides providing new results, the paper also contains extensions of a theorem by G. Lyubeznik and K. E. Smith on the completely stable test ideal and of theorems by F. Enescu and, independently, M. Hashimoto on the behavior of F-rationality…
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…
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.
Let I\subset K[x,y] be a <x,y>-primary monomial ideal where K is a field. This paper produces an algorithm for computing the Ratliff-Rush closure I for the ideal I=<m_0,...,m_{n}> whenever m_{i} is contained in the integral closure of the ideal <x^{a_{n}},y^{b_0}>. This generalizes of the work of Crispin \cite{Cri}. Also, it provides generalizations and answers for some questions given in \cite{HJLS}, and enables us to construct infinite families of Ratliff-Rush ideals.
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…
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.
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.
Let $R$ be a Cohen-Macaulay local ring with maximal ideal $\max$. In this paper we present a procedure for computing the Ratllif-Rush closure of a $\max-$primary ideal $I \subset R$.
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.
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 $I$ be a monomial ideal $I$ in a polynomial ring $R = k[x_1,...,x_r]$. In this paper we give an upper bound on $\overline{\dstab} (I)$ in terms of $r$ and the maximal generating degree $d(I)$ of $I$ such that $\depth R/\overline{I^n}$ is constant for all $n\geqslant \overline{\dstab}(I)$. As an application, we classify the class of monomial ideals $I$ such that $\overline{I^n}$ is Cohen-Macaulay for some integer $n\gg 0$.
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…
We define a closure operation for ideals in a commutative ring which has all the good properties of solid closure (at least in the case of equal characteristic) but such that also every ideal in a regular ring is closed. This gives in particular a kind of tight closure theory in characteristic zero without referring to positive characteristic.
We prove that the integral closures of the powers of a squarefree monomial ideal I equal the symbolic powers if and only if I is the edge ideal of a Fulkersonian hypergraph.
We show in this paper that the Briancon-Skoda theorem holds for all ideals in F-rational rings of positive prime characteristic, and also in rings with rational singularities which are of finite type over a field of characteristic 0. Moreover, in Gorenstein F-rational rings of characteristic p we show that in many cases the bound given in the Briancon-Skoda theorem may be improved by at least one.
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 ${\ma…
The purpose of this paper is to present a family of Cohen-Macaulay monomial ideals such that their integral closures have embedded components and hence are not Cohen-Macaulay.
In this paper, we study associated primes and depth of integral closures of powers of edge ideals. We provide sharp bounds on how big of powers for which the set of associated primes and the depth of integral closures of powers of edge ideals are stable.
The third named author and Pérez proved that under certain conditions the test ideal of a module closure agrees with the trace ideal of the module closure. We use this fact to compute the test ideals of various rings with respect to the closures coming from their indecomposable maximal Cohen-Macaulay modules. We also give an easier way to compute the test ideal of a hypersurface ring in 3 variables coming from a module with a particular type of matrix factorization.
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.
The Qth-power algorithm for computing structured global presentations of integral closures of affine domains over finite fields is modified to compute structured presentations of integral closures of ideals in affine domains over finite fields relative to a local monomial ordering. A non-homogeneous version of the standard (homogeneous) Rees algebra is introduced as well.
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}}.$$
Over a field of characteristic $0$, we construct a minimal set of generators of the defining ideals of closures of nilpotent conjugacy class in the set of $n \times n$ matrices. This modifies a conjecture of Weyman and provides a complete answer to it.
This paper continues the investigation of quasilength, of content of local cohomology with respect to generators of the support ideal, and of robust algebras begun in joint work of Hochster and Huneke. We settle several questions raised by Hochster and Huneke. In particular, we give a family of examples of top local cohomology modules both in equal characteristic 0 and in positive prime characteristic that are nonzero but have content 0. We use the notion of a robust forcing algebra (the condition turns out to be strictly stronger than the notion of a solid forcing algebra in, for example, equ…
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…
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 study the regularity of small symbolic powers and integral closure of small powers of edge ideals. We also prove that the regularity of integral closure of powers of edge ideals of graphs with at most two odd cycles is the same as the regularity of their powers.
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).
Let $R$ be a commutative Noetherian ring, $E$ a non-zero finitely generated $R$-module and $I$ an ideal of $R$. One purpose of this paper is to show that the sequences $\Ass_RE/ \widetilde{I_E^n}$ and $\Ass_R\widetilde{I^n _E}/\widetilde{I^{n+1}_E}$, $n = 1,2, \dots$, of associated prime ideals are increasing and eventually stabilize. This extends the main result of Mirbagheri and Ratliff \cite[Theorem 3.1]{MR}. In addition, a characterization concerning the set $\widetilde{A^*}(I,E)$ is included. A second purpose of this paper is to prove that $I$ has linear growth primary decompositions for …
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.
For a Noetherian local domain $R$ let $R^+$ be the absolute integral closure of $R$ and let $R_{\infty}$ be the perfect closure of $R$, when $R$ has prime characteristic. In this paper we investigate the projective dimension of residue rings of certain ideals of $R^+$ and $R_{\infty}$. In particular, we show that any prime ideal of $R_{\infty}$ has a bounded free resolution of countably generated free $R_{\infty}$-modules. Also, we show that the analogue of this result is true for the maximal ideals of $R^+$, when $R$ has residue prime characteristic. We compute global dimensions of $R^+$ and …
