Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-2/6/d/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 2 6 d Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Let be the supplied coevaluation morphism, , and let be the supplied evaluation morphism with diagonal coefficients . The tangle obtained by inserting the given crossing between the created strand and a through strand, then evaluating, is a removable curl. The first Reidemeister move gives the identityWe calculate this map on both basis vectors. The crossing matrix givesFor input , applying , then , then givesFor input , the off-diagonal evaluation vanishes and the result is . Therefore the removable-curl identity requiresSolve the first equation to obtain ; substitution in the second gives . HenceFinally the closed identity strand is represented by . Its value is , so the quantum dimension isIt is a weighted categorical contraction, rather than the ordinary vector space dimension . Using a framed category without imposing the removable-curl identity would require additional twist data; the ordinary tangle category and the specified crossing normalization determine these coefficients.
New to topics? Read the docs here!