A homological criterion for the containment between symbolic and ordinary powers of some ideals of points in P^2

DOI10.1016/J.JPAA.2015.03.009MaRDI QIDQ2349337zbMATH OpenOpenAlexFDO

Authors Alexandra Seceleanu

Publication date 22 June 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.0312

zbMATH Keywords

fat pointssymbolic powers

Mathematics Subject Classification ID

Graded rings (13A02) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Projective techniques in algebraic geometry (14N05)

Abstract: We establish a criterion for the (failure of) the containment $I^{(m)}subset{I}^r$ for 3-generated ideals $I$ defining reduced sets of points in $mathbb{P}^2$. Our criterion arises from studying the minimal free resolutions of the powers of $I$, specifically the minimal free resolutions for $I^m$ and $I^r$. We apply this criterion to two point configurations that have recently arisen as counterexamples to a question of B. Harbourne and C. Huneke: the Fermat configuration and the Klein configuration.

Review text

The study of the containment \(I^{(m)}\subset I^r\) for the homogeneous (radical) ideal of a set of points in \(\mathbb{P}^2\) is the subject of this paper (\(I^{(m)}\), the symbolic \(m\)-power of \(I\), is the saturation of the ideal \(I^m\)). The minimal free resolution of the ideals \(I^m\) is studied, and for ideals with three generators a criterion is given to check that containment, specifically to check if \(I^{(2)}\subset I^3\) (which was one of the first open problems posed about this question). Counterexamples when \(I^{(2)}\subset I^3\) does not hold are studied and proved using the criterion found (all sets of points are given by singular loci for special arrangements of lines).

Recommendations

• On the containment problem
• Containment results for ideals of various configurations of points in \(\mathbb P^N\)
• Counterexamples to the \(I^{(3)}\subset I^2\) containment
• Containment counterexamples for ideals of various configurations of points in \(\mathbb{P}^N\)
• Containments of symbolic powers of ideals of generic points in \(\mathbb{P}^{3}\)

Cites work

• A primer on Seshadri constants
• Are symbolic powers highly evolved?
• Arrangements of curves and algebraic surfaces
• Asymptotic behaviour of Castelnuovo-Mumford regularity
• Comparing powers and symbolic powers of ideals
• Comparison of symbolic and ordinary powers of ideals.
• Containment counterexamples for ideals of various configurations of points in \(\mathbb{P}^N\)
• Containment results for ideals of various configurations of points in \(\mathbb P^N\)
• Counterexamples to the \(I^{(3)}\subset I^2\) containment
• scientific article; zbMATH DE number 1347166 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• My Graph
• On freeness of divisors on \(\mathbb{P}^2\)
• Ordinary and symbolic Rees algebras for ideals of Fermat point configurations
• Resurgences for ideals of special point configurations in \(\mathbb P^N\) coming from hyperplane arrangements
• The Aluffi algebra
• The Castelnuovo regularity of the Rees algebra and the associated graded ring
• The Real Configuration (21₄ )
• Uniform bounds and symbolic powers on smooth varieties

Cited in

(25)

• On the containment problem
• The symbolic defect of an ideal
• Fermat-type configurations of lines in \(\mathbb{P}^3\) and the containment problem
• The containment problem and a rational simplicial arrangement
• A stable version of Harbourne's conjecture and the containment problem for space monomial curves
• Singular loci of reflection arrangements and the containment problem
• Containment problem for points on a reducible conic in \(\mathbb P^2\)
• Ideal containments under flat extensions
• Counterexamples to the \(I^{(3)}\subset I^2\) containment
• Ordinary and symbolic Rees algebras for ideals of Fermat point configurations
• The resurgence of ideals of points and the containment problem
• Comparing powers and symbolic powers of ideals
• Containment counterexamples for ideals of various configurations of points in \(\mathbb{P}^N\)
• Symbolic powers of codimension two Cohen-Macaulay ideals
• Expected resurgences and symbolic powers of ideals
• A vanishing theorem and symbolic powers of planar point ideals
• All symbolic powers and ordinary powers of the defining ideal of a fat nearly-complete intersection are equal
• From Pappus theorem to parameter spaces of some extremal line point configurations and applications
• Chudnovsky's conjecture and the stable Harbourne-Huneke containment
• Setting the scene for Betti characters
• scientific article; zbMATH DE number 7691441 (Why is no real title available?)
• Sextactic points on the Fermat cubic curve and arrangements of conics
• On the containment I(3) ⊂ I2 and configurationsof triple points in Böröczky line arrangements
• Resurgence numbers of fiber products of projective schemes
• A counterexample to the containment \(I^{(3)} \subset I^{2}\) over the reals

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: A homological criterion for the containment between symbolic and ordinary powers of some ideals of points in \(\mathbb{P}^2\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2349337)