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!