Erlangen program

Last updated

In mathematics, the Erlangen program is a method of characterizing geometries based on group theory and projective geometry. It was published by Felix Klein in 1872 as Vergleichende Betrachtungen über neuere geometrische Forschungen. It is named after the University Erlangen-Nürnberg, where Klein worked.

Contents

By 1872, non-Euclidean geometries had emerged, but without a way to determine their hierarchy and relationships. Klein's method was fundamentally innovative in three ways:

  • Projective geometry was emphasized as the unifying frame for all other geometries considered by him. In particular, Euclidean geometry was more restrictive than affine geometry, which in turn is more restrictive than projective geometry.
  • Klein proposed that group theory, a branch of mathematics that uses algebraic methods to abstract the idea of symmetry, was the most useful way of organizing geometrical knowledge; at the time it had already been introduced into the theory of equations in the form of Galois theory.

Later, Élie Cartan generalized Klein's homogeneous model spaces to Cartan connections on certain principal bundles, which generalized Riemannian geometry.

The problems of nineteenth century geometry

Since Euclid, geometry had meant the geometry of Euclidean space of two dimensions (plane geometry) or of three dimensions (solid geometry). In the first half of the nineteenth century there had been several developments complicating the picture. Mathematical applications required geometry of four or more dimensions; the close scrutiny of the foundations of the traditional Euclidean geometry had revealed the independence of the parallel postulate from the others, and non-Euclidean geometry had been born. Klein proposed an idea that all these new geometries are just special cases of the projective geometry, as already developed by Poncelet, Möbius, Cayley and others. Klein also strongly suggested to mathematical physicists that even a moderate cultivation of the projective purview might bring substantial benefits to them.

With every geometry, Klein associated an underlying group of symmetries. The hierarchy of geometries is thus mathematically represented as a hierarchy of these groups, and hierarchy of their invariants. For example, lengths, angles and areas are preserved with respect to the Euclidean group of symmetries, while only the incidence structure and the cross-ratio are preserved under the most general projective transformations. A concept of parallelism, which is preserved in affine geometry, is not meaningful in projective geometry. Then, by abstracting the underlying groups of symmetries from the geometries, the relationships between them can be re-established at the group level. Since the group of affine geometry is a subgroup of the group of projective geometry, any notion invariant in projective geometry is a priori meaningful in affine geometry; but not the other way round. If you remove required symmetries, you have a more powerful theory but fewer concepts and theorems (which will be deeper and more general).

Homogeneous spaces

In other words, the "traditional spaces" are homogeneous spaces; but not for a uniquely determined group. Changing the group changes the appropriate geometric language.

In today's language, the groups concerned in classical geometry are all very well known as Lie groups: the classical groups. The specific relationships are quite simply described, using technical language.

Examples

For example, the group of projective geometry in n real-valued dimensions is the symmetry group of n-dimensional real projective space (the general linear group of degree n + 1, quotiented by scalar matrices). The affine group will be the subgroup respecting (mapping to itself, not fixing pointwise) the chosen hyperplane at infinity. This subgroup has a known structure (semidirect product of the general linear group of degree n with the subgroup of translations). This description then tells us which properties are 'affine'. In Euclidean plane geometry terms, being a parallelogram is affine since affine transformations always take one parallelogram to another one. Being a circle is not affine since an affine shear will take a circle into an ellipse.

To explain accurately the relationship between affine and Euclidean geometry, we now need to pin down the group of Euclidean geometry within the affine group. The Euclidean group is in fact (using the previous description of the affine group) the semi-direct product of the orthogonal (rotation and reflection) group with the translations. (See Klein geometry for more details.)

Influence on later work

The long-term effects of the Erlangen program can be seen all over pure mathematics (see tacit use at congruence (geometry), for example); and the idea of transformations and of synthesis using groups of symmetry has become standard in physics.

When topology is routinely described in terms of properties invariant under homeomorphism, one can see the underlying idea in operation. The groups involved will be infinite-dimensional in almost all cases – and not Lie groups – but the philosophy is the same. Of course this mostly speaks to the pedagogical influence of Klein. Books such as those by H.S.M. Coxeter routinely used the Erlangen program approach to help 'place' geometries. In pedagogic terms, the program became transformation geometry, a mixed blessing in the sense that it builds on stronger intuitions than the style of Euclid, but is less easily converted into a logical system.

In his book Structuralism (1970) Jean Piaget says, "In the eyes of contemporary structuralist mathematicians, like Bourbaki, the Erlangen program amounts to only a partial victory for structuralism, since they want to subordinate all mathematics, not just geometry, to the idea of structure."

