# Valuations and henselization

## TL;DR

This paper investigates how valuations extend from a local domain to its henselization, establishing unique correspondences and characterizations without assuming noetherian or integrally closed conditions, using valuation and Newton-Hensel techniques.

## Contribution

It introduces a method to analyze valuation extensions to henselizations without restrictive assumptions, linking minimal primes and valuation space components.

## Key findings

- Unique minimal prime H(ν) associated with valuation ν in henselization
- Extension of valuation preserves the same value group
- Characterization of henselian property via pseudo-convergent sequences

## Abstract

We study the extension of valuations centered in a local domain to its henseliza-tion. We prove that a valuation $\nu$ centered in a local domain R uniquely determines a minimal prime H($\nu$) of the henselization R h of R and an extension of $\nu$ centered in R h /H($\nu$), which has the same value group as $\nu$. 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.