Vanishing cohomology and Betti bounds for complex projective hypersurfaces
Cohomologie évanescente et nombres de Betti pour les hypersurfaces projectives
Abstract
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces, generalizing those obtained by different methods by Dimca in the isolated singularities case, and by Siersma–Tibăr in the case of hypersurfaces with a 1-dimensional singular locus. We also prove a supplement to the Lefschetz hyperplane theorem for hypersurfaces, which takes the dimension of the singular locus into account, and we use it to give a new proof of a result of Kato.
Nous utilisons le formalisme des cycles évanescents et des faisceaux pervers pour introduire et étudier la cohomologie évanescente des hypersurfaces projectives. Nous déduisons des majorants pour les nombres de Betti des hypersurfaces projectives, en généralisant ceux obtenus avec des méthodes différentes par Dimca dans le cas des singularités isolées, et par Siersma–Tibăr dans le cas des hypersurfaces avec lieu singulier de dimension 1. Nous prouvons aussi un complément au théorème de la section hyperplane de Lefschetz pour les hypersurfaces qui tient compte de la dimension du lieu singulier, et nous l’utilisons pour donner une nouvelle preuve du résultat de Kato.