A locally \(F\)-finite Noetherian domain that is not \(F\)-finite (Q2161172)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A locally \(F\)-finite Noetherian domain that is not \(F\)-finite
scientific article

    Statements

    A locally \(F\)-finite Noetherian domain that is not \(F\)-finite (English)
    0 references
    4 August 2022
    0 references
    In this (short) paper, the authors give a negative answer to the following question: Let \(A\) be a Noetherian domain of prime characteristic \(p>0\). Suppose that for any prime ideal \(P\) of \(A\), the localization \(A_{P}\) is F-finite. Does it follow that \(A\) is F-finite? They show that a certain specialization of\textit{M. Nagata}'s example [Publ. Math., Inst. Hautes Étud. Sci. 2, 1--12 (1959; Zbl 0203.34803), \S 5], gives a negative answer to this question for any prime \(p\). Let \(K\) be an algebraically closed field of characteristic \(p\) and \(X\) an indeterminate over \(K\). Consider the ring \(A:=K[X, \frac{1}{\sqrt{(X+a)^{3}}+\sqrt{b^{3}}}, a, b\in K, 0\not=b]\). Then \(A\) is a one-dimensional Noetherian domain that is not F-finite, such that \(A_{P}\) is F-finite for any prime ideal \(P\) of \(A\).
    0 references
    0 references
    Frobenius morphism
    0 references
    \(F\)-finite rings
    0 references
    excellent rings
    0 references
    0 references
    0 references