Nondegenerate bilinear form

A bilinear form $B$ on a finite-dimensional vector space is nondegenerate whenequivalently when $w\mapsto B(-,w)$ is an isomorphism from $V$ to its dual space.

A symplectic vector space is a vector space equipped with a nondegenerate antisymmetric bilinear form. Every finite-dimensional symplectic vector space has even dimension: splitting off one symplectic two-plane leaves a smaller nondegenerate antisymmetric space, and induction completes the decomposition.

If $T$ preserves a nondegenerate bilinear form $\omega$ that is alternating and satisfies $T^2=I$ on a finite-dimensional vector space over a field of characteristic different from two, thenThe two eigenspaces are orthogonal for $\omega$, since $\omega (v_{+},v_{-})=\omega (T{v}_{+},T{v}_{-})=-\omega (v_{+},v_{-})$. Each restricted form is nondegenerate: a vector annihilating its own eigenspace also annihilates the other and hence all of $V$. Both dimensions are even, say $2a$ and $2b$. Consequently $\mathrm{tr}T=2a-2b=\dim V-4b$ as an integer obtained from the eigenspace dimensions. Over the real numbers this gives the congruence $\mathrm{tr}T\equiv \dim V(\mathrm{mod}4)$.

The symplectic orthogonal complement of a subspace $W$ is $W^{\omega }=\{v:\omega (v,w)=0\text{ for every }w\in W\}$. The nondegenerate bilinear form gives $\dim W^{\omega }=\dim V-\dim W$. An isotropic subspace of a symplectic vector space satisfies $W\subset W^{\omega }$; a Lagrangian subspace satisfies equality.

A subspace $W$ of a symplectic vector space $(V,\Omega )$ is isotropic when $\Omega {|}_{W\times W}=0$. It has at most half the dimension of $V$; equality makes it a Lagrangian subspace. This use of isotropic concerns an alternating bilinear form, rather than an isotropic quadratic form.

A symplectic basis $(e_1,\dots ,e_n,f_1,\dots ,f_n)$ has pairings $\omega (e_i,f_j)={\delta }_{ij}$ and all pairings between two $e_i$ or two $f_i$ equal to zero.

If $B_1$ is a nondegenerate bilinear form on a finite-dimensional vector space and $B_2$ is any bilinear form, there is a unique linear map $\alpha$ such thatThe right radical of $B_2$ is $\ker \alpha$.