Hermitian forms over ordered *-fields (Q1293105): Difference between revisions

Let \((D,{}^*)\) be a skew field with an involution *. Let \(Y_D\) and \(X_D\) denote space of Baer orderings and its subspace of *-orderings on \((D,{}^*).\) The main object of interest of the paper is the subring \(WS(D,{}^*)\) of the ring \({\mathcal C}(Y_D,Z)\) of continuous functions from \(Y_D\) to the ring of integers generated by the image of the Witt group \(W(D,{}^*)\) under the total semisignature mapping. As the authors show \(WS(D,{}^*)\) is isomorphic to \(WR_{\text{red}}(D,{}^*) \oplus C\), where \(WR_{\text{red}}(D,{}^*)\) is the ring defined by the first author in [J. Algebra 147, 96-127 (1992; Zbl 0752.11017)] and \(C\) is the kernel of the natural ring homomorphism \(WS(D,{}^*) \longrightarrow WR_{\text{red}}(D,{}^*)\) obtained by the restriction mapping \({\mathcal C}(Y_D, Z) \rightarrow {\mathcal C}(X_D, Z).\) When \((D,{}^*)\) is equipped with a smooth *-valuation \(v\) one can consider the quotient ring \(W_v(D)\) of \(WS(D,{}^*)\) obtained by restricting all functions on \(Y_D\) to the subset of all Baer orderings of \(D\) which are compatible with \(v\). The authors describe the ring \(W_v(D)\) in terms of a group ring over a tensor product of some number of copies of \(WS(D_v,{}^*)\). The paper sums up with a discussion on the relation between \(W(D,{}^*), WS(D,{}^*)\) and the Witt rings associated with fields such as the center of \(D\) or the field of central symmetric elements.