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
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
3
3
|
|
|
|
|
8
|
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. |
|||
|
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.
|
4
|
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. |
|||||||||||||||||
|
|
5
|
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!). |
|||
|
|
7
|
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. |
||||||
|
