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.
Articles by others on the same topic
There are currently no matching articles.