Valuations and Henselization

From MaRDI portal
Publication:785331

DOI10.1007/S00208-020-01970-1zbMATH Open1451.12005arXiv1903.10793OpenAlexW3009616168MaRDI QIDQ785331FDOQ785331

Ana Belén de Felipe, Bernard Teissier

Publication date: 6 August 2020

Published in: Mathematische Annalen (Search for Journal in Brave)

Abstract: We study the extension of valuations centered in a local domain to its henseliza-tion. We prove that a valuation u centered in a local domain R uniquely determines a minimal prime H(u) of the henselization R h of R and an extension of u centered in R h /H(u), which has the same value group as u. Our method, which assumes neither that R is noetherian nor that it is integrally closed, is to reduce the problem to the extension of the valuation to a quotient of a standard {'e}tale local R-algebra and in that situation to draw valuative consequences from the observation that the Newton-Hensel algorithm for constructing roots of polynomials produces sequences that are always pseudo-convergent in the sense of Ostrowski. We then apply this method to the study of the approximation of elements of the henselization of a valued field by elements of the field and give a characterization of the henselian property of a local domain (R, m R) in terms of the limits of certain pseudo-convergent sequences of elements of m R for a valuation centered in it. Another consequence of our work is to establish in full generality a bijective correspondence between the minimal primes of the henselization of a local domain R and the connected components of the Riemann-Zariski space of valuations centered in R.


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





Cites Work


Cited In (13)


Recommendations





This page was built for publication: Valuations and Henselization

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