A bi-variant algebraic cobordism via correspondences

TL;DR

This paper constructs a bi-variant algebraic cobordism theory using correspondences, generalizing existing cobordism theories and establishing isomorphisms with known algebraic cobordism groups.

Contribution

It introduces a new bi-variant algebraic cobordism theory via correspondences, extending the framework of Fulton--MacPherson and Lee--Pandharipande.

Findings

Constructed a bi-variant algebraic cobordism $oldsymbol{ ext{ extOmega}^{*,lat}(X,Y)}$

Established isomorphisms with Lee--Pandharipande's and Levine--Morel's algebraic cobordism

Provided a bi-variant version of algebraic cobordism of bundles

Abstract

A bi-variant theory $\mathbb B(X,Y)$ defined for a pair $(X,Y)$ is a theory satisfying properties similar to those of Fulton--MacPherson's bivariant theory $\mathbb B(X \xrightarrow f Y)$ defined for a morphism $f:X \to Y$. In this paper, using correspondences we construct a bi-variant algebraic cobordism $\Omega^{*,\sharp}(X, Y)$ such that $\Omega^{*,\sharp}(X, pt)$ is isomorphic to Lee--Pandharipande's algebraic cobordism of vector bundles $\Omega_{-*,\sharp}(X)$. In particular, $\Omega^{*}(X, pt)=\Omega^{*, 0}(X, pt)$ is isomorphic to Levine--Morel's algebraic cobordism $\Omega_{-*}(X)$. Namely, $\Omega^{*,\sharp}(X, Y)$ is \emph{a bi-variant vesion} of Lee--Pandharipande's algebraic cobordism of bundles $\Omega_{*,\sharp}(X)$.