The quadratic form transfer and valuations (Q1803882): Difference between revisions

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).