Lagrangian complement
ID: lagrangian-complement
A Lagrangian complement to in a symplectic vector space is a Lagrangian subspace with . Such complements exist smoothly for Lagrangian subbundles. Identify any initial complement with using the symplectic cross-pairing. If its internal pairing is , correct its lift by a vector with . The corrected complement has zero internal pairing.
New to topics? Read the docs here!