Affiliation:
1. Department of Mathematics University of Missouri Columbia MO USA
Abstract
AbstractGiven a generically finite local extension of valuation rings , the question of whether W is the localization of a finitely generated V‐algebra is significant for approaches to the problem of local uniformization of valuations using ramification theory. Hagen Knaf proposed a characterization of when W is essentially of finite type over V in terms of classical invariants of the extension of associated valuations. Knaf's conjecture has been verified in important special cases by Cutkosky and Novacoski using local uniformization of Abhyankar valuations and resolution of singularities of excellent surfaces in arbitrary characteristic, and by Cutkosky for valuation rings of function fields of characteristic 0 using embedded resolution of singularities. In this paper, we prove Knaf's conjecture in full generality.
Reference14 articles.
1. N.Bourbaki Commutative algebra. Chapters 1–7 Translated from the French Reprint of the 1989 English translation Springer Berlin 1998.
2. S. D.Cutkosky Essential finite generation of valuation rings in characteristic zero algebraic function fields.https://arxiv.org/abs/1912.03546 2019.
3. Local Uniformization of Abhyankar Valuations
4. Essentially finite generation of valuation rings in terms of classical invariants