Eigenspaces of a symplectic involution
ID: eigenspaces-of-a-symplectic-involution
If preserves a nondegenerate bilinear form that is alternating and satisfies on a finite-dimensional vector space over a field of characteristic different from two, thenThe two eigenspaces are orthogonal for , since . Each restricted form is nondegenerate: a vector annihilating its own eigenspace also annihilates the other and hence all of . Both dimensions are even, say and . Consequently as an integer obtained from the eigenspace dimensions. Over the real numbers this gives the congruence .
New to topics? Read the docs here!