For a geometry and its group, an element of the group is sometimes called a motion of the geometry. For example, one can learn about the Poincaré half-plane model of hyperbolic geometry through a development based on hyperbolic motions. Such a development enables one to methodically prove the ultraparallel theorem by successive motions.

Abstract returns from the Erlangen program

Quite often, it appears there are two or more distinct geometries with isomorphic automorphism groups. There arises the question of reading the Erlangen program from the abstract group, to the geometry.

One example: oriented (i.e., reflections not included) elliptic geometry (i.e., the surface of an n-sphere with opposite points identified) and oriented spherical geometry (the same non-Euclidean geometry, but with opposite points not identified) have isomorphic automorphism group, SO(n+1) for even n. These may appear to be distinct. It turns out, however, that the geometries are very closely related, in a way that can be made precise.

To take another example, elliptic geometries with different radii of curvature have isomorphic automorphism groups. That does not really count as a critique as all such geometries are isomorphic. General Riemannian geometry falls outside the boundaries of the program.

Complex, dual and double (aka split-complex) numbers appear as homogeneous spaces SL(2,R)/H for the group SL(2,R) and its subgroups H=A, N, K. [1] The group SL(2,R) acts on these homogeneous spaces by linear fractional transformations and a large portion of the respective geometries can be obtained in a uniform way from the Erlangen programme.

Some further notable examples have come up in physics.

Firstly, n-dimensional hyperbolic geometry, n-dimensional de Sitter space and (n−1)-dimensional inversive geometry all have isomorphic automorphism groups,

the orthochronous Lorentz group, for n ≥ 3. But these are apparently distinct geometries. Here some interesting results enter, from the physics. It has been shown that physics models in each of the three geometries are "dual" for some models.

Again, n-dimensional anti-de Sitter space and (n−1)-dimensional conformal space with "Lorentzian" signature (in contrast with conformal space with "Euclidean" signature, which is identical to inversive geometry, for three dimensions or greater) have isomorphic automorphism groups, but are distinct geometries. Once again, there are models in physics with "dualities" between both spaces. See AdS/CFT for more details.

The covering group of SU(2,2) is isomorphic to the covering group of SO(4,2), which is the symmetry group of a 4D conformal Minkowski space and a 5D anti-de Sitter space and a complex four-dimensional twistor space.

The Erlangen program can therefore still be considered fertile, in relation with dualities in physics.

In the seminal paper which introduced categories, Saunders Mac Lane and Samuel Eilenberg stated: "This may be regarded as a continuation of the Klein Erlanger Program, in the sense that a geometrical space with its group of transformations is generalized to a category with its algebra of mappings." [2]

Relations of the Erlangen program with work of Charles Ehresmann on groupoids in geometry is considered in the article below by Pradines. [3]

In mathematical logic, the Erlangen program also served as an inspiration for Alfred Tarski in his analysis of logical notions. [4]

Related Research Articles

<span class="mw-page-title-main">Differential geometry</span> Branch of mathematics dealing with functions and geometric structures on differentiable manifolds

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

<span class="mw-page-title-main">Euclidean space</span> Fundamental space of geometry

Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension, including the three-dimensional space and the Euclidean plane. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

<span class="mw-page-title-main">Lie group</span> Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be a group, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group.

<span class="mw-page-title-main">Symmetry group</span> Group of transformations under which the object is invariant

In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient space which takes the object to itself, and which preserves all the relevant structure of the object. A frequent notation for the symmetry group of an object X is G = Sym(X).

<span class="mw-page-title-main">Group theory</span> Branch of mathematics that studies the properties of groups

In abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as groups endowed with additional operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right.

There have been several attempts in history to reach a unified theory of mathematics. Some of the most respected mathematicians in the academia have expressed views that the whole subject should be fitted into one theory.

<span class="mw-page-title-main">Projective geometry</span> Type of geometry

In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, projective space, and a selective set of basic geometric concepts. The basic intuitions are that projective space has more points than Euclidean space, for a given dimension, and that geometric transformations are permitted that transform the extra points to Euclidean points, and vice-versa.

<span class="mw-page-title-main">Affine geometry</span> Euclidean geometry without distance and angles

In mathematics, affine geometry is what remains of Euclidean geometry when ignoring the metric notions of distance and angle.

<span class="mw-page-title-main">Synthetic geometry</span>

Synthetic geometry is the study of geometry without the use of coordinates or formulae. It relies on the axiomatic method and the tools directly related to them, that is, compass and straightedge, to draw conclusions and solve problems.

<span class="mw-page-title-main">Homogeneous space</span> Topological space in group theory

