A bi-variant algebraic cobordism via correspondences

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

Keywords

(co)bordism, algebraic cobordism, algebraic cobordism of bundles, correspondence

2010 Mathematics Subject Classification

, 14F99, 19E99. Primary 55N22, 55N35. Secondary 14C17, 14C40.

Full Text (PDF format)

The author is supported by JSPS KAKENHI Grant Numbers JP19K03468 and JP23K03117.

Received 15 June 2022

Received revised 6 October 2023

Accepted 18 October 2023

Published 3 April 2024