English

Essential Finite Generation of Valuation Rings in Characteristic Zero Algebraic Function Fields

Commutative Algebra 2022-04-27 v1 Algebraic Geometry

Abstract

Let KK be a characteristic zero algebraic function field with a valuation ν\nu. Let LL be a finite extension of KK and ω\omega be an extension of ν\nu to LL. We establish that the valuation ring VωV_{\omega} of ω\omega is essentially finitely generated over the valuation ring VνV_{\nu} of ν\nu if and only if the initial index ϵ(ων)\epsilon(\omega|\nu) is equal to the ramification index e(ων)e(\omega|\nu) of the extension. This gives a positive answer, for characteristic zero algebraic function fields, to a question posed by Hagen Knaf.

Keywords

Cite

@article{arxiv.1912.03546,
  title  = {Essential Finite Generation of Valuation Rings in Characteristic Zero Algebraic Function Fields},
  author = {Steven Dale Cutkosky},
  journal= {arXiv preprint arXiv:1912.03546},
  year   = {2022}
}

Comments

16 pages

R2 v1 2026-06-23T12:38:59.872Z