Local-global principle for Witt equivalence of function fields over global fields
Quadratic forms over general fields (11E04) Algebraic theory of quadratic forms; Witt groups and rings (11E81) [https://duckduckgo.com/?q=MSC%2011G30%20%22Curves+of+arbitrary+genus+or+genus+%28%0D%0Ae+1%29+over+global+fields%22 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Algebraic functions and function fields in algebraic geometry (14H05)
Two fields (of characteristic \(\neq 2\)) are said to be Witt equivalent if their Witt rings are isomorphic. A well-known result by Harrison gives necessary and sufficient conditions for this to happen; see, for example, \textit{R. Perlis, K. Szymiczek, P. E. Conner} and \textit{R. Litherland} [Contemp. Math. 155, 365--387 (1994; Zbl 0807.11024)] where this criterion is then used in an essential manner to describe Witt equivalence of global fields. In [Math. Z. 242, No. 2, 323--345 (2002; Zbl 1067.11020)], the author determined when algebraic function fields over real closed fields are Witt equivalent, and in the present paper, he treats the case of algebraic function fields over fields belonging to a certain class which includes local and global fields. NEWLINENEWLINELet \(K\) and \(L\) be algebraic function fields over the fields of constants \(k\) and \(l\), respectively, and denote the set of all \(k\)-trivial (resp. \(l\)-trivial) places on \(K\) (resp. \(L\)) by \(\Omega (K)\) (resp. \(\Omega (L)\)). \(K\) and \(L\) are said to be quaternion-symbol equivalent if there exists a group isomorphism \(t : K^*/K^{*2}\to L^*/L^{*2}\) and a bijection \(T:\Omega (K)\to \Omega (L)\) such that for all \(f,g\in K^*/K^{*2}\) and all \({\mathfrak p}\in \Omega (K)\), the local quaternion symbol \((f,g)_{K_{\mathfrak p}}\) is trivial iff \((tf,tg)_{L_{T{\mathfrak p}}}\) is trivial. \(K\) and \(L\) are said to be uniformly locally Witt equivalent if there exists an isomorphism \(i:WK\to WL\), a bijection \(T:\Omega (K)\to \Omega (L)\) and isomorphisms \(i_{\mathfrak p}:WK_{\mathfrak p}\to WL_{T{\mathfrak p}}\) compatible with \(i\) under the natural epimorphisms \(WK\to WK_{\mathfrak p}\) and \(WL\to WL_{T{\mathfrak p}}\). NEWLINENEWLINEThe main result states that provided all finite extensions of \(k\) and \(l\) have at least four square classes, then \(K\) and \(L\) are Witt equivalent if and only if they are uniformly locally Witt equivalent, and that in the case of rational function fields \(K=k(X)\) and \(L=l(X)\), this is the same as \(K\) and \(L\) being quaternion-symbol equivalent.
- Witt equivalence of algebraic function fields over real closed fields
- Finiteness theorems for forms over global fields
- Witt equivalence of semilocal Dedekind domains in global fields
- Witt equivalence of local and global fields of characteristic 2
- Matching local Witt invariants
- Graded quaternion symbol equivalence of function fields
- scientific article; zbMATH DE number 589370 (Why is no real title available?)
- Witt Rings of Global Fields
- scientific article; zbMATH DE number 1788099 (Why is no real title available?)
- Witt equivalence of function fields of curves over local fields
- Witt equivalence of fields: A survey with a special emphasis on applications of hyperfields
- Witt equivalence of function fields of conics
- Witt equivalence of function fields over global fields
- On existence of tame Harrison map
- Integral equivalence of real algebraic function fields
- Witt rings of global function fields.
- Factorization and root-finding for polynomials over division quaternion algebras
This page was built for publication: Local-global principle for Witt equivalence of function fields over global fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2773351)
