Symbolic-power intersection conjecture SP-2

Let (R,m)(R,\mathfrak{m}) be a regular local ring with prime ideals p\mathfrak{p} and q\mathfrak{q} such that p+q=m\sqrt{\mathfrak{p}+\mathfrak{q}}=\mathfrak{m} and

dim(R/p)+dim(R/q)=dim(R).\operatorname{dim}(R/\mathfrak{p})+\operatorname{dim}(R/\mathfrak{q})=\operatorname{dim}(R).

SP-2 conjecture. The intersection of symbolic powers satisfies

p(m)q(n)mm+n\mathfrak{p}^{(m)}\cap\mathfrak{q}^{(n)}\subseteq\mathfrak{m}^{m+n}

for all m,n1m,n\geq 1. The source presents this as a conjectural generalization of the preceding symbolic-power statement; the supplied context does not establish its resolution.

Sources & referencesView supporting material

Primary source

Sean Sather-Wagstaff, “Intersections of symbolic powers of prime ideals”, arXiv:math/0104175 (2001).

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.