## cohomological dimension of the push-forward functor

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $\ell$ be a prime number and let $f:X \to Y$ be a morphism of schemes of finite type over the complex numbers (or a regular scheme of dimension at most 1, in which $\ell$ is invertible). How to prove that the $\ell$-cohomological dimension of $Rf_*$ in the etale topology is finite? I don't understand the proof in Kiehl and Weissauer's book "Weil Conjectures, Perverse Sheaves and l’adic Fourier Transform", Appendix D, since there is no base change for $f_*$. The crucial case seems to be when $f$ is an open immersion.

And what about the analytic version? $f:X \to Y$ is a morphism of complex analytic spaces, and $F$ is a sheaf of abelian groups on $X$ (in particular, no $\ell$).

-

3
I suppose $f$ is separated. Read Deligne's marvelous "Th. finitude" in SGA 4.5 (source of all ideas in the K-W argument). Deligne's inductive methods prove that $f_{\ast}$ has cohom. dimension (on torsion-sheaves with torsion-orders invertible on the regular base of dim. at most 1) at most $2 {\rm{dim}}(X) + {\rm{dim}}(Y)$. For the analytic version $2 {\rm{dim}}(X)$ works assuming $X$ paracompact & Hausdorff: use topological dim. theory & link of higher direct images with sheafified cohom. & link of derived functor cohom. with Cech theory on paracompact Hausdorff spaces. – BCnrd Oct 1 2010 at 17:16
Thanks, Brian. Now I seem to remember you told me this before...haha. Do you think the proof of KW is correct? It only refers to SGA4, Exp X. Maybe I missed something, but it doesn't make any sense to me. BTW, I think we can remove the separated assumption. For a general morphism f, let U be an open affine in X with complement Z. Then U is separated over Y. Consider the exact triangles f_*j_!j^*F \to f_*F \to (fi)_*i^*F and f_*j_!G \to (fj)_*G \to (fi)_*i^*j_*G, and use the coh. dim. of j_*, where the open immersion j is separated.... – shenghao Oct 1 2010 at 22:07
Dear Shenghao: well, when I presented this result in the Weil II seminar a couple of years ago I didn't see any problems with K-W, perhaps in part because anything which was unclear I knew how to handle by looking back at Deligne's article. What you say about removing separatedness sounds superficially OK, but I haven't sat down to think it through carefully. – BCnrd Oct 1 2010 at 22:31
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 16, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9191771149635315, "perplexity_flag": "middle"}