Comparison of cobordism theories (Q2654066)

The book [\textit{M. Levine} and \textit{F. Morel}, Algebraic cobordism. Berlin: Springer (2007; Zbl 1188.14015)] presents a geometric theory of algebraic cobordism \(\Omega^*(X)\) which is conjecturally equivalent to the geometric part of the bigraded cohomology theory \(\text{MGL}^{*,*}\) represented by the Thom spectrum \(\text{MGL}\). The main result in this paper is that the canonical map \(\Omega_n(X) \to \text{MGL}'_{2n,n}(X)\) is an isomorphism for all smooth, quasi-projective varieties \(X\) over a field \(k\) of characteristic zero. The proof relies on the existence of the Hopkins-Moore spectral sequence.