Tate algebras and Frobenius non-splitting of excellent regular rings (Q6064876): Difference between revisions

Summary: An excellent ring of prime characteristic for which the Frobenius map is pure is also Frobenius split in many commonly occurring situations in positive characteristic commutative algebra and algebraic geometry. However, using a fundamental construction from rigid geometry, we show that excellent \(F\)-pure rings of prime characteristic are not Frobenius split in general, even for Euclidean domains. Our construction uses the existence of a complete non-Archimedean field \(k\) of characteristic \(p\) with no nonzero continuous \(k\)-linear maps \(k^{1/p} \rightarrow k\). An explicit example of such a field is given based on ideas of Gabber, and may be of independent interest. Our examples settle a long-standing open question in the theory of \(F\)-singularities whose origin can be traced back to when Hochster and Roberts introduced the notion of \(F\)-purity. The excellent Euclidean domains we construct also admit no nonzero \(R\)-linear maps \(R^{1/p} \rightarrow R\). These are the first examples that illustrate that \(F\)-purity and Frobenius splitting define different classes of singularities for excellent domains, and are also the first examples of excellent domains with no nonzero \(p^{-1}\)-linear maps. The latter is particularly interesting from the perspective of the theory of test ideals.