A^1-homotopy theory

A^1-homotopy theory
Name	A^1-homotopy theory
Field	Algebraic geometry; Homotopy theory
Introduced	1990s
Founders	Voevodsky; Morel
Institutions	Institut des Hautes Études Scientifiques; École Normale Supérieure

A^1-homotopy theory is a framework that adapts classical homotopy-theoretic methods to the setting of algebraic geometry by using the affine line A^1 over a base field as an interval object. It was developed to connect ideas from algebraic topology and arithmetic geometry, enabling comparisons between classical invariants and purely algebraic invariants such as algebraic K-theory and motivic cohomology. Key contributors include Vladimir Voevodsky and Fabien Morel, with institutional roots at institutions like the Institut des Hautes Études Scientifiques and the École Normale Supérieure.

Introduction

A^1-homotopy theory arose in the context of attempts to import methods from the work of Henri Poincaré, André Weil, and Alexander Grothendieck into algebraic settings; it was formalized by Voevodsky and Morel influenced by developments at the Institut des Hautes Études Scientifiques and interactions with researchers from Harvard University and the Massachusetts Institute of Technology. The theory situates schemes and varieties within homotopical frameworks reminiscent of those used by J. H. C. Whitehead and James W. V. Whitehead in classical topology, while drawing on categorical notions developed by Maxim Kontsevich, Pierre Deligne, and Grothendieck's school. Connections to arithmetic surfaced through collaborations involving researchers from Princeton University and Stanford University.

Foundations and Definitions

Foundationally, the subject builds on the language of presheaves and sheaves on the category of smooth schemes over a base field k as in the tradition of Alexander Grothendieck's topos-theoretic approach and the categorical machinery promoted by Saunders Mac Lane and Samuel Eilenberg. One starts with the category Sm/k of smooth schemes as considered by Serre-influenced algebraic geometers and forms the category of simplicial presheaves much as in the work of Daniel Quillen on model categories and Quillen's successors at Columbia University and University of Chicago. The A^1-equivalence relation is generated by the projection X × A^1 → X with A^1 the affine line over k, echoing interval objects used by Jean Leray and Henri Cartan in sheaf-theoretic contexts. The axioms rely on model-category techniques articulated by Daniel Quillen and extended in homotopical algebra by researchers tied to Institute for Advanced Study seminars.

Model Structures and Homotopy Categories

Model structures on simplicial presheaves are established following the paradigms of Daniel Quillen and later refinements by the school around Mark Hovey and Paul G. Goerss. The A^1-local model structure produces the unstable A^1-homotopy category and a stabilized version via P^1-suspension analogous to the stable homotopy category pioneered in classical formalisms by Adams-style programs at institutions like University of Cambridge and Princeton University. Homotopy categories thus obtained are compared to derived categories of motives developed by Voevodsky and Motivic theorists influenced by Deligne and Beilinson. Key technical tools include Bousfield localization as studied by A. K. Bousfield and spectral sequence techniques reminiscent of those in the works of Jean-Pierre Serre.

Fundamental Constructions (Spheres, Suspension, Loop Spaces)

Core constructions transpose classical spheres and suspension-loop adjunctions into algebraic geometry: spheres arise from projective lines like P^1 with basepoints inspired by constructions in Grothendieck's school; suspension is performed with smash products by P^1 following ideas that echo constructions by Spanier and Whitehead. Loop spaces and deloopings are defined in the A^1-local model structure, paralleling the role of loop-suspension adjunctions in the work of J. H. C. Whitehead and computational techniques developed at University of Chicago and Princeton University. These constructions enable formation of stable categories akin to the classical stable homotopy category as studied by Adams and computational projects at Massachusetts Institute of Technology.

A^1-Connectivity and Classification Theorems

Morel's A^1-connectivity theorems give analogues of classical Hurewicz and Whitehead results within the algebraic context, with proofs influenced by collaborations involving researchers at Université Paris-Sud and CNRS laboratories. Classification theorems for vector bundles and torsors over smooth schemes mirror classical results by Serre and Grothendieck; they relate algebraic vector bundle classification to A^1-homotopy classes of maps into classifying spaces constructed along lines used by Milnor and Stasheff. Results link to conjectures and theorems advanced by Quillen and Bass concerning algebraic K-theory and projective module classifications addressed in seminars at University of Chicago and Stanford University.

Relations to Algebraic K-Theory and Motivic Cohomology

A^1-homotopy methods underlie comparisons between algebraic K-theory as developed by Quillen and motivic cohomology as formulated by Voevodsky and Beilinson. The theory provides frameworks for proofs and formulations of statements related to the Bloch-Kato conjecture and Rost-Voevodsky results, with contributions from researchers at institutions such as Princeton University and Institut des Hautes Études Scientifiques. Spectral sequences and motivic Steenrod operations connect to computations in algebraic K-theory historically pursued by Daniel Quillen and later collaborators at Iowa State University and Harvard University.

Applications and Examples in Algebraic Geometry

Applications include classification of algebraic vector bundles, study of rationality problems for schemes and varieties investigated by researchers at École Normale Supérieure and University of Cambridge, and analysis of quadratic forms in the tradition of Witt and Pfister. Concrete examples arise from projective homogeneous varieties studied in contexts influenced by Tits and Borel, and from computations for smooth projective surfaces connected to work at Imperial College London and ETH Zurich. Interactions with arithmetic geometry tie A^1-homotopy theory to questions addressed by mathematicians at Princeton University and Institute for Advanced Study.

Category:Algebraic geometry