Difference between revisions of "Plücker interpretation"
Ulf Rehmann (talk | contribs) m (moved Pluecker interpretation to Plücker interpretation over redirect: accented title) |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||
| Line 1: | Line 1: | ||
| − | + | <!-- | |
| + | p0729101.png | ||
| + | $#A+1 = 57 n = 0 | ||
| + | $#C+1 = 57 : ~/encyclopedia/old_files/data/P072/P.0702910 Pl\AGucker interpretation | ||
| + | Automatically converted into TeX, above some diagnostics. | ||
| + | Please remove this comment and the {{TEX|auto}} line below, | ||
| + | if TeX found to be correct. | ||
| + | --> | ||
| − | + | {{TEX|auto}} | |
| + | {{TEX|done}} | ||
| − | + | A model that realizes the geometry of the three-dimensional projective space $ P _ {3} $ | |
| + | in the hyperbolic space $ {} ^ {3} S _ {5} $. | ||
| + | The Plücker interpretation is based on a special interpretation of the [[Plücker coordinates|Plücker coordinates]] of a straight line, which are defined for any straight line in $ P _ {3} $. | ||
| − | + | Under projective transformations of $ P _ {3} $ | |
| + | the Plücker coordinates transform linearly; the Plücker coordinates of straight lines in $ P _ {3} $ | ||
| + | give a one-to-one correspondence between the straight lines of $ P _ {3} $ | ||
| + | and the points in the projective space $ P _ {5} $ | ||
| + | whose coordinates are numerically equal to the Plücker coordinates in $ P _ {3} $. | ||
| − | + | Straight lines in $ P _ {3} $ | |
| + | are represented by the points of a non-singular quadric in $ P _ {5} $ | ||
| + | of index three. | ||
| − | If one takes | + | If one takes this quadric as the absolute and defines a projective (non-Euclidean) metric in $ P _ {5} $, |
| + | one gets the five-dimensional hyperbolic space $ {} ^ {3} S _ {5} $. | ||
| + | Under each [[Collineation|collineation]] and [[Correlation|correlation]] of $ P _ {3} $ | ||
| + | the Plücker coordinates transform linearly, i.e. each collineation and correlation is represented by a collineation of $ P _ {5} $ | ||
| + | that maps the absolute into itself. These collineations are thus displacements of $ {} ^ {3} S _ {5} $. | ||
| + | The displacements of $ {} ^ {3} S _ {5} $ | ||
| + | represent either collineations or correlations in $ P _ {3} $. | ||
| − | + | Each line complex in $ P _ {3} $ | |
| + | is put into correspondence with a point in $ {} ^ {3} S _ {5} $. | ||
| + | The projective geometry of $ P _ {3} $ | ||
| + | can be considered as a non-Euclidean geometry of $ {} ^ {3} S _ {5} $. | ||
| + | This interpretation of the geometry of $ P _ {3} $ | ||
| + | in $ {} ^ {3} S _ {5} $ | ||
| + | is called the Plücker interpretation, in connection with the role of the Plücker coordinates. | ||
| − | + | If one takes a straight line as the basic object in $ P _ {3} $, | |
| + | the geometry of this space can be considered as the geometry on the absolute of $ {} ^ {3} S _ {5} $. | ||
| − | + | The group of projective transformations of $ P _ {3} $ | |
| + | is isomorphic to the group of displacements of $ {} ^ {3} S _ {5} $, | ||
| + | and any involutory projective transformation of $ P _ {3} $ | ||
| + | corresponds to an involutory displacement in $ {} ^ {3} S _ {5} $. | ||
| + | For example, a null system in $ P _ {3} $ | ||
| + | corresponds to a reflection in a point and its polar hyperplane in $ {} ^ {3} S _ {5} $; | ||
| + | an involutory homology in $ P _ {3} $ | ||
| + | corresponds to a hyperbolic paratactic displacement by a half-line in $ {} ^ {3} S _ {5} $, | ||
| + | etc. Each connected component of the group of projective transformations for $ P _ {3} $ | ||
| + | corresponds to a connected component of the group of displacements for $ {} ^ {3} S _ {5} $. | ||
| − | + | 1) A collineation of $ P _ {3} $ | |
| + | with positive determinant, including the identity transformation, corresponds to a displacement in $ {} ^ {3} S _ {5} $ | ||
| + | with determinant $ + 1 $( | ||
| + | identity transformations are included here). | ||
| − | + | 2) Any correlation in $ P _ {3} $ | |
| + | with positive determinant (including the null system) corresponds to a displacement in $ {} ^ {3} S _ {5} $ | ||
| + | with determinant equal to $ - 1 $ | ||
| + | that transforms the proper and ideal domains, respectively, into themselves (including reflections in a point). | ||
| − | + | 3) Any collineation of $ P _ {3} $ | |
| + | having negative determinant corresponds to a displacement in $ {} ^ {3} S _ {5} $ | ||
| + | with determinant $ + 1 $ | ||
| + | that transforms the proper domain into the ideal domain and vice versa, and this component contains a hyperbolic displacement by a half-line. | ||
| − | The Plücker interpretation is used in research on the displacement groups for the three-dimensional non-Euclidean spaces | + | 4) Any correlation in $ P _ {3} $ |
| + | having negative determinant corresponds to a displacement in $ {} ^ {3} S _ {5} $ | ||
| + | with determinant $ - 1 $ | ||
| + | that transforms the proper domain into the ideal domain and vice versa. | ||
| + | |||
| + | The images under symmetries that correspond to one another in $ P _ {3} $ | ||
| + | and $ {} ^ {3} S _ {5} $ | ||
| + | are put into correspondence with numerical invariants, between which there are certain relationships. | ||
| + | |||
| + | The Plücker interpretation is used in research on the displacement groups for the three-dimensional non-Euclidean spaces $ S _ {3} $, | ||
| + | $ {} ^ {1} S _ {3} $ | ||
| + | and $ {} ^ {2} S _ {3} $, | ||
| + | which are isomorphic to certain subgroups of the displacement group for $ {} ^ {3} S _ {5} $. | ||
| + | There is also a relation between the groups of motions for these three-dimensional spaces (elliptic and hyperbolic) and groups of displacements of spaces of lower dimensions (see [[Fubini model|Fubini model]]; [[Kotel'nikov interpretation|Kotel'nikov interpretation]]). The Plücker interpretation is also used in examining the interpretation of the three-dimensional symplectic space $ \mathop{\rm Sp} _ {3} $ | ||
| + | in $ {} ^ {3} S _ {5} $. | ||
The Plücker interpretation was proposed by J. Plücker [[#References|[1]]]. | The Plücker interpretation was proposed by J. Plücker [[#References|[1]]]. | ||
| Line 29: | Line 90: | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> J. Plücker, "Neue Geometrie des Raumes gegründet auf die Betrachtung der geraden Linie als Raumelement" , Teubner (1868)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> B.A. Rozenfel'd, "Non-Euclidean geometry" , Moscow (1955) (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> F. Klein, "Vorlesungen über höhere Geometrie" , Springer (1926)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> J. Plücker, "Neue Geometrie des Raumes gegründet auf die Betrachtung der geraden Linie als Raumelement" , Teubner (1868)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> B.A. Rozenfel'd, "Non-Euclidean geometry" , Moscow (1955) (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> F. Klein, "Vorlesungen über höhere Geometrie" , Springer (1926)</TD></TR></table> | ||
| − | |||
| − | |||
====Comments==== | ====Comments==== | ||
| − | The quadric in | + | The quadric in $ P _ {5} $ |
| + | whose points represent the lines in $ P _ {3} $ | ||
| + | is often referred to as the Plücker quadric. | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.W.P. Hirschfeld, "Finite projective spaces of three dimensions" , Oxford Univ. Press (1985)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> B.L. van der Waerden, "Einführung in die algebraische Geometrie" , Springer (1939) pp. Chapt. 1</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> D.M.Y. Sommerville, "Analytical geometry of three dimensions" , Cambridge Univ. Press (1934)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.W.P. Hirschfeld, "Finite projective spaces of three dimensions" , Oxford Univ. Press (1985)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> B.L. van der Waerden, "Einführung in die algebraische Geometrie" , Springer (1939) pp. Chapt. 1</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> D.M.Y. Sommerville, "Analytical geometry of three dimensions" , Cambridge Univ. Press (1934)</TD></TR></table> | ||
Latest revision as of 08:06, 6 June 2020
A model that realizes the geometry of the three-dimensional projective space $ P _ {3} $
in the hyperbolic space $ {} ^ {3} S _ {5} $.
The Plücker interpretation is based on a special interpretation of the Plücker coordinates of a straight line, which are defined for any straight line in $ P _ {3} $.
Under projective transformations of $ P _ {3} $ the Plücker coordinates transform linearly; the Plücker coordinates of straight lines in $ P _ {3} $ give a one-to-one correspondence between the straight lines of $ P _ {3} $ and the points in the projective space $ P _ {5} $ whose coordinates are numerically equal to the Plücker coordinates in $ P _ {3} $.
Straight lines in $ P _ {3} $ are represented by the points of a non-singular quadric in $ P _ {5} $ of index three.
If one takes this quadric as the absolute and defines a projective (non-Euclidean) metric in $ P _ {5} $, one gets the five-dimensional hyperbolic space $ {} ^ {3} S _ {5} $. Under each collineation and correlation of $ P _ {3} $ the Plücker coordinates transform linearly, i.e. each collineation and correlation is represented by a collineation of $ P _ {5} $ that maps the absolute into itself. These collineations are thus displacements of $ {} ^ {3} S _ {5} $. The displacements of $ {} ^ {3} S _ {5} $ represent either collineations or correlations in $ P _ {3} $.
Each line complex in $ P _ {3} $ is put into correspondence with a point in $ {} ^ {3} S _ {5} $. The projective geometry of $ P _ {3} $ can be considered as a non-Euclidean geometry of $ {} ^ {3} S _ {5} $. This interpretation of the geometry of $ P _ {3} $ in $ {} ^ {3} S _ {5} $ is called the Plücker interpretation, in connection with the role of the Plücker coordinates.
If one takes a straight line as the basic object in $ P _ {3} $, the geometry of this space can be considered as the geometry on the absolute of $ {} ^ {3} S _ {5} $.
The group of projective transformations of $ P _ {3} $ is isomorphic to the group of displacements of $ {} ^ {3} S _ {5} $, and any involutory projective transformation of $ P _ {3} $ corresponds to an involutory displacement in $ {} ^ {3} S _ {5} $. For example, a null system in $ P _ {3} $ corresponds to a reflection in a point and its polar hyperplane in $ {} ^ {3} S _ {5} $; an involutory homology in $ P _ {3} $ corresponds to a hyperbolic paratactic displacement by a half-line in $ {} ^ {3} S _ {5} $, etc. Each connected component of the group of projective transformations for $ P _ {3} $ corresponds to a connected component of the group of displacements for $ {} ^ {3} S _ {5} $.
1) A collineation of $ P _ {3} $ with positive determinant, including the identity transformation, corresponds to a displacement in $ {} ^ {3} S _ {5} $ with determinant $ + 1 $( identity transformations are included here).
2) Any correlation in $ P _ {3} $ with positive determinant (including the null system) corresponds to a displacement in $ {} ^ {3} S _ {5} $ with determinant equal to $ - 1 $ that transforms the proper and ideal domains, respectively, into themselves (including reflections in a point).
3) Any collineation of $ P _ {3} $ having negative determinant corresponds to a displacement in $ {} ^ {3} S _ {5} $ with determinant $ + 1 $ that transforms the proper domain into the ideal domain and vice versa, and this component contains a hyperbolic displacement by a half-line.
4) Any correlation in $ P _ {3} $ having negative determinant corresponds to a displacement in $ {} ^ {3} S _ {5} $ with determinant $ - 1 $ that transforms the proper domain into the ideal domain and vice versa.
The images under symmetries that correspond to one another in $ P _ {3} $ and $ {} ^ {3} S _ {5} $ are put into correspondence with numerical invariants, between which there are certain relationships.
The Plücker interpretation is used in research on the displacement groups for the three-dimensional non-Euclidean spaces $ S _ {3} $, $ {} ^ {1} S _ {3} $ and $ {} ^ {2} S _ {3} $, which are isomorphic to certain subgroups of the displacement group for $ {} ^ {3} S _ {5} $. There is also a relation between the groups of motions for these three-dimensional spaces (elliptic and hyperbolic) and groups of displacements of spaces of lower dimensions (see Fubini model; Kotel'nikov interpretation). The Plücker interpretation is also used in examining the interpretation of the three-dimensional symplectic space $ \mathop{\rm Sp} _ {3} $ in $ {} ^ {3} S _ {5} $.
The Plücker interpretation was proposed by J. Plücker [1].
References
| [1] | J. Plücker, "Neue Geometrie des Raumes gegründet auf die Betrachtung der geraden Linie als Raumelement" , Teubner (1868) |
| [2] | B.A. Rozenfel'd, "Non-Euclidean geometry" , Moscow (1955) (In Russian) |
| [3] | F. Klein, "Vorlesungen über höhere Geometrie" , Springer (1926) |
Comments
The quadric in $ P _ {5} $ whose points represent the lines in $ P _ {3} $ is often referred to as the Plücker quadric.
References
| [a1] | J.W.P. Hirschfeld, "Finite projective spaces of three dimensions" , Oxford Univ. Press (1985) |
| [a2] | B.L. van der Waerden, "Einführung in die algebraische Geometrie" , Springer (1939) pp. Chapt. 1 |
| [a3] | D.M.Y. Sommerville, "Analytical geometry of three dimensions" , Cambridge Univ. Press (1934) |
Plücker interpretation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pl%C3%BCcker_interpretation&oldid=23458