The original goal that ultimately led to this volume was the construction of "motivic cohomology theory," whose existence was conjectured by A. Beilinson and S. Lichtenbaum. This is achieved in the book's fourth paper, using results of the other papers whose additional role is to contribute to our understanding of various properties of algebraic cycles. The material presented provides the foundations for the recent proof of the celebrated "Milnor Conjecture" by Vladimir Voevodsky. The theory of sheaves of relative cycles is developed in the first paper of this volume. The theory of presheaves with transfers and more specifically homotopy invariant presheaves with transfers is the main theme of the second paper. The Friedlander-Lawson moving lemma for families of algebraic cycles appears in the third paper in which a bivariant theory called bivariant cycle cohomology is constructed. The fifth and last paper in the volume gives a proof of the fact that bivariant cycle cohomology groups are canonically isomorphic (in appropriate cases) to Bloch's higher Chow groups, thereby providing a link between the authors' theory and Bloch's original approach to motivic (co-)homology.

Lecture notes for graduates or researchers wishing to enter this modern field of research.

Developments in Mathematics is a book series devoted to all areas of mathematics, pure and applied. The series emphasizes research monographs describing the latest advances. Edited volumes that focus on areas that have seen dramatic progress, or are of special interest, are encouraged as well.

Were I to take an iron gun, And ?re it o? towards the sun; I grant ‘twould reach its mark at last, But not till many years had passed. But should that bullet change its force, And to the planets take its course, ‘Twould never reach the nearest star, Because it is so very far. from FACTS by Lewis Carroll [55] Let me begin by describing the two purposes which prompted me to write this monograph. This is a book about algebraic topology and more especially about homotopy theory. Since the inception of algebraic topology [217] the study of homotopy classes of continuous maps between spheres has enjoyed a very exc- n n tional, central role. As is well known, for homotopy classes of maps f : S ?? S with n? 1 the sole homotopy invariant is the degree, which characterises the homotopy class completely. The search for a continuous map between spheres of di?erent dimensions and not homotopic to the constant map had to wait for its resolution until the remarkable paper of Heinz Hopf [111]. In retrospect, ?nding 3 an example was rather easy because there is a canonical quotient map from S to 3 1 1 2 theorbitspaceofthe freecircleactionS /S =CP = S .

The period matrix of a curve effectively describes how the complex structure varies; this is Torelli's theorem dating from the beginning of the nineteenth century. In the 1950s during the first revolution of algebraic geometry, attention shifted to higher dimensions and one of the guiding conjectures, the Hodge conjecture, got formulated. In the late 1960s and 1970s Griffiths, in an attempt to solve this conjecture, generalized the classical period matrices introducing period domains and period maps for higher-dimensional manifolds. He then found some unexpected new phenomena for cycles on higher-dimensional algebraic varieties, which were later made much more precise by Clemens, Voisin, Green and others. This 2003 book presents this development starting at the beginning: the elliptic curve. This and subsequent examples (curves of higher genus, double planes) are used to motivate the concepts that play a role in the rest of the book.

The original goal that ultimately led to this volume was the construction of "motivic cohomology theory," whose existence was conjectured by A. Beilinson and S. Lichtenbaum. This is achieved in the book's fourth paper, using results of the other papers whose additional role is to contribute to our understanding of various properties of algebraic cycles. The material presented provides the foundations for the recent proof of the celebrated "Milnor Conjecture" by Vladimir Voevodsky. The theory of sheaves of relative cycles is developed in the first paper of this volume. The theory of presheaves with transfers and more specifically homotopy invariant presheaves with transfers is the main theme of the second paper. The Friedlander-Lawson moving lemma for families of algebraic cycles appears in the third paper in which a bivariant theory called bivariant cycle cohomology is constructed. The fifth and last paper in the volume gives a proof of the fact that bivariant cycle cohomology groups are canonically isomorphic (in appropriate cases) to Bloch's higher Chow groups, thereby providing a link between the authors' theory and Bloch's original approach to motivic (co-)homology.

This monograph initiates a theory of new categorical structures that generalize the simplicial Segal property to higher dimensions. The authors introduce the notion of a d-Segal space, which is a simplicial space satisfying locality conditions related to triangulations of d-dimensional cyclic polytopes. Focus here is on the 2-dimensional case. Many important constructions are shown to exhibit the 2-Segal property, including Waldhausen’s S-construction, Hecke-Waldhausen constructions, and configuration spaces of flags. The relevance of 2-Segal spaces in the study of Hall and Hecke algebras is discussed. Higher Segal Spaces marks the beginning of a program to systematically study d-Segal spaces in all dimensions d. The elementary formulation of 2-Segal spaces in the opening chapters is accessible to readers with a basic background in homotopy theory. A chapter on Bousfield localizations provides a transition to the general theory, formulated in terms of combinatorial model categories, that features in the main part of the book. Numerous examples throughout assist readers entering this exciting field to move toward active research; established researchers in the area will appreciate this work as a reference.

The notion of a motive is an elusive one, like its namesake "the motif" of Cezanne's impressionist method of painting. Its existence was first suggested by Grothendieck in 1964 as the underlying structure behind the myriad cohomology theories in Algebraic Geometry. We now know that there is a triangulated theory of motives, discovered by Vladimir Voevodsky, which suffices for the development of a satisfactory Motivic Cohomology theory. However, the existence of motives themselves remains conjectural. This book provides an account of the triangulated theory of motives. Its purpose is to introduce Motivic Cohomology, to develop its main properties, and finally to relate it to other known invariants of algebraic varieties and rings such as Milnor K-theory, etale cohomology, and Chow groups. The book is divided into lectures, grouped in six parts. The first part presents the definition of Motivic Cohomology, based upon the notion of presheaves with transfers. Some elementary comparison theorems are given in this part. The theory of (etale, Nisnevich, and Zariski) sheaves with transfers is developed in parts two, three, and six, respectively. The theoretical core of the book is the fourth part, presenting the triangulated category of motives. Finally, the comparison with higher Chow groups is developed in part five. The lecture notes format is designed for the book to be read by an advanced graduate student or an expert in a related field. The lectures roughly correspond to one-hour lectures given by Voevodsky during the course he gave at the Institute for Advanced Study in Princeton on this subject in 1999-2000. In addition, many of the original proofs have been simplified and improved so that this book will also be a useful tool for research mathematicians. Information for our distributors: Titles in this series are copublished with the Clay Mathematics Institute (Cambridge, MA).