Bourbaki

Exercice 20, § 8

Algèbre commutative, VI

Bourbaki marks this one as harder than the rest.

Soit KK un corps de caractéristique ≠2\neq 2, hensélien pour une valuation vv; soit ξ→ξˉ\xi \to \bar{\xi} un automorphisme involutif de KK tel que v(ξˉ)=v(ξ)v(\bar{\xi}) = v(\xi), et soit Φ\Phi une forme hermitienne non dégénérée sur un espace vectoriel EE de dimension finie sur KK.

a) Soit U=(αij)U = (\alpha_{ij}) la matrice de Φ\Phi par rapport à une base (ei)(e_i) de EE; montrer qu’il existe un élément λ\lambda du groupe des ordres de vv tel que, si Φ′\Phi' est une seconde forme hermitienne sur EE, dont la matrice U′=(αij′)U' = (\alpha_{ij}') par rapport à (ei)(e_i) vérifie les conditions v(αij−αij′)>λv(\alpha_{ij} - \alpha_{ij}') > \lambda pour tout couple (i,j)(i, j), alors Φ\Phi et Φ′\Phi' sont équivalentes. (Raisonner comme dans Alg., chap. IX, , exerc. 6, en utilisant l’exerc. 14 a) ci-dessus.)

b) On suppose que ξ→ξˉ\xi \to \bar{\xi} est l’identité (donc Φ\Phi est une forme symétrique) et que la valuation vv est discrète, normée et telle que v(2)=0v(2) = 0; soit π\pi une uniformisante pour vv. Montrer que Φ\Phi est caractérisée, à une équivalence près, par son indice vv et par deux formes bilinéaires symétriques Ψ1,Ψ2\Psi_1, \Psi_2 d’indice 0 sur des espaces vectoriels krk^r et ksk^s respectivement, où kk est le corps résiduel de vv et r+s=n−2r + s = n - 2. (A l’aide d’une décomposition de Witt, se ramener au cas où Φ\Phi est d’indice 0; à l’aide de l’exerc. 19, montrer que, pour tout i⩾0i \geqslant 0, l’ensemble MiM_i des x∈Ex \in E tels que v(Φ(x,x))⩾iv(\Phi(x, x)) \geqslant i est un module sur l’anneau AA de la valuation vv. Montrer que si x∈Mi, y∈Mi+1x \in M_i,\ y \in M_{i+1}, on a v(Φ(x,y))⩾i+1v(\Phi(x, y)) \geqslant i + 1, et par passage aux quotients, on déduit donc de Φ\Phi des formes bilinéaires symétriques sur les kk-espaces vectoriels M0/M1M_0/M_1 et M1/M2M_1/M_2. On utilisera l’exerc. 6 c) du § 3 et le fait que l’équation ξ2=α\xi^2 = \alpha a une solution dans AA pour α≡1\alpha \equiv 1 (mod. π\pi). Cas où kk est fini (cf. Alg., chap. IX, § 6, exerc. 4.)

Solution

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

Transcrit du volume imprimé. Non traduit.