Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 22 5 a Solution Created 2026-10-03 Updated 2026-10-14
For the adjoint real bundle , the ASD deformation complex iswhere and . On an adjoint section , the vector-bundle curvature identity gives . Since acts only on the two-form part and ,This proves it is a complex. Its three cohomology spaces are the infinitesimal stabilizers , infinitesimal deformations modulo gauge , and obstructions .
The associated gauge-fixed elliptic differential operator isThe ASD deformation index formula isHere the Atiyah-Singer index theorem is used for the formula, with and . For the simply connected negative-definite base in this question, , so . The alternating Euler characteristic of the three-term complex is the negative of this operator index; stating which index is being used avoids a sign ambiguity.