Polini–Ulrich conjecture on colon ideals of parameter ideals

Let (A,m)(A,\mathfrak{m}) be a Cohen–Macaulay local ring with dimA2\dim A \geq 2. Assume that dimA3\dim A \geq 3 when AA is regular. Let q2q \geq 2 be an integer and let QQ be a parameter ideal in AA such that

Qmq.Q \subseteq \mathfrak{m}^q.

Polini–Ulrich conjecture. One has

Q:mqmq.Q:\mathfrak{m}^q \subseteq \mathfrak{m}^q.

This conjecture concerns the containment of a colon ideal associated with a parameter ideal inside a power of the maximal ideal. It was posed by C. Polini and B. Ulrich and was settled by H.-J. Wang, so the conjecture is no longer open.

Sources & referencesView supporting material

Primary source

Shiro Goto, Satou Kimura, Naoyuki Matsuoka and Tran Thi Phuong, “Quasi-socle ideals in local rings with Gorenstein tangent cones”, arXiv:0710.1387 (2008).

Additional references

3 papers in this index state this conjecture (2006–2007). The statement above is taken from the most recent of them; the others are arXiv:0710.1386, arXiv:math/0612333.

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.