Une structure est dite homogène (souvent ultrahomogène) si tout isomorphisme entre ses sous-structures finies s'étend en un automorphisme de la structure entière. Autrement dit, les motifs finis présents dans la structure peuvent être déplacés partout par des symétries globales.

Principe

L'idée organisatrice est l'extensibilité des symétries locales : les isomorphismes locaux ne rencontrent pas d'obstacle et peuvent se réaliser globalement. Cela rend le groupe des automorphismes fortement transitif sur les configurations finies et détermine souvent la structure par son âge (la classe des sous-structures finies).

Démonstration

Le graphe aléatoire dénombrable (graphe de Rado) est homogène : tout isomorphisme entre deux sous-graphes induits finis s'étend en un automorphisme du graphe entier, ce qui explique sa forte symétrie et son unicité parmi les graphes dénombrables satisfaisant la propriété d'extension.

Mauvaise application

Prétendre à l'homogénéité sans l'hypothèse sur les sous-structures finies (par exemple, affirmer que des isomorphismes partiels entre sous-structures infinies s'étendent) ou confondre l'homogénéité modélothétique avec des notions plus faibles comme la vertex-transitivité conduit à des conclusions erronées sur l'extensibilité et la symétrie.

Conséquence

L'homogénéité réelle implique une forte régularité structurelle : classification via les limites de Fraïssé, groupes d'automorphismes riches, et arguments back-and-forth contrôlables qui produisent des résultats d'unicité et d'universalité pour les modèles dénombrables d'un âge donné.

Inversion

L'opposé est la rigidité : une structure dont l'unique automorphisme est l'identité ou dont les isomorphismes locaux ne s'étendent pas. La rigidité met en évidence la perte de symétries globales et empêche généralement les constructions par amalgamation.

Limite

L'homogénéité est une propriété d'extension finitaire : elle concerne les isomorphismes de sous-structures finies et n'implique pas automatiquement l'extension d'isomorphismes partiels arbitraires, la catégoricité ou la saturation. Il existe des formes graduées (k-homogénéité, ultrahomogénéité) et l'homogénéité peut échouer en contextes non dénombrables sans hypothèses supplémentaires.

Tension sémantique

Il y a une tension entre l'homogénéité en tant que propriété combinatoire d'extension et d'autres notions d'homogénéité modélothétique (par exemple la saturation ou l'homogénéité relative aux types) : une structure peut être ultrahomogène pour les sous-structures finies sans être saturée, et inversement.

Synthèse

Une structure homogène est celle dont les symétries locales finies s'étendent globalement, la rendant maximement symétrique pour les motifs finis ; cette propriété finie-vers-globale sous-tend de nombreuses constructions canoniques et résultats de classification en théorie des modèles et en combinatoire.