Suslin-Voevodsky theory

Suslin-Voevodsky theory
Name	Suslin–Voevodsky theory
Field	Algebraic geometry; Algebraic K-theory; Homological algebra
Introduced	1980s–1990s
Developers	Andrei Suslin; Vladimir Voevodsky; others

Suslin-Voevodsky theory is a body of results and constructions in algebraic geometry and motivic cohomology developed primarily by Andrei Suslin and Vladimir Voevodsky that connects algebraic K-theory, homotopy theory, and arithmetic geometry. The theory synthesizes ideas from algebraic cycles, homotopical algebra, and category theory to produce invariants of schemes and varieties that refine classical cohomology theories. It has influenced work across interactions with number theory, representation theory, and topology.

Introduction

Suslin–Voevodsky theory arose in the context of efforts to understand algebraic K-theory and motivic phenomena via categorical and homotopical frameworks. Key aims included formulating a universal cohomology for algebraic varieties, establishing comparison theorems with étale cohomology and singular cohomology, and proving conjectures linking Milnor K-theory with Galois cohomology. The approach integrated techniques from sheaf theory, derived categories, and spectral sequences to create bridges among the work of Quillen, Grothendieck, Bloch, Beilinson, and others.

Historical Development and Key Contributors

The narrative begins with foundational advances by Alexander Grothendieck and Jean-Pierre Serre on cohomological methods and the development of étale cohomology, followed by Daniel Quillen's algebraic K-theory innovations. Later contributors include Spencer Bloch, Pierre Deligne, Sergey Suslin (Andrei Suslin is commonly cited), Alexander Beilinson, and Yuri Manin, who influenced conception and context. Vladimir Voevodsky introduced triangulated categories of motives and the homotopy theoretic viewpoint, with collaborators such as Marc Levine, Fabien Morel, and Andrei Suslin furthering technical results. Key surrounding work involved contributions by Maxim Kontsevich, Pierre Cartier, Jean-Louis Verdier, Alexander Grothendieck, John Tate, Barry Mazur, and Barry Mazur's contemporaries in arithmetic geometry. Influential institutions included the Steklov Institute, Harvard University, Princeton University, and the Institut des Hautes Études Scientifiques.

Motivations and Main Constructions

Motivations included proving the Bloch–Kato conjecture, clarifying the relation between Milnor K-theory and Galois cohomology, and creating a motivic analogue of singular cohomology compatible with mixed motives. Main constructions feature presheaves with transfers, the category of effective motives, and A^1-homotopy categories modeled on ideas of Daniel Quillen's model categories and Jean-Louis Verdier's derived categories. The work connects to the cycle complexes of Spencer Bloch, the regulators of Alexander Beilinson, the conjectural category of mixed motives advocated by Pierre Deligne, and the homotopical tools inspired by Daniel Quillen, Jean-Pierre Serre, and Henri Cartan.

Suslin Homology and Cohomology

Suslin homology provides a homological invariant for algebraic varieties built from algebraic cycles with transfers and relates to higher Chow groups of Spencer Bloch and the motivic cohomology envisioned by Alexander Beilinson. This homology interfaces with étale cohomology as developed by Jean-Pierre Serre and Pierre Deligne and with K-theory computations pioneered by Daniel Quillen and Andrei Suslin. Cohomological duals interact with Verdier duality, Lefschetz theorems in the style of Jean-Pierre Serre, and comparison results reminiscent of work by Alexander Grothendieck and John Tate on arithmetic duality. The formalism uses simplicial methods tied to Eilenberg–MacLane spaces studied by Samuel Eilenberg and Saunders Mac Lane and spectral sequences analogous to those of Jean Leray and Henri Cartan.

Voevodsky's Derived Categories of Motives

Voevodsky constructed triangulated categories of motives using A^1-homotopy theory, model categories, and techniques from homological algebra formalized by Jean-Louis Verdier and Alexander Beilinson. These derived categories realize motivic cohomology as Ext groups and connect to the motivic spectral sequences inspired by Daniel Quillen and Spencer Bloch. Voevodsky's work on the Milnor conjecture and the Bloch–Kato conjecture ties into the Galois cohomology framework of John Tate and the reciprocity laws studied by Emil Artin and André Weil. The approach influenced later developments by Maxim Kontsevich in noncommutative motives and by Pierre Deligne in mixed Hodge structures, and it interacts with categorical ideas from Saunders Mac Lane and Grothendieck.

Applications and Consequences

Consequences include proofs and partial proofs of major conjectures such as the Milnor conjecture and progress toward the Bloch–Kato conjecture, impacting the study of algebraic K-theory, Galois cohomology, and arithmetic duality. Applications reach to the study of zeta functions in the tradition of André Weil and Helmut Hasse, regulator maps following Alexander Beilinson, and the study of special values of L-functions pursued by Don Zagier and Pierre Deligne. Further influence appears in the work of Spencer Bloch on higher Chow groups, Barry Mazur on Iwasawa theory contexts, and contemporary interactions with representation-theoretic questions examined by George Lusztig and David Kazhdan.

Technical Tools and Methods

Technical tools include model category structures introduced by Daniel Quillen, derived functor formalism from Jean-Louis Verdier, spectral sequences of Jean Leray, and homotopy-theoretic machinery parallel to that used by J. Peter May and Boardman–Vogt. Additional methods draw on étale topology from Jean-Pierre Serre and Alexander Grothendieck, cycle complexes due to Spencer Bloch, and cohomological operations inspired by Henri Cartan and Jean-Pierre Serre. Computational techniques often rely on homological algebra laid out by Saunders Mac Lane and Samuel Eilenberg, while categorical perspectives echo Gabriel–Zisman localization and Gabriel's and Pierre Gabriel's work on abelian categories.

Category:Algebraic geometry