The quadratic form transfer and valuations (Q1803882)

The author shows how to construct explicit reciprocity laws for forms with values in \(L\) by choosing right transfer and residue class maps. Let \(F\) be a field with an arbitrary valuation \(v\), residue class field \(k\) and \(\text{char }k\neq 2\). Then the first residue class map \(\partial_ v\) defines a map \(W(F)\to W(k)\) of the Witt rings. Let \(L/F\) be a finite separable extension. The author studies how to exchange transfer and first residue class map. His main tool is Theorem 1 which determines the scaled trace forms of \(L/F\), where \((F,v)\) is henselian and \(L/F\) a separable totally ramified extension of degree \(e\). He first applies this to the case of a field \(F\) with arbitrary valuation \(v\) and a finite separable extension \(L/F\) where all valuations \(v_ i\) of \(L\) extending \(v\) are tamely ramified. Then \[ \partial_ v \cdot \text{Tr}_{L/F}= \sum^ r_{i=1} \text{Tr}_{l_ i/k} \cdot \partial_{v_ i} \cdot l_{e_ i} \] where \(l_ i\) is the residue class field of \(L\) with regard to \(v_ i\) and \(\partial_ v\) and \(\partial_{v_ i}\) are the first residue class maps (Theorem 2). Theorem 2 also yields a new proof of Knebusch's trace formula on the numbers of a real place of \(F\). The second application of Theorem 1 is in the case of a field \(F\) with a discrete valuation \(v\). In this case the author again studies the exchange of transfer and residue class maps, but includes the wildly ramified case (Theorems 3 and 4).