isotropic quadratic form
{{Short description|1=Quadratic form for which there is a non-zero vector on which the form evaluates to zero}}
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 it is a definite quadratic form. 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|1=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 {{nowrap|(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 a definite subspace if it does not contain any (non-zero) isotropic vectors. The {{visible anchor|isotropy index}} of a quadratic space is the maximum of the dimensions of the totally isotropic subspaces.
Over the real numbers, more generally in the case where F is a real closed field (so that the signature is defined), if the quadratic form is non-degenerate and has the signature {{nowrap|(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
{{hatnote|Not to be confused with the plane in hyperbolic geometry.}}
Let F be a field of characteristic not 2 and {{nowrap|1=V = F2}}. If we consider the general element {{nowrap|(x, y)}} of V, then the quadratic forms {{nowrap|1=q = xy}} and {{nowrap|1=r = x2 − y2}} are equivalent since there is a linear transformation on V that makes q look like r, and vice versa. Evidently, {{nowrap|(V, q)}} and {{nowrap|(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 {{nowrap|1={x ∈ V : q(x) = nonzero constant} }} and {{nowrap|1={x ∈ V : r(x) = nonzero constant} }} are hyperbolas. In particular, {{nowrap|1={x ∈ V : r(x) = 1} }} is the unit hyperbola. The notation {{nowrap|{{langle}}1{{rangle}} ⊕ {{langle}}−1{{rangle}}}} has been used by Milnor and Husemoller{{rp|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 {{nowrap|{M, N} }} satisfying {{nowrap|1=M2 = N2 = 0, NM = 1}}, where the products represent the quadratic form.Emil Artin (1957) [https://archive.org/details/geometricalgebra033556mbp/page/n129/mode/2up?view=theater Geometric Algebra, page 119] via Internet Archive
Through the polarization identity the quadratic form is related to a symmetric bilinear form {{nowrap|1=B(u, v) = {{sfrac|1|4}}(q(u + v) − q(u − v))}}.
Two vectors u and v are orthogonal when {{nowrap|1=B(u, v) = 0}}. 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.{{cite book | first1=J. | last1=Milnor | author1-link=John Milnor| first2=D. | last2=Husemoller | title=Symmetric Bilinear Forms | series=Ergebnisse der Mathematik und ihrer Grenzgebiete | volume=73 | publisher=Springer-Verlag | year=1973 | isbn=3-540-06009-X | zbl=0292.10016 }}{{rp|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.{{rp|12,3}}
Relation with classification of quadratic forms
From the point of view of classification of quadratic forms, spaces with definite quadratic forms are the basic building blocks for quadratic spaces of arbitrary dimensions. For a general field F, classification of definite 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 a space with definite quadratic form.{{rp|56}}
Field theory
- If F is an algebraically closed field, for example, the field of complex numbers, and {{nowrap|(V, q)}} is a quadratic space of dimension at least two, then it is isotropic.
- If F is a finite field and {{nowrap|(V, q)}} 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|(V, q)}} is a quadratic space of dimension at least five, then it is isotropic.
See also
References
{{reflist}}
- Pete L. Clark, [http://www.math.miami.edu/~armstrong/685fa12/pete_clark.pdf 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|0-8218-1095-2}} .
- {{cite book | first=O.T | last=O'Meara | author-link=O. Timothy O'Meara | year=1963 | title=Introduction to Quadratic Forms | page=94 §42D Isotropy | publisher=Springer-Verlag | isbn=3-540-66564-1 }}
- {{cite book | first=Jean-Pierre | last=Serre | author-link=Jean-Pierre Serre | title=A Course in Arithmetic | volume=7 | publisher=Springer-Verlag | year=2000 | orig-year=1973 | edition=reprint of 3rd | series=Graduate Texts in Mathematics: Classics in mathematics | isbn=0-387-90040-3 | zbl=1034.11003 | url-access=registration | url=https://archive.org/details/courseinarithmet00serr }}