Algebraic K Theory Of Crystallographic Groups

The Farrell-Jones isomorphism conjecture in algebraic K-theory offers a description of the algebraic K-theory of a group using a generalized homology theory. In cases where the conjecture is known to be a theorem, it gives a powerful method for computing the lower algebraic K-theory of a group. This book contains a computation of the lower algebraic K-theory of the split three-dimensional crystallographic groups, a geometrically important class of three-dimensional crystallographic group, representing a third of the total number. The book leads the reader through all aspects of the calculation. The first chapters describe the split crystallographic groups and their classifying spaces. Later chapters assemble the techniques that are needed to apply the isomorphism theorem. The result is a useful starting point for researchers who are interested in the computational side of the Farrell-Jones isomorphism conjecture, and a contribution to the growing literature in the field.

The book focuses on the relation between transformation groups and algebraic K-theory. The general pattern is to assign to a geometric problem an invariant in an algebraic K-group which determines the problem. The algebraic K-theory of modules over a category is studied extensively and appplied to the fundamental category of G-space. Basic details of the theory of transformation groups sometimes hard to find in the literature, are collected here (Chapter I) for the benefit of graduate students. Chapters II and III contain advanced new material of interest to researchers working in transformation groups, algebraic K-theory or related fields.

Algebraic K-theory describes a branch of algebra that centers about two functors. K0 and K1, which assign to each associative ring ∧ an abelian group K0∧ or K1∧ respectively. Professor Milnor sets out, in the present work, to define and study an analogous functor K2, also from associative rings to abelian groups. Just as functors K0 and K1 are important to geometric topologists, K2 is now considered to have similar topological applications. The exposition includes, besides K-theory, a considerable amount of related arithmetic.

A NATO Advanced Study Institute entitled "Algebraic K-theory: Connections with Geometry and Topology" was held at the Chateau Lake Louise, Lake Louise, Alberta, Canada from December 7 to December 11 of 1987. This meeting was jointly supported by NATO and the Natural Sciences and Engineering Research Council of Canada, and was sponsored in part by the Canadian Mathematical Society. This book is the volume of proceedings for that meeting. Algebraic K-theory is essentially the study of homotopy invariants arising from rings and their associated matrix groups. More importantly perhaps, the subject has become central to the study of the relationship between Topology, Algebraic Geometry and Number Theory. It draws on all of these fields as a subject in its own right, but it serves as well as an effective translator for the application of concepts from one field in another. The papers in this volume are representative of the current state of the subject. They are, for the most part, research papers which are primarily of interest to researchers in the field and to those aspiring to be such. There is a section on problems in this volume which should be of particular interest to students; it contains a discussion of the problems from Gersten's well-known list of 1973, as well as a short list of new problems.

The Proceedings volume is divided into two parts. The first part consists of lectures given during the first two weeks devoted to a workshop featuring state-of-the-art expositions on 'Overview of Algebraic K-theory' including various constructions, examples, and illustrations from algebra, number theory, algebraic topology, and algebraic/differential geometry; as well as on more concentrated topics involving connections of K-theory with Galois, etale, cyclic, and motivic (co)homologies; values of zeta functions, and Arithmetics of Chow groups and zero cycles. The second part consists of research papers arising from the symposium lectures in the third week.

The proceedings volume from the March 1996 conference is dedicated to the late Bob Thomason, one of the leading research mathematicians specializing in algebraic K-theory. Twelve contributions include research papers treated in the lectures at the conference, articles inspired by those lectures, an exposition of Thomason's famous result concerning the relationship between algebraic K-theory and etale cohomology, and an exposition explaining and elaborating upon unpublished work of O. Gabber on Bloch-Ogus-Gersten type resolutions in K-theory and algebraic geometry. Annotation copyrighted by Book News, Inc., Portland, OR

Algebraic K-theory encodes important invariants for several mathematical disciplines, spanning from geometric topology and functional analysis to number theory and algebraic geometry. As is commonly encountered, this powerful mathematical object is very hard to calculate. Apart from Quillen's calculations of finite fields and Suslin's calculation of algebraically closed fields, few complete calculations were available before the discovery of homological invariants offered by motivic cohomology and topological cyclic homology. This book covers the connection between algebraic K-theory and Bökstedt, Hsiang and Madsen's topological cyclic homology and proves that the difference between the theories are ‘locally constant’. The usefulness of this theorem stems from being more accessible for calculations than K-theory, and hence a single calculation of K-theory can be used with homological calculations to obtain a host of ‘nearby’ calculations in K-theory. For instance, Quillen's calculation of the K-theory of finite fields gives rise to Hesselholt and Madsen's calculations for local fields, and Voevodsky's calculations for the integers give insight into the diffeomorphisms of manifolds. In addition to the proof of the full integral version of the local correspondence between K-theory and topological cyclic homology, the book provides an introduction to the necessary background in algebraic K-theory and highly structured homotopy theory; collecting all necessary tools into one common framework. It relies on simplicial techniques, and contains an appendix summarizing the methods widely used in the field. The book is intended for graduate students and scientists interested in algebraic K-theory, and presupposes a basic knowledge of algebraic topology.

From the Introduction: "These notes are taken from a course on algebraic K-theory [given] at the University of Chicago in 1967. They also include some material from an earlier course on abelian categories, elaborating certain parts of Gabriel's thesis. The results on K-theory are mostly of a very general nature."