Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-3/1/c/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 3 1 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Rows in the following matrix index the source, columns the target, in the order . Solving the arrow-square equation for a quiver representation morphism givesIn 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 isIts cokernel is . Substitution of the three representations givesHere the first argument is the quotient endpoint of a short exact sequence. Thus the only possible nonsplit endpoint pair is subobject , quotient . The sequenceis 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!