Ein Klassifikationsprinzip der geometrischen Modelltheorie, das behauptet, dass eine stark minimale Struktur (oder ein stark minimales Mengenobjekt) genau einem von drei archetypischen Geometrien entspricht: disintegriert (triviaal), vektorraumähnlich (lokal-modular) oder feldähnlich (Interpretation eines algebraisch abgeschlossenen Körpers). Es ist als strukturelle Alternative für stark minimale Mengen formuliert.

Prinzip

Ordne stark minimale Mengen nach der Art ihrer algebraischen/Abhängigkeitsgeometrie: Entweder ist Abhängigkeit trivial (keine nichttriviale algebraische Abhängigkeit), modular wie in einem Vektorraum (lineare Abhängigkeit), oder reich genug, um Körperoperationen wiederherzustellen (feldähnlich).

Demonstration

Beispiel: Die Punktmenge eines algebraisch abgeschlossenen Körpers mit algebraischem Abschlussverhältnis ist feldähnlich, weil man Körperoperationen aus der Geometrie interpretieren kann; ein reiner Vektorraum über einem Schiefkörper ist vektorraumähnlich (lokal-modular); eine stark minimale einstellige Struktur mit isolierten Punkten ist disintegriert.

Fehlanwendung

Die Trichotomie auf nicht-stark-minimale Strukturen anwenden oder sie als automatische globale Klassifikation für beliebige Theorien ansehen; anzunehmen, dass jede minimal-ähnliche definierbare Menge in einer instabilen Theorie der Trichotomie gehorcht, führt zu falschen Schlüssen.

Konsequenz

Wenn anwendbar, liefert die Trichotomie eine klare Einordnung des geometrischen Verhaltens, die beim Aufbau kanonischer Koordinaten, der Beschreibung von Automorphismengruppen und der Dimensionstheorie hilfreich ist; sie ermöglicht die Übertragung algebraischer Intuition auf die modelltheoretische Klassifikation.

Umkehrung

Die Umkehrung wäre, stark minimale Mengen zuzulassen, die systematisch Mischformen der drei Verhaltensweisen zeigen, ohne vollständig in eine zu fallen, und damit hybride Geometrien erzeugen, die weder trivial noch modular noch feldähnlich sind.

Abgrenzung

Gilt für stark minimale definierbare Mengen (häufig in ω-stabilen oder ausreichend tamen Kontexten); beansprucht keine universelle Klassifikation für alle vollständigen Theorien und schließt mehrdimensionale minimale Phänomene und viele instabile Rahmen aus.

Semantische Spannung

Es besteht Spannung zwischen dem Lokal-Modularitätskriterium (vektorraumähnlich) und Feldähnlichkeit: Beides erklärt Abhängigkeit, jedoch durch sehr unterschiedliche algebraische Mechanismen; die Einordnung ist empfindlich gegenüber der Definierbarkeit binärer/Schiefoperationen.

Synthese

Die Zilber-Trichotomie fasst drei sich gegenseitig ausschließende geometrische Paradigmen für stark minimale Mengen zusammen — trivial, modular-linear und durch einen Körper induziert — so dass unter ihren Voraussetzungen der algebraische Gehalt einer minimalen Geometrie ablesbar und passende strukturelle Werkzeuge auswählbar sind.