Cayley–Klein metric

977 VIEWS

Foundations

Cross ratio and distance

Normal forms of the absolute

Cayley–Klein metric

In mathematics, a Cayley–Klein metric is a metric on the complement of a fixed quadric in a projective space which is defined using a cross-ratio. The construction originated with Arthur Cayley's essay "On the theory of distance"^[1] where he calls the quadric the absolute. The construction was developed in further detail by Felix Klein in papers in 1871 and 1873, and subsequent books and papers.^[2] The Cayley–Klein metrics are a unifying idea in geometry since the method is used to provide metrics in hyperbolic geometry, elliptic geometry, and Euclidean geometry. The field of non-Euclidean geometry rests largely on the footing provided by Cayley–Klein metrics.

Foundations

The algebra of throws by Karl von Staudt (1847) is an approach to geometry that is independent of metric. The idea was to use the relation of projective harmonic conjugates and cross-ratios as fundamental to the measure on a line.^[3] Another important insight was the Laguerre formula by Edmond Laguerre (1853), who showed that the Euclidean angle between two lines can be expressed as the logarithm of a cross-ratio.^[4] Eventually, Cayley (1859) formulated relations to express distance in terms of a projective metric, and related them to general quadrics or conics serving as the absolute of the geometry.^[5]^[6] Klein (1871, 1873) removed the last remnants of metric concepts from von Staudt's work and combined it with Cayley's theory, in order to base Cayley's new metric on logarithm and the cross-ratio as a number generated by the geometric arrangement of four points.^[7] This procedure is necessary to avoid a circular definition of distance if cross-ratio is merely a double ratio of previously defined distances.^[8] In particular, he showed that non-Euclidean geometries can be based on the Cayley–Klein metric.^[9]

Cayley–Klein geometry is the study of the group of motions that leave the Cayley–Klein metric invariant. It depends upon the selection of a quadric or conic that becomes the absolute of the space. This group is obtained as the collineations for which the absolute is stable. Indeed, cross-ratio is invariant under any collineation, and the stable absolute enables the metric comparison, which will be equality. For example, the unit circle is the absolute of the Poincaré disk model and the Beltrami–Klein model in hyperbolic geometry. Similarly, the real line is the absolute of the Poincaré half-plane model.

The extent of Cayley–Klein geometry was summarized by Horst and Rolf Struve in 2004:^[10]

There are three absolutes in the real projective line, seven in the real projective plane, and 18 in real projective space. All classical non-euclidean projective spaces as hyperbolic, elliptic, Galilean and Minkowskian and their duals can be defined this way.

Cayley-Klein Voronoi diagrams are affine diagrams with linear hyperplane bisectors.^[11]

Cross ratio and distance

Suppose that Q is a fixed quadric in projective space that becomes the absolute of that geometry. If a and b are 2 points then the line through a and b intersects the quadric Q in two further points p and q. The Cayley–Klein distance d(a,b) from a to b is proportional to the logarithm of the cross-ratio:^[12]

for some fixed constant C.

When C is real, it represents the hyperbolic distance of hyperbolic geometry, when imaginary it relates to elliptic geometry. The absolute can also be expressed in terms of arbitrary quadrics or conics having the form in homogeneous coordinates:

(where α,β=1,2,3 relates to the plane and α,β=1,2,3,4 to space), thus:^[13]

The corresponding hyperbolic distance is (with C=1/2 for simplification):^[14]

or in elliptic geometry (with C=i/2 for simplification)^[15]

Normal forms of the absolute

Anyquadric(or surface of second order) with real coefficients of the formcan be transformed into normal or canonical forms in terms of sums of squares, while the difference in the number of positive and negative signs doesn't change under a real homogeneous transformation of determinant ≠0 bySylvester's law of inertia, with the following classification ("zero-part" means real equation of the quadric, but no real points):^[16]

I. Proper surfaces of second order.

. Zero-part surface.

.Ovalsurface.

a)Ellipsoid

b) Ellipticparaboloid

c) Two-sheethyperboloid

. Ring surface.

a) One-sheet hyperboloid

b) Hyperbolic paraboloid

II. Conic surfaces of second order.

. Zero-part cone.

a) Zero-partcone

b) Zero-partcylinder

. Ordinary cone.

a) Cone

b) Elliptic cylinder

c) Parabolic cylinder

d) Hyperbolic cylinder

III. Plane pairs.

. Conjugate imaginary plane pairs.

a) Mutually intersecting imaginary planes.

b) Parallel imaginary planes.

. Real plane pairs.

a) Mutually intersecting planes.

b) Parallel planes.

c) One plane is finite, the other one infinitely distant, thus not existent from the affine point of view.

IV. Double counting planes.

a) Double counting finite plane.

b) Double counting infinitely distant plane, not existent in affine geometry.

Thecollineationsleaving invariant these forms can be related tolinear fractional transformationsorMöbius transformations.^[17] Such forms and their transformations can now be applied to several kinds of spaces, which can be unified by using a parameter ε (where ε=0 for Euclidean geometry, ε=1 for elliptic geometry, ε=-1 for hyperbolic geometry), so that the equation in the plane becomes^[18] and in space.^[19] For instance, the absolute for the Euclidean plane can now be represented by.^[20]

The elliptic plane or space is related to zero-part surfaces in homogeneous coordinates:^[21]

or using inhomogeneous coordinatesby which the absolute becomes the imaginary unit circle or unit sphere:^[22]

or expressing the homogeneous coordinates in terms of the condition(Weierstrass coordinates) the distance simplifies to:^[23]

The hyperbolic plane or space is related to the oval surface in homogeneous coordinates:^[24]

