Is the direct image of a constant sheaf a constant sheaf?

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

Is the direct image of a constant sheaf a constant sheaf? I'm not an expert on sheaf theory and can't find this anywhere

-

4 Answers

Notation: $f:X \to Y$ is the map we're pushing forward along, and $F$ is our sheaf on $X$. In general the stalks of $f_*F$ at different points will not be isomorphic. For instance if $f$ misses the point $y \in Y$ and your space is sufficiently separated then the stalk of $f_*F$ at $y$ will be 0 while it will be nonzero for points in the image.

An extreme case is when the map has image a point. Then you get a skyscraper sheaf, which is very far from constant on most spaces and most points (Note: if you're hitting the generic point of $Y$ then the direct image will in fact be constant).

Edit: Another extreme case is when $X$ is a large discrete space. Then one can get direct image sheaves where no stalk is isomorphic to any other stalk. For instance this happens if all the fibers of $f$ have different cardinalities. I think you would usually need the axiom of choice to even define such a map.

-

Thanks for your answer K. J. – Mario Carrasco Jul 26 2011 at 14:06

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Not in general. For example take the double cover of the unit circle $S^1$ by the connected helix, say $H$, and call the projection $\pi:H\rightarrow S^1$. Then the sections of the direct image of the constant sheaf $\mathcal A$ over any connected open set $U$ of $S^1$ will give the direct product of two copies of the group $A$, while the constant sheaf over $U$ would give only one copy of $A$ as its group of sections.

-

The point is that for U=S^1 you get only one copy of A but for, say connected nonempty U you get two copies of A. – Jan Weidner Apr 13 2011 at 11:16
Thanks so much Jan – Mario Carrasco Jul 26 2011 at 14:06

As HNuers example shows, the pushforward of a constant sheaf isn't constant anymore. However one also doesn't get arbitrary sheaves this way. The direct image is still a constructible sheaf, which means that your space is a finite disjoint union of locally closed pieces on which the sheaf is locally constant. For example the sheaf in NHuers example is locally constant (but not constant!) on the whole space. The pushforward of a vector space on a point to some space in the example of K.J. Moi would be constant on the point and its complement.

Edit: Of course one needs assumptions here. For example everything works for pushforward along morphisms of complex algebraic varieties (sheaves considered in analytic topology!).

-

Great, thanks again – Mario Carrasco Jul 26 2011 at 14:06

When the map is well behaved, say a locally trivial fibration over a base $B$ with fiber $F$, then the direct image of a constant sheaf will be locally constant (all of the fibers of this sheaf will be equal to the cohomology of the constant sheaf on $F$), but won't be constant in general. The obstruction is the monodromy, the defect of compatibility between all local trivializations along a loop in the base space.

-
What is a constant if not the sheaf of locally constant functions? – bavajee Apr 13 2011 at 16:52
Sorry, I meant to write: What is a constant sheaf, if not a sheaf of locally constant functions? – bavajee Apr 13 2011 at 16:53
@bavajee: "Locally constant sheaf" is not the same as "sheaf of locally constant functions", in the same way that a covering space is a local homeomorphism but not a homeomorphism on connected components. Actually, the second is an example of the first, if you construct the sheaf of maps from the base to the covering space. This is, basically, what ACL is saying in his answer. – Ryan Reich Apr 13 2011 at 17:32

2
@Ryan: I see. Constant sheaf = sheaf associated to constant presheaf. Locally constant sheaf = sheaf that is locally isomorphic to a constant sheaf. Thanks. – bavajee Apr 13 2011 at 20:02
Thank you guys for your answers – Mario Carrasco Jul 26 2011 at 14:07
{"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": 23, "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": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "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.9230603575706482, "perplexity_flag": "head"}