2504.02966

#1 $F$-purity deforms to perfectoid purity in Gorenstein domains [PDF] [Copy] [Kimi] [REL]

Authors: Benjamin Baily, Karina Dovgodko, Austyn Simpson, Jack Westbrook

We prove that if $(A,\mathfrak{m})$ is a local ring of mixed characteristic $(0,p)$ and $A/pA$ is an analytically irreducible $F$-pure Gorenstein domain, then $A$ is perfectoid pure. Along the way, we give a list of sufficient conditions for a complete Gorenstein local domain of mixed characteristic to be the completion of a splinter.

Subject: Commutative Algebra

Publish: 2025-04-03 18:35:24 UTC

---