The graded Witt ring and Galois cohomology. II
HTML articles powered by AMS MathViewer
- by Jón Kr. Arason, Richard Elman and Bill Jacob PDF
- Trans. Amer. Math. Soc. 314 (1989), 745-780 Request permission
Abstract:
A primary problem in the theory of quadratic forms over a field $F$ of characteristic different from two is to prove that the rings $H_q^\ast F$ and $GWF$ are isomorphic. Here $H_q^\ast F = {H^\ast }(\operatorname {Gal}({F_q}/F),{\mathbf {Z}}/2{\mathbf {Z}}))$, where ${F_q}$ is the quadratic closure of $F$, and $GWF$ is the graded Witt ring associated to the fundamental ideal of even dimensional forms in the Witt ring $WF$ of $F$. In this paper, we assume we are given a field extension $K$ of $F$ such that $WK$ is ’close’ to $WF$ or $H_q^{\ast } K$ is ’close’ to $H_q^\ast F$. A method is developed to obtain information about these graded rings over $F$ and its $2$-extensions from information about the corresponding graded ring of $K$. This relative theory extends and includes the previously developed absolute case where $K = {F_q}$. Applications are also given to show that $H_q^\ast F$ and $GWF$ are isomorphic for a collection of fields arising naturally from the theory of abstract Witt rings.References
- Jón Kr. Arason, Cohomologische invarianten quadratischer Formen, J. Algebra 36 (1975), no. 3, 448–491 (French). MR 389761, DOI 10.1016/0021-8693(75)90145-3
- Jón Kr. Arason, Primideale im graduierten Wittring a und im $\textrm {mod}$ $2$ Cohomologiering, Math. Z. 145 (1975), no. 2, 139–143. MR 404224, DOI 10.1007/BF01214778 —, A proof of Merkurjev’s Theorem, Canad. Math. Soc. Conf. Proc., vol. 4, Amer. Math. Soc., Providence, R.I., 1984, pp. 121-130. —, unpublished.
- Jón Kr. Arason, Richard Elman, and Bill Jacob, The graded Witt ring and Galois cohomology. I, Quadratic and Hermitian forms (Hamilton, Ont., 1983) CMS Conf. Proc., vol. 4, Amer. Math. Soc., Providence, RI, 1984, pp. 17–50. MR 776446
- Jón Kr. Arason, Richard Elman, and Bill Jacob, Graded Witt rings of elementary type, Math. Ann. 272 (1985), no. 2, 267–280. MR 796253, DOI 10.1007/BF01450571
- Jón Kr. Arason, Richard Elman, and Bill Jacob, Fields of cohomological $2$-dimension three, Math. Ann. 274 (1986), no. 4, 649–657. MR 848510, DOI 10.1007/BF01458600
- 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
- Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York-Berlin, 1982. MR 672956
- Thomas C. Craven, Existence of SAP extension fields, Arch. Math. (Basel) 29 (1977), no. 6, 594–597. MR 485804, DOI 10.1007/BF01220459
- Richard Elman and T. Y. Lam, Pfister forms and $K$-theory of fields, J. Algebra 23 (1972), 181–213. MR 302739, DOI 10.1016/0021-8693(72)90054-3
- Richard Elman and T. Y. Lam, Quadratic forms over formally real fields and pythagorean fields, Amer. J. Math. 94 (1972), 1155–1194. MR 314878, DOI 10.2307/2373568
- Richard Elman and T. Y. Lam, Quadratic forms under algebraic extensions, Math. Ann. 219 (1976), no. 1, 21–42. MR 401649, DOI 10.1007/BF01360856
- Richard Elman and Alexander Prestel, Reduced stability of the Witt ring of a field and its Pythagorean closure, Amer. J. Math. 106 (1984), no. 5, 1237–1260. MR 761585, DOI 10.2307/2374279
- 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 and Markus Rost, Degree four cohomological invariants for quadratic forms, Invent. Math. 96 (1989), no. 3, 551–570. MR 996554, DOI 10.1007/BF01393696
- Manfred Knebusch, Generic splitting of quadratic forms. I, Proc. London Math. Soc. (3) 33 (1976), no. 1, 65–93. MR 412101, DOI 10.1112/plms/s3-33.1.65
- T. Y. Lam, The algebraic theory of quadratic forms, Mathematics Lecture Note Series, W. A. Benjamin, Inc., Reading, Mass., 1973. MR 0396410
- Murray Marshall, Abstract Witt rings, Queen’s Papers in Pure and Applied Mathematics, vol. 57, Queen’s University, Kingston, Ont., 1980. MR 674651
- A. S. Merkur′ev, On the norm residue symbol of degree $2$, Dokl. Akad. Nauk SSSR 261 (1981), no. 3, 542–547 (Russian). MR 638926
- A. S. Merkur′ev and A. A. Suslin, Norm residue homomorphism of degree three, Izv. Akad. Nauk SSSR Ser. Mat. 54 (1990), no. 2, 339–356 (Russian); English transl., Math. USSR-Izv. 36 (1991), no. 2, 349–367. MR 1062517
- John Milnor, Algebraic $K$-theory and quadratic forms, Invent. Math. 9 (1969/70), 318–344. MR 260844, DOI 10.1007/BF01425486
- Albrecht Pfister, Quadratische Formen in beliebigen Körpern, Invent. Math. 1 (1966), 116–132 (German). MR 200270, DOI 10.1007/BF01389724 M. Rost, Hilbert $90$ for ${K_3}$, for degree two extensions, preprint.
- Jean-Pierre Serre, Cohomologie galoisienne, Lecture Notes in Mathematics, No. 5, Springer-Verlag, Berlin-New York, 1965 (French). With a contribution by Jean-Louis Verdier; Troisième édition, 1965. MR 0201444
- Winfried Scharlau, Quadratic and Hermitian forms, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 270, Springer-Verlag, Berlin, 1985. MR 770063, DOI 10.1007/978-3-642-69971-9
- John Tate, Duality theorems in Galois cohomology over number fields, Proc. Internat. Congr. Mathematicians (Stockholm, 1962) Inst. Mittag-Leffler, Djursholm, 1963, pp. 288–295. MR 0175892
- Adrian R. Wadsworth, $p$-Henselian field: $K$-theory, Galois cohomology, and graded Witt rings, Pacific J. Math. 105 (1983), no. 2, 473–496. MR 691616
Additional Information
- © Copyright 1989 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 314 (1989), 745-780
- MSC: Primary 11E04; Secondary 11E81, 12G05, 18F25, 19G12
- DOI: https://doi.org/10.1090/S0002-9947-1989-0964897-9
- MathSciNet review: 964897