MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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 $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|cite|improve this question
4  
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

 
discard

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

Browse other questions tagged or ask your own question.