Théorèmes d'annulation pour les faisceaux algébriquement constructibles (Q4233191)

Let \(X\) be a complex algebraic variety. The authors consider the derived category \(D_c(X,R)\) of algebraically constructible sheaves of \(R\)-modules and its full subcategory \(D^+(X,R)\) of complexes which are bounded below. Definition: For \(F\) an object of \(D^+(X,R)\), \(F\) is in \(^{1/2}D^{\leq m} (X,R)\) if \[ \text{dim} \{x\in X\mid h^s(F)_x\neq 0\}\leq m-s\;\text{ for all }s, \] \(F\) is in \(^{1/2}D^{\geq m}(X,R)\) if \[ \text{dim}\{x\in X\mid h^s(i^!_xF)_x\neq 0\}\leq s-m\;\text{ for all } s, \] where \(i_x:x\hookrightarrow X\) is an inclusion. Similarly the authors define the subcategory \(\widetilde D^{\geq m}(X,R)\). The main result of the paper is théorème 1.2.3. which gives the conditions, for a morphism \(f:x\to Z\), a subvariety \(A\), and \(F\) a complex algebraically constructible on \(X\smallsetminus A\), under which \(f_*i_!F\) is in appropriate subcategory. As consequences the authors obtain various vanishing theorems concerning cohomology of sheaves on \(X\).