In mathematics, particularly in the theories of Lie groups, algebraic groups and topological groups, a homogeneous space for a group G is a non-empty manifold or topological space X on which G acts transitively. The elements of G are called the symmetries of X. A special case of this is when the group G in question is the automorphism group of the space X – here "automorphism group" can mean isometry group, diffeomorphism group, or homeomorphism group. In this case, X is homogeneous if intuitively X looks locally the same at each point, either in the sense of isometry, diffeomorphism, or homeomorphism (topology). Some authors insist that the action of G be faithful, although the present article does not. Thus there is a group action of G on X which can be thought of as preserving some "geometric structure" on X, and making X into a single G-orbit.

<span class="mw-page-title-main">Klein quartic</span> Compact Riemann surface of genus 3

In hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact Riemann surface of genus 3 with the highest possible order automorphism group for this genus, namely order 168 orientation-preserving automorphisms, and 168 × 2 = 336 automorphisms if orientation may be reversed. As such, the Klein quartic is the Hurwitz surface of lowest possible genus; see Hurwitz's automorphisms theorem. Its (orientation-preserving) automorphism group is isomorphic to PSL(2, 7), the second-smallest non-abelian simple group after the alternating group A5. The quartic was first described in (Klein 1878b).

In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the geometry of the principal bundle is tied to the geometry of the base manifold using a solder form. Cartan connections describe the geometry of manifolds modelled on homogeneous spaces.

<span class="mw-page-title-main">Moving frame</span> Generalization of an ordered basis of a vector space

In mathematics, a moving frame is a flexible generalization of the notion of an ordered basis of a vector space often used to study the extrinsic differential geometry of smooth manifolds embedded in a homogeneous space.

<span class="mw-page-title-main">Symmetric space</span> A (pseudo-)Riemannian manifold whose geodesics are reversible.

In mathematics, a symmetric space is a Riemannian manifold whose group of symmetries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, leading to consequences in the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in differential geometry, representation theory and harmonic analysis.

In mathematics, a Klein geometry is a type of geometry motivated by Felix Klein in his influential Erlangen program. More specifically, it is a homogeneous space X together with a transitive action on X by a Lie group G, which acts as the symmetry group of the geometry.

<span class="mw-page-title-main">Space (mathematics)</span> Mathematical set with some added structure

In mathematics, a space is a set with some added structure.

<span class="mw-page-title-main">Motion (geometry)</span> Transformation of a geometric space preserving structure

In geometry, a motion is an isometry of a metric space. For instance, a plane equipped with the Euclidean distance metric is a metric space in which a mapping associating congruent figures is a motion. More generally, the term motion is a synonym for surjective isometry in metric geometry, including elliptic geometry and hyperbolic geometry. In the latter case, hyperbolic motions provide an approach to the subject for beginners.

<span class="mw-page-title-main">Symmetry (geometry)</span>

In geometry, an object has symmetry if there is an operation or transformation that maps the figure/object onto itself. Thus, a symmetry can be thought of as an immunity to change. For instance, a circle rotated about its center will have the same shape and size as the original circle, as all points before and after the transform would be indistinguishable. A circle is thus said to be symmetric under rotation or to have rotational symmetry. If the isometry is the reflection of a plane figure about a line, then the figure is said to have reflectional symmetry or line symmetry; it is also possible for a figure/object to have more than one line of symmetry.

References

  1. Kisil, Vladimir V. (2012). Geometry of Möbius transformations. Elliptic, parabolic and hyperbolic actions of SL(2,R). London: Imperial College Press. p. xiv+192. doi:10.1142/p835. ISBN   978-1-84816-858-9.
  2. S. Eilenberg and S. Mac Lane, A general theory of natural equivalences, Trans. Amer. Math. Soc., 58:231–294, 1945. (p. 237); the point is elaborated in Jean-Pierre Marquis (2009), From a Geometrical Point of View: A Study of the History of Category Theory, Springer, ISBN   978-1-4020-9383-8
  3. Jean Pradines, In Ehresmann's footsteps: from group geometries to groupoid geometries (English summary) Geometry and topology of manifolds, 87–157, Banach Center Publ., 76, Polish Acad. Sci., Warsaw, 2007.
  4. Luca Belotti, Tarski on Logical Notions, Synthese, 404-413, 2003.
Covers the work of Lie, Klein and Cartan. On p. 139 Guggenheimer sums up the field by noting, "A Klein geometry is the theory of geometric invariants of a transitive transformation group (Erlangen program, 1872)".
An English translation by Mellen Haskell appeared in Bull. N. Y. Math. Soc 2 (1892–1893): 215–249.
The original German text of the Erlangen program can be viewed at the University of Michigan online collection at , and also at in HTML format.
A central information page on the Erlangen program maintained by John Baez is at .
(translation of Elementarmathematik vom höheren Standpunkte aus, Teil II: Geometrie, pub. 1924 by Springer). Has a section on the Erlangen program.