Let (R,m) be a local ring with prime ideals p and q such that p+q is an m-primary ideal. If R is regular and contains a field, and dim(R/p)+dim(R/q)=dim(R), we prove that p^{(r)}\cap q^{(n)}\subseteq m^{m+n} for all positive integers r and s. This is proved using a generalization of Serre's Intersection Theorem which we apply to a hypersurface R/fR. The generalization gives conditions that guarantee that Serre's bound on the intersection dimension dim(R/p)+dim(R/q) \leq dim(R) holds when R is nonregular.
In this survey article we give a brief history of symbolic powers and its connection with the interesting problem of set-theoretic complete intersection. We also state a few problems and conjectures. Recently, in connection to symbolic powers is the containment problem. We list a few interesting results and related problems on the resurgence, Waldschmidt constant and Castelnuovo-Mumford regularity.
In this paper we extend a result of Cowsik on set-theoretic complete intersection and a result Huneke, Morales and Goto and Nishida about Noetherian symbolic Rees algebras of ideals. As applications, we show that the symbolic Rees algebras of the following ideals are Noetherian and the ideals are set-theoretic complete intersections: (a) the edge ideal of a complete graph, (b) the Fermat ideal and (c) the Jacobian ideal of a certain hyperplane arrangement.
We classify all unmixed monomial ideals I of codimension 2 which are generically a complete intersection and which have the property that the symbolic power algebra A(I) is standard graded. We give a lower bound for the highest degree of a generator of A(I) in the case that I is a modification of the vertex cover ideal of a bipartite graph, and show that this highest degree can be any given number. We furthermore give an upper bound for the highest degree of a generator of the integral closure of A(I) in the case that I is a monomial ideal which is generically a complete intersection.
We study the symbolic powers of determinantal ideals of generic, generic symmetric, and Hankel matrices of variables, and of Pfaffians of generic skew-symmetric matrices, in prime characteristic. Specifically, we show that the limit $\lim\limits_{n\to\infty} \frac{\textrm{reg}(I^{(n)})}{n}$ exists and that $\textrm{depth}(R/I^{(n)})$ stabilizes for $n\gg 0$. Furthermore, we give explicit formulas for the stable value of $\textrm{depth}(R/I^{(n)})$ in the generic and skew-symmetric cases. In order to show these results, we introduce the notion of symbolic $F$-purity of ideals which is satisfied…
We show that the Stanley's Conjecture holds for an intersection of four monomial prime ideals of a polynomial algebra $S$ over a field and for an arbitrary intersection of monomial prime ideals $(P_i)_{i\in [s]}$ of $S$ such that $P_i\not\subset Σ_{1=j\not =i}^s P_j$ for all $i\in [s]$.
Let (R,m) be a regular local ring with prime ideals p and q such that p+q is m-primary and dim(R/p)+dim(R/q)=dim(R). It has been conjectured by Kurano and Roberts that p^{(n)} \cap q \subseteq m^{n+1} for all positive integers n. We discuss this conjecture and related conjectures. In particular, we prove that this conjecture holds for all regular local rings if and only if it holds for all localizations of polynomial algebras over complete discrete valuation rings. In addition, we give examples showing that certain generalizations to nonregular rings do not hold.
In this paper we study elementary extensions of differential fields in prime characteristic. In particular, we show that, in contrast to Liouville's result in characteristic zero, all elements of an elementary extension admit an antiderivative in some logarithmic extension.
We consider the following question concerning the equality of ordinary and symbolic powers of ideals. In a regular local ring, if the ordinary and symbolic powers of a one-dimensional prime ideal are the same up to its height, then are they the same for all powers? We provide supporting evidence of a positive answer for classes of prime ideals defining monomial curves or rings of low multiplicities.
We describe prime ideals of height 2 minimally generated by 3 elements in a Gorenstein, Nagata local ring of Krull dimension 3 and multiplicity at most 3. This subject is related to a conjecture of Y. Shimoda and to a long-standing problem of J. Sally.
This paper contributes to the study of the prime spectrum and dimension theory of symbolic Rees algebra over Noetherian domains. We first establish some general results on the prime ideal structure of subalgebras of affine domains, which actually arise, in the Noetherian context, as domains between a domain $A$ and $A[a^{-1}]$. We then examine closely the special context of symbolic Rees algebras (which yielded the first counter-example to the Zariski-Hilbert problem). One of the results states that if $A$ is a Noetherian domain and $p$ a maximal ideal of $A$, then the Rees algebra of $p$ inhe…
We study when $R \to S$ has the property that prime ideals of $R$ extend to prime ideals or the unit ideal of $S$, and the situation where this property continues to hold after adjoining the same indeterminates to both rings. We prove that if $R$ is reduced, every maximal ideal of $R$ contains only finitely many minimal primes of $R$, and prime ideals of $R[X_1,\dots,X_n]$ extend to prime ideals of $S[X_1,\dots,X_n]$ for all $n$, then $S$ is flat over $R$. We give a counterexample to flatness over a reduced quasilocal ring $R$ with infinitely many minimal primes by constructing a non-flat $R$-…
There are two different notions for symbolic powers of ideals existing in the literature, one defined in terms of associated primes, the other in terms of minimal primes. Elaborating on an idea known to Eisenbud, Herzog, Hibi, and Trung, we interpret both notions of symbolic powers as suitable saturations of the ordinary powers. We prove a binomial expansion formula for saturated powers of sums of ideals. This gives a uniform treatment to an array of existing and new results on both notions of symbolic powers of such sums: binomial expansion formulas, computations of depth and regularity, and …
Various classes of hyperideals have been studied in many papers in order to let us fully understand the structures of hyperrings in general. The purpose of this paper is the study of some hyperideals whose concept is created on the basis of the intersection of all n-ary prime hyperideals in category of Krasner (m,n)-hyperrings. In this regard we introduce notions of N-hyperideals, delta-N-hyperideals, (k,n)-absorbing delta-N-hyperideals and S-N-hyperideals. The overall framework of these structures in then explaind, providing a number of major conclusions.
In this paper we generalize the theorem of Ein-Lazarsfeld-Smith (concerning the behavior of symbolic powers of prime ideals in regular rings finitely generated over a field of characteristic 0) to arbitrary regular rings containing a field. The basic theorem states that in such rings, if P is a prime ideal of height c, then for all n, the symbolic (cn)th power of P is contained in the nth power of P. Results are also given in the non-regular case: one must correct by a power of the Jacobian ideal in rings where the Jacobian ideal is defined.
Let $D$ be a weighted oriented graph and $I(D)$ be its edge ideal. If $D$ contains an induced odd cycle of length $2n+1$, under certain condition we show that $ {I(D)}^{(n+1)} \neq {I(D)}^{n+1}$. We give necessary and sufficient condition for the equality of ordinary and symbolic powers of edge ideal of a weighted oriented graph having each edge in some induced odd cycle of it. We characterize the weighted naturally oriented unicyclic graphs with unique odd cycles and weighted naturally oriented even cycles for the equality of ordinary and symbolic powers of their edge ideals. Let $ D^{\prime}…
A new definition of prime congruences in additively idempotent semirings is given using twisted products. This class turns out to exhibit some analogous properties to the prime ideals of commutative rings. In order to establish a good notion of radical congruences it is shown that the intersection of all primes of a semiring can be characterized by certain twisted power formulas. A complete description of prime congruences is given in the polynomial and Laurent polynomial semirings over the tropical semifield ${\pmb T}$, the semifield $\mathbb{Z}_{max}$ and the two element semifield $\mathbb{B…
This dissertation focuses on the following topics: (1) asymptotic prime divisors over complete intersection rings, (2) asymptotic stability of complexities over complete intersection rings, (3) asymptotic linear bounds of Castelnuovo-Mumford regularity in multigraded modules, and (4) characterizations of regular local rings via syzygy modules of the residue field.
Let $A$ be a commutative noetherian ring and $I$ an ideal in $A$. We characterize algebraically when all the minimal primes of the associated graded ring $G_I A$ contract to minimal primes of $A/I$. This, applied to intersection theory, means that there are no embedded distinguished varieties of intersection. The characterization is in terms of the analytic spread of certain localizations of $I$, the symbolic Rees algebra and the normalization of the Rees algebra, and extends results of Huneke, Vasconcelos and Martí-Farré.
Let $A$ be a local complete intersection ring. Let $M,N$ be two finitely generated $A$-modules and $I$ an ideal of $A$. We prove that \[ \bigcup_{i\geqslant 0}\bigcup_{n \geqslant 0}\mathrm{Ass}_A\left(\mathrm{Ext}_A^i(M,N/I^n N)\right) \] is a finite set. Moreover, we prove that there exist $i_0,n_0\geqslant 0$ such that for all $i\geqslant i_0$ and $n \geqslant n_0$, we have \[ \mathrm{Ass}_A\left(\mathrm{Ext}_A^{2i}(M,N/I^nN)\right) = \mathrm{Ass}_A\left(\mathrm{Ext}_A^{2 i_0}(M,N/I^{n_0}N)\right), \] \[ \mathrm{Ass}_A\left(\mathrm{Ext}_A^{2i+1}(M,N/I^nN)\right) = \mathrm{Ass}_A\left(\mathr…
Commutative rings in which every prime ideal is the intersection of maximal ideals are called Hilbert (or Jacobson) rings. We propose to define classical Hilbert modules by the property that {\it classical prime} submodules are the intersection of maximal submodules. It is shown that all co-semisimple modules as well as all Artinian modules are classical Hilbert modules. Also, every module over a zero-dimensional ring is classical Hilbert. Results illustrating connections amongst the notions of classical Hilbert module and Hilbert ring are also provided. Rings $R$ over which all $R$-modules ar…
Using aritmethic conditions on affine semigroups we prove that for a simplicial toric variety of codimension 2 the property of being a set-theoretic complete intersection on binomials in characteristic $p$ holds either for all primes $p$, or for no prime $p$, or for exactly one prime $p$.
Let $(A,\mathfrak{m})$ be an abstract complete intersection and let $P$ be a prime ideal of $A$. In [1] Avramov proved that $A_P$ is an abstract complete intersection. In this paper we give an elementary proof of this result.
As a generalization of the ideals of star configurations of hypersurfaces, we consider the $a$-fold product ideal $I_a(f_1^{m_1}\cdots f_s^{m_s})$ when ${f_1,\dots,f_s}$ is a sequence of generic forms and $1\le a\le m_1+\cdots+m_s$. Firstly, we show that this ideal has complete intersection quotients when these forms are of the same degree and essentially linear. Then we study its symbolic powers while focusing on the uniform case with $m_1=\cdots=m_s$. For large $a$, we describe its resurgence and symbolic defect. And for general $a$, we also investigate the corresponding invariants for meeti…
Let $I$ denote an ideal of a Noetherian ring $R$ and $N$ a non-zero finitely generated $R$-module. In the present paper, some necessary and sufficient conditions are given to determine when the $I$-adic topology on $N$ is equivalent to the $I$-symbolic topology on $N$. Among other things, we shall give a complete solution to the question raised by R. Hartshorne in [{\it Affine duality and cofiniteness}, Invent. Math. {\bf9}(1970), 145-164], for a prime ideal $\frak p$ of dimension one in a local Noetherian ring $R$, by showing that the $\frak{p}$-adic topology on $N$ is equivalent to the $\fra…
In this paper we explicitly describe the symbolic powers of curves ${\mathcal C}(q,m)$ in ${\mathbb P}^3$ parametrized by $( x^{d+2m}, x^{d+m} y^m, x^{d} y^{2m}, y^{d+2m})$, where $q,m$ are positive integers, $d=2q+1$ and $\gcd(d,m)=1$. The defining ideal of these curves is a set-theoretic complete intersection. We show that the symbolic blowup algebra is Noetherian and Gorenstein. An explicit formula for the resurgence and the Waldschmidt constant of the prime ideal ${\mathfrak p}:={\mathfrak p}_{ { \mathcal C}(q,m) }$ defining the curve ${\mathcal C}(q,m)$ is computed. We also give a formula…
In a polynomial ring over a perfect field, the symbolic powers of a prime ideal can be described via differential operators: a classical result by Zariski and Nagata says that the $n$-th symbolic power of a given prime ideal consists of the elements that vanish up to order $n$ on the corresponding variety. However, this description fails in mixed characteristic. In this paper, we use $p$-derivations, a notion due to Buium and Joyal, to define a new kind of differential powers in mixed characteristic, and prove that this new object does coincide with the symbolic powers of prime ideals. This se…
For the polynomial ring over an arbitrary field with twelve variables, there exists a prime ideal whose symbolic Rees algebra is not finitely generated.
A current research theme is to compare symbolic powers of an ideal $I$ with the regular powers of $I$. In this paper, we focus on the case that $I=I_X$ is an ideal defining an almost complete intersection (ACI) sets of points $X$ in $\mathbb{P}^1\times\mathbb{P}^1$. In particular, we describe a minimal free bigraded resolution of a non arithmetically Cohen-Macaulay (also non homogeneus) set of fat points $\mathcal Z$ whose support is an ACI. We call $\mathcal Z$ a fat ACI. We also show that its symbolic and ordinary powers are equal, i.e, $I_{\mathcal Z}^{(m)}=I_{\mathcal Z}^{m}$ for any $m\ge…
Among reduced Noetherian prime characteristic commutative rings, we prove that a regular ring is precisely one where finite intersection of ideals commutes with taking bracket powers. However, reducedness is essential for this equivalence. Connections are made with Ohm-Rush content theory, intersection-flatness of the Frobenius map, and various flatness criteria.
We prove that for m > 2, the m-th symbolic power of a Stanley-Reisner ideal is Cohen-Macaulay if and only if the simplicial complex is a matroid. Similarly, the m-th ordinary power is Cohen-Macaulay for some m > 2 if and only if the complex is a complete intersection. These results solve several open questions on the Cohen-Macaulayness of ordinary and symbolic powers of Stanley-Reisner ideals. Moreover, they have interesting consequences on the Cohen-Macaulayness of symbolic powers of facet ideals and cover ideals.
Let $S$ be a polynomial ring over an algebraic closed field $k$ and $ \mathfrak p =(x,y,z,w) $ a homogeneous height four prime ideal. We give a finite characterization of the degree two component of ideals primary to $\mathfrak p$, with multiplicity $e \leq 3$. We use this result to give a tight bound on the projective dimension of almost complete intersections generated by five quadrics with $e \leq 3$.
For which monomial supports do most polynomials generate a prime ideal? We give necessary and sufficient conditions for the radical of the ideal to be prime over an algebraically closed field. In characteristic zero, the same conditions give primeness. As an application we show that under the same combinatorial conditions on Newton polytopes, the stable intersection of tropical hypersurfaces is connected through codimension one.
When does a Noetherian commutative ring $R$ have uniform symbolic topologies on primes--read, when does there exist an integer $D>0$ such that the symbolic power $P^{(Dr)} \subseteq P^r$ for all prime ideals $P \subseteq R$ and all $r >0$? Groundbreaking work of Ein-Lazarsfeld-Smith, as extended by Hochster and Huneke, and by Ma and Schwede in turn, provides a beautiful answer in the setting of finite-dimensional excellent regular rings. It is natural to then sleuth for analogues where the ring $R$ is non-regular, or where the above ideal containments can be improved using a linear function wh…
Let $I_X$ be the saturated homogeneous ideal defining a codimension two arithmetically Cohen-Macaulay scheme $X \subseteq \mathbb{P}^n$, and let $I_X^{(m)}$ denote its $m$-th symbolic power. We are interested in when $I_X^{(m)} = I_X^m$. We survey what is known about this problem when $X$ is locally a complete intersection, and in particular, we review the classification of when $I_X^{(m)} = I_X^m$ for all $m \geq 1$. We then discuss how one might weaken these hypotheses, but still obtain equality between the symbolic and ordinary powers. Finally, we show that this classification allows one to…
Let $Δ$ be a pure simplicial complex and $I_Δ$ its Stanley-Reisner ideal in a polynomial ring $S$. We show that $Δ$ is a matroid (complete intersection) if and only if $S/I_Δ^{(m)}$ ($S/I_Δ^m$) is clean for all $m\in\mathbb{N}$. If $\dim(Δ)=1$, we also prove that $S/I_Δ^{(2)}$ ($S/I_Δ^2$) is clean if and only if $S/I_Δ^{(2)}$ ($S/I_Δ^2$) is Cohen-Macaulay.
Let $k$ be any field. Let $R=k[[X_1,\ldots,X_d]]$ and $\frak p$ a $1$-dimensional prime ideal. In this note we present $d-1$ elements such as $f_1,\ldots,f_{d-1}$ in $\frak p$ such that $\mathfrak{p}=\text{rad}(f_1,\ldots,f_{d-1})$.
Fermat ideals define planar point configurations that are closely related to the intersection locus of the members of a specific pencil of curves. These ideals have gained recent popularity as counterexamples to some proposed containments between symbolic and ordinary powers. We give a systematic treatment of the family of Fermat ideals, describing explicitly the minimal generators and the minimal free resolutions of all their ordinary powers as well as many symbolic powers. We use these to study the ordinary and the symbolic Rees algebra of Fermat ideals. Specifically, we show that the symbol…
Let $d \geq 2$ and $m\geq 1$ be integers such that $\gcd (d,m)=1.$ Let ${\mathfrak p}$ be the defining ideal of the monomial curve in ${\mathbb A}_{ \Bbbk{k}}^d$ parametrized by $(t^{n_1}, \ldots, t^{n_d})$ where $n_i = d + (i-1)m$ for all $i = 1, \ldots, d$. In this paper, we describe the symbolic powers ${\mathfrak p}^{(n)} $ for all $n \geq 1$. As a consequence we show that the symbolic blowup algebras ${\mathcal R}_s{({\mathfrak p})}$ and $G_{s}({\mathfrak p}) $ are Cohen-Macaulay. This gives a positive answer to a question posed by S.~Goto in \cite{goto}. We also discuss when these blowup…
We characterize monomial ideals which are intersections of monomial prime ideals and study classes of ideals with this property, among them polymatroidal ideals.
Let $(A,\mathfrak{m})$ be a local complete intersection ring and let $I$ be an ideal in $A$. Let $M, N$ be finitely generated $A$-modules. Then for $l = 0,1$, the values $depth \ Ext^{2i+l}_A(M, N/I^nN)$ become independent of $i, n$ for $i,n \gg 0$. We also show that if $\mathfrak{p}$ is a prime ideal in $A$ then the $j^{th}$ Bass numbers $μ_j\big(\mathfrak{p},\ Ext^{2i+l}_A(M,N/{I^nN})\big)$ has polynomial growth in $(n,i)$ with rational coefficients for all sufficiently large $(n,i)$.
We investigate the rational powers of ideals. We find that in the case of monomial ideals, the canonical indexing leads to a characterization of the rational powers yielding that symbolic powers of squarefree monomial ideals are indeed rational powers themselves. Using the connection with symbolic powers techniques, we use splittings to show the convergence of depths and normalized Castelnuovo-Mumford regularities. We show the convergence of Stanley depths for rational powers, and as a consequence of this we show the before-now unknown convergence of Stanley depths of integral closure powers. …
Let R be a commutative ring with1 and R[X] be the polynomial ring over R. We determine the underlying ring R over which the polynomial ring R[X] has the property that all its prime ideals are set theoretic complete intersections.
We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with respect to a morphism which resembles the Frobenius map and that exists in all characteristics. Using these methods, we recover a result by Hoa and Trung which states that the normalized $a$-invariants and the Castelnuovo-Mumford regularity of the symbolic powers converge. In addition, we give a sufficient condition for the equality of the ordinary and symbolic…
Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a principal ideal in a locally excellent regular ring is a discrete subset of $\mathbb Q$, and 3. If $R$ is a quotient of a locally excellent regular ring of prime characteristic, then there is a uniform upper bound on the Hartshorne-Speiser-Lyubeznik numbers of the injective hulls of the residue fields of $R$. To do so, we develop the parallel theories of Ohm-…
In this paper we will investigate commutative rings which have the $\ast $-property. We say that a ring $R$ satisfy $\ast-$property if for any family of ideals $\left\{ I_α\right\} _{α\in S}$ of $R$ in which $S$ is an index set, there exists a finite subset\ $S^{\prime}$ of $S$ such that the radical of the intersection of the family of ideals $\left\{ I_α\right\} _{α\in S}$ is equal to the intersection of the radicals of ideals $\left\{ I_α\right\} _{α\in S^{\prime}}$ . We will show that any integral domain which satisfy $\ast-$property is a field. Furthermore, these rings are zero-dimensional…
Let $R$ be a commutative Noetherian ring and let ${\bf x} :=x_1,\ldots,x_d$ be a regular $R$-sequence contained in the Jacobson radical of $R$. An ideal $I$ of $R$ is said to be a monomial ideal with respect to ${\bf x}$ if it is generated by a set of monomials $x_1^{e_1}\ldots x_d^{e_d}$. It is shown that, if ${\bf x}R$ is a prime ideal of $R$, then each monomial ideal $I$ has a canonical and unique decomposition as an irredundant finite intersection of primary ideals of the form $x^{e_1}_{τ(1)}R+\dots+x^{e_s}_{τ(s)}R$, where $τ$ is a permutation of $\{1,\ldots,d\}$, $s\in\{1,\ldots,d\}$ and …
The binomial ideal associated with the intersection axiom of conditional probability is shown to be radical and is expressed as intersection of toric prime ideals. This resolves a conjecture in algebraic statistics due to Cartwright and Engström.
Let $S$ be a Cohen-Macaulay ring which is local or standard graded over a field, and let $I$ be an unmixed ideal that is also generically a complete intersection. Our goal in this paper is multi-fold. First, we give a multiplicity-based characterization of when an unmixed subideal $J \subseteq I^{(m)}$ equals the $m$-th symbolic power $I^{(m)}$ of $I$. Second, we provide a saturation-type formula to compute $I^{(m)}$ and employ it to deduce a theoretical criterion for when $I^{(m)}=I^m$. Third, we establish an explicit linear bound on the exponent that makes the saturation formula effective, a…
Searching for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in projective N-space, we make conjectures which explain them, and we prove the conjectures in certain cases, including the case of general points in the projective plane. Our conjectures were also partly motivated by the Eisenbud-Mazur Conjecture on evolutions, which concerns symbolic squares of prime ideals in local rings, but in contrast we consider higher symbolic powers of homogeneous ideals in polynomial rings.
