Primary decomposition conjecture for powers of star-configuration ideals

Let s>ns>n and let H={H1,,Hs}\mathcal H=\{H_1,\ldots,H_s\} be properly meeting hyperplanes in Pn{\bf P}^n, defined by linear forms LiL_i. Let N+1=sN+1=s, let H\mathcal H' be the coordinate hyperplanes in PN{\bf P}^N, and define ϕ:k[PN]k[Pn]\phi:k[{\bf P}^N]\to k[{\bf P}^n] by ϕ(xi)=Li+1\phi(x_i)=L_{i+1}. Let MM and MM' be the irrelevant ideals in the respective coordinate rings. Primary decomposition conjecture. For every relevant choice of cc and ll, the inclusions in the displayed chain relating IVc(H,Pn)lI_{V_c(\mathcal H,{\bf P}^n)}^l to the intersections of the images under ϕ\phi are equalities; equivalently, the first inclusion asserts that ϕ\phi commutes with the indicated intersections, and the last inclusion asserts that the irrelevant component can be replaced by M(Nc+2)lM^{(N-c+2)l}. This would give a primary decomposition of IVc(H,Pn)lI_{V_c(\mathcal H,{\bf P}^n)}^l in terms of the indicated symbolic powers, with the tail component primary for the irrelevant ideal MM.

Sources & referencesView supporting material

Primary source

A. V. Geramita, B. Harbourne and J. Migliore, “Star configurations in P^n”, arXiv:1203.5685 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.