English
Related papers

Related papers: Comparing powers and symbolic powers of ideals

200 papers

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…

Commutative Algebra · Mathematics 2022-03-09 Hop D. Nguyen , Quang Hoa Tran

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$?…

Commutative Algebra · Mathematics 2018-11-26 Robert M. Walker

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…

Commutative Algebra · Mathematics 2011-09-12 Brian Harbourne , Craig Huneke

Given an ideal $I$ we investigate the decompositions of Betti diagrams of the graded family of ideals $\{I^k \}_k$ formed by taking powers of $I$. We prove conjectures of Engstr\"om and show that there is a stabilization in the…

Commutative Algebra · Mathematics 2015-09-30 Sarah Mayes-Tang

We introduce and explore the Uniform Izumi-Rees Property in Noetherian rings with applications to multiplicity theory and containment relationships among symbolic powers of ideals. As an application, we prove that if $R$ is a normal domain…

Commutative Algebra · Mathematics 2025-11-03 Thomas Polstra

We show how multiplier ideals can be used to obtain uniform multiplicative bounds for certain families of ideals on a smooth complex algebraic variety. In particular we prove a quick but rather surprising result about symbolic powers of…

Algebraic Geometry · Mathematics 2009-10-31 Lawrence Ein , Robert Lazarsfeld , Karen E. Smith

Let $I$ be an equigenerated squarefree monomial ideal in the polynomial ring $\mathbb{K}[x_1,\ldots,x_n]$, and let $\mathcal{H}$ be a uniform clutter on the vertex set $\{x_1,\ldots,x_n\}$ such that $I=I(\mathcal{H})$ is its edge ideal. A…

Commutative Algebra · Mathematics 2025-11-12 Amit Roy , Kamalesh Saha

Let $S$ be a positively graded polynomial ring over a field of characteristic 0, and $I\subset S$ a proper graded ideal. In this note it is shown that $S/I$ is Golod if $\partial(I)^2\subset I$. Here $\partial(I)$ denotes the ideal…

Commutative Algebra · Mathematics 2013-01-01 Jürgen Herzog , Craig Huneke

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…

Commutative Algebra · Mathematics 2020-08-19 Kriti Goel , Vivek Mukundan , J. K. Verma

Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s) \oplus k(-2s+1)$, where $s \geq3$ is some…

Commutative Algebra · Mathematics 2020-02-21 Keller VandeBogert

This paper addresses the problem of comparing minimal free resolutions of symbolic powers of an ideal. Our investigation is focused on the behavior of the function depth R/I^(t) = dim R - pd I^(t) - 1, where I^(t) denotes the t-th symbolic…

Commutative Algebra · Mathematics 2021-10-18 Hop Dang Nguyen , Ngo Viet Trung

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…

Commutative Algebra · Mathematics 2018-11-19 Adeleh Azari , Simin Mollamahmoudi , Reza Naghipour

Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $I(G)$ and $J(G)$ denote the edge ideal and the cover ideal of $G$, respectively. We…

Commutative Algebra · Mathematics 2023-08-22 Seyed Amin Seyed Fakhari , Siamak Yassemi

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…

Commutative Algebra · Mathematics 2021-09-16 Jonathan Montaño , Luis Núñez-Betancourt

Let $R$ and $S$ be standard graded algebras over a field $k$, and $I \subseteq R$ and $J \subseteq S$ homogeneous ideals. Denote by $P$ the sum of the extensions of $I$ and $J$ to $R\otimes_k S$. We investigate several important homological…

Commutative Algebra · Mathematics 2018-07-27 Hop D. Nguyen , Thanh Vu

Over an arbitrary field $\mathbb{F}$, Harbourne conjectured that $$I^{(N (r-1)+1)} \subseteq I^r$$ for all $r>0$ and all homogeneous ideals $I$ in $S = \mathbb{F} [\mathbb{P}^N] = \mathbb{F} [x_0, \ldots, x_N]$. The conjecture has been…

Commutative Algebra · Mathematics 2018-11-26 Robert M. Walker

Let $S$ be a regular local ring or a polynomial ring over a field and $I$ be an ideal of $S$. Motivated by a recent result of Herzog and Huneke, we study the natural question of whether $I^m$ is a Golod ideal for all $m\geq 2$. We observe…

Commutative Algebra · Mathematics 2018-04-06 Rasoul Ahangari Maleki

Let $S = K[x_1,..., x_n]$ be a polynomial ring over a field $K$. Let $I(G) \subseteq S$ denote the edge ideal of a graph $G$. We show that the $\ell$th symbolic power $I(G)^{(\ell)}$ is a Cohen-Macaulay ideal (i.e., $S/I(G)^{(\ell)}$ is…

Commutative Algebra · Mathematics 2012-03-12 Giancarlo Rinaldo , Naoki Terai , Ken-ichi Yoshida

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…

Commutative Algebra · Mathematics 2016-11-04 Adnan Aslam

Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $\omega_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation…

Commutative Algebra · Mathematics 2017-08-22 Jean Fasel