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
Frobenius morphism
0 references
\(F\)-finite rings
0 references
excellent rings
0 references