Take the 2-minute tour ×
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.

Let $X$ be a scheme, and suppose $\mathcal{F}$ is a locally free sheaf on $X$. Suppose there exist sheaves of modules $\mathcal{G}, \mathcal{H}$ on $X$ such that $\mathcal{F} \cong \mathcal{G} \oplus \mathcal{H}$. Suppose $\mathcal{G}$ is locally free. Does this imply that $\mathcal{H}$ is locally free?

David

share|improve this question
add comment

1 Answer 1

Yes, and we do not need to assume that $\mathcal{G}$ is locally free (this happens automatically). The question is local, so we reduce immediately to the case that $X = \text{Spec } A$ is affine and $\mathcal{F}$ corresponds to a projective $A$-module. A direct summand of a projective module is certainly projective, since a module is projective if and only if it is a direct summand of a free module.

Edit: As Zhen Lin points out, there is something slightly nontrivial happening here. Namely, in order for this argument to work, we must assume that $\mathcal{F}$ is coherent. The fact that I am using is that a finitely presented module is projective if and only if it is locally free.

share|improve this answer
    
Isn't there some non-trivial fact about the relation between projective modules and locally free modules you're using here? –  Zhen Lin May 25 '12 at 18:36
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.