Bourbaki

Exercise 20, § 8

Commutative Algebra, VI, 469

Bourbaki marks this one as harder than the rest.

Let K be a field of characteristic ≠2\neq 2 which is Henselian with a valuation vv; let ξ↦ξˉ\xi \mapsto \bar{\xi} be an involutive automorphism of K such that v(ξˉ)=v(ξ)v(\bar{\xi}) = v(\xi) and let Φ\Phi be a non-degenerate Hermitian form on a finite-dimensional vector space E over K.

(a) Let U=(αij)U = (\alpha_{ij}) be the matrix of Φ\Phi with respect to a basis (ei)(e_i) of E; show that there exists an element λ\lambda of the order group of vv such that, if Φ′\Phi' is another Hermitian form on E whose matrix U′=(αij′)U' = (\alpha'_{ij}) with respect to (ei)(e_i) satisfies the conditions v(αij−αij′)>λv(\alpha_{ij} - \alpha'_{ij}) > \lambda for every ordered pair (i,j)(i, j), then Φ\Phi and Φ′\Phi' are equivalent. (Argue as in Algebra, Chapter IX, § 6, Exercise 6, using Exercise 14 (a) above.)

(b) Suppose that ξ↦ξˉ\xi \mapsto \bar{\xi} is the identity (hence Φ\Phi is a symmetric form) and that the valuation vv is discrete, normed and such that v(2)=0v(2) = 0; let x be a uniformizer for vv. Show that Φ\Phi is characterized, up to equivalence, by its index vv and by two symmetric bilinear forms Ψ1,Ψ2\Psi_1, \Psi_2 of index 0 on vector spaces krk^r and ksk^s respectively, where k is the residue field of vv and r+s=n−2r + s = n - 2. (With the aid of a Witt decomposition, reduce it to the case where Φ\Phi is of index 0; with the aid of Exercise 19, show that, for all i≥0i \geq 0, the set MiM_i of x∈Ex \in E such that v(Φ(x,x))≥iv(\Phi(x, x)) \geq i is a module over the ring A of the valuation vv. Show that, if x∈Mi,y∈Mi+1x \in M_i, y \in M_{i+1}, then v(Φ(x,y))≥i+1v(\Phi(x, y)) \geq i + 1 and, by taking quotients, symmetric bilinear forms can therefore be derived from Φ\Phi on the vector k-spaces M0/M1M_0/M_1 and M1/M2M_1/M_2. Use Exercise 6 (c) of § 3 and the fact that the equation ξ2=α\xi^2 = \alpha has a solution in A for a≡1(modπ)a \equiv 1 \pmod{\pi}.) Consider the case where k is finite (cf. Algebra, Chapter IX, § 6, Exercise 4).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.