An elementary proof of the symplectic spectral theorem

Camilo Sanabria Malagón
DOI: https://doi.org/10.48550/arXiv.1710.00697
2017-09-30
Abstract:The classical spectral theorem completely describes self-adjoint operators on finite dimensional inner product vector spaces as linear combinations of orthogonal projections onto pairwise orthogonal subspaces. We prove a similar theorem for self-adjoint operators on finite dimensional symplectic vector spaces over perfect fields. We show that these operators decompose according to a polarization, i.e. as the product of an operator on a lagrangian subspace and its dual on a complementary lagrangian. Moreover, if all the eigenvalues of the operator are in the base field, then there exist a Darboux basis such that the matrix representation of the operator is two-by-two blocks block-diagonal, where the first block is in Jordan normal form and the second block is the transpose of the first one.
Rings and Algebras,Symplectic Geometry
What problem does this paper attempt to address?