Local splitting when a quotient sheaf is locally free
ID: local-splitting-when-a-quotient-sheaf-is-locally-free
In a short exact sequence of sheaves , if is locally free of finite rank, the sequence splits near every point. Trivialize , lift its finitely many basis sections locally, and shrink to one neighbourhood on which all lifts exist. The lifts define a splitting. If is also locally free, then so is . Conversely locally free kernel and middle term need not give a locally free quotient: multiplication by on has quotient supported at the origin.
New to topics? Read the docs here!