As part of its series of Emphasis Years in Mathematics, Northwestern University hosted an International Conference on Algebraic Topology. The purpose of the conference was to develop new connections between homotopy theory and other areas of mathematics. This proceedings volume grew out of that event. Topics discussed include algebraic geometry, cohomology of groups, algebraic $K$-theory, and $\mathbb{A 1$ homotopy theory. Among the contributors to the volume were Alejandro Adem,Ralph L. Cohen, Jean-Louis Loday, and many others. The book is suitable for graduate students and research mathematicians interested in homotopy theory and its relationship to other areas of mathematics.

This book is based on lectures given at a summer school on motivic homotopy theory at the Sophus Lie Centre in Nordfjordeid, Norway, in August 2002. Aimed at graduate students in algebraic topology and algebraic geometry, it contains background material from both of these fields, as well as the foundations of motivic homotopy theory. It will serve as a good introduction as well as a convenient reference for a broad group of mathematicians to this important and fascinating new subject. Vladimir Voevodsky is one of the founders of the theory and received the Fields medal for his work, and the other authors have all done important work in the subject.

The abstract homotopy theory is based on the observation that analogues of much of the topological homotopy theory and simple homotopy theory exist in many other categories (e.g. spaces over a fixed base, groupoids, chain complexes, module categories). Studying categorical versions of homotopy structure, such as cylinders and path space constructions, enables not only a unified development of many examples of known homotopy theories but also reveals the inner working of the classical spatial theory. This demonstrates the logical interdependence of properties (in particular the existence of certain Kan fillers in associated cubical sets) and results (Puppe sequences, Vogt's Iemma, Dold's theorem on fibre homotopy equivalences, and homotopy coherence theory).

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 Preface: K-theory was introduced by A. Grothendieck in his formulation of the Riemann- Roch theorem. For each projective algebraic variety, Grothendieck constructed a group from the category of coherent algebraic sheaves, and showed that it had many nice properties. Atiyah and Hirzebruch considered a topological analog defined for any compact space X, a group K{X) constructed from the category of vector bundles on X. It is this ''topological K-theory" that this book will study. Topological K-theory has become an important tool in topology. Using K- theory, Adams and Atiyah were able to give a simple proof that the only spheres which can be provided with H-space structures are S1, S3 and S7. Moreover, it is possible to derive a substantial part of stable homotopy theory from K-theory. The purpose of this book is to provide advanced students and mathematicians in other fields with the fundamental material in this subject. In addition, several applications of the type described above are included. In general we have tried to make this book self-contained, beginning with elementary concepts wherever possible; however, we assume that the reader is familiar with the basic definitions of homotopy theory: homotopy classes of maps and homotopy groups.Thus this book might be regarded as a fairly self-contained introduction to a "generalized cohomology theory".

Informally, $K$-theory is a tool for probing the structure of a mathematical object such as a ring or a topological space in terms of suitably parameterized vector spaces and producing important intrinsic invariants which are useful in the study of algebr