![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/1/16/Hyperboloide1.png/640px-Hyperboloide1.png&w=640&q=50)
Quadric (algebraic geometry)
From Wikipedia, the free encyclopedia
In mathematics, a quadric or quadric hypersurface is the subspace of N-dimensional space defined by a polynomial equation of degree 2 over a field. Quadrics are fundamental examples in algebraic geometry. The theory is simplified by working in projective space rather than affine space. An example is the quadric surface
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/1/16/Hyperboloide1.png/320px-Hyperboloide1.png)
in projective space over the complex numbers C. A quadric has a natural action of the orthogonal group, and so the study of quadrics can be considered as a descendant of Euclidean geometry.
Many properties of quadrics hold more generally for projective homogeneous varieties. Another generalization of quadrics is provided by Fano varieties.
Property of quadric
By definition, a quadric X of dimension n over a field k is the subspace of defined by q = 0, where q is a nonzero homogeneous polynomial of degree 2 over k in variables
. (A homogeneous polynomial is also called a form, and so q may be called a quadratic form.) If q is the product of two linear forms, then X is the union of two hyperplanes. It is common to assume that
and q is irreducible, which excludes that special case.
Here algebraic varieties over a field k are considered as a special class of schemes over k. When k is algebraically closed, one can also think of a projective variety in a more elementary way, as a subset of defined by homogeneous polynomial equations with coefficients in k.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Quadric_cone.png/320px-Quadric_cone.png)
If q can be written (after some linear change of coordinates) as a polynomial in a proper subset of the variables, then X is the projective cone over a lower-dimensional quadric. It is reasonable to focus attention on the case where X is not a cone. For k of characteristic not 2, X is not a cone if and only if X is smooth over k. When k has characteristic not 2, smoothness of a quadric is also equivalent to the Hessian matrix of q having nonzero determinant, or to the associated bilinear form b(x,y) = q(x+y) – q(x) – q(y) being nondegenerate. In general, for k of characteristic not 2, the rank of a quadric means the rank of the Hessian matrix. A quadric of rank r is an iterated cone over a smooth quadric of dimension r − 2.[1]
It is a fundamental result that a smooth quadric over a field k is rational over k if and only if X has a k-rational point.[2] That is, if there is a solution of the equation q = 0 of the form with
in k, not all zero (hence corresponding to a point in projective space), then there is a one-to-one correspondence defined by rational functions over k between
minus a lower-dimensional subset and X minus a lower-dimensional subset. For example, if k is infinite, it follows that if X has one k-rational point then it has infinitely many. This equivalence is proved by stereographic projection. In particular, every quadric over an algebraically closed field is rational.
A quadric over a field k is called isotropic if it has a k-rational point. An example of an anisotropic quadric is the quadric
in projective space over the real numbers R.