Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $X$ be a topological space and $$\varepsilon \ :\ 0 \to A \to B \to C \to 0$$ be an exact sequence of sheaves of ${\cal O}_X$-modules. $\varepsilon$ is said to be pure if for each point $x\in X$, the induced sequence $$0\to A_x \to B_x \to C_x \to 0$$ is pure as a sequence of ${\cal O}_{X,x}$-modules.

Is it true to say that any split exact sequence of ${\cal O}_X$-modules is pure?

share|improve this question
Isn't it obvious from the definitions? –  Fernando Muro May 3 '13 at 10:17
Tensor products commute with direct sums, and if the sequence is split, $B \cong A \oplus C$. –  Paul VanKoughnett May 3 '13 at 15:24
A short exact sequence of modules is pure iff it is a filtered colimit of split ones. –  Fernando Muro May 3 '13 at 17:29

Your Answer


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

Browse other questions tagged or ask your own question.