Difference between revisions of "Quadric"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 10: | Line 10: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> S.P. Finikov, "Analytic geometry" , Moscow (1952) (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> N.V. Efimov, "A short course of analytical geometry" , Moscow (1967) (In Russian)</TD></TR></table> |
Line 18: | Line 18: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H.S.M. Coxeter, "Non-Euclidean geometry" , Univ. Toronto Press (1965) pp. 65–94 {{MR|1628013}} {{MR|1531918}} {{MR|0087965}} {{MR|0006835}} {{ZBL|0909.51003}} {{ZBL|0077.13903}} {{ZBL|0060.32807}} {{ZBL|68.0322.02}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> H.S.M. Coxeter, "Introduction to geometry" , Wiley (1963) {{MR|0990644}} {{MR|0346644}} {{MR|0212646}} {{MR|1531486}} {{MR|0123930}} {{ZBL|0181.48101}} {{ZBL|0145.16803}} {{ZBL|0095.34502}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> M. Berger, "Geometry" , '''1–2''' , Springer (1987) (Translated from French) {{MR|0903026}} {{MR|0895392}} {{MR|0882916}} {{MR|0882541}} {{ZBL|0619.53001}} {{ZBL|0606.51001}} {{ZBL|0606.00020}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> D. Hilbert, S.E. Cohn-Vossen, "Geometry and the imagination" , Chelsea (1952) (Translated from German) {{MR|0046650}} {{ZBL|0047.38806}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> H.F. Baker, "Principles of geometry" , '''3. Solid gometry''' , Cambridge Univ. Press (1961) {{MR|0178392}} {{MR|0178393}} {{ZBL|1206.14007}} {{ZBL|1206.14006}} {{ZBL|1206.14005}} {{ZBL|1206.14004}} {{ZBL|1206.14003}} {{ZBL|1206.14002}} {{ZBL|0008.21907}} {{ZBL|0008.21906}} {{ZBL|59.1290.03}} {{ZBL|59.0620.04}} {{ZBL|51.0531.07}} {{ZBL|48.0686.01}} {{ZBL|48.0646.08}} {{ZBL|49.0395.03}} </TD></TR></table> |
A quadric in algebraic geometry is a projective [[Algebraic variety|algebraic variety]] defined by a homogeneous quadratic equation | A quadric in algebraic geometry is a projective [[Algebraic variety|algebraic variety]] defined by a homogeneous quadratic equation | ||
Line 57: | Line 57: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> D. Mumford, "Varieties defined by quadratic equations" , ''Questions on algebraic varieties, C.I.M.E. Varenna, 1969'' , Cremonese (1970) pp. 29–100 {{MR|0282975}} {{ZBL|0198.25801}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> M. Reid, "The complete intersection of two or more quadrics" (1972) (Ph.D. Thesis)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> V.S. [V.S. Ryaben'kii] Rjabenki, A.F. [A.F. Filippov] Filipov, "Über die stabilität von Differenzgleichungen" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> A.N. Tyurin, "On the intersection of quadrics" ''Russian Math. Surveys'' , '''30''' : 6 (1975) pp. 51–106 ''Uspekhi Mat. Nauk'' , '''30''' : 6 (1975) pp. 51–99</TD></TR></table> |
''V.A. Iskovskikh'' | ''V.A. Iskovskikh'' | ||
Line 65: | Line 65: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> P. Griffiths, S. Harris, "Principles of algebraic curves" , Wiley (1978)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> W.V.D. Hodge, D. Pedoe, "Methods of algebraic geometry" , '''II''' , Cambridge Univ. Press (1952) {{MR|0048065}} {{ZBL|0048.14502}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> H. Lenz, "Vorlesungen über projektive Geometrie" , Akad. Verlagsgesell. Geest u. Portig K.-D. (1965) {{MR|0199772}} {{ZBL|0134.16203}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> G. Pickert, "Analytische Geometrie" , Akad. Verlagsgesell. Geest u. Portig K.-D. (1953) {{MR|0058222}} {{ZBL|0051.37502}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> R. Donagi, "Group law on the intersection of two quadrics" ''Ann. Sc. Norm. Sup. Pisa Ser. IV'' , '''7''' (1980) pp. 217–240 {{MR|0581142}} {{ZBL|0457.14023}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> I.Y. Mérirdol, "Théorème de Torelli affine pour les intersections de deux quadriques" ''Invent. Math.'' , '''80''' (1985) pp. 375–416</TD></TR></table> |
Revision as of 21:55, 30 March 2012
A quadric is a surface of the second order. In a three-dimensional (projective, affine or Euclidean) space a quadric is a set of points whose homogeneous coordinates (with respect to a projective, affine or Cartesian system of coordinates) satisfy a homogeneous equation of degree two:
![]() |
The bilinear symmetric form
![]() |
is called the polar form relative to . Two points
,
at which
are called conjugate points with respect to the quadric. If the line
intersects the quadric at the points
and the points
are conjugate to each other with respect to the quadric, then
and
form a harmonic quadruple. The points of a quadric and only these are self-conjugate. A line all points of which lie on a quadric is called a generator of the quadric. By the pole of a given plane with respect to a quadric is meant the point that is conjugate to every point of this plane. The set of points in the space that are conjugate to a given point
with respect to a quadric is called the polar of
with respect to the quadric. A tangent plane to a quadric is the polar of the point of contact. The polar of a point
is defined by the linear equation
with respect to the coordinates
. If
, then the polar of
is a plane; if
, then the polar of
is the whole space. In this case
belongs to the quadric and is called a singular point of it. If
, then the quadric has no singular points and is called a non-degenerate quadric. In projective space this is an imaginary ovaloid, a real ovaloid or a ruled quadric. A non-degenerate quadric determines a correlation (or polarity), i.e. a bijective mapping from the set of points of projective space onto the set of planes. A ruled non-degenerate quadric has two distinct families of generators, distributed on the quadric so that any two lines of the same family are non-intersecting, while two lines of different families intersect at one point. If
, then a quadric is a cone (real or imaginary) with vertex at the unique singular point. A real cone has a single family of generators, passing through its vertex. If
, then the quadric splits into a pair of planes (real or imaginary), intersecting in a line consisting of its singular points. If
, then a quadric is a double real plane consisting of singular points. The affine properties of a quadric are distinguished by its behaviour with respect to the plane at infinity,
. For example, an ellipsoid (hyperboloid, paraboloid) is a non-degenerate quadric that does not intersect (does intersect, is tangent to) the plane at infinity. The centre of a quadric is the pole of the plane at infinity, a diameter is a line through the centre.
References
[1] | S.P. Finikov, "Analytic geometry" , Moscow (1952) (In Russian) |
[2] | N.V. Efimov, "A short course of analytical geometry" , Moscow (1967) (In Russian) |
Comments
References
[a1] | H.S.M. Coxeter, "Non-Euclidean geometry" , Univ. Toronto Press (1965) pp. 65–94 MR1628013 MR1531918 MR0087965 MR0006835 Zbl 0909.51003 Zbl 0077.13903 Zbl 0060.32807 Zbl 68.0322.02 |
[a2] | H.S.M. Coxeter, "Introduction to geometry" , Wiley (1963) MR0990644 MR0346644 MR0212646 MR1531486 MR0123930 Zbl 0181.48101 Zbl 0145.16803 Zbl 0095.34502 |
[a3] | M. Berger, "Geometry" , 1–2 , Springer (1987) (Translated from French) MR0903026 MR0895392 MR0882916 MR0882541 Zbl 0619.53001 Zbl 0606.51001 Zbl 0606.00020 |
[a4] | D. Hilbert, S.E. Cohn-Vossen, "Geometry and the imagination" , Chelsea (1952) (Translated from German) MR0046650 Zbl 0047.38806 |
[a5] | H.F. Baker, "Principles of geometry" , 3. Solid gometry , Cambridge Univ. Press (1961) MR0178392 MR0178393 Zbl 1206.14007 Zbl 1206.14006 Zbl 1206.14005 Zbl 1206.14004 Zbl 1206.14003 Zbl 1206.14002 Zbl 0008.21907 Zbl 0008.21906 Zbl 59.1290.03 Zbl 59.0620.04 Zbl 51.0531.07 Zbl 48.0686.01 Zbl 48.0646.08 Zbl 49.0395.03 |
A quadric in algebraic geometry is a projective algebraic variety defined by a homogeneous quadratic equation
![]() |
in the projective space over a ground field
.
Suppose further that the ground field is algebraically closed and has characteristic not equal to 2. Let be a quadric in
and let
be the set of its singular points. Then
is the empty set if and only if
, where
is the rank of the corresponding quadratic form. If
is non-empty, then
is a cone over a non-degenerate quadric of dimension
whose vertex is the projective subspace
in
of dimension
. All quadrics with
are projectively equivalent to the quadric
![]() |
Let be empty and let
be a linear subspace of maximal dimension (it is called a generator of the quadric
). Then
a) if , then
;
b) if , then
.
Furthermore, the family of all subspaces of maximal dimension on
is a closed non-singular subset
of the Grassmann manifold of subspaces of dimension
in
. If
,
,
,
, are non-intersecting non-singular irreducible rational varieties of the same dimension
![]() |
while and
belong to the same component if and only if
![]() |
If , then
is a non-singular irreducible rational variety of dimension
![]() |
In case is empty and
,
; if
, then
(where Pic denotes the Picard group).
Every quadric is rational: A birational isomorphism of a quadric with a projective space is determined by stereographic projection of the quadric
from some point
,
. Varieties that are complete intersections of quadrics have been studied from the point of view of birational geometry [3]. Intersections of two quadrics are studied in [2], of three in [4].
Any projective variety can be imbedded in a projective space
(for sufficiently large
) so that its image is the intersection (generally incomplete) of the quadrics containing it [1].
The study of quadrics over non-closed fields is closely related to the arithmetic of quadratic forms.
References
[1] | D. Mumford, "Varieties defined by quadratic equations" , Questions on algebraic varieties, C.I.M.E. Varenna, 1969 , Cremonese (1970) pp. 29–100 MR0282975 Zbl 0198.25801 |
[2] | M. Reid, "The complete intersection of two or more quadrics" (1972) (Ph.D. Thesis) |
[3] | V.S. [V.S. Ryaben'kii] Rjabenki, A.F. [A.F. Filippov] Filipov, "Über die stabilität von Differenzgleichungen" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian) |
[4] | A.N. Tyurin, "On the intersection of quadrics" Russian Math. Surveys , 30 : 6 (1975) pp. 51–106 Uspekhi Mat. Nauk , 30 : 6 (1975) pp. 51–99 |
V.A. Iskovskikh
Comments
References
[a1] | P. Griffiths, S. Harris, "Principles of algebraic curves" , Wiley (1978) |
[a2] | W.V.D. Hodge, D. Pedoe, "Methods of algebraic geometry" , II , Cambridge Univ. Press (1952) MR0048065 Zbl 0048.14502 |
[a3] | H. Lenz, "Vorlesungen über projektive Geometrie" , Akad. Verlagsgesell. Geest u. Portig K.-D. (1965) MR0199772 Zbl 0134.16203 |
[a4] | G. Pickert, "Analytische Geometrie" , Akad. Verlagsgesell. Geest u. Portig K.-D. (1953) MR0058222 Zbl 0051.37502 |
[a5] | R. Donagi, "Group law on the intersection of two quadrics" Ann. Sc. Norm. Sup. Pisa Ser. IV , 7 (1980) pp. 217–240 MR0581142 Zbl 0457.14023 |
[a6] | I.Y. Mérirdol, "Théorème de Torelli affine pour les intersections de deux quadriques" Invent. Math. , 80 (1985) pp. 375–416 |
Quadric. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quadric&oldid=23942