A counterexample to the containment I^(3) I^2 over the reals
Let \(I_V\) be a homogeneous ideal in a polynomial ring over a field \(K\), defining a projective subvariety \(V\). The symbolic power \(I_V^{(r)}\) contains forms defining hypersurfaces which pass through \(V\) with multiplicity at least \(r\). The symbolic power \(I_V^{(r)}\) contains the algebraic power \(I_V^r\), and it can be much bigger. On the other hand, the algebraic power \(I_V^t\) contains the symbolic powers \(I_V^{(r)}\) when \(r\) is large with respect to \(t\). A precise map of such containment relations between \(I_V^t\) and \(I_V^{(r)}\) is still largely incomplete. It has been deeply investigate because of its relations with interpolation in projective spaces. The first interesting case concerns sets of points \(V\) in a projective plane \(\mathbb P^2(K)\), and the relations between \(I_V^{(3)}\) and \(I_V^2\). Examples of configurations \(V\) for which \(I_V^2\) does not contain \(I_V^{(3)}\) where pointed out recently, but only for projective planes over \(\mathbb C\) or in positive characteristic. In the paper under review, the authors provide an new example, which can be realized also in the real projective plane, of a configuration \(V\) of points for which \(I_V^{(3)}\not\subset I_V^2\). The idea is to start with a configuration of lines with few double points, that is: with few points where only two lines meet. The smallest example starts with \(12\) lines and takes \(V\) as a subset of \(19\) intersection points, \(6\) of which are double points.
- Counterexamples to the \(I^{(3)}\subset I^2\) containment
- Containment counterexamples for ideals of various configurations of points in \(\mathbb{P}^N\)
- On the containment problem
- A homological criterion for the containment between symbolic and ordinary powers of some ideals of points in \(\mathbb{P}^2\)
- The containment problem and a rational simplicial arrangement
- On the containment problem
- Fermat-type configurations of lines in \(\mathbb{P}^3\) and the containment problem
- The containment problem and a rational simplicial arrangement
- New phenomena in the containment problem for simplicial arrangements
- A stable version of Harbourne's conjecture and the containment problem for space monomial curves
- Steiner systems and configurations of points
- Containment problem and combinatorics
- Ideal containments under flat extensions
- Counterexamples to the \(I^{(3)}\subset I^2\) containment
- Symbolic power containments in singular rings in positive characteristic
- A counter example to an ideal membership test
- On the parameter spaces of some Böröczky configurations
- Containment counterexamples for ideals of various configurations of points in \(\mathbb{P}^N\)
- Symbolic Rees algebras
- Algebraic geometry, commutative algebra and combinatorics: interactions and open problems
- Expected resurgences and symbolic powers of ideals
- From Pappus theorem to parameter spaces of some extremal line point configurations and applications
- Chudnovsky's conjecture and the stable Harbourne-Huneke containment
- 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
- Expected resurgence of ideals defining Gorenstein rings
- Geometry of lines asymptotic to a pencil of conics
- On the containment problem and sporadic simplicial line arrangements
- Resurgence numbers of fiber products of projective schemes
This page was built for publication: A counterexample to the containment \(I^{(3)} \subset I^{2}\) over the reals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q907856)
