Containment counterexamples for ideals of various configurations of points in P^N

. Recent counterexamples show that this can fail when N=r=2. We study properties of the resulting ideals. We also show that failures occur for infinitely many

r

in every characteristic

p > 2

when N=2, and we find additional positive characteristic failures when

N > 2

.

Review text

Let \(I\) be a homogeneous ideal in \(R=K[x_0,\dots,x_N]\); the symbolic power \(I^{(m)}\) can be defined as the saturation (with respect to \((x_0,\dots,x_N)\)) of the ideal \(I^m\). It is known that for all ideals \(J\subset R\), \(J^{(m)}\subset J^r\) for all \(r\geq 1\), when \(m\geq rN\). The first author had conjectured that \(I^{(rN-N+1)}\subset I^r\), \(\forall r\geq 1\), when \(I\) is the ideal of a (reduced) set of points in \(\mathbb{P}^N\), trying to generalize a question posed by Huneke (i.e., ``Is \(I^{(2)}\subset I^3\) always true?) [\textit{B. Harbourne} and \textit{C. Huneke}, J. Ramanujan Math. Soc. 28A, 247--266 (2013; Zbl 1296.13018)]. Two counterexamples to such conjecture for \(K=\mathbb{C}\) were found for \(N=2=r\), with quite special configurations of points. In the case of positive characteristic, other examples are known, and in this paper infinitely many other are found (for infinitely many values of \(r\)) when \(N=2\) and char\(K = p > 0\). Moreover counterexamples are found also for many values of \(r,p\) and \(N>2\). The authors point out that those new examples seem not to be suitable to yield counterexamples for char\(K=0\).

Recommendations

Cites work

Cited in

(40)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Containment counterexamples for ideals of various configurations of points in \(\mathbb{P}^N\)

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