Bourbaki

Exercice 11, § 4

Algèbre commutative, VI

Soit KK un corps muni d’une valuation vv de hauteur 1.

a) Soit P(X)=a0Xn+a1Xn−1+⋯+anP(X) = a_0 X^n + a_1 X^{n-1} + \cdots + a_n un polynôme de K[X]K[X] de degré n>1n > 1 et tel que an≠0a_n \neq 0; montrer qu’il existe une suite strictement croissante (ik)0≤k≤r(i_k)_{0 \leq k \leq r} d’entiers de l’intervalle [0,n][0, n] telle que : 1∘ i0=0, ir=n; 2∘ v(aik)1^\circ \ i_0 = 0,\ i_r = n;\ 2^\circ \ v(a_{i_k}) est fini pour 0≤k≤r; 3∘0 \leq k \leq r;\ 3^\circ pour tout indice jj tel que 0≤j≤n0 \leq j \leq n, distinct des iki_k, tel que v(aj)v(a_j) soit fini, le point

(j,v(aj))∈R2 (j, v(a_j)) \in \mathbf{R}^2

est au-dessus de la droite passant par les points (ik,v(aik))(i_k, v(a_{i_k})) et (ik+1,v(aik+1))(i_{k+1}, v(a_{i_{k+1}})) et strictement au-dessus de cette droite si j<ikj < i_k ou si j>ik+1j > i_{k+1}. On dit que la réunion des segments joignant les points (ik,v(aik))(i_k, v(a_{i_k})) et (ik+1,v(aik+1))(i_{k+1}, v(a_{i_{k+1}})) est le polygone de Newton de PP, les segments précédents en sont appelés les côtés et les points (ik,v(aik))(i_k, v(a_{i_k})) les sommets.

b) On suppose que tous les zéros de PP appartiennent à KK. Montrer que pour que les valuations de tous les zéros de PP soient les mêmes, il faut et il suffit que r=1r = 1 (autrement dit, que le polygone de Newton se réduise à un seul côté). (Pour montrer que la condition est suffisante, considérer le polygone de Newton d’un produit P1P2P_1 P_2 où tous les zéros de P1P_1 sont inversibles dans l’anneau de vv, tandis que tous ceux de P2P_2 appartiennent à l’idéal de vv).

c) On suppose que tous les zéros de PP appartiennent à KK; on forme le polygone de Newton de PP et on pose

ρk=ik+1−ik, σk=(v(aik+1)−v(aik))/ρk, \rho_k = i_{k+1} - i_k,\ \sigma_k = (v(a_{i_{k+1}}) - v(a_{i_k}))/\rho_k,

Montrer que, pour 0≤k≤r−10 \leq k \leq r-1, PP admet exactement ρk\rho_k zéros (comptés avec leur ordre de multiplicité) dont les valuations sont toutes égales à σk\sigma_k (utiliser b)), et raisonner par récurrence sur rr.

d) Généraliser au cas d’une valuation quelconque vv (on plongera le groupe Γ\Gamma des ordres de vv dans le Q\mathbf{Q}-espace vectoriel Γ(Q)\Gamma_{(\mathbf{Q})}, qui est muni naturellement d’une structure de groupe totalement ordonné).

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.