Witt equivalence of function fields over global fields

Gładki, Paweł; Marshall, Murray

doi:10.1090/tran/6898

Witt equivalence of function fields over global fields
HTML articles powered by AMS MathViewer

by Paweł Gładki and Murray Marshall PDF

Trans. Amer. Math. Soc. 369 (2017), 7861-7881 Request permission

Abstract:

Witt equivalent fields can be understood to be fields having the same symmetric bilinear form theory. Witt equivalence of finite fields, local fields and global fields is well understood. Witt equivalence of function fields of curves defined over archimedean local fields is also well understood. In the present paper, Witt equivalence of general function fields over global fields is studied. It is proved that for any two such fields $K,L$, any Witt equivalence $K \sim L$ induces a cannonical bijection $v \leftrightarrow w$ between Abhyankar valuations $v$ on $K$ having residue field not finite of characteristic $2$ and Abhyankar valuations $w$ on $L$ having residue field not finite of characteristic $2$. The main tool used in the proof is a method for constructing valuations due to Arason, Elman and Jacob [J. Algebra 110 (1987), 449–467]. The method of proof does not extend to non-Abhyankar valuations. The result is applied to study Witt equivalence of function fields over number fields. It is proved, for example, that if $k$, $\ell$ are number fields and $k(x_1,\dots ,x_n) \sim \ell (x_1,\dots ,x_n)$, $n\ge 1$.

References

