Essential finite generation of valuation rings in characteristic zero algebraic function fields

DOI10.2140/ANT.2022.16.291MaRDI QIDQ2133387zbMATH OpenOpenAlexWikidataFDO

Authors Steven Dale Cutkosky

Publication date 29 April 2022

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.03546

zbMATH Keywords

initial indexramification indexvaluation rings

Mathematics Subject Classification ID

Valuations and their generalizations for commutative rings (13A18) Global theory and resolution of singularities (algebro-geometric aspects) (14E15)

Abstract: Let $K$ be a characteristic zero algebraic function field with a valuation $u$. Let $L$ be a finite extension of $K$ and $omega$ be an extension of $u$ to $L$. We establish that the valuation ring $V_{omega}$ of $omega$ is essentially finitely generated over the valuation ring $V_u$ of $u$ if and only if the initial index $epsilon(omega|u)$ is equal to the ramification index $e(omega|u)$ of the extension. This gives a positive answer, for characteristic zero algebraic function fields, to a question posed by Hagen Knaf.

Review text

Let \(K\) be an algebraic function field with a valuation \(\nu.\) Let \(L/K\) be a finite extension and \(\omega\) be an extension of \(\nu.\) This paper investigates conditions under which the valuation ring \(V_\omega\) of \(\omega\) is essentially finitely generated over the valuation ring \(V_\nu.\) This is done using the initial and ramification indices of the valuations. Let \(\Gamma_\nu\) be the value group of \(\nu\) and \(m_\nu\) be the unique maximal ideal of \(V_\nu.\) Let \(\Gamma_\nu\) and \(\Gamma_\omega\) be ordered abelian groups. For an ordered abelian group \(G,\) we set \(G_{>0}=\{g\in G\mid g> 0\}.\) The initial index \(\epsilon(\omega|\nu)\) is defined as \(\epsilon(\omega\mid \nu)=|\{g\in \Gamma_\omega\mid 0\leq g< [\Gamma_\nu]_{> 0}\}|.\) The ramification index \(e(\omega|\nu)\) is the index \([\Gamma_\omega: \Gamma_{\nu}].\) The main result of this paper proves that \(V_\omega\) is essentially finitely generated over \(V_\nu\) if and only if \(\epsilon(\omega\mid \nu)=e(\omega\mid \nu).\) This gives a positive answer to a question posed by Hagen Knaf for characteristic zero function fields.

Recommendations

• Essential finite generation of extensions of valuation rings
• Essentially finite generation of valuation rings in terms of classical invariants
• Essential valuations of krull rings with zero divisiors
• scientific article; zbMATH DE number 5214123
• Finitely generated modules over valuation rings
• Publication:3031083
• Finite generation of extensions of associated graded rings along a valuation
• scientific article; zbMATH DE number 4118493
• Valuation rings in finite-dimensional division algebras
• scientific article; zbMATH DE number 1172261

Cites work

• Abhyankar places admit local uniformization in any characteristic
• Completions of valuation rings
• Counterexamples to local monomialization in positive characteristic
• Desingularization of two-dimensional schemes
• Desingularization: invariants and strategy. Application to dimension 2. With contributions by Bernd Schober
• Essentially finite generation of valuation rings in terms of classical invariants
• Extending a valuation centred in a local domain to the formal completion
• Henselian elements
• scientific article; zbMATH DE number 3133601 (Why is no real title available?)
• scientific article; zbMATH DE number 3973001 (Why is no real title available?)
• scientific article; zbMATH DE number 1381149 (Why is no real title available?)
• scientific article; zbMATH DE number 3265643 (Why is no real title available?)
• Inseparable local uniformization
• Local monomialization of transcendental extensions.
• Perron transforms
• Ramification of valuations
• Ramification of valuations and local rings in positive characteristic
• Valuation theory
• Valued Fields

Cited in

(5)

• Local uniformization of Abhyankar valuations
• Essential valuations of krull rings with zero divisiors
• scientific article; zbMATH DE number 5214123 (Why is no real title available?)
• Essential finite generation of extensions of valuation rings
• Essentially finite generation of valuation rings in terms of classical invariants

This page was built for publication: Essential finite generation of valuation rings in characteristic zero algebraic function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133387)