JournalsowrVol. 2 , No. 2pp. 881–924

Arbeitsgemeinschaft mit aktuellem Thema: Algebraic Cobordism

  • Fabien Morel

    Universität München, Germany
  • Marc Levine

    Universität Duisburg-Essen, Germany
Arbeitsgemeinschaft mit aktuellem Thema: Algebraic Cobordism cover
Download PDF

A subscription is required to access this article.

Abstract

Over the years, many different types and flavors of cohomology theories for algebraic varieties have been constructed. Theories like \'etale cohomology or de Rham cohomology provide algebraic versions of the topological theory of singular cohomology. The Chow ring and algebraic K0K_0 are other (partial) examples, more directly tied to algebraic geometry. The partial theory K0algK_0^{alg} was extended to a full theory with the advent of Quillen's higher algebraic KK-theory. It took considerably longer for the Chow ring to be extended to motivic cohomology. In the process of doing so, Voevodsky developed his category of motives, and this construction was put in a more general setting with the development by Morel-Voevodskyof of A1\mathbb{A}^1 homotopy theory. This enabled a systematic construction of cohomology theories on algebraic varieties, with algebraic KK-theory and motivic cohomology being only two fundamental examples. These two cohomology theories have in common the existence of a good theory of push-forward maps for projective morphisms. Not all cohomology theories have this structure, those that do are called {\em oriented}. In the Morel-Voevodsky stable homotopy category, the universal oriented theory is represented by the P1\mathbb{P}^1-spectrum \MGL\MGL, an algebraic version of the classical Thom spectrum MUMU. The corresponding cohomology theory \MGL,\MGL^{*,*} is called {\em higher algebraic cobordism}. In an attempt to better understand the theory \MGL,\MGL^{*,*}, Levine and Morel constructed a theory of {\em algebraic cobordism} Ω\Omega^*. This is (conjecturally) related to \MGL,\MGL^{*,*} as the classical Chow ring \CH\CH^* is to motivic cohomology and like \CH\CH^*, Ω\Omega^* has a purely algebro-geometric description. In addition to giving some insight into \MGL,\MGL^{*,*}, Ω\Omega^* gives a simultaneous presentation of both \CH\CH^* and K0K_0, exhibiting K0K_0 as a deformation of \CH\CH^*. Ω\Omega^* has also been used to give conceptually simple proofs of various "degree formulas" first formulated by Rost. These degree formulas have been used in the study of Pfister quadrics and norm varieties, properties of which are used in the proofs of the Milnor conjecture and the Bloch-Kato conjecture. In this workshop, we describe aspects of the topological theory of complex cobordism which are important for algebraic cobordism (Lectures 1-3) and give the construction of Ω\Omega^* and proofs of its fundamental properties (Lectures 4-7). In lectures 8-11, we show how K0K_0 and \CH\CH^* are described by Ω\Omega^*, how Ω\Omega^* recovers the universal formal group law, give the proof the generalized degree formula for Ω\Omega^* and use this to proof the degree formula for the Segre class. Additional applications to Steenrod operations, further degree formulas and the use of these in the study of quadrics and other varietes is given in lectures 12 and 13. Lectures 14 and 15 concern the construction of funtorial pull-backs in algebraic cobordism. The two concluding lectures (16 and 17) give a quick sketch of the Morel-Voevodsky A1\mathbb{A}^1 stable homotopy category and describe what we know about \MGL\MGL and its relation to motivic cohomology and Ω\Omega^*. The workshop \emph{Algebraic Cobordism},organised by Marc Levin (Boston) and Fabien Morel (M\"unchen) was held April 4th--April 8th, 2005. This meeting was well attended with 55 participants.

Cite this article

Fabien Morel, Marc Levine, Arbeitsgemeinschaft mit aktuellem Thema: Algebraic Cobordism. Oberwolfach Rep. 2 (2006), no. 2 pp. 881–924

DOI 10.4171/OWR/2005/16