Deformation conjecture for F-purity in Q-Gorenstein rings

Let (R,m,k)(R,\mathfrak{m},k) be a local FF-finite Q\mathbb{Q}-Gorenstein ring of prime characteristic p>0p>0. Suppose that fRf\in R is a non-zero-divisor such that R/(f)R/(f) is normal and FF-pure.

Deformation conjecture for FF-purity. Then RR is FF-pure.

This conjecture concerns whether FF-purity deforms from a normal hypersurface section to the ambient ring under a local FF-finite Q\mathbb{Q}-Gorenstein hypothesis. The supplied source identifies a positive solution as remarkable because of the relationship between FF-purity and log canonicity; the conjecture is recorded here as solved.

Sources & referencesView supporting material

Primary source

Thomas Polstra and Austyn Simpson, “F-purity deforms in Q-Gorenstein rings”, arXiv:2009.13444 (2022).

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.