Cadre qui caractérise et classe les géométries par leurs groupes de symétrie : une géométrie est définie comme l'étude des propriétés invariantes sous un groupe donné de transformations agissant sur un espace, de sorte que des choix différents de groupes de transformations produisent des géométries distinctes.

Principe

Remplacer une notion a priori d'espace par la paire (espace, groupe de transformations) ; les invariants du groupe déterminent les objets et relations géométriques significatifs, ainsi la géométrie se réduit à la théorie des groupes et à la théorie des invariants.

Démonstration

La géométrie euclidienne provient du groupe des isométries de R^n (préservant les distances) ; la géométrie projective provient du groupe linéaire projectif agissant sur l'espace projectif ; la géométrie conforme concerne le groupe préservant les angles. La comparaison des groupes explique quelles notions (distance, angle, incidence) sont conservées.

Mauvaise application

Interpréter le programme d'Erlangen comme prescrivant des informations métriques lorsque le groupe de symétrie choisi ne les détermine pas, ou confondre topologie globale et classification par symétrie locale, constitue un mauvais usage ; de même, supposer que tous les problèmes géométriques se réduisent aux seuls invariants de groupe ignore les données analytiques ou locales de courbure.

Conséquence

Fournit un langage unificateur pour comparer les géométries, établir des constructions invariantes et classer les géométries homogènes par la structure de leurs sous-groupes ; il oriente la construction de modèles en géométrie et la recherche de quantités invariantes.

Inversion

Une inversion met l'accent sur les invariants différentiels locaux (programme de Riemann) : au lieu de partir d'un groupe de transformations global, on se concentre sur les tenseurs métriques locaux et les invariants de courbure qui peuvent ne pas être capturés par un seul groupe de symétrie global.

Limite

S'applique principalement aux géométries homogènes ou fondées sur une action de groupe distinguée ; il est moins prescriptif pour les problèmes où la structure analytique locale, les singularités ou les invariants combinatoires/topologiques priment.

Tension sémantique

Tension entre la vision globale centrée sur la symétrie de Klein et la perspective locale métrique/de courbure de Riemann ; certaines structures se comprennent mieux comme invariants de groupe, d'autres requièrent une analyse locale différentiable.

Synthèse

Le programme d'Erlangen organise la géométrie par la symétrie : choisir un groupe de transformations agissant sur un espace et étudier les structures qui lui sont invariantes, classant ainsi les types de géométrie selon leurs symétries admissibles et les notions invariantes qui subsistent.