Lecture Notes in Mathernafics Edited byA Dold and B. Eckmann 341 Algebraic K-Theory 1- Higher K-Theories Proceedings of the Conference held at the Seattle ResearchCenter of the Battelle Memorial Institute, Aug. 28-Sept. 8, 1972 Edited byH. Bass Springer-Verlag Berlin Heidelberg New York Tokyo Lecture Notes 1n Mathematics Vols. 1-149 are also available. For further information, please Voi. 181: F. DeMeyer and E. lngraham, Separable Algebras over contact your book-seller or Springer-Verlag. Commutative Rings. V, 157 pages. 1971. OM 16,- Vol. 182: L. D. Baumert. Cyclic DifferenceSets. VI, 166 pages. 1971. Voi. 150: Heyer, Dualitat lokalkompakter Gruppen. XIII, 372 Seiten. OM 16,- 1970. OM 20,- Vol. 183: Analytic Theory of Differential Equations. Edited by P. F. Vol. 151: M. Demazure el A. Grothendieck, Schemas en Groupes 1. Hsieh and A. W. J. Stoddart. VI, 225 pages. 1971. OM 20,- (SGA 3). XV, 562 pages. 1970. OM 24,- Vol. 184: Symposium on Several Complex Variables, Park City, Utah, Vol. 152: M. Demazure el A. Grothendieck, Schemas en Groupes 11. 1970. Edited byR. M. Brooks. V, 234 pages. 1971. OM 20,- (SGA 3). IX, 654 pages. 1970. OM 24,- Vol. 185: Severa! Complex Variables 11, Maryland 1970. Edited by Vol. 153: M. Demazure el A. Grothendieck, Schemas en Groupes III. J. Horvath.lll, 287 pages. 1971. OM 24,- (SGA 3). VIII, 529 pages. 1970. OM 24,- Vol. 186: Recent Trends in Graph Theory. Edited by M. Capobianco/ Vol. 154: A. Lascoux el M. Berger, Varietes Kahleriennes Compactes. J. B. Frechen/M. Krolik. VI, 219 pages. 1971. OM 1 8,- VII, 83 pages. 1970. OM 16,- Vol. 187: H. S. Shapiro, Topics in Approximation Theory. VIII, 275 Vol. 155: Several Complex Variables 1, Maryland 1970. Edited by pages. 1971. OM 22,- J. Horvath. IV, 214 pages. 1970 DM 18, Vol. 1 88: Symposium on Semanticsof Algorithmic Languages. Edited Voi. 156: R. Hartshorne,.Ample Subvanefies of Algebraic Var.ieties. by E. Engeler. VI, 372 pages. 1971. OM 26,- XIV, 256 pages. 1970. OM 20,- Vol. 1 89: A. Weil, Dirichlet Series and Automorphic Forms. V, 164 Vol. 157: T.tom Dieck, K. H. Kampsund O. Puppe, Homotopietheorie. pages. 1971. OM 16,- VI, 25'6 Seiten. 1970. OM 20,- Vol. 190: Martingales. A Repari an a Meeting al Oberwolfach, May Vol. 158: T.G.Ostrom, FiniteTranslation Planes.IV.1 ~ 2 pages. 1970. 17·23, 1970.Edited byH.Dinges. V, 75 pages.1971.DM 16,- DM16,- Vol. 191: Seminaire de Probabilites V. Edited by P. A. Meyer.IV, 372 Vol. 159: R. Ansorge und R. Hass. Konvergenz von Differenzenver pages.1971. OM 26,- fahren fur lineare und nichtlineare Anfangswertaufgaben. VIII, 145 Vol. 192: Proceedings of Liverpool Singularities - Symposium 1. Seiten. 1970. OM 16,- Edited by C. T. C. Wall. V, 319 pages. 1971. OM 24,- Vol. 160: L. Sucheston,Contributions to Ergodic Theory and Proba· Vol. 193: Symposium an the Theory of Numerica! Analysis. Edited by bility. VII, 277 pages. 1970. OM 20,- J. LI. Morris. VI, 152 pages. 1971. OM 16,- Vol. 161: J. Stasheff, H·Spaces from a Homotopy Point of View. Vol. 194: M. Berger, P. Gauduchon el E. Mazet. Le Spectre d'une VI, 95 Pages. 1970. OM 16,- Variete Riemannienne. VII, 251 pages. 1971. OM 22,- Vo1:162: Harish·Chandra and van Dijk, Harmonic Analysis on Reduc· Vol.195: Reports oftheMidwestCategorySeminarV. Edited byJ. W. tive p·adic·Groups. IV, 125 pages. 1970. OM 16,- Grayand S. Mac Lane.lll, 255 pages. 1971. OM 22,- Vol. 163: P. Deligne, Equations Differentielles a Points Singuliers Reguliers.lll, 133 pages. 1 g70. OM 16,- Vol. 196: H·spaces - Neuchătel (Suisse)· AoOt 1970. Edited by F. Sigrist. V, 156 pages. 1971. OM 16,- Vol. 164: J. P. Ferrier, Seminaire sur les Algebres Completes. 11, 69 Vol. 197: Manifolds - Amsterdam 1970. Edited by N. H. Kuiper. V, pages. 1970. OM 16,- 231 pages.1971.DM20,- Vol. 165: J. M. Ca hen, Slable Homotopy. V, 194 pages. 1970. OM 16, Vol. 198: M. Herve, Analytic and Plurisubharmonic Functions in Finite Vol. 166: A. J. Silberger, PGL2 over the p·adics: ils Representations, and Infinite Dimensional Spaces. VI, 90 pages. 1971. OM 16,- Spherical Functions, and Fourier Analysis. VII, 202 pages. 1970. Vol. 199: Ch. J. Mozzochi, On the Pointwise Convergence of Fourier DM18,- Series. VII, 87 pages. 1971. OM 16,- Vol. 167: Lavrentiev, Romanovand Vasiliev, Multidimensionallnverse Problems for Differential Equations. V, 59 pages. 1970. OM 16,- Vol. 200: U. Neri, Singular lntegrals. VII, 272 pages. 1971. OM 22, Vol: 168: F. P. Peterson, The Steenrod Algebra and ils Applications: Vol. 201: J. H. van Lin!, Cod ing Theory. VII, 136 pages. 1971. OM 16, A Conference to Celebrata N. E. Steenrod's Sixtieth Birthday. VII, Vol. 202: J. Benedetto, Harmonic Analysis in Totally Disconnected 317 pages.1970. OM 22,- Sets.VIII,261 pages.1971.DM22,- Vol. 169: M. Raynaud, Anneaux Locaux Henseliens. V, 129 pages. Vol. 203: D. Knutson, Algebraic Spaces. VI, 261 pages. 197~. 1970. OM 16,- OM 22,- Vol. 170: Lectures in Modern Analysis and Applications III. Edited by Vol. 204: A. Zygmund, lntegrales Singulieres. IV, 53 pages. 1971. C. T. Taam. VI, 213 pages. 1970. OM 18,- DM16,- Vol. 171: Set.Yalued Mappings, Selections and Topologica! Proper· Vol. 205: Seminaire Pierre Lelong (Analyse) Annee 1970. VI, 243 ties of 2x. Edited by W. M. Fleischman. X, 11 O pages. 1970. OM 16,- pages. 1971. OM 20,- Vol. 172: Y.-T. Siu and G. Trautmann, Gap·Sheaves and Extension Vol. 206: Symposium on Differential Equations and Dynamical Sys· of Coherent Analytic Subsheaves. V, 172 pages. 1971. OM 16,- tems. Edited by D. Chillingworth. XI, 173 pages. 1971. OM 16,- Vol. 173: J. N. Mordeson and B. Vinograde, Structura of Arbitrary Vol. 207: L. Bernstein, The Jacobi·Perron Algorithm - lts Theory and Purely lnseparable Extension Fields. IV, 138 pages. 1970. OM 16,- Application.IV, 161 pages.1971. OM 16,- Vol. 174: B. !versen, Linear Detterminants with Applications to the Vol. 208: A. Grothendieck and J. P. Murre, The Tame Fundamental Picard Scheme of a Family of Algebraic Curves. VI, 69 pages. 1970. Group of a Formal Neighbourhood of a Divisorwith Normal Crossings DM16,- an a Scheme. VIII, 133 pages. 1971. OM 16,- Vol.175: M. Brelot,OnTopologiesandBoundariesinPotentiaiTheory. Vol. 209: Proceedings of Liverpool Singularities Symposium 11. Edi· VI, 176 pages. 1971. OM 18,- led byC. T.C. Wall. V, 280 pages.1971.DM 22,- Vol. 176: H. Popp, Fundamentalgruppen algebraischer Mannigfaltig· Vol: 21 O: M. Eichler, Projective Varieties and Modular Forms. III, 118 keiten. IV, 154 Seiten. 1970. OM 16,- pages. 1971. OM 16,- Vol.177: J. Lambek, Torsion Theories, Additive Semantics and Rings Vol. 211: ThâoriedesMatro'ides. Edita parC. P. Bruter.lll, 108 pages. of Quotients. VI, 94 pages. 1971. OM 16,- 1971.DM16.- Vol. 178: Th. Brticker und T. tom Dieck, Kobordismentheorie. XVI, Vol. 212: B. Scarpellini, Proof Theory and lntuitionistic Systems. 191 Seiten. 1970. OM 18,- VII, 291 pages. 1971. OM 24,- Vol. 179: Seminaire Bourbaki-voi. 1968/69. Exposes 347-363.1V. Vol. 213: H. Hogbe-Niend, Theorie des Bornologies el Applications. 295 pages. 1971. OM 22,- V, 168 pages. 1971. OM 18,- Vol. 180: Seminaire Bourbaki-voi. 1969/70. Exposes 364·381. IV, Vol. 214: M. Smorodinsky, Ergodic Theory, Entropy. V, 64 pages. 31 O pages. 1971. OM 22,- 1971.DM16,- contlnuatlon on page 339 Lecture Notes in Mathernafics Edited byA Dold and B. Eckmann 341 Algebraic K-Theory 1- Higher K-Theories Proceedings of the Conference held at the Seattle ResearchCenter of the Battelle Memorial Institute, Aug. 28-Sept. 8, 1972 Edited byH. Bass Springer-Verlag Berlin Heidelberg New York Tokyo Editor HymanBass DepartmentofMathematics,ColumbiaUniversity NewYork,N.Y.10027,USA 1stEdition 1973 2ndPrinting 1986 MathematicsSubjectClassification (1970):13015, 14F15,16A54, 18F25 ISBN3-540-06434-6Springer-VerlagBerlinHeidelbergNewYorkTokyo ISBN0-387-06434-6Springer-VerlagNewYorkHeidelbergBerlinTokyo Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerial isconcerned,specificallythose·oftranslation, reprinting, re-useofillustrations, broadcasting, reproductionbyphotocopyingmachineorsimilarmeans,andstorage indatabenks.Under §54oftheGermanCopyrightLawwhere copiesaremadeforotherthanprivateuse,afeeis payableto·VerwertungsgesellschaftWort",Munich. ©bySpringer-VerlagBerlinHeidelberg1973 PrintedinGermany Printingandbinding: BeltzOffsetdruck,Hemsbsch/Bergstr. 2146/3140-543210 Introduction A conference on algebraic K-theory was held at the Battelle Seattle Research Center from August 28 to September 8, 1972, with the joint support of the National Science Foundation and the Battelle Memorial Institute. The present volume consists mainly of papers presented at, or stimulated by, that conference, plus some closely related papers by mathematicians who did not attend the conference but who have kindly consented to publish their work here. In addition there are several papers devoted to surveys of subjects treated at the conference, and to the formulation of open research problems. It was our intention thus to present a reasonably comprehensive documentation of the current research in algebraic K-theory, and, if possible, to give this research a greater coherence than it has heretofore enjoyed. It was particularly to see the latter aim largely achieved already in the course of preparing these Proceedings. Algebraic K-theory has two quite different historical roots both in geometry. The first is concerned with certain topological obstruction groups, like the Whitehead groups, and the L-groups of surgery theory. Their computation, which is in principle an algebraic problem about group rings, is one of the original missions of algebraic K-theory. It remains a rich source of new problems and ideas, and an excellent proving ground for new techniques. The second historical source of algebraic K-theory, from which the subject draws its name, is Grothendieck's proof of the Riemann-Roch theorem, and the topological K-theory of Atiyah-Hirzebruch, which has the same point of departure. Starting from the analogy between projective modules and vector bundles one is led to seek a K-theory for rings analogous to that of Atiyah-Hirzebruch for spaces. This enterprise made, at first, only very limited progress. In the few years preceding this conference, however, several interesting definitions of higher K-groups were proposed; the relations between them were far from clear. Meanwhile the detailed study of K and K had revealed some beautiful l 2 arithmetic phenomena within the classical groups. This contact with algebraic number theory had become a major impulse in the subject as well as a theme for IV conjectures about the significance of the higher K-groups. More recently there have appeared definitions and potential applications of higher K-theory in the framework of algebraic geometry. As this brief account suggests, a large number of mathematicians, with quite different motivations and technical backgrounds, had become interested in aspects of algebraic K-theory. It was not altogether apparent whether the assembling of these efforts under one rubric was litte more than an accident of nomenclature. In any case it seemed desireable to gather these mathematicians, some of whom had no other occasion for serious technical contact, in a congenial and relaxed setting, and to leave much of what would ensu.e to mathematical and human chemistry. A consensus of those who were present is that the experiment was enormously successful. Testimony to this is the fact that many of the important new results in these volumes were pr in the few months following the conference, growing out of collaborative efforts and discussions begun there. One major conclusion of this research is that all of the higher K-theories which give the "classical" Kn's for n s; 2 coincide. Thus, in some sense, the subject of higher algebraic K-theory "exLsts'l, an assertion some had begun to depair of making. Moreover one now has, thanks largely to the extraordinary work of Quillen, some very effective tools for calculating higher K-groups in interesting cases. The papers that follow are somewhat loosely organized under the headings: I. Higher K-theories; II. "Classical" algebraic K-theory, and connections with arithmetic; and III. Hermitian K-theories and geometric applications. Certain papers, as their titles indicate, contain collections of research problems. The reader should be warned, however, that because of the vigorous activity the conference, some of the research problems posed below are in fact resolved elsewhere in these volumes. The editional effort necessary to eliminate such instances would have cost an excessive delay in publication. I am extremely grateful to the following participants who contributed v to the preparation of the survey and research problem articles: S. Bloch, J. Coates, Keith Dennis, S. Gersten, M. Karoubi, M.P. Murthy, Ted Petrie,. L. Roberts, J. Shaneson, M. Stein, and R. Swan. On behalf of the participants I express our thanks to the National Science Foundation and the Battelle Memorial Institute for their generous financial support. For the splendid facilities and setting of the Battelle Seattle Research Center, and for the efficient and considerate services of its staff, the conference participants were uniformly enthusiastic in their praise and gratitude. Finally, I wish to thank Kate March of Columbia University for her invaluable secretarial and administrative assistance in organizing the conference, and Robert Martin of Columbia University for his aid in editing these Proceedings. H. Bass Paris, April, 1973 LIST OF PARTICIPANTS AND AUTHORS Dr. Neil Paul Aboff Dr. Spencer J. Bloch Department of Mathematics Department of Mathematics Harvard University Fine Hall 2 Divinity Avenue Princeton University Cambridge, MA 02138 Princeton, NJ 08540 Dr. Yilmaz Akyildiz Dr. Armand Borel Department of Mathematics Institute for Advanced Study University of California Princeton University at Berkeley Princeton, NJ 08540 Berkeley, CA 94704 Dr. Kenneth S. Brown Dr. Roger Alperin Department of Mathematics Department of Mathematics Cornell Univers Rice University Ithaca, NY 04850 6100 Main Street Houston, TX 77001 Dr. Sylvain cappell Department of Theoretical Dr. Donald W. Anderson Mathematics Department of Mathematics The Weizman Institute of Science University of California Rehovoth, Israel at Sdn Diego San Diego, CA 92037 Mr. Joe Carroll Department of Mathematics Dr. David M. Arnold Harvard University Department of Mathematics 2 Divinity Avenue New Mexico State University Cambridge, MA 02138 Las Cruces, NM 88001 Dr. A. J. Casson Dr. Anthony Bak Department of Mathematics Departement des Mathematigues Trinity College 2-4 rue du Lievre Cambridge, London, England Geneve, Switzerland Dr. Stephen U. Chase Dr. Hyman Bass Department of Mathematics Department of Mathematics Cornell University Columbia University White Hall Broadway and West 116th Street Ithaca, NY 14850 New York, NY 10027 Dr. K. G. Choo Dr. Israel Berstein Department of Mathematics Department of Mathematics University of British Columbia White Hall Vancouver, British Columbia Carnell University Canada Ithaca, NY 14850 VIII Dr. John Henry Coates Dr. Charles H. Giffen Department of Mathematics Department of Mathematics Stanford University University of Virginia Stanford, California 94305 Charlottesville, VA 22904 Dr. Edwin H. Connell Mr. Jimmie N. Graham Department of Mathematics Department of Mathematics University of Miami McGill University Coral Gables, FL 33124 P. O. Box 6070 Montreal 101, Quebec Canada Dr. Francis X. Connolly Department of Mathematics Dr. Bruno Harris University of Notre Dame Department of Mathematics Notre Dame, IN 46556 Brown University Providence, RI 02912 Dr. R. Keith Dennis Department of Mathematics Dr. Allen E. Hatcher Cornell University Department of Mathematics White Hall Fine Hall Ithaca, NY 14850 Princeton University Princeton, NJ 08540 Dr. Andreas W. M. Dress Fakultat fur Mathematik Dr. Alex Heller Universitat Bielefeld, FRG Department of Mathematics 48 Bielefeld Institute for Advanced Study Postfach 8640, Germany Princeton University Princeton, NJ 08540 Dr. Richard Elman Department of Mathematics Dr. Wu-chung Hsiang Rice University Department of Mathematics 6100 Main Street Fine Hall Houston, TX 77001 Princeton University Princeton, NJ 08540 Dr. E. Graham Evans, Jr. Department of Mathematics Dr. James E. Humphreys university of Illinois Courant Institute Urbana, Illinois 61801 New York University 251 Mercer Street Dr. Howard Garland New York, NY 10012 Department of Mathematics State University of New York Dr. Dale Husemoller at Stony Brook Dep3.rtment of Mathematics Stony Brook, NY 11790 Haverford College Haverford, PA 19041 Dr. Steve M. Gersten Department of Mathematics Rice University 6100 Main Street Bouston TX 77001 IX Dr. J. P. Jouanolou Dr. Erhard Luft Universite de Strasbourg Department of Mathematics Departement de Mathematique University of British Columbia 7 Rue Rene Descartes Vancouver, British Columbia 67-Strasbourg, France Canada Dr. Max Karoubi Mr. Robert D. Martin Faculte des Sciences Room 207, Mathematics Building Departement de Mathematiques Columbia University Univesite de Paris VII Broadway and West 116th Street Quai St.Bernard New York, NY 10027 Parix 5, France Dr. Serge Maumary Dr. Stan Klasa Faculte des Sciences Department of Mathematics Departement des Mathematiques Carleton university Universite de Lausanue Ottawa 1, Ontario, Canada Lausanue, Switzerland Dr. Mark I. Krusemeyer Dr. Dusa McDuff Institute for Advanced Study Department of Pure Mathematics Princeton, NJ 08540 Cambridge University 16 Mill Lane Dr. Kee Y. Lam Cambridge, England Department of Mathematics University of British Columbia Dr. M. Pavarnan Murthy Vancouver, British Columbia Department of Mathematics Canada university of Chicago Chicago, IL Dr. T. Y. Lam Department of Mathematics Dr. Richard R. Patterson University of California Department of Mathematics at Berkeley University of California Berkeley, CA 94720 at San Diego La Jolla, CA 92037 Dr. Ronnie Lee Department of Mathematics Dr. Claudio Pedrini Yale University Instituto di Matematica New Haven, CT 06520 Via L. B. Alberti 4 16132-Genova, Italy Dr. Stephen Lichtenbaum Department of Mathematics Dr. Ted Petrie Cornell University Department of Mathematics Ithaca, NY 14850 Rutgers University New Brunswick, NJ 08903 Dr. Jean Louis Loday universite de Strasbourg Departement de Mathematique Rue Rene Descartes 67-Strasbourg, France