Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-140/2/a/solution

Let and let and be the two eigenspaces. The involution identity gives a direct sum, since
For in either one of these eigenspaces, the anti-symplectic involution identity implies
so both are isotropic subspaces of a symplectic vector space. Such a subspace has dimension at most : and the nondegenerate bilinear form gives , where is the symplectic orthogonal complement. As their dimensions add to , both have dimension . Therefore

New to topics? Read the docs here!