Principe de classification en théorie des modèles géométriques affirmant qu'un ensemble fortement minimal s'inscrit dans exactement l'une des trois géométries prototypes : désintégré (trivial), de type espace vecteur (localement modulaire) ou de type corps (interprétant un corps algébriquement clos). C'est une alternative structurelle pour les ensembles fortement minimaux.

Principe

Organiser les ensembles fortement minimaux selon la nature de leur dépendance algébrique/géométrique : soit la dépendance est triviale (pas de dépendance algébrique non triviale), soit elle est modulaire comme dans un espace vectoriel (dépendance linéaire), soit elle est suffisamment riche pour retrouver des opérations de corps (type corps).

Démonstration

Scénario illustratif : les points d'un corps algébriquement clos munis de la clôture algébrique sont de type corps car on peut interpréter les opérations de corps à partir de la géométrie ; un espace vectoriel pur sur un corps de division est de type espace vecteur (localement modulaire) ; une structure fortement minimale uniaire avec seulement des points isolés est désintégrée.

Mauvaise application

Appliquer la trichotomie à des structures qui ne sont pas fortement minimales, ou la considérer comme une classification globale automatique pour des théories quelconques ; supposer que tout ensemble minimale dans une théorie instable doit satisfaire la trichotomie conduit à des erreurs.

Conséquence

Lorsqu'elle s'applique, la trichotomie fournit une distinction nette des comportements géométriques utile pour construire des coordonnées canoniques, décrire les groupes d'automorphismes et établir une théorie de la dimension ; elle permet d'appliquer l'intuition algébrique à la classification modèle-théorique.

Inversion

Le point de vue inverse consisterait à autoriser des ensembles fortement minimaux qui exhibent systématiquement un mélange des trois comportements sans appartenir intégralement à l'un d'eux, produisant des géométries hybrides ni triviales, ni modulaires, ni de type corps.

Limite

S'applique aux ensembles définissables fortement minimaux (souvent dans des contextes ω-stables ou suffisamment tames) ; elle ne prétend pas à une classification universelle de toutes les théories complètes et exclut les phénomènes minimaux multidimensionnels et de nombreux cadres instables.

Tension sémantique

Il existe une tension entre le critère de local-modularité (type espace vecteur) et le caractère de type corps : les deux expliquent la dépendance mais par des mécanismes algébriques très différents, et la décision dépend fortement de la définitions d'opérations binaires/skew.

Synthèse

La Trichotomie de Zilber regroupe trois paradigmes géométriques mutuellement exclusifs pour les ensembles fortement minimaux — trivial, modulaire-linéaire et induit par un corps — de sorte que, sous ses hypothèses, on peut lire le contenu algébrique d'une géométrie minimale et choisir les outils structurels adéquats.