Abstract

Let $(K,v)$ be a valued field and let $(K^h,v^h)$ be the henselization determined by the choice of an extension of $v$ to an algebraic closure of $K$. Consider an embedding $v(K^{\ast })\hookrightarrow \Lambda$ of the value group into a divisible ordered abelian group. Let $\mathcal{𝒯}(K,\Lambda )$, $\mathcal{𝒯}(K^h,\Lambda )$ be the trees formed by all $\Lambda$-valued extensions of $v$, $v^h$ to the polynomial rings $K[x]$, $K^h[x]$, respectively. We show that the natural restriction mapping $\mathcal{𝒯}(K^h,\Lambda )\to \mathcal{𝒯}(K,\Lambda )$ is an isomorphism of posets.

As a consequence, the restriction mapping ${\mathcal{𝒯}}_{v^h}\to {\mathcal{𝒯}}_v$ is an isomorphism of posets too, where ${\mathcal{𝒯}}_v$, ${\mathcal{𝒯}}_{v^h}$ are the trees whose nodes are the equivalence classes of valuations on $K[x]$, $K^h[x]$ whose restrictions to $K$, $K^h$ are equivalent to $v$, $v^h$, respectively.

Keywords

Mathematical Subject Classification

Milestones

Authors