Rigidity of valuative trees under Henselization (Q2171880)

Let \((K,v)\) be a valued field, \(\bar K\) an algebraic closure of \(K\) and \(\bar v\) an extension of \(v\) to \(\bar K\). Let \((K^h,v^h)\) be the henselization of \((K,v)\) determined by the choice of \(\bar v\). The main result of this paper is the following theorem: Let \(\Lambda\) be a divisible ordered abelian group extending \(v(K^*)\). Consider the trees \(\mathcal{T}(K,\Lambda)\), \(\mathcal{T}(K^h,\Lambda)\) of all \(\Lambda-\)valued extensions of \(v\), \(v^h\) to \(K[x]\), \(K^h[x]\) respectively. Then the natural restriction mapping \(\mathcal{T}(K^h,\Lambda)\longrightarrow\mathcal{T}(K,\Lambda)\) is an isomorphism of posets. Similar results are proved for other situations.