Jón Kr. Arason, Richard Elman, and Bill Jacob, Rigid elements, valuations, and realization of Witt rings, J. Algebra 110 (1987), no. 2, 449–467. MR 910395, DOI 10.1016/0021-8693(87)90057-3
Jón Kristinn Arason and Albrecht Pfister, Beweis des Krullschen Durchschnittsatzes für den Wittring, Invent. Math. 12 (1971), 173–176 (German). MR 294251, DOI 10.1007/BF01404657
M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969. MR 0242802
Ricardo Baeza and Remo Moresi, On the Witt-equivalence of fields of characteristic $2$, J. Algebra 92 (1985), no. 2, 446–453. MR 778461, DOI 10.1016/0021-8693(85)90133-4
Jenna P. Carpenter, Finiteness theorems for forms over global fields, Math. Z. 209 (1992), no. 1, 153–166. MR 1143220, DOI 10.1007/BF02570827
P. E. Conner and Jürgen Hurrelbrink, The $4$-rank of $K_2(O)$, Canad. J. Math. 41 (1989), no. 5, 932–960. MR 1015590, DOI 10.4153/CJM-1989-043-0
P. E. Conner, R. Perlis, and K. Szymiczek, Wild sets and $2$-ranks of class groups, Acta Arith. 79 (1997), no. 1, 83–91. MR 1438119, DOI 10.4064/aa-79-1-83-91
Alfred Czogała, On reciprocity equivalence of quadratic number fields, Acta Arith. 58 (1991), no. 1, 27–46. MR 1111088, DOI 10.4064/aa-58-1-27-46
M. A. Dickmann and F. Miraglia, Special groups: Boolean-theoretic methods in the theory of quadratic forms, Mem. Amer. Math. Soc. 145 (2000), no. 689, xvi+247. With appendixes A and B by Dickmann and A. Petrovich. MR 1677935, DOI 10.1090/memo/0689
Ido Efrat, Valuations, orderings, and Milnor $K$-theory, Mathematical Surveys and Monographs, vol. 124, American Mathematical Society, Providence, RI, 2006. MR 2215492, DOI 10.1090/surv/124
H. Eisenbeis, G. Frey, and B. Ommerborn, Computation of the $2$-rank of pure cubic fields, Math. Comp. 32 (1978), no. 142, 559–569. MR 480416, DOI 10.1090/S0025-5718-1978-0480416-4
Antonio J. Engler and Alexander Prestel, Valued fields, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2005. MR 2183496
Nicolas Grenier-Boley and Detlev W. Hoffmann, Isomorphism criteria for Witt rings of real fields, Forum Math. 25 (2013), no. 1, 1–18. With an appendix by Claus Scheiderer. MR 3010846, DOI 10.1515/form.2011.097
D. K. Harrison, Witt rings, University of Kentucky Notes, Lexington, Kentucky (1970).
Bill Jacob, On the structure of Pythagorean fields, J. Algebra 68 (1981), no. 2, 247–267. MR 608534, DOI 10.1016/0021-8693(81)90263-5
Bill Jacob, Quadratic forms over dyadic valued fields. I. The graded Witt ring, Pacific J. Math. 126 (1987), no. 1, 21–79. MR 868606
Bill Jacob, Quadratic forms over dyadic valued fields. II. Relative rigidity and Galois cohomology, J. Algebra 148 (1992), no. 1, 162–202. MR 1161571, DOI 10.1016/0021-8693(92)90242-E
Stanislav Jakubec, František Marko, and Kazimierz Szymiczek, Parity of class numbers and Witt equivalence of quartic fields, Math. Comp. 64 (1995), no. 212, 1711–1715. MR 1308455, DOI 10.1090/S0025-5718-1995-1308455-1
Jerrold L. Kleinstein and Alex Rosenberg, Succinct and representational Witt rings, Pacific J. Math. 86 (1980), no. 1, 99–137. MR 586872
Manfred Knebusch, Alex Rosenberg, and Roger Ware, Structure of Witt rings and quotients of Abelian group rings, Amer. J. Math. 94 (1972), 119–155. MR 296103, DOI 10.2307/2373597
Przemysław Koprowski, Local-global principle for Witt equivalence of function fields over global fields, Colloq. Math. 91 (2002), no. 2, 293–302. MR 1898636, DOI 10.4064/cm91-2-8
Przemyslaw Koprowski, Witt equivalence of algebraic function fields over real closed fields, Math. Z. 242 (2002), no. 2, 323–345. MR 1980626, DOI 10.1007/s002090100336
Marc Krasner, Approximation des corps valués complets de caractéristique $p\not =0$ par ceux de caractéristique $0$, Colloque d’algèbre supérieure, tenu à Bruxelles du 19 au 22 décembre 1956, Centre Belge de Recherches Mathématiques, Établissements Ceuterick, Louvain; Librairie Gauthier-Villars, Paris, 1957, pp. 129–206 (French). MR 0106218
Marc Krasner, A class of hyperrings and hyperfields, Internat. J. Math. Math. Sci. 6 (1983), no. 2, 307–311. MR 701303, DOI 10.1155/S0161171283000265
Franz-Viktor Kuhlmann, Places of algebraic function fields in arbitrary characteristic, Adv. Math. 188 (2004), no. 2, 399–424. MR 2087232, DOI 10.1016/j.aim.2003.07.021
M. Kula, L. Szczepanik, and K. Szymiczek, Quadratic form schemes and quaternionic schemes, Fund. Math. 130 (1988), no. 3, 181–190. MR 970903, DOI 10.4064/fm-130-3-181-190
T. Y. Lam, Introduction to quadratic forms over fields, Graduate Studies in Mathematics, vol. 67, American Mathematical Society, Providence, RI, 2005. MR 2104929, DOI 10.1090/gsm/067
Serge Lang, Algebra, Addison-Wesley Publishing Co., Inc., Reading, Mass., 1965. MR 0197234
Murray Marshall, Abstract Witt rings, Queen’s Papers in Pure and Applied Mathematics, vol. 57, Queen’s University, Kingston, Ont., 1980. MR 674651
M. Marshall, The elementary type conjecture in quadratic form theory, Algebraic and arithmetic theory of quadratic forms, Contemp. Math., vol. 344, Amer. Math. Soc., Providence, RI, 2004, pp. 275–293. MR 2060204, DOI 10.1090/conm/344/06224
M. Marshall, Real reduced multirings and multifields, J. Pure Appl. Algebra 205 (2006), no. 2, 452–468. MR 2203627, DOI 10.1016/j.jpaa.2005.07.011
Ch. G. Massouros, Methods of constructing hyperfields, Internat. J. Math. Math. Sci. 8 (1985), no. 4, 725–728. MR 821630, DOI 10.1155/S0161171285000813
John Milnor and Dale Husemoller, Symmetric bilinear forms, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 73, Springer-Verlag, New York-Heidelberg, 1973. MR 0506372
Ján Mináč and Michel Spira, Witt rings and Galois groups, Ann. of Math. (2) 144 (1996), no. 1, 35–60. MR 1405942, DOI 10.2307/2118582
Jean Mittas, Sur une classe d’hypergroupes commutatifs, C. R. Acad. Sci. Paris Sér. A-B 269 (1969), A485–A488 (French). MR 260651
R. Perlis, K. Szymiczek, P. E. Conner, and R. Litherland, Matching Witts with global fields, Recent advances in real algebraic geometry and quadratic forms (Berkeley, CA, 1990/1991; San Francisco, CA, 1991) Contemp. Math., vol. 155, Amer. Math. Soc., Providence, RI, 1994, pp. 365–387. MR 1260721, DOI 10.1090/conm/155/01393
Paulo Ribenboim, Théorie des valuations, Séminaire de Mathématiques Supérieures, No. 9 (Été, vol. 1964, Les Presses de l’Université de Montréal, Montreal, Que., 1968 (French). Deuxième édition multigraphiée. MR 0249425
Ursula Schneiders, Estimating the $2$-rank of cubic fields by Selmer groups of elliptic curves, J. Number Theory 62 (1997), no. 2, 375–396. MR 1432782, DOI 10.1006/jnth.1997.2062
Daniel Shanks, The simplest cubic fields, Math. Comp. 28 (1974), 1137–1152. MR 352049, DOI 10.1090/S0025-5718-1974-0352049-8
T. A. Springer, Quadratic forms over fields with a discrete valuation. I. Equivalence classes of definite forms, Nederl. Akad. Wetensch. Proc. Ser. A. 58 = Indag. Math. 17 (1955), 352–362. MR 0070664
T. A. Springer, Quadratic forms over fields with a discrete valuation. II. Norms, Nederl. Akad. Wetensch. Proc. Ser. A. 59 = Indag. Math. 18 (1956), 238–246. MR 0076794
Kazimierz Szymiczek, Matching Witts locally and globally, Math. Slovaca 41 (1991), no. 3, 315–330. MR 1126669
Kazimierz Szymiczek, Witt equivalence of global fields, Comm. Algebra 19 (1991), no. 4, 1125–1149. MR 1102331, DOI 10.1080/00927879108824194
Kazimierz Szymiczek, Witt equivalence of global fields. II. Relative quadratic extensions, Trans. Amer. Math. Soc. 343 (1994), no. 1, 277–303. MR 1176087, DOI 10.1090/S0002-9947-1994-1176087-X
Kazimierz Szymiczek, $2$-ranks of class groups of Witt equivalent number fields, Ann. Math. Sil. 12 (1998), 53–64. Number theory (Cieszyn, 1998). MR 1673064
Roger Ware, Valuation rings and rigid elements in fields, Canadian J. Math. 33 (1981), no. 6, 1338–1355. MR 645230, DOI 10.4153/CJM-1981-103-0
Lawrence C. Washington, Class numbers of the simplest cubic fields, Math. Comp. 48 (1987), no. 177, 371–384. MR 866122, DOI 10.1090/S0025-5718-1987-0866122-8
Ernst Witt, Theorie der quadratischen Formen in beliebigen Körpern, J. Reine Angew. Math. 176 (1937), 31–44 (German). MR 1581519, DOI 10.1515/crll.1937.176.31