zbMATH — the first resource for mathematics

On the relation of Voevodsky’s algebraic cobordism to Quillen’s \(K\)-theory. (English) Zbl 1205.14023
The main result of this paper relates Voevodsky’s algebraic cobordism theory \(\text{MGL}^{*,*}\) to Quillen’s \(K'\)-theory. These theories are analysed via their representing objects in the motivic stable homotopy category \(SH(S)\), where \(S\) is a Noetherian separated finite-dimensional scheme, as defined by V. Voevodsky [Doc. Math., J. DMV, Extra Vol. ICM Berlin 1998, Vol. I, 579–604 (1998; Zbl 0907.19002)]. For \(S= k\) a field, the algebraic cobordism \(\mathbb{P}^1\)-spectrum MGL of Voevodsky is considered as a commutative \(\mathbb{P}^1\)-ring spectrum. Setting \[ \text{MGL}^i= \bigoplus_{p- 2q=i} \text{MGL}^{p,q} \] one can regard the bi-graded theory \(\text{MGL}^{p,q}\) as a graded theory. Then there is a unique ring morphism \(\phi: \text{MGL}^0(k)\to\mathbb{Z}\) which sends the class \([X]_{\text{MGL}}\) of a smooth projective \(k\)-variety \(X\) to its Euler characterestic \(\chi(X,{\mathcal O}_X)\).
Let \({\mathcal S}mOp/k\) be the category of pairs \((X,U)\) with \(X\) a smooth variety over \(k\) and \(U\) open in \(X\). Then the authors prove that there is a canonical grade preserving isomorphism of cohomology theories \[ \phi: \text{MGL}^*(X, X- Z)\otimes_{\text{MGL}^0(k)}\mathbb{Z}\simeq K_{-*}\;(X\text{ on }\mathbb{Z})= K_{-*}'(Z) \] on the category \({\mathcal S}mOp/k\), with \(Z\) closed in \(X\). Here \(K_*\) (\(X\) on \(\mathbb{Z}\)) is Thomason-Trobaugh K-Theory and \(K_*'\) is Quillen K-Theory. Both theories are oriented cohomology theories, according to the definition of I. Panin [K-Theory 30, No. 3, 265–314 (2003; Zbl 1047.19001)], and \(\phi\) respects the orientations.

14F43 Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies)
Full Text: DOI arXiv
[1] Conner, P.E., Floyd, E.E.: The Relation of Cobordism to K-Theories. Lect. Notes Math., vol. 28. Springer, Berlin (1966) · Zbl 0161.42802
[2] Levine, M., Morel, F.: Algebraic Cobordism. Springer Monograph Series in Mathematics. Springer, Berlin (2007) · Zbl 1188.14015
[3] Morel, F., Voevodsky, V.: A1-homotopy theory of schemes. Publ. Math., Inst. Hautes Étud. Sci. 90, 45–143 (1999) · Zbl 0983.14007
[4] Panin, I., Pimenov, K., Röndigs, O.: On Voevodsky’s algebraic K-theory spectrum. In: The Abel Symposium 2007. Proceedings of the fourth Abel Symposium, Oslo, Norway, August 5–10, 2007. Springer, Berlin. Preprint available via arXiv:0709.3905v2 [math.AG] · Zbl 1179.14022
[5] Panin, I., Pimenov, K., Röndigs, O.: A universality theorem for Voevodsky’s algebraic cobordism spectrum MGL. To appear in Homology Homotopy Appl. 10(2), (2008), 16 pp. Preprint available via arXiv:0709.4116v1 [math.AG] · Zbl 1162.14013
[6] Panin, I.: Oriented cohomology theories on algebraic varieties. (After I. Panin and A. Smirnov) K-Theory, 30(3), 265–314 (2003). Special issue in honor of Hyman Bass on his seventieth birthday. Part III
[7] Panin, I.: Riemann–Roch theorems for oriented cohomology. (After I. Panin and A. Smirnov) In: Greenless, J.P.C. (ed.) Axiomatic, Enriched and Motivic Homotopy Theory, NATO Sci. Ser. II Math. Phys. Chem., vol. 131, pp. 261–333. Kluwer Acad. Publ., Dordrecht (2004) · Zbl 1066.14010
[8] Panin, I.: Push-forwards in oriented cohomology theories of algebraic varieties: II. (After I. Panin and A. Smirnov) Preprint, 83 pp. (2003). Available via http://www.math.uiuc.edu/K-theory/0619/
[9] Panin, I., Yagunov, S.: Rigidity for orientable functors. J. Pure Appl. Algebra 172, 49–77 (2002) · Zbl 1056.14027
[10] Thomason, R., Trobaugh, T.: Higher algebraic K-theory of schemes and of derived categories. In: The Grothendieck Festschrift, 3, pp. 247–436. Birkhäuser, Boston (1990) · Zbl 0731.14001
[11] Vezzosi, G.: Brown–Peterson spectra in stable A1-homotopy theory. Rend. Semin. Mat. Univ. Padova 106, 47–64 (2001) · Zbl 1165.14308
[12] Voevodsky, V.: A1-homotopy theory. Doc. Math., Extra Vol. ICM 1998(I), 579–604 (1998) · Zbl 0907.19002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.