A universality theorem for Voevodsky's algebraic cobordism spectrum

DOI10.4310/HHA.2008.V10.N2.A11MaRDI QIDQ954808zbMATH OpenFDO

Authors K. Pimenov, Oliver Röndigs, Ivan Panin

Publication date 18 November 2008

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0709.4116, http://intlpress.com/hha/v10/n2/

Mathematics Subject Classification ID

Bordism and cobordism theories and formal group laws in algebraic topology (55N22) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Abstract: An algebraic version of a theorem due to Quillen is proved. More precisely, for a ground field k we consider the motivic stable homotopy category SH(k) of P^1-spectra equipped with the symmetric monoidal structure described in arXiv:0709.3905v1 [math.AG]. The algebraic cobordism P^1-spectrum MGL is considered as a commutative monoid equipped with a canonical orientation. For a commutative monoid E in the category SH(k) we identify the set of monoid homomorphisms from MGL to E in the motivic stable homotopy category with the set of all orientations of E. This result was stated originally in a slightly different form by G. Vezzosi in arXiv:math/0004050v2 [math.AG].

Review text

The paper contains the proof of a result, which can be viewed as an algebraic version of a theorem of Quillen showing that the formal group law associated to the complex cobordism spectrum \(MU\) is the universal one on the Lazard ring. As a consequence the set of orientations on a commutative ring spectrum \(E\) in the stable homotopy category is in 1-1 correspondence with the set of homomorphisms of ring spectra from \(MU\) to \(E\) in the stable homotopy category. In the algebraic context there is a similar \(\mathbb{P}^1\)-ring spectrum \(MGL\) in the motivic stable homotopy category of a noetherian finite-dimensional scheme \(S\). But it is not known, for a general \(S\), if the formal group law associated to \(MGL\) is the universal one. Nevertheless, in the case \(S\) is regular, the authors prove that a 1-1 correspondence exists, as in the topological case. Theorem. Let \(S\) be a regular noetherian finite-dimensional scheme and let \(E\) be a commutative \(\mathbb{P}^1\)-ring spectrum over \(S\). Then the set of orientations on \(E\) is in bijection with the set of homomorphisms of \(\mathbb{P}^1\)-ring spectra from \(MGL\) to \(E\) in the motivic stable category over \(S\).

Recommendations

• On the relation of Voevodsky's algebraic cobordism to Quillen's \(K\)-theory
• Algebraic Cobordism
• Universality of mod-p cohomology
• On the algebraic cobordism spectra 𝐌𝐒𝐋 and 𝐌𝐒𝐩
• On the motivic spectra representing algebraic cobordism and algebraic \(K\)-theory

Cited in

(29)

• On the relation of Voevodsky's algebraic cobordism to Quillen's \(K\)-theory
• Riemann-Roch for homotopy invariant K-theory and Gysin morphisms
• The slice spectral sequence for singular schemes and applications
• The motivic Hopf map solves the homotopy limit problem for \(K\)-theory
• Thom isomorphisms in triangulated motivic categories
• Hermitian K-theory via oriented Gorenstein algebras
• Algebraic elliptic cohomology and flops. II: SL-cobordism
• On Grothendieck's Riemann-Roch theorem
• The Riemann-Roch theorem without denominators in motivic homotopy theory
• Comparison of cobordism theories
• An overview of motivic homotopy theory
• Slices of motivic Landweber spectra
• T-spectra and Poincaré duality
• Preorientations of the derived motivic multiplicative group
• Vladimir Voevodsky -- an appreciation
• Thick ideals in equivariant and motivic stable homotopy categories
• On the Riemann-Roch formula without projective hypotheses
• On the algebraic cobordism spectra 𝐌𝐒𝐋 and 𝐌𝐒𝐩
• Some remarks on Real and algebraic cobordism
• Fibrant resolutions for motivic Thom spectra
• Localizations and completions of stable -categories
• Motivic Pontryagin classes and hyperbolic orientations
• Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory
• Goerss-Hopkins obstruction theory for -categories
• On the Balmer spectrum of the Morel-Voevodsky category
• The geometric concentration theorem
• The geometric diagonal of the special linear algebraic cobordism
• The Adams-Novikov spectral sequence and Voevodsky's slice tower
• The motivic Adams spectral sequence

This page was built for publication: A universality theorem for Voevodsky's algebraic cobordism spectrum

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