Transformation Groups and Erlangen Program - Core Definitions

Klein's Erlangen Program (1872) revolutionized geometry by classifying geometric theories through their transformation groups. A geometry is characterized by the properties invariant under a specified group of transformations.

DefinitionKlein's Erlangen Program

A geometry consists of a space $X$ and a group $G$ acting on $X$ . The geometric properties are those invariant under $G$ -actions. Different choices of $(X, G)$ yield different geometries:

Euclidean: $(E^n, E(n))$ — isometries preserve distances and angles
Affine: $(A^n, \text{Aff}(n))$ — affine maps preserve collinearity and ratios
Projective: $(\mathbb{P}^n, PGL(n))$ — projectivities preserve cross-ratios
Conformal: $(S^n, \text{Conf}(n))$ — conformal maps preserve angles

This perspective unifies diverse geometric theories under a common algebraic framework. Properties are classified by which transformation groups preserve them, revealing hierarchical relationships among geometries.

DefinitionGroup Action

A group action of $G$ on space $X$ is a homomorphism $\rho: G \to \text{Aut}(X)$ such that:

Identity: $\rho(e)(x) = x$ for all $x \in X$
Compatibility: $\rho(g_1 g_2)(x) = \rho(g_1)(\rho(g_2)(x))$

Actions can be transitive (one orbit), free (no fixed points except identity), or effective (only identity acts trivially).

ExampleHierarchy of Geometries

Transformation groups form a hierarchy via subgroup inclusions:

O(n) \subset E(n) \subset \text{Aff}(n) \subset PGL(n)

Each geometry refines the next: Euclidean geometry is more restrictive than affine, which is more restrictive than projective. Properties preserved by larger groups are more fundamental.

Remark

The Erlangen Program influenced 20th-century mathematics profoundly. It motivated:

Lie group theory: Studying continuous transformation groups
Differential geometry: Geometries with local symmetry groups
Physics: Gauge theories as geometries with symmetry groups
Algebraic topology: Homotopy and homology as algebraic invariants

Felix Klein showed that classical geometries emerge from choosing appropriate transformation groups, providing a unified conceptual framework that clarified relationships and inspired new geometric theories.