an:05789719
Zbl 1251.11020
Bary-Soroker, Lior; Kelmer, Dubi
On PAC extensions and scaled trace forms
EN
Isr. J. Math. 175, 113-124 (2010).
0021-2172 1565-8511
2010
j
11E04 12E30 12E25
quadratic forms; scaled trace forms; PAC fields; PAC extensions; Hilbertian fields
Let \(K\) be a field of characteristic \(\neq 2\).
For each finite separable field extension \(L/K\), any nonzero element \(\alpha \in L\) gives rise to a non-degenerate quadratic form \(L \rightarrow K\) defined by \(x\mapsto \text{Tr}_{F/K}(\alpha x^2)\). These forms are called \textit{scaled trace forms}.
This paper deals with the problem of determining which non-degenerate quadratic forms over \(K\) are isomorphic to scaled trace forms. The main result (Thm. 4) states that, if there exists a PAC (pseudo algebraically closed) extension \(M/K\) such that \(M\) admits a separable extension of degree \(n\), then every non-degenerate quadratic form of dimension \(n\) over \(K\) is isomorphic to a scaled trace form.
From this, the authors deduce that the same conclusion holds in each of the following cases: (1) \(K\) is a prosolvable extension of a Hilbertian field, and \(n>4\); (2) \(K\) is a separable extension of a Hilbertian field \(K_0\) such that, for some prime \(p\), the Galois closure of \(K/K_0\) is prime-to-\(p\) over \(K_0\), and \(n\) is an arbitrary positive integer.
The proof of the main result is inspired by the arguments used by \textit{W. Scharlau} [Math. Z. 196, 125--127 (1987; Zbl 0658.10025)] and \textit{W. C. Waterhouse} [Arch. Math. 47, 229--231 (1986; Zbl 0607.10013)] to show that, if \(K\) is Hilbertian, then every non-degenerate quadratic form over \(K\) is isomorphic to a scaled trace form.
Bernat Plans (Barcelona)
0658.10025; 0607.10013