Related papers: On symbolic powers of prime ideals

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…

We prove the following result, which is motivated by the recent work of Kurano and Roberts on Serre's positivity conjecture. Assume that (R,m) is a local ring with finitely-generated module M such that R/ann(M) is quasi-unmixed and contains…

The Eisenbud-Mazur conjecture states that given an equicharacteristic zero, regular local ring (R,\mathfrak{m}) and a prime ideal P\subset R, we have that P^{(2)}\subseteq mP. In this paper, we computationally prove that the conjecture…

We pose 100 new conjectures on representations involving primes or related things, which might interest number theorists and stimulate further research. Below are five typical examples: (i) For any positive integer $n$, there exists…

Given a polynomial ring $C$ over a field and proper ideals $I$ and $J$ whose generating sets involve disjoint variables, we determine how to embed the associated primes of each power of $I+J$ into a collection of primes described in terms…

The main focus of this paper is on the problem of relating an ideal $I$ in the polynomial ring $\mathbb Q[x_1, \dots, x_n]$ to a corresponding ideal in $\mathbb F_p[x_1,\dots, x_n]$ where $p$ is a prime number; in other words, the…

Let $B$ be a reduced local (Noetherian) ring with maximal ideal $M$. Suppose that $B$ contains the rationals, $B/M$ is uncountable and $|B| = |B/M|$. Let the minimal prime ideals of $B$ be partitioned into $m \geq 1$ subcollections $C_1,…

We consider polynomials in R[x] which map the set of nonnegative (element-wise) matrices of a given order into itself. Let n be a positive integer and define P(n)= {p in R[x] : p(A) is nonnegative (element-wise), for all A, A an n-by-n…

We develop tools to study the problem of containment of symbolic powers $I^{(m)}$ in powers $I^r$ for a homogeneous ideal $I$ in a polynomial ring $k[{\bf P}^N]$ in $N+1$ variables over an algebraically closed field $k$. We obtain results…

B. Harbourne and C. Huneke conjectured that for any ideal $I$ of fat points in $P^N$ its $r$-th symbolic power $I^{(r)}$ should be contained in $M^{(N-1)r}I^r$, where $M$ denotes the homogeneous maximal ideal in the ring of coordinates of…

We give an elementary proof that for a ring homomorphism A -> B, satisfying the property that every ideal in A is contracted from B, the following property holds: for every chain of prime ideals p_0 \subset ... \subset p_r in A there exists…

Suppose that $p$ is an odd prime and $m$ is an integer not divisible by $p$. Sun and Tauraso [Adv. in Appl. Math., 45(2010), 125--148] gave $\sum_{k=0}^{n-1}\binom{2k}{k+d}/m^k$ and $\sum_{k=0}^{n-1}\binom{2k}{k+d}/(km^k)$ modulo $p$ for…

Given a radical ideal $I$ in a regular ring $R$, the Containment Problem of symbolic and ordinary powers of $I$ consists of determining when the containment $I^{(a)} \subseteq I^b$ holds. By work of Ein-Lazersfeld-Smith, Hochster-Huneke and…

Let $A, B$ be polynomial rings over a field $k$, and $I\subseteq A, J\subseteq B$ proper homogeneous ideals. We analyze the associated primes of powers of $I+J\subseteq A\otimes_k B$ given the data on the summands. The associated primes of…

Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…

Fix a poset $Q$ on $\{x_1,\ldots,x_n\}$. A $Q$-Borel monomial ideal $I \subseteq \mathbb{K}[x_1,\ldots,x_n]$ is a monomial ideal whose monomials are closed under the Borel-like moves induced by $Q$. A monomial ideal $I$ is a principal…

The symbolic powers $I^{(n)}$ of a radical ideal $I$ in a polynomial ring consist of the functions that vanish up to order $n$ in the variety defined by $I$. These do not necessarily coincide with the ordinary algebraic powers $I^n$, but it…

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,…

Recently, Andrews, Chan, Kim and Osburn introduced a $q$-series $h(q)$ for the study of the first positive rank and crank moments for overpartitions. They conjectured that for all integers $m \geq 3$, \begin{equation*}\label{hqcon}…

We show that under suitable hypothesis (which are sharp in certain sense) that the core of an m-primary ideal in a regular local ring of dimension d is equal to the adjoint (or multiplier) ideal of its d-th power, generalizing a result of…