Английская Википедия:Isotropic quadratic form
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 Шаблон:Nowrap. 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 Шаблон:Nowrap 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 Шаблон:Visible anchor of a quadratic space is the maximum of the dimensions of the totally isotropic subspaces.[1]
A quadratic form q on a finite-dimensional real vector space V is anisotropic if and only if q is a definite form:
- either q is positive definite, i.e. Шаблон:Nowrap for all non-zero v in V;
- or q is negative definite, i.e. Шаблон:Nowrap for all non-zero v in V.
More generally, if the quadratic form is non-degenerate and has the signature Шаблон:Nowrap, 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
Шаблон:Hatnote Let F be a field of characteristic not 2 and Шаблон:Nowrap. If we consider the general element Шаблон:Nowrap of V, then the quadratic forms Шаблон:Nowrap and Шаблон:Nowrap are equivalent since there is a linear transformation on V that makes q look like r, and vice versa. Evidently, Шаблон:Nowrap and Шаблон:Nowrap 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 Шаблон:Nowrap and Шаблон:Nowrap are hyperbolas. In particular, Шаблон:Nowrap is the unit hyperbola. The notation Шаблон:Nowrap has been used by Milnor and Husemoller[1]Шаблон:Rp 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 Шаблон:Nowrap satisfying Шаблон:Nowrap, where the products represent the quadratic form.[2]
Through the polarization identity the quadratic form is related to a symmetric bilinear form Шаблон:Nowrap.
Two vectors u and v are orthogonal when Шаблон:Nowrap. In the case of the hyperbolic plane, such 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]Шаблон:Rp 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]Шаблон:Rp
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 Witt's decomposition theorem, every inner product space over a field is an orthogonal direct sum of a split space and an anisotropic space.[1]Шаблон:Rp
Field theory
- If F is an algebraically closed field, for example, the field of complex numbers, and Шаблон:Nowrap is a quadratic space of dimension at least two, then it is isotropic.
- If F is a finite field and Шаблон:Nowrap is a quadratic space of dimension at least three, then it is isotropic (this is a consequence of the Chevalley–Warning theorem).
- If F is the field Qp of p-adic numbers and Шаблон:Nowrap is a quadratic space of dimension at least five, then it is isotropic.
See also
References
- Pete L. Clark, Quadratic forms chapter I: Witts theory from University of Miami in Coral Gables, Florida.
- Tsit Yuen Lam (1973) Algebraic Theory of Quadratic Forms, §1.3 Hyperbolic plane and hyperbolic spaces, W. A. Benjamin.
- Tsit Yuen Lam (2005) Introduction to Quadratic Forms over Fields, American Mathematical Society Шаблон:ISBN .
- Шаблон:Cite book
- Шаблон:Cite book
- ↑ 1,0 1,1 1,2 1,3 1,4 Шаблон:Cite book
- ↑ Emil Artin (1957) Geometric Algebra, page 119 via Internet Archive
