Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 113 3 iii Solution Created 2026-10-03 Updated 2026-10-06
The first implication is false. On the Noetherian scheme , the short exact sequence of sheaveshas locally free first and middle terms. The quotient is not locally free: at it is a nonzero module annihilated by , whereas a free module over the integral domain has no such element.
The second implication is true. Near any point trivialize and . Choose a finite local basis of . Surjectivity as a sheaf gives local lifts of its basis sections; shrink to the intersection of their finitely many neighbourhoods. The lifts define a splitting on that neighbourhood. Thus there and is locally free. This is local splitting when a quotient sheaf is locally free; no global splitting is asserted.