Isotropic quadratic form

Source: Wikipedia, the free encyclopedia.

In mathematics, a quadratic form over a field F is said to be isotropic if there is a non-zero vector on which the form evaluates to zero. Otherwise the quadratic form is anisotropic. More explicitly, if q is a quadratic form on a vector space V over F, then a non-zero vector v in V is said to be isotropic if q(v) = 0. A quadratic form is isotropic if and only if there exists a non-zero isotropic vector (or null vector) for that quadratic form.

Suppose that (V, q) is

quadratic space and W is a subspace of V. Then W is called an isotropic subspace of V if some vector in it is isotropic, a totally isotropic subspace if all vectors in it are isotropic, and an anisotropic subspace if it does not contain any (non-zero) isotropic vectors. The isotropy index of a quadratic space is the maximum of the dimensions of the totally isotropic subspaces.[1]

A quadratic form q on a finite-dimensional

definite form
:

  • either q is positive definite, i.e. q(v) > 0 for all non-zero v in V;
  • or q is negative definite, i.e. q(v) < 0 for all non-zero v in V.

More generally, if the quadratic form is non-degenerate and has the

signature (a, b), then its isotropy index is the minimum of a and b. An important example of an isotropic form over the reals occurs in pseudo-Euclidean space
.

Hyperbolic plane

Let F be a field of

linear transformation on V that makes q look like r, and vice versa. Evidently, (V, q) and (V, r) are isotropic. This example is called the hyperbolic plane in the theory of quadratic forms. A common instance has F = real numbers in which case {xV : q(x) = nonzero constant} and {xV : r(x) = nonzero constant} are hyperbolas. In particular, {xV : r(x) = 1} is the unit hyperbola. The notation ⟨1⟩ ⊕ ⟨−1⟩ has been used by Milnor and Husemoller[1]: 9  for the hyperbolic plane as the signs of the terms of the bivariate polynomial
r are exhibited.

The affine hyperbolic plane was described by Emil Artin as a quadratic space with basis {M, N} satisfying M2 = N2 = 0, NM = 1, where the products represent the quadratic form.[2]

Through the polarization identity the quadratic form is related to a symmetric bilinear form B(u, v) = 1/4(q(u + v) − q(uv)).

Two vectors u and v are

hyperbolic-orthogonal
.

Split quadratic space

A space with quadratic form is split (or metabolic) if there is a subspace which is equal to its own orthogonal complement; equivalently, the index of isotropy is equal to half the dimension.[1]: 57  The hyperbolic plane is an example, and over a field of characteristic not equal to 2, every split space is a direct sum of hyperbolic planes.[1]: 12, 3 

Relation with classification of quadratic forms

From the point of view of classification of quadratic forms, anisotropic spaces are the basic building blocks for quadratic spaces of arbitrary dimensions. For a general field F, classification of anisotropic quadratic forms is a nontrivial problem. By contrast, the isotropic forms are usually much easier to handle. By

orthogonal direct sum of a split space and an anisotropic space.[1]
: 56 

Field theory

See also

References