The mixed-characteristic colon-capturing conjecture for tight closure

Let (R,m)(R,\operatorname{\mathfrak{m}}) be a dd-dimensional complete local domain of mixed characteristic pp. Assume that p,x2,,xdp,x_2,\dots,x_d is a system of parameters. Set

R:=R/pR,J=(x2,,xd)R,\overline{R}:=R/pR,\qquad J=(x_2,\ldots,x_d)R,

and, for n>0n>0, define

Jn=(x2,,xd):RpnR.J_n=(x_2,\dots,x_d):_R p^n\subseteq R.

Here (JR)(J\overline R)^* denotes the tight closure of JRJ\overline R in R\overline R. Mixed-characteristic colon-capturing conjecture. For all n>0n>0,

JnR(JR).J_n\overline R\subseteq (J\overline R)^*.

The text says that affirmative answers to preceding questions about robust closure would imply this conjecture. Its resolution status is not given.

Sources & referencesView supporting material

Primary source

Mel Hochster and Wenliang Zhang, “Content of Local Cohomology, Parameter Ideals, and Robust Algebras”, arXiv:1609.07017 (2016).

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.