Abstract
Recent results on the structure of the group K2 of a field and its connections with the Brauer group are presented. The K-groups of Severi-Brauer varieties and simple algebras are computed. A proof is given of Milnor's conjecture that for any field F and natural number n > 1 there is the isomorphismR n,F :K 2(F)/nK 2(F) ∼→ n Br(F). Algebrogeometric applications of the main results are presented.
Similar content being viewed by others
Literature cited
é. Artin, Geometric Algebra [in Russian], Nauka, Moscow (1969).
H. Bass, Algebraic K-Theory, Springer-Verlag (1973).
A. Borel and J. P. Serre, “The Riemann-Roch theorem,” Matematika, Periodic Collection of Translations of Foreign Papers,5, No. 5, 17–54 (1961).
N. Bourbaki, Commutative Algebra, Addison-Wesley (1972).
B. L. Varden, Algebra [Russian translation], Nauka, Moscow (1979).
P. Gabriel and M. Zismann, Categories of Fractions and Homotopy Theory [Russian translation], Mir, Moscow (1971).
A. Grothendieck, On Some Questions of Homological Algebra [Russian translation], IL, Moscow (1961).
H. Cartan and S. Eilenberg, Homological Algebra, Princeton Univ. Press (1956).
J. Cassels and A. Frohlich, Algebraic Number Theory [Russian translation], Mir, Moscow (1969).
S. MacLane, Homology, Springer-Verlag (1975).
D. Mumford, Abelian Varieties, Oxford Univ. Press (1970).
D. Mumford, Lectures on Curves on an Algebraic Surface [Russian translation], Mir, Moscow (1968).
Yu. I. Manin, “Lectures on the K-functor in algebraic geometry,” Usp. Mat. Nauk,24, No. 5, 3–86 (1969).
Yu. I. Manin, “The Mordell-Weil theorem,” Appendix to the book of D. Mumford, Abelian Varieties.
A. S. Merkur'ev, “On the symbol of norm residue of degree two,” Dokl. Akad. Nauk SSSR,261, No. 3, 542–547 (1981).
A. S. Merkuri'ev and A. A. Suslin, “K-cohomology of Severi-Brauer varieties and the norm-residue homomorphism,” Dokl. Akad. Nauk SSSR,264, 555–559 (1982).
A. S. Merkur'ev and A. A. Suslin, “K-cohomology of Severi-Brauer varieties and the norm-residue homomorphism,” Izv. Akad. Nauk SSSR, Ser. Mat.,46, No. 5, 1011–1061 (1982).
J. Milnor, Introduction to Algebraic K-Theory, Princeton Univ. Press (1972).
I. A. Panin, “Fields with zero K2. Torsion in H1(X, K2) and Ch2(X),” J. Sov. Math.,26, No. 3 (1984).
The Chow Ring of a Severi-Brauer Variety, XVII All-Union Algebraic Conference, Minsk (1983), Reports.
V. P. Platonov, “The Tannaka-Artin problem and reduced K-theory,” Izv. Akad. Nauk SSSR, Ser. Mat., 40, No. 2, 227–261 (1976).
J.-P. Serre, Galois Cohomology [Russian translation], Mir, Moscow (1968).
E. Spencer, Algebraic Topology [Russian translation], Mir, Moscow (1971).
A. A. Suslin, “The quaternion homomorphism for a function field on a conic,” Dokl. Akad. Nauk SSSR,265, No. 2, 292–296 (1982).
R. Steinberg, Lectures on Chevalier Groups [Russian translation], Mir, Moscow (1975).
I. Herstein, Noncommutative Rings Russian translation, Mir, Moscow (1972).
V. V. Shekhtman, “The Riemann-Roch theorem and degeneration of the Atinya-Hirzebruch spectral sequence,” Usp. Mat. Nauk,35, No. 6, 179–180 (1980).
V. V. Shekhtman, “Chern classes in Algebraic K-theory,” Tr. Mosk. Mat. Obshch.,45, 237–264 (1982).
A. Albert, Structure of Algebras, Am. Math. Soc. Colloq. Publ.,24 (1939).
R. G. Alperin and R. K. Dennis, “K2 of quaternion algebras,” J. Algebra,56, No. 1, 262–273 (1979).
S. A. Amitsur, L. H. Rowen, and J. P. Tignol, “Division algebras of degree 4 and 8 with involution,” Isr. J. Math.,33, No. 2, 133–148 (1979).
M. Artin, “Brauer-Severi varieties,” Lect. Notes Math.,917, 194–210 (1982).
A. Bak and U. Rehman, “K2 analogues of Hasse's norm theorem,” Preprint (1983).
H. Bass, “K-theory and stable algebra,” Publ. Math. Inst. Hautes Etudes Sci., No. 22, 489–544 (1964).
H. Bass and J. Tate, “The Milnor ring of a global field,” Lect. Notes Math.,342, 349–446 (1973).
A. J. Berrick, “An approach to algebraic K-theory,” Pitman Books Lmtd., Singapore (1982).
S. Bloch, “Torsion algebraic cycles, K2 and Brauer groups of function fields,” Lect. Notes Math.,844, 75–102 (1981).
S. Bloch, “Torsion algebraic cycles and a theorem of Roitman,” Compos. Math.,39, No. 1, 107–127 (1979).
S. Bloch and A. Ogus, “Gersten's conjecture and the homology of schemes,” Ann. Sci. Ecole Norm. Super.,7, 181–201 (1974).
W. Browder, “Algebraic K-theory with coefficients Z/p,” Lect. Notes Math.,657, 40–85 (1978).
W. Casselman and D. Wigner, “Continuous cohomology and a conjecture of Serre's,” Invent. Math.,25, No. 3–4, 199–211 (1974).
J. L. Colliot-Thelene, “Hilbert's theorem 90 for K2 with applications to the Chow groups of rational surfaces,” Invent. Math.,71, 1–20 (1982).
J. L. Colliot-Thelene, J. J. Sansuc, and C. Soule, “Quelques theoremes de finitude en theorie des cycles algebriques,” C. R. Acad. Sci., Ser. 1,294, 749–752 (1982).
M. Deuring, Algebren, Vol. 4, Ergebn. Math., Springer-Verlag, Berlin (1935).
O. Gabber, “Sur la torsion dans la cohomologie l-adique d'une variete,” C. R. Acad. Sci. (1983).
P. Gabriel, “Des categories abeliennes,” Bull. Soc. Math. France,90, No. 3, 323–448 (1962).
S. M. Gersten, “Some exact sequences in the higher K-theory of rings,” Lect. Notes Math.,341, 211–243 (1973).
H. Gillet, “Riemann-Roch theorem for higher algebraic K-theory,” Adv. Math.,40, No. 3, 203–289 (1981).
D. R. Grayson, “Projections, cycles and algebraic K-theory,” Math. Ann.,234, 1, 69–72 (1978).
D. R. Grayson, “Higher algebraic K-theory: II (after D. Quillen),” Lect. Notes Math.,551, 217–240 (1976).
D. R. Grayson, “Products in K-theory and intersecting algebraic cycles,” Invent. Math.,47, No. 1, 71–83 (1978).
A. Grothendieck, “La theorie des classes de Chern,” Bull. Soc. Math. France,86, No. 2, 137–154 (1958).
R. Hartshorne, “Residues and duality,” Lect. Notes Math., No. 20 (1966).
J. P. Jouanolou, “Riemann-Roch sans denominateurs,” Invent. Math.,11, No. 1, 15–26 (1970).
J. P. Jouanolou, “Une suite exacte de Mayer-Veitoris en K-theorie algebrique,” Lect. Notes Math.,341, 293–316 (1973).
K. Kato, “Symmetric bilinear forms, quadratic forms, and Milnor K-theory in characteristic two,” Invent. Math.,66, No. 3, 493–510 (1982).
K. Kato, “A generalization of local class field theory by using K-groups,” J. Fac. Sci. Univ. Tokyo, Sec. 1A,26, No. 2, 303–376 (1979);27, No. 3, 603–683 (1980).
S. Lang, Abelian Varieties, Intersci. Tracts Pure Appl. Math., No. 7, Interscience, New York-London (1959).
J. L. Loday, “K-theorie algebrique et representations de groupes,” Ann. Sci. Ecole Norm. Super.,9, No. 3, 309–377 (1976).
S. MacLane, Categories for the Working Mathematician, Springer-Verlag, New York (1971).
H. Matsumoto, “Sur les sous-groupes arithmetiques des groupes semi-simples deploye,” Ann. Scient. Ecole Norm. Super.,2, No. 1, 1–62 (1969).
J. P. May, Simplicial Objects in Algebraic Topology, Van Nostrand, Princeton, N.J. (1967).
J. S. Milne, Etale Cohomology, Princeton Math. Series, No. 33 (1980).
J. Milnor, “On spaces having the homotopy type of CW-complex,” Trans. Am. Math. Soc.,90, No. 2, 272–280 (1959).
C. C. Moore, “Group extensions of p-adic and adelic linear groups,” Publ. Math. Inst. Hautes Etudes Scient., No. 35, 157–222 (1968, 1969).
M. P. Murthy and A. Roy, “Torsion in K2 of fields and O-cylces on rational surfaces,” Tata Inst. Fund. Research, Preprint (1983).
J. Neisendorfer, Primary Homotopy Theory, Mem. AMS, No. 232 (1980).
D. Quillen, “Higher algebraic K-theory. I,” Lect. Notes Math., 341, 85–147 (1973).
D. Quillen, “Cohomology of groups,” Actes Congr. Int. Mathematiciens, 1970, Vol. 2, Paris, pp. 47–51 (1971).
U. Rehman, “Zentrale Erweiterungen der speziallen linearen Gruppe eines Schiefkorpers,” J. Reine Angew. Math., No. 301, 77–104 (1978).
C. Sherman, “Some theorems on the K-theory of coherent sheaves,” Commun. Algebra,7, No. 14, 1489–1508 (1979).
C. Sherman, “K-cohomology of regular schemes,” Commun. Algebra, No. 10, 999–1029 (1979).
SK1 von Shiefkorpern, Lect. Notes Math., 778 (1980).
C. Soule, “K-theorie des anneux d'entiers de corps de nombres et cohomologie etale,” Invent. Math.,55, No. 3, 251–295 (1979).
A. A. Suslin, “Torsion in K2 of fields,” Leningr. Otd. Mat. Inst. Akad. Nauk SSSR, Preprint No. E 2 (1982).
A. A. Suslin, “Homology of GLn, characteristic classes and Milnor K-theory,” Preprint LOMI, Leningr. Otd. Mat. Inst. Akad. Nauk SSSR, No. E 4 (1982).
R. G. Swan, “Algebraic K-theory,” Lect. Notes Math.,76 (1968).
J. Tate, “Relations between K2 and Galois cohomology,” Invent. Math.,36, 257–274 (1976).
“Theorie global des intersection et theoreme de Riemann-Roch (SGA6),” Semin. Geom. Algebr. du Bois Marie 1966–67 (Lect. Notes Math., 225), Springer-Verlag, Berlin (1971).
“Theorie des topos et cohomologie etale des schemas (SGA-4),” Lect. Notes Math.,269,270,305 (1972).
J. B. Wagoner, “Developing classifying spaces in algebraic K-theory,” Topology,11, No. 4, 349–370 (1972).
F. A. Waldhausen, “Algebraic K-theory of generalized free products. I, II,” Ann. Math.,108, No. 1, 135–204 (1978).
S. Wang, “On the commutator group of a simple algebra,” Am. J. Math.,72, 323–334 (1950).
C. A. Weibel, “A survey of products in algebraic K-theory,” Lect. Notes Math.,854, 494–517 (1981).
Additional information
Translated from Itogi Nauki i Tekhniki, Seriya Sovremennye Problemy Matematiki Noveishie Dostizheniya, Vol. 25, pp. 115–208, 1984.
Rights and permissions
About this article
Cite this article
Suslin, A.A. Algebraic K-theory and the norm-residue homomorphism. J Math Sci 30, 2556–2611 (1985). https://doi.org/10.1007/BF02249123
Issue Date:
DOI: https://doi.org/10.1007/BF02249123