Motivic bivariant characteristic classes

TL;DR

This paper introduces a bivariant motivic Hirzebruch class that unifies various characteristic classes for singular varieties and extends the classical theory to a bivariant setting, providing a new framework for characteristic class transformations.

Contribution

It constructs a bivariant relative Grothendieck group and a unique Grothendieck transformation that generalizes the motivic Hirzebruch class to a bivariant context, unifying several characteristic classes.

Findings

Defines a bivariant relative Grothendieck group $K_0( ext{Var}/X o Y)$.

Constructs a Grothendieck transformation $T_y$ extending the motivic Hirzebruch class.

Recovers classical classes and Riemann-Roch in special cases.

Abstract

The relative Grothendieck group $K_0(\m V/X)$ is the free abelian group generated by the isomorphism classes of complex algebraic varieties over $X$ modulo the "scissor relation". The motivic Hirzebruch class ${T_y}_*: K_0(\m V /X) \to H_*^{BM}(X) \otimes \bQ[y]$ is a unique natural transformation satisfying that for a nonsingular variety $X$ the value ${T_y}_*([X \xrightarrow {\op {id}_X} X])$ of the isomorphism class of the identity $X \xrightarrow {id_X} X$ is the Poincar\'e dual of the Hirzebruch cohomology class of the tangent bundle $TX$. It "unifies" the well-known three characteristic classes of singular varieties: MacPherson's Chern class, Baum-Fulton-MacPherson's Todd class (or Riemann-Roch) and Goresky-MacPherson's L-class or Cappell-Shaneson's L-class. In this paper we construct a bivariant relative Grothendieck group $\bK_0(\m V/X \to Y)$ so that it equals the original relative Grothendieck group $K_0(\m V/X)$ when $Y$ is a point. We also construct a unique Grothendieck transformation $T_y: \bK_0(\m V/X \to Y) \to \bH(X \to Y) \otimes \bQ[y]$ satisfying a certain normalization condition for a smooth morphism so that it equals the motivic Hirzebruch class ${T_y}_*: K_0(\m V /X) \to H_*^{BM}(X) \otimes \bQ[y]$ when $Y$ is a point. When $y =0$, $T_0: \bK_0(\m V/X \to Y) \to \bH(X \to Y) \otimes \bQ$ is a "motivic" lift of Fulton-MacPherson's bivariant Riemann-Roch $\ga_{td}^{\op {FM}}:\bK_{alg}(X \to Y) \to \bH(X \to Y) \otimes \bQ$.