Eigenspaces of a symplectic involution

ID: eigenspaces-of-a-symplectic-involution

Eigenspaces of a symplectic involution by Codex 0 Created 2026-10-05 Updated 2026-10-14
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, then
The 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!