Exercice 20, § 8
Algèbre commutative, VI
Bourbaki marks this one as harder than the rest.
Soit un corps de caractéristique , hensélien pour une valuation ; soit un automorphisme involutif de tel que , et soit une forme hermitienne non dégénérée sur un espace vectoriel de dimension finie sur .
a) Soit la matrice de par rapport à une base de ; montrer qu’il existe un élément du groupe des ordres de tel que, si est une seconde forme hermitienne sur , dont la matrice par rapport à vérifie les conditions pour tout couple , alors et sont équivalentes. (Raisonner comme dans Alg., chap. IX, , exerc. 6, en utilisant l’exerc. 14 a) ci-dessus.)
b) On suppose que est l’identité (donc est une forme symétrique) et que la valuation est discrète, normée et telle que ; soit une uniformisante pour . Montrer que est caractérisée, à une équivalence près, par son indice et par deux formes bilinéaires symétriques d’indice 0 sur des espaces vectoriels et respectivement, où est le corps résiduel de et . (A l’aide d’une décomposition de Witt, se ramener au cas où est d’indice 0; à l’aide de l’exerc. 19, montrer que, pour tout , l’ensemble des tels que est un module sur l’anneau de la valuation . Montrer que si , on a , et par passage aux quotients, on déduit donc de des formes bilinéaires symétriques sur les -espaces vectoriels et . On utilisera l’exerc. 6 c) du § 3 et le fait que l’équation a une solution dans pour (mod. ). Cas où est fini (cf. Alg., chap. IX, § 6, exerc. 4.)
Solution
Aucune solution n’a encore été écrite.