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!