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.
Any quadratic forms on have a common nonzero zero when . Choose a totally isotropic subspace for the first form, of dimension at least . Restrict the remaining forms to it and repeat by induction. After stages at least one dimension remains. This elementary sufficient bound does not assert that is the best possible threshold.
Articles by others on the same topic
There are currently no matching articles.