Split extension as a degeneration

ID: split-extension-as-a-degeneration

An extension's vertexwise split arrow matrices are . Scaling the subobject by multiplies by . Nonzero preserves the middle isomorphism class; gives . For a nonsplit extension, the split orbit is distinct and lies in the smaller-dimensional boundary of the middle orbit closure.

New to topics? Read the docs here!