Bivariant Versions of Algebraic Cobordism

Abstract

We define four distinct oriented bivariant theories associated with algebraic cobordism in its two versions (the axiomatic $Ω$ and the geometric $ω$), when applied to quasi-projective varieties over a field $k$. Specifically, we obtain contravariant analogues of the algebraic bordism group $Ω_*(X)$ and the double point bordism group $ω_*(X)$, for $X$ a quasi-projective variety, and covariant analogues of the algebraic cobordism ring $Ω^*(X)$ and the double point cobordism ring $ω^*(X)$, for $X$ a smooth variety. When the ground field has characteristic zero, we use the universal properties of algebraic cobordism in order to obtain correspondences between these oriented bivariant theories.