Extensions de valuation et polygone de Newton

Vaquié, Michel¹ 

¹ Université Paul Sabatier, Bât. 1R2 Institut de Mathématiques de Toulouse UMR CNRS 5219 31062 Toulouse Cedex 9 (France)

Annales de l'Institut Fourier, Tome 58 (2008) no. 7, pp. 2503-2541

Résumé (VO)

Soient $(K,\nu )$ un corps valué et $L$ est une extension monogène finie de $K$ définie par $L=K\left[x\right]/\left(P\right)$, alors toute valuation de $L$ qui prolonge $\nu$ définit une pseudo-valuation $\zeta$ de $K\left[x\right]$ de noyau l’idéal $\left(P\right)$. Nous savons associer à $\zeta$ une famille de valuations de $K\left[x\right]$, appelée famille admissible, construite de façon explicite à partir de valuations augmentées et de valuations augmentées limites.

Nous donnons une condition nécessaire et suffisante pour qu’une valuation $\mu$ de $K\left[x\right]$ appartienne à la famille admissible associée à une pseudo-valuation $\zeta$ correspondant à une valuation de $L$, condition ne faisant pas intervenir $\zeta$ mais uniquement le polynôme $P$. Nous pouvons ainsi déterminer toutes les valuations de $L$ qui prolongent la valuation $\nu$ de $K$. Pour cela nous définissons le polygone de Newton associé à $P$, à un polynôme $\phi$ et à une valuation $\mu$, à partir du développement de $P$ selon les puissances de $\phi$.

Abstract

Let $(K,\nu )$ be a valued field and $L$ a finite cyclic extension of $K$ defined by $L=K\left[x\right]/\left(P\right)$, then any valuation of $L$ which extends $\nu$ defines a pseudo-valuation $\zeta$ on $K\left[x\right]$ whose kernel is the principal ideal $\left(P\right)$. We know how to associate to $\zeta$ a family of valuations on $K\left[x\right]$, called an admissible family, which is explicitely constructed by augmented valuations and limit augmented valuations.

We give a necessary and sufficient condition for a valuation of $K\left[x\right]$ to belong to an admissible family associated to a pseudo-valuation $\zeta$ which corresponds to a valuation of $L$, this condition depends only on the polynomial $P$. On the way we can determine all the valuations of $L$ which extend the valuation $\nu$ of $K$. To give this condition we define the Newton polygon associated to $P$, to a polynomial $\phi$ and to a valuation $\mu$ of $K\left[x\right]$.

Détail

DOI : 10.5802/aif.2421

Classification : 13A18, 12J10, 14E15
Mots-clés : valuation, extension, polygone de Newton
Keywords: Valuation, extension, Newton polygon