Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-3/1/c/solution

Rows in the following matrix index the source, columns the target, in the order . Solving the arrow-square equation for a quiver representation morphism gives
In particular, the nonzero morphisms between distinct representations are and , each a one-dimensional family of scalar multiples of the vertexwise inclusion or projection. A map is forced to vanish at the source by the identity arrow of ; similarly a map is forced to vanish at the target. Maps between and are zero. Each endomorphism ring is .
The extension complex of quiver representations for the one-arrow quiver is
Its cokernel is . Substitution of the three representations gives
Here the first argument is the quotient endpoint of a short exact sequence. Thus the only possible nonsplit endpoint pair is subobject , quotient . The sequence
is nonsplit, since is indecomposable. More explicitly, all extensions with these endpoints have a middle arrow : gives the split short exact sequence, while each gives a middle representation isomorphic to . With endpoint identifications fixed the extension classes form ; up to endpoint automorphisms all nonzero classes give this same nonsplit sequence. There are no other nonsplit sequences with the listed endpoints, including equal endpoints.

New to topics? Read the docs here!