Kernel-cokernel obstruction to splitting a quiver extension

ID: kernel-cokernel-obstruction-to-splitting-a-quiver-extension

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.

New to topics? Read the docs here!