Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let Let $E \rightarrow X$ be a vector bundle on a manifold $X$. Let $\cal E$ be the sheaf of sections of $E$. Let $\cal F$ be a subsheaf of $\cal E$, and let $F$ be the etale space of $\cal F$. What is an example that the map $F \rightarrow E$ might not be an injection on all fibers?

share|cite|improve this question

Take $E$ to be the trivial bundle $X \times \mathbb{R}$. Let $f: X \to \mathbb{R}$ to be a function vanishing only at $x_0$. Then multiplication by the global function $f$ defines a morphism $E \to E$ which is injective as a morphism of sheaves (because it is injective on $E(U)$ for any open set $U$), but the map on fibers at $x_0$ is not injective.

(To avoid uninteresting cases, assume $x_0$ is not an isolated point of $X$.)

The problem is that for an injection of sheaves $E \to F$, the map on stalks $E_x \to F_x$ is always injective. The map on fibers $E(x) \to F(x)$ obtained by tensoring the map on stalks with the residue field is generally not, because tensoring is not an exact functor. If the map on stalks is a split injection, then the map on fibers will be an injection still.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.