Homotopy Theory Of Schemes

In this text, the author presents a general framework for applying the standard methods from homotopy theory to the category of smooth schemes over a reasonable base scheme $k$. He defines the homotopy category $h(\mathcal{E} k)$ of smooth $k$-schemes and shows that it plays the same role for smooth $k$-schemes as the classical homotopy category plays for differentiable varieties. It is shown that certain expected properties are satisfied, for example, concerning the algebraic$K$-theory of those schemes. In this way, advanced methods of algebraic topology become available in modern algebraic geometry.

This book presents a coherent account of the current status of etale homotopy theory, a topological theory introduced into abstract algebraic geometry by M. Artin and B. Mazur. Eric M. Friedlander presents many of his own applications of this theory to algebraic topology, finite Chevalley groups, and algebraic geometry. Of particular interest are the discussions concerning the Adams Conjecture, K-theories of finite fields, and Poincare duality. Because these applications have required repeated modifications of the original formulation of etale homotopy theory, the author provides a new treatment of the foundations which is more general and more precise than previous versions. One purpose of this book is to offer the basic techniques and results of etale homotopy theory to topologists and algebraic geometers who may then apply the theory in their own work. With a view to such future applications, the author has introduced a number of new constructions (function complexes, relative homology and cohomology, generalized cohomology) which have immediately proved applicable to algebraic K-theory.

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.

This book presents a coherent account of the current status of etale homotopy theory, a topological theory introduced into abstract algebraic geometry by M. Artin and B. Mazur. Eric M. Friedlander presents many of his own applications of this theory to algebraic topology, finite Chevalley groups, and algebraic geometry. Of particular interest are the discussions concerning the Adams Conjecture, K-theories of finite fields, and Poincare duality. Because these applications have required repeated modifications of the original formulation of etale homotopy theory, the author provides a new treatment of the foundations which is more general and more precise than previous versions. One purpose of this book is to offer the basic techniques and results of etale homotopy theory to topologists and algebraic geometers who may then apply the theory in their own work. With a view to such future applications, the author has introduced a number of new constructions (function complexes, relative homology and cohomology, generalized cohomology) which have immediately proved applicable to algebraic K-theory.

The Handbook of Homotopy Theory provides a panoramic view of an active area in mathematics that is currently seeing dramatic solutions to long-standing open problems, and is proving itself of increasing importance across many other mathematical disciplines. The origins of the subject date back to work of Henri Poincaré and Heinz Hopf in the early 20th century, but it has seen enormous progress in the 21st century. A highlight of this volume is an introduction to and diverse applications of the newly established foundational theory of ¥ -categories. The coverage is vast, ranging from axiomatic to applied, from foundational to computational, and includes surveys of applications both geometric and algebraic. The contributors are among the most active and creative researchers in the field. The 22 chapters by 31 contributors are designed to address novices, as well as established mathematicians, interested in learning the state of the art in this field, whose methods are of increasing importance in many other areas.

This book provides an introduction to state-of-the-art applications of homotopy theory to arithmetic geometry. The contributions to this volume are based on original lectures by leading researchers at the LMS-CMI Research School on ‘Homotopy Theory and Arithmetic Geometry - Motivic and Diophantine Aspects’ and the Nelder Fellow Lecturer Series, which both took place at Imperial College London in the summer of 2018. The contribution by Brazelton, based on the lectures by Wickelgren, provides an introduction to arithmetic enumerative geometry, the notes of Cisinski present motivic sheaves and new cohomological methods for intersection theory, and Schlank’s contribution gives an overview of the use of étale homotopy theory for obstructions to the existence of rational points on algebraic varieties. Finally, the article by Asok and Østvær, based in part on the Nelder Fellow lecture series by Østvær, gives a survey of the interplay between motivic homotopy theory and affine algebraic geometry, with a focus on contractible algebraic varieties. Now a major trend in arithmetic geometry, this volume offers a detailed guide to the fascinating circle of recent applications of homotopy theory to number theory. It will be invaluable to research students entering the field, as well as postdoctoral and more established researchers.

This account of deformation theory in classical algebraic geometry over an algebraically closed field presents for the first time some results previously scattered in the literature, with proofs that are relatively little known, yet relevant to algebraic geometers. Many examples are provided. Most of the algebraic results needed are proved. The style of exposition is kept at a level amenable to graduate students with an average background in algebraic geometry.