This volume contains the proceedings of the ICM 2018 satellite school and workshop $K$-theory conference in Argentina. The school was held from July 16-20, 2018, in La Plata, Argentina, and the workshop was held from July 23-27, 2018, in Buenos Aires, Argentina. The volume showcases current developments in $K$-theory and related areas, including motives, homological algebra, index theory, operator algebras, and their applications and connections. Papers cover topics such as $K$-theory of group rings, Witt groups of real algebraic varieties, coarse homology theories, topological cyclic homology, negative $K$-groups of monoid algebras, Milnor $K$-theory and regulators, noncommutative motives, the classification of $C^*$-algebras via Kasparov's $K$-theory, the comparison between full and reduced $C^*$-crossed products, and a proof of Bott periodicity using almost commuting matrices.

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 algebraic and geometric questions. Algebraic $K$-theory, which is the main character of this book, deals mainly with studying the structure of rings. However, it turns out that even working in a purely algebraic context, one requires techniques from homotopy theory to construct the higher $K$-groups and to perform computations. The resulting interplay of algebra, geometry, and topology in $K$-theory provides a fascinating glimpse of the unity of mathematics. This book is a comprehensive introduction to the subject of algebraic $K$-theory. It blends classical algebraic techniques for $K_0$ and $K_1$ with newer topological techniques for higher $K$-theory such as homotopy theory, spectra, and cohomological descent. The book takes the reader from the basics of the subject to the state of the art, including the calculation of the higher $K$-theory of number fields and the relation to the Riemann zeta function.

This book presents the complete proof of the Bloch-Kato conjecture and several related conjectures of Beilinson and Lichtenbaum in algebraic geometry. Brought together here for the first time, these conjectures describe the structure of etale cohomology and its relation to motivic cohomology and Chow groups. Although the proof relies on the work of several people, it is credited primarily to Vladimir Voevodsky. The authors draw on a multitude of published and unpublished sources to explain the large-scale structure of Voevodsky's proof and introduce the key figures behind its development. They proceed to describe the highly innovative geometric constructions of Markus Rost, including the construction of norm varieties, which play a crucial role in the proof. The book then addresses symmetric powers of motives and motivic cohomology operations. Comprehensive and self-contained, The Norm Residue Theorem in Motivic Cohomology unites various components of the proof that until now were scattered across many sources of varying accessibility, often with differing hypotheses, definitions, and language.

This book presents the complete proof of the Bloch-Kato conjecture and several related conjectures of Beilinson and Lichtenbaum in algebraic geometry. Brought together here for the first time, these conjectures describe the structure of etale cohomology and its relation to motivic cohomology and Chow groups. Although the proof relies on the work of several people, it is credited primarily to Vladimir Voevodsky. The authors draw on a multitude of published and unpublished sources to explain the large-scale structure of Voevodsky's proof and introduce the key figures behind its development. They proceed to describe the highly innovative geometric constructions of Markus Rost, including the construction of norm varieties, which play a crucial role in the proof. The book then addresses symmetric powers of motives and motivic cohomology operations. Comprehensive and self-contained, The Norm Residue Theorem in Motivic Cohomology unites various components of the proof that until now were scattered across many sources of varying accessibility, often with differing hypotheses, definitions, and language.

The landscape of homological algebra has evolved over the past half-century into a fundamental tool for the working mathematician. This book provides a unified account of homological algebra as it exists today. The historical connection with topology, regular local rings, and semi-simple Lie algebras is also described. The first half of the book takes as its subject the canonical topics in homological algebra: derived functors, Tor and Ext, projective dimensions and spectral sequences. Homology of group and Lie algebras illustrate these topics. Intermingled are less canonical topics, such as the derived inverse limit functor lim1, local cohomology, Galois cohomology, and affine Lie algebras. The last part of the book covers less traditional topics that are a vital part of the modern homological toolkit: simplicial methods, Hochschild and cyclic homology, derived categories and total derived functors.

This volume presents the proceedings of the Joint Summer Research Conference on Algebraic K-theory held at the University of Washington in Seattle. High-quality surveys are written by leading experts in the field. Included is an up-to-date account of Voevodsky's proof of the Milnor conjecture relating the Milnor K-theory of fields to Galois cohomology. The book is intended for graduate students and research mathematicians interested in $K$-theory, algebraic geometry, and number theory.