Tate algebras and Frobenius non-splitting of excellent regular rings (Q6064876)

From MaRDI portal
scientific article; zbMATH DE number 7774908
Language Label Description Also known as
English
Tate algebras and Frobenius non-splitting of excellent regular rings
scientific article; zbMATH DE number 7774908

    Statements

    Tate algebras and Frobenius non-splitting of excellent regular rings (English)
    0 references
    0 references
    0 references
    11 December 2023
    0 references
    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.
    0 references
    Tate algebra
    0 references
    Frobenius splitting
    0 references
    \(F\)-purity
    0 references
    \(p^{-1}\)-linear map
    0 references
    excellent ring
    0 references
    convergent power series
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references