English

Bivariant class of degree one

Algebraic Geometry 2021-09-07 v1

Abstract

Let f:XYf:X\to Y be a projective birational morphism, between complex quasi-projective varieties. Fix a bivariant class θH0(XfY)HomDcb(Y)(RfAX,AY)\theta \in H^0(X\stackrel{f}\to Y)\cong Hom_{D^{b}_{c}(Y)}(Rf_*\mathbb A_X, \mathbb A_Y) (here A\mathbb A is a Noetherian commutative ring with identity, and AX\mathbb A_X and AY\mathbb A_Y denote the constant sheaves). Let θ0:H0(X)H0(Y)\theta_0:H^0(X)\to H^0(Y) be the induced Gysin morphism. We say that {\it θ\theta has degree one} if θ0(1X)=1YH0(Y)\theta_0(1_X)= 1_Y\in H^0(Y). This is equivalent to say that θ\theta is a section of the pull-back f:AYRfAXf^*: \mathbb A_Y\to Rf_*\mathbb A_X, i.e. θf=idAY\theta\circ f^*={\text{id}}_{\mathbb A_Y}, and it is also equivalent to say that AY\mathbb A_Y is a direct summand of RfAXRf_*\mathbb A_X. We investigate the consequences of the existence of a bivariant class of degree one. We prove explicit formulas relating the (co)homology of XX and YY, which extend the classic formulas of the blowing-up. These formulas are compatible with the duality morphism. Using which, we prove that the existence of a bivariant class θ\theta of degree one for a resolution of singularities, is equivalent to require that YY is an A\mathbb A-homology manifold. In this case θ\theta is unique, and the Betti numbers of the singular locus Sing(Y){\text{Sing}}(Y) of YY are related with the ones of f1(Sing(Y))f^{-1}({\text{Sing}}(Y)).

Keywords

Cite

@article{arxiv.2109.02585,
  title  = {Bivariant class of degree one},
  author = {Vincenzo Di Gennaro and Davide Franco and Carmine Sessa},
  journal= {arXiv preprint arXiv:2109.02585},
  year   = {2021}
}

Comments

19 pages

R2 v1 2026-06-24T05:43:37.102Z