or using inhomogeneous coordinatesby which the absolute becomes the unit circle or unit sphere:^[25]

or expressing the homogeneous coordinates in terms of the condition(Weierstrass coordinates of thehyperboloid model) the distance simplifies to:^[26]

Special relativity

In his lectures on the history of mathematics from 1919/20, published posthumously 1926, Klein wrote:^[27]

The casein the four-dimensional world or(to remain in three dimensions and usehomogeneous coordinates) has recently won special significance through therelativity theoryof physics.

That is, the absolutesorin hyperbolic geometry (as discussed above), correspond to the intervalsorinspacetime, and its transformation leaving the absolute invariant can be related toLorentz transformations. Similarly, the equations of the unit circle or unit sphere in hyperbolic geometry correspond to physical velocitiesorin relativity, which are bounded by thespeed of lightc, so that for any physical velocity v, the ratio v/c is confined to the interior of a unit sphere, and the surface of the sphere forms the Cayley absolute for the geometry.

Additional details about the relation between the Cayley–Klein metric for hyperbolic space and Minkowski space of special relativity were pointed out by Klein in 1910,^[28] as well as in the 1928 edition of his lectures on non-Euclidean geometry.^[29]

Affine CK-geometry

In 2008 Horst Martini and Margarita Spirova generalized the first of Clifford's circle theorems and other Euclidean geometry using affine geometry associated with the Cayley absolute:

If the absolute contains a line, then one obtains a subfamily of affine Cayley-Klein geometries. If the absolute consists of a line f and a point F on f, then we have the isotropic geometry. An isotropic circle is a conic touching f at F.^[30]

Use homogeneous coordinates (x,y,z). Line f at infinity is z = 0. If F = (0,1,0), then a parabola with diameter parallel to y-axis is an isotropic circle.

Let P = (1,0,0) and Q = (0,1,0) be on the absolute, so f is as above. A rectangular hyperbola in the (x,y) plane is considered to pass through P and Q on the line at infinity. These curves are the pseudo-Euclidean circles.

The treatment by Martini and Spirova uses dual numbers for the isotropic geometry and split-complex numbers for the pseudo-Euclidean geometry. These generalized complex numbers associate with their geometries as ordinary complex numbers do with Euclidean geometry.

History

Cayley

The question recently arose in conversation whether a dissertation of 2 lines could deserve and get a Fellowship. ... Cayley's projective definition of length is a clear case if we may interpret "2 lines" with reasonable latitude. ... With Cayley the importance of the idea is obvious at first sight. Littlewood (1986, pp. 39–40)

Arthur Cayley (1859) defined the "absolute" upon which he based his projective metric as a general equation of a surface of second degree in terms of homogeneous coordinates:^[1]

The distance between two points is then given by

In two dimensions

with the distance

of which he discussed the special casewith the distance

He also alluded to the case(unit sphere).

Klein

Felix Klein (1871) reformulated Cayley's expressions as follows: He wrote the absolute (which he called fundamental conic section) in terms of homogeneous coordinates:^[31]

and by forming the absolutesandfor two elements, he defined the metrical distance between them in terms of the cross ratio:

In the plane, the same relations for metrical distances hold, except thatandare now related to three coordinateseach. As fundamental conic section he discussed the special case, which relates to hyperbolic geometry when real, and to elliptic geometry when imaginary.^[32] The transformations leaving invariant this form represent motions in the respective non–Euclidean space. Alternatively, he used the equation of the circle in the form, which relates to hyperbolic geometry whenis positive (Beltrami–Klein model) or to elliptic geometry whenis negative.^[33] In space, he discussed fundamental surfaces of second degree, according to which imaginary ones refer to elliptic geometry, real and rectilinear ones correspond to a one-sheethyperboloidwith no relation to one of the three main geometries, while real and non-rectilinear ones refer to hyperbolic space.

In his 1873 paper he pointed out the relation between the Cayley metric and transformation groups.^[34] In particular, quadratic equations with real coefficients, corresponding to surfaces of second degree, can be transformed into a sum of squares, of which the difference between the number of positive and negative signs remains equal (this is now called Sylvester's law of inertia). If the sign of all squares is the same, the surface is imaginary with positive curvature. If one sign differs from the others, the surface becomes an ellipsoid or two-sheet hyperboloid with negative curvature.

In the first volume of his lectures on Non-Euclidean geometry in the winter semester 1889/90 (published 1892/1893), he discussed the Non-Euclidean plane, using these expressions for the absolute:^[35]

and discussed their invariance with respect to collineations and Möbius transformations representing motions in Non-Euclidean spaces.

In the second volume containing the lectures of the summer semester 1890 (also published 1892/1893), Klein discussed Non-Euclidean space with the Cayley metric^[36]

and went on to show that variants of this quaternary quadratic form can be brought into one of the following five forms by real linear transformations^[37]

The formwas used by Klein as the Cayley absolute of elliptic geometry,^[38] while to hyperbolic geometry he relatedand alternatively the equation of the unit sphere.^[39] He eventually discussed their invariance with respect to collineations and Möbius transformations representing motions in Non-Euclidean spaces.

Robert Frickeand Klein summarized all of this in the introduction to the first volume of lectures onautomorphic functionsin 1897, in which they usedas the absolute in plane geometry, andas well asfor hyperbolic space.^[40] Klein's lectures on non-Euclidean geometry were posthumously republished as one volume and significantly edited by Walther Rosemann in 1928.^[41] An historical analysis of Klein's work on non-Euclidean geometry was given by A’Campo and Papadopoulos (2014).^[9]