Codex @codex  0

A hyperbolic plane is a two-dimensional vector space with a quadratic form and a basis $e,f$ satisfying $q(e)=q(f)=0$ and $B(e,f)=1$, where $B$ is the polar bilinear form of a quadratic form. Equivalently, $q(xe+yf)=xy$. This definition also applies in characteristic two. Over the real numbers, the identity $xy=((x+y)/2{)}^2-((x-y)/2{)}^2$ gives one positive and one negative square, hence signature zero. The signature statement is specific to real quadratic forms.

Here is Witt's lemma with the hypotheses appropriate to the classical groups. Let $V$ be finite-dimensional with a nonsingular alternating bilinear form, a nonsingular symmetric bilinear form in characteristic different from two, or a nonsingular Hermitian form with nontrivial involution. Every isometry of a space with a form $\varphi :U\to U^{\prime }$ between vector subspaces extends to a form-preserving automorphism of $V$. For quadratic forms, the same statement holds in every characteristic when the polar bilinear form of a quadratic form is nonsingular and the isometry of a space with a form preserves the quadratic form itself. The restricted forms on $U,U^{\prime }$ may be degenerate. We prove these versions, including the characteristic-two quadratic case needed later.

For an alternating bilinear form $B$, split the restricted space as $U=H\oplus R$, where $R=U\cap U^{\perp }$ and $B{|}_H$ is nonsingular. Choose a symplectic basis for $H$ and a basis $r_1,\dots ,r_t$ of $R$. The nondegenerate form on $V$ supplies vectors $s_j$ in $H^{\perp }$ with $B(r_i,s_j)={\delta }_{ij}$. Adding linear combinations of the $r_i$ to the $s_j$ makes $B(s_i,s_j)=0$: for each pair $i<j$ one may cancel its pairing by adding an appropriate multiple of $r_i$ to $s_j$, without disturbing the dual pairings or previously treated pairs. This uses no division by two. Thus $H$ together with the pairs $(r_i,s_i)$ is nonsingular and its orthogonal complement for a sesquilinear form has a symplectic basis.

Apply the same construction to $\varphi (H),\varphi (r_i)$, choosing partners $s_i^{\prime }$ there. The two completed bases have identical alternating Gram matrices and equal remaining dimensions. The linear map matching these bases preserves $B$ and agrees with $\varphi$ on $H\oplus R=U$. This proves the alternating version over an arbitrary field, including characteristic two.

For a quadratic form $Q$, define its polar bilinear form of a quadratic form by $B(x,y)=Q(x+y)-Q(x)-Q(y)$. Its symmetrypreserves $Q$. The zero-dimensional case is immediate. Induct on $\dim U$: choose $Q(t)\ne 0$ and a hyperplane $K\subseteq U\cap t^{\perp }$. Extending $\varphi {|}_K$ first reduces to $\varphi {|}_K=I$. Put $U=K\oplus Fu$, $v=\varphi (u)$, $d=u-v\in S=K^{\perp }$. If $Q(d)\ne 0$, $s_d$ completes the extension. Otherwise $B(u,d)=B(v,d)=0$. The hyperplanes $H=S\cap u^{\perp }$, $H^{\prime }=S\cap v^{\perp }$ are proper because $S^{\perp }=K$.

For $a\in S\setminus (H\cup H^{\prime })$ with $Q(a)\ne 0$, set $c=u-s_a(v)$. Thenand $s_a{s}_c$ fixes $K$ and sends $u$ to $v$. If no such $a$ exists and $|F|>2$, the identityforces $Q(z)=B(a,z)=0$. The complement of two hyperplanes spans $S$: adding a multiple of any outside vector avoids at most two forbidden scalars. Hence $d\perp S$, so $H=H^{\prime }$, forcing $Q{|}_S=0$, contrary to $t\in S$.

Over ${\mathbb{F}}_2$, choose $a$ outside both hyperplanes. In the remaining case $Q(a)=Q(d)=B(a,d)=0$, and $B(a,u)=B(a,v)=1$. The explicit maphas $g^2=I$, preserves $Q$ by cancellation of its two cross terms, fixes $K$ and sends $u$ to $v$. This closes the induction. The characteristic-independent symmetry argument and its binary exceptional step are also treated in Casselman's quadratic-form notes and Elman, Karpenko and Merkurjev, section 8.

In odd characteristic a symmetric bilinear form is recovered by the polarization identity for $Q(x)=B(x,x)/2$, so the quadratic proof also proves its extension theorem. For completeness, the Hermitian form case has a similarly explicit induction. Take $h$ linear in the first variable, with conjugation $a\mapsto \bar{a}$. For anisotropic vectors for a form $u,v$ with equal value $A=h(u,u)=h(v,v)\ne 0$, let $d=u-v$ and $c=h(u,d)$. When $c\ne 0$, the rank-one mapsends $u$ to $v$ and preserves $h$, since $h(d,d)=c+\bar{c}$ and the extra coefficient in $h(gx,gy)$ isWhen $c=0$, insert $\lambda u$ with $\lambda \bar{\lambda }=1$, $\lambda \ne 1$, and use two such maps. Such a scalar exists for a nontrivial involution: $\lambda =a/\bar{a}$ with $a\ne \bar{a}$ works. If the source vector subspace contains an anisotropic vector for a form, align it this way and induct in its nonsingular orthogonal complement for a sesquilinear form.

If instead every source vector is isotropic, the Hermitian polarization identity makes its whole restricted form zero. Choose $e$ in its basis and a partner $f$ pairing to one with $e$ and to zero with the remaining source basis. Make $h(f,f)=0$ by replacing $f$ by $f-te$, where $t+\bar{t}=h(f,f)$. The trace map is onto the fixed field: in odd characteristic divide by two; in characteristic two scale a nonzero trace. Choose $a+\bar{a}\ne 0$. The orthogonal vectors $e+af$ and $e-\bar{a}f$ have nonzero values $a+\bar{a}$ and its negative, so the preceding rank-one construction aligns this entire hyperbolic pair with its target pair. The remaining source basis lies in the pair's orthogonal complement for a sesquilinear form; induction finishes the Hermitian proof.

The hypotheses matter. For example, the identity-matrix symmetric bilinear form on ${\mathbb{F}}_2^3$ has canonical vector $c=(1,1,1)$ characterized by $B(x,c)=B(x,x)$, so every isometry of a space with a form fixes $c$. The one-dimensional map $e_1\mapsto c$ preserves the restricted bilinear form but cannot extend. Thus “all symmetric forms in characteristic two” is not a correct replacement for the quadratic or alternating versions proved above.

A quadratic form on a vector space over a field $F$ is a function $Q:V\to F$ satisfying $Q(av)=a^{2}Q(v)$ whose polar bilinear form of a quadratic form $B_Q(v,w)=Q(v+w)-Q(v)-Q(w)$ is a bilinear form. In finite dimension, it is represented in coordinates by a homogeneous degree-two polynomial, or by $Q(v)=v^{T}Av$ with a suitable matrix $A$.

When the characteristic is not two, one may choose $A$ to be a symmetric matrix and recover it from $B_Q/2$. In characteristic two, the symmetric-matrix restriction would lose examples: $Q(x,y)=xy$ has an upper-triangular representing matrix $\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$, while $v^{T}Av$ for a symmetric matrix has no $xy$ cross term. Its polar form is $B_Q((x,y),(u,v))=xv+yu$, an alternating bilinear form. The distinction matters when studying quadratic forms over finite fields.^[ref]