English
Related papers

Related papers: Containment problem for points on a reducible coni…

200 papers

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

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…

Commutative Algebra · Mathematics 2021-10-12 Irena Swanson , Robert M. Walker

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…

Commutative Algebra · Mathematics 2007-05-23 Rodney Y. Sharp , Nicole Nossem

Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal generated in degree $d$. Bandari and Herzog conjectured that a monomial ideal $I$ is polymatroidal if and only if all its monomial…

Commutative Algebra · Mathematics 2019-01-23 Amir Mafi , Dler Naderi

Symbolic powers of ideals have attracted interest in commutative algebra and algebraic geometry for many years, with a notable recent focus on containment relations between symbolic powers and ordinary powers. Several invariants have been…

Let R denote a commutative Noetherian ring and let I be an ideal of R such that H_i^I(R) = 0, for all integers i greater than or equal to 2. In this paper we shall prove some results concerning the homological properties of I.

Commutative Algebra · Mathematics 2017-05-05 G. Pirmohammadi , K. Ahmadi Amoli , K. Bahmanpour

Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously…

Commutative Algebra · Mathematics 2019-10-16 Ben Drabkin , Eloísa Grifo , Alexandra Seceleanu , Branden Stone

Let I be the ideal corresponding to a set of general points $p_1,...,p_n \in P^2$. There recently has been progress in showing that a naive lower bound for the Hilbert functions of symbolic powers $I^{(m)}$ is in fact attained when n>9.…

Algebraic Geometry · Mathematics 2007-05-23 Brian Harbourne , Sandeep Holay , Stephanie Fitchett

The purpose of this note is to study containment relations and asymptotic invariants for ideals of fixed codimension skeletons (simplicial ideals) determined by arrangements of $n + 1$ general hyperplanes in the $n-$dimensional projective…

Algebraic Geometry · Mathematics 2015-04-16 Magdalena Lampa-Baczyńska , Grzegorz Malara

In a commutative ring $R$ with unity, given an ideal $I$ of $R$, Anderson and Badawi in 2011 introduced the invariant $\omega(I)$, which is the minimal integer $n$ for which $I$ is an $n$-absorbing ideal of $R$. In the specific case that $R…

Commutative Algebra · Mathematics 2018-12-17 Hyun Seung Choi , Andrew Walker

The B\"or\"oczky configuration of lines and (multiple) points exhibits extremal behavior in commutative algebra and combinatorics. Examples of this appear in the context of the containment problem for ordinary and symbolic powers and the…

Commutative Algebra · Mathematics 2025-10-21 Jake Kettinger , Shahriyar Roshan-Zamir

We investigate the higher divisorial ideal $D(I):= Ann(Ext^g_R(R/I,R))$ associated to an ideal I of grade g. Our main focus is the containment problem $D(I) \subseteq \overline{I}$. We show that this inclusion holds for broad classes of…

Commutative Algebra · Mathematics 2026-02-10 Mohsen Asgharzadeh

We consider the polynomial ring in finitely many variables over an algebraically closed field of positive characteristic, and initiate the systematic study of ideals preserved by the action of the general linear group by changes of…

A commutative noetherian local ring $(R,\mathfrak{m})$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show there…

Commutative Algebra · Mathematics 2020-06-11 Katharine Shultis , Peder Thompson

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 $n \ge 2$ be an integer and consider the defining ideal of the Fermat configuration of points in $\mathbb{P}^2$: $I_n=(x(y^n-z^n),y(z^n-x^n),z(x^n-y^n)) \subset R=\mathbb{C}[x,y,z]$. In this paper, we compute explicitly the least degree…

Commutative Algebra · Mathematics 2022-08-25 Thai Thanh Nguyen

This work is about symbolic powers of codimension two perfect ideals in a standard polynomial ring over a field, where the entries of the corresponding presentation matrix are general linear forms. The main contribution of the present…

Commutative Algebra · Mathematics 2013-10-30 Aron Simis , Zaqueu Ramos

Conjectures for the Hilbert function of the m-th symbolic power of the ideal of n general points of P2 are verified for infinitely many m for each square n > 9, using an approach developed by the authors in a previous paper. In those cases…

Algebraic Geometry · Mathematics 2007-05-23 Brian Harbourne , Joaquim Roé

For an ideal $I$ in a Noetherian ring $R$, the Fitting ideals $\textrm{Fitt}_j(I)$ are studied. We discuss the question of when $\textrm{Fitt}_j(I)=I$ or $\sqrt{\textrm{Fitt}_j(I)}=\sqrt{I}$ for some $j$. A classical case is the…

Commutative Algebra · Mathematics 2025-10-08 David Eisenbud , Antonino Ficarra , Jürgen Herzog , Somayeh Moradi

An ideal $I$ in a Noetherian ring is called \textit{normal} if $I^n$ is integrally closed for all $n \geq 1$. Zariski proved that in two-dimensional regular local rings, every integrally closed ideal is normal. However, in dimension three…

Commutative Algebra · Mathematics 2026-02-03 Maki Ataka , Naoyuki Matsuoka