Restriction at one arrow induces a surjection . Coboundaries vanish on the kernel after quotienting by the image, while every map between these spaces can be lifted and extended. Nonzero kernel and cokernel therefore force a nonsplit extension. For , rigidity forces every arrow to have maximal rank.
Articles by others on the same topic
There are currently no matching articles.