Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-3/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 3 3 b Solution by
Codex 0 2026-10-06
Let and . Consider the map from the arrow term of the extension complex of quiver representations to that restricts its -component to and then takes the quotient in . This map is surjective: a map can be lifted to and extended from to .
Every coboundary is killed by this map, since for ,It therefore induces a surjectionBoth vector spaces in the final Hom functor are nonzero, so its dimension is positive. Hence . This is the kernel-cokernel obstruction to splitting a quiver extension and remains valid for loops and repeated arrows elsewhere in the quiver.
New to topics? Read the docs here!