motivic spectra
Generated by GPT-5-miniExpansion Funnel Raw 68 → Dedup 0 → NER 0 → Enqueued 0
| motivic spectra | |
|---|---|
| Name | Motivic spectra |
| Field | Algebraic geometry; Algebraic topology |
| Introduced | 1990s |
| Key contributors | Vladimir Voevodsky; Fabien Morel; Jacob Lurie; Marc Levine; Eric Friedlander |
motivic spectra
Motivic spectra are objects in the intersection of Algebraic geometry and Algebraic topology that encode generalized cohomology theories for schemes and varieties. Developed in the 1990s and 2000s, they form a stable homotopy category enabling comparison between classical Stable homotopy theory and algebro-geometric invariants such as Algebraic K-theory and motives. Major contributors include Vladimir Voevodsky, Fabien Morel, Jacob Lurie, Marc Levine, and Eric Friedlander.
Introduction
The introduction situates motivic spectra within the broader program initiated by Grothendieck's vision of motives and the homotopical methods of Serre and Frank Adams. The subject synthesizes ideas from the constructions of Morel–Voevodsky A^1-homotopy theory and the development of stable categories analogous to the Stable homotopy category used by Boardman and Edwin Brown. It provides a framework for comparing invariants from Milnor K-theory, Quillen K-theory, and cohomological operations studied by Norman Steenrod and J. F. Adams.
Definitions and basic properties
A motivic spectrum is a spectrum object in an appropriate homotopy theory of simplicial presheaves on the category of smooth schemes over a base scheme, stabilized with respect to suspension by projective lines or Tate twists. The formal definitions build on model structures introduced by Quillen and localization techniques inspired by Bousfield and Hirschhorn. Key structural properties mirror those of classical spectra: stable homotopy groups, smash products, and function spectra, with additional gradings coming from the Tate circle and the motivic t-structure influenced by Beilinson and Pierre Deligne.
Examples and constructions
Fundamental examples include the motivic sphere spectrum, motivic Eilenberg–MacLane spectra representing motivic cohomology, and algebraic K-theory spectra constructed via the Quillen Q-construction and Waldhausen's S-construction. The construction of orientable spectra such as algebraic cobordism uses techniques related to Levine–Morel algebraic cobordism and comparisons to Complex cobordism developed by John Milnor and Sergei Novikov. Other important constructions involve localizations and completions analogous to Bousfield localization and chromatic localization associated to work of Ravenel and Jack Morava.
Homotopy and cohomology theories
Motivic stable homotopy groups generalize classical stable homotopy groups and are computed by spectral sequences analogous to the Adams–Novikov spectral sequence and the motivic Adams spectral sequence introduced in work by Voevodsky and further developed by D. C. Isaksen and Oliver Röndigs. Motivic cohomology, represented by motivic Eilenberg–MacLane spectra, connects to Spencer Bloch's higher Chow groups and to regulators studied by Beilinson and Armand Borel. Relations to Étale cohomology invoke comparison theorems associated with Michael Artin and results consonant with the conjectures of Beilinson–Lichtenbaum and statements in the context of the Bloch–Kato conjecture proven by Voevodsky and collaborators.
Model categories and ∞-categorical approaches
Model category constructions for motivic spectra follow frameworks of Hovey, Schwede, and Shipley while higher-categorical treatments use the theory developed by Jacob Lurie in Higher Topos Theory and Higher Algebra. ∞-categorical methods clarify monoidal structures, presentability, and adjunctions with categories of modules over ring spectra, invoking techniques related to Toen and Vezzosi on derived algebraic geometry. Comparisons between model categorical and ∞-categorical presentations are informed by work of Dugger and Markus Spitzweck.
Operations, duality, and orientation
Cohomological operations in motivic spectra generalize classical Steenrod operations; motivic Steenrod operations were constructed by Voevodsky and extended in computations by Marc Hoyois and Alexander Vishik. Duality theories reflect versions of Poincaré duality for smooth proper schemes akin to formulations by Grothendieck in the context of Serre duality, and Verdier duality notions adapt to motivic contexts studied by Joseph Ayoub. Orientation theory for ring spectra leads to Thom isomorphisms and genera paralleling constructions of Hirzebruch and Novikov.
Applications and relations to other areas
Motivic spectra have been applied to proofs of deep conjectures in arithmetic geometry, including the proof of the Milnor conjecture and progress on the Bloch–Kato conjecture by Voevodsky, Markus Rost, and Charles Weibel. They interact with Derived algebraic geometry and the study of Shimura varieties in arithmetic contexts, and inform approaches to problems in Enumerative geometry via algebraic cobordism computations. Connections to Topological modular forms and to chromatic homotopy theory link motivic methods to work by Michael Hopkins and Mark Mahowald.