The mixed-characteristic colon-capturing conjecture for tight closure

About 10 years old · traced to

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):Rpn⊆R.J_n=(x_2,\dots,x_d):_R p^n\subseteq R.

Here (JR‾)∗(J\overline R)^* denotes the tight closure of JR‾J\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.

References

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.