Homogeneous Structure
Hyperbolic space of dimension n is a special case of a Riemannian symmetric space of noncompact type, as it is isomorphic to the quotient
The orthogonal group O(1,n) acts by norm-preserving transformations on Minkowski space R1,n, and it acts transitively on the two-sheet hyperboloid of norm 1 vectors. Timelike lines (i.e., those with positive-norm tangents) through the origin pass through antipodal points in the hyperboloid, so the space of such lines yields a model of hyperbolic n-space. The stabilizer of any particular line is isomorphic to the product of the orthogonal groups O(n) and O(1), where O(n) acts on the tangent space of a point in the hyperboloid, and O(1) reflects the line through the origin. Many of the elementary concepts in hyperbolic geometry can be described in linear algebraic terms: geodesic paths are described by intersections with planes through the origin, dihedral angles between hyperplanes can be described by inner products of normal vectors, and hyperbolic reflection groups can be given explicit matrix realizations.
In small dimensions, there are exceptional isomorphisms of Lie groups that yield additional ways to consider symmetries of hyperbolic spaces. For example, in dimension 2, the isomorphisms SO+(1,2) ≅ PSL(2,R) ≅ PSU(1,1) allow one to interpret the upper half plane model as the quotient SL(2,R)/SO(2) and the Poincaré disc model as the quotient SU(1,1)/U(1). In both cases, the symmetry groups act by fractional linear transformations, since both groups are the orientation-preserving stabilizers in PGL(2,C) of the respective subspaces of the Riemann sphere. The Cayley transformation not only takes one model of the hyperbolic plane to the other, but realizes the isomorphism of symmetry groups as conjugation in a larger group. In dimension 3, the fractional linear action of PGL(2,C) on the Riemann sphere is identified with the action on the conformal boundary of hyperbolic 3-space induced by the isomorphism O+(1,3) ≅ PGL(2,C). This allows one to study isometries of hyperbolic 3-space by considering spectral properties of representative complex matrices. For example, parabolic transformations are conjugate to rigid translations in the upper half-space model, and they are exactly those transformations that can be represented by unipotent upper triangular matrices.
Read more about this topic: Hyperbolic Geometry
Famous quotes containing the words homogeneous and/or structure:
“If we Americans are to survive it will have to be because we choose and elect and defend to be first of all Americans; to present to the world one homogeneous and unbroken front, whether of white Americans or black ones or purple or blue or green.... If we in America have reached that point in our desperate culture when we must murder children, no matter for what reason or what color, we don’t deserve to survive, and probably won’t.”
—William Faulkner (1897–1962)
“There is no such thing as a language, not if a language is anything like what many philosophers and linguists have supposed. There is therefore no such thing to be learned, mastered, or born with. We must give up the idea of a clearly defined shared structure which language-users acquire and then apply to cases.”
—Donald Davidson (b. 1917)