Write vectors in a symplectic basis as and . Their coordinate vectors and the matrix of a bilinear form are
Here is the identity matrix, and denotes transpose. The ordering matters: interleaving the basis as instead gives a block diagonal matrix with blocks . Some conventions reverse every , giving instead. Always check the displayed pairing convention.[ref]
Over the real numbers, each summand is the signed area of a parallelogram in the coordinate plane. For and , the two signed areas are and , so although the vectors are linearly independent. The cancellation concerns the symplectic form; it does not assert that their dot product vanishes. Over a general field, the same determinant formula is algebraic, without a signed geometric interpretation.
Figure 1.
Paired coordinate planes and the pairing matrix of a four-dimensional symplectic basis
. The two projected parallelograms have signed areas minus one and plus one, which cancel. The matrix uses the e-then-f ordering; all self-pairings are zero. Details.

Articles by others on the same topic (0)

There are currently no matching articles.