Prefer a chat interface with context about you and your work?
Invariant Lagrangian Subspaces
It is proved that on Hilbert spaces with strong symplectic form, every symplectic operator I + C with C compact has an invariant Lagrangian subspace.