English

On the topology of a resolution of isolated singularities

Algebraic Geometry 2017-04-06 v1

Abstract

Let YY be a complex projective variety of dimension nn with isolated singularities, π:XY\pi:X\to Y a resolution of singularities, G:=π1Sing(Y)G:=\pi^{-1}{\rm{Sing}}(Y) the exceptional locus. From Decomposition Theorem one knows that the map Hk1(G)Hk(Y,Y\Sing(Y))H^{k-1}(G)\to H^k(Y,Y\backslash {\rm{Sing}}(Y)) vanishes for k>nk>n. Assuming this vanishing, we give a short proof of Decomposition Theorem for π\pi. A consequence is a short proof of the Decomposition Theorem for π\pi in all cases where one can prove the vanishing directly. This happens when either YY is a normal surface, or when π\pi is the blowing-up of YY along Sing(Y){\rm{Sing}}(Y) with smooth and connected fibres, or when π\pi admits a natural Gysin morphism. We prove that this last condition is equivalent to say that the map Hk1(G)Hk(Y,Y\Sing(Y))H^{k-1}(G)\to H^k(Y,Y\backslash {\rm{Sing}}(Y)) vanishes for any kk, and that the pull-back πk:Hk(Y)Hk(X)\pi^*_k:H^k(Y)\to H^k(X) is injective. This provides a relationship between Decomposition Theorem and Bivariant Theory.

Keywords

Cite

@article{arxiv.1704.01357,
  title  = {On the topology of a resolution of isolated singularities},
  author = {Vincenzo Di Gennaro and Davide Franco},
  journal= {arXiv preprint arXiv:1704.01357},
  year   = {2017}
}

Comments

18 pages