付値のMac Lane–Vaquié鎖における正則性

Let $(K^h,v^h)$ be a Henselization of a valued field $(K,v)$, $\mu$ any extension of $v$ to $K[x]$, and $\mu^h$ the canonical extension of $\mu$ and $v^h$ to $K^h[x].$ In this paper, we study two new invariants associated with a Mac Lane-Vaquié chain (MLV) of $\mu$, namely, the defect of each augmentation step and the regularity of an MLV chain of $\mu$. This, in turn, extends the notion of regularity of a complete sequence of abstract key polynomials for $\mu$ to the regularity of $\mu$ itself. We also prove that the regularity of $\mu$ is a sufficient condition for the equality of the depths of $\mu$ and $\mu^h$. Furthermore, it is a necessary and sufficient condition for the equality of the defect and relative gap of each augmentation step of an MLV chain of $\mu.$ Finally, we show that if $\mu$ has finite degree, then the regularity of $\mu$ is equivalent to $ \operatorname{deg}(\mu)=\operatorname{deg}(\mu^h)$.