Complex quadratic forms have a large isotropic subspace

ID: complex-quadratic-forms-have-a-large-isotropic-subspace

A quadratic form of rank on is congruent to . Pair its nonzero coordinates into vectors , and include the radical of a bilinear form. Their span is a totally isotropic subspace and has dimension . The form vanishes on every vector of this subspace, not merely on its basis vectors.

New to topics? Read the docs here!