On the relation of Voevodsky's algebraic cobordism to Quillen's K-theory

DOI10.1007/S00222-008-0155-5zbMATH Open1205.14023arXiv0709.4124OpenAlexW2043833197MaRDI QIDQ1006325FDOQ1006325

K. Pimenov, Ivan Panin, Oliver Röndigs

Publication date: 20 March 2009

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Abstract: Quillen's algebraic K-theory is reconstructed via Voevodsky's algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P^1-spectrum MGL of Voevodsky is considered as a commutative P^1-ring spectrum. There is a unique ring morphism MGL^{2*,*}(k)--> Z which sends the class [X]_{MGL} of a smooth projective k-variety X to the Euler characteristic of the structure sheaf of X. Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories MGL^{*,*}(X,U) ensor_{MGL^{2*,*}(k)} Z --> K^{TT}_{- *}(X,U) = K'_{- *}(X-U)} on the category of smooth k-varieties, where K^{TT}_* is Thomason-Trobaugh K-theory and K'_* is Quillen's K'-theory. In particular, the left hand side is a ring cohomology theory. Moreover both theories are oriented and the isomorphism above respects the orientations. The result is an algebraic version of a theorem due to Conner and Floyd. That theorem reconstructs complex K-theory via complex cobordism.

Full work available at URL: https://arxiv.org/abs/0709.4124

Recommendations

• The Chow \(t\)-structure on the \(\infty\)-category of motivic spectra
• Stable étale realization and étale cobordism
• Existence and uniqueness of \(E_\infty\) structures on motivic \(K\)-theory spectra
• On Voevodsky's Algebraic K-Theory Spectrum
• The Bott inverted infinite projective space is homotopy algebraic K -theory
• Comparison of cobordism theories
• Slices of co-operations for \(\mathrm{KGL}\)
• Connective algebraic \(K\)-theory
• Chern classes, K-theory and Landweber exactness over nonregular base schemes
• scientific article; zbMATH DE number 1789953

Mathematics Subject Classification ID

Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) (14F43)

Cites Work

• \(\mathbb{A}^1\)-homotopy theory of schemes
• \(\mathbb{A}^1\)-homotopy theory
• Title not available (Why is that?)
• Algebraic Cobordism
• Title not available (Why is that?)
• A universality theorem for Voevodsky's algebraic cobordism spectrum
• The relation of cobordism to K-theories
• Brown-Peterson spectra in stable \(\mathbb{A}^1\)-homotopy theory
• Rigidity for orientable functors
• On Voevodsky's Algebraic K-Theory Spectrum

Cited In (12)

• Title not available (Why is that?)
• On the relation of symplectic algebraic cobordism to Hermitian \(K\)-theory
• The special linear version of the projective bundle theorem
• Stable étale realization and étale cobordism
• On the motivic spectra representing algebraic cobordism and algebraic \(K\)-theory
• On the Riemann-Roch formula without projective hypotheses
• The plethory of operations in complex topological \(K\)-theory
• Aspects of enumerative geometry with quadratic forms
• A universality theorem for Voevodsky's algebraic cobordism spectrum
• The motivic Hopf map solves the homotopy limit problem for \(K\)-theory
• On Grothendieck's Riemann-Roch theorem
• Arbeitsgemeinschaft mit aktuellem Thema: Algebraic cobordism

This page was built for publication: On the relation of Voevodsky's algebraic cobordism to Quillen's \(K\)-theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1006325)