Un principe de clasificación en teoría de modelos geométrica que afirma que un conjunto fuertemente minimal debe pertenecer exactamente a una de tres geometrías arquetípicas: desintegrado (trivial), similar a espacio vectorial (localmente modular) o de tipo cuerpo (interpretando un cuerpo algebraicamente cerrado). Es una alternativa estructural para conjuntos fuertemente minimales.

Principio

Organizar los conjuntos fuertemente minimales por la naturaleza de su dependencia algebraica/geometría de dependencia: dependencia trivial (sin dependencia algebraica no trivial), modular como en un espacio vectorial (dependencia lineal) o lo bastante rica para recuperar operaciones de cuerpo (tipo cuerpo).

Demostración

Escenario ilustrativo: el conjunto de puntos de un cuerpo algebraicamente cerrado con clausura algebraica es de tipo cuerpo porque se pueden interpretar las operaciones de cuerpo desde la geometría; un espacio vectorial puro sobre un anillo divisionario es similar a espacio vectorial (localmente modular); una estructura fuertemente minimal unaria con solo puntos aislados es desintegrada.

Aplicación incorrecta

Aplicar la tricotomía a estructuras que no son fuertemente minimales, o considerarla una clasificación global automática para teorías arbitrarias; asumir que todo conjunto mínimal en una teoría inestable debe obedecer la tricotomía conduce a conclusiones erróneas.

Consecuencia

Cuando es aplicable, la tricotomía ofrece una distinción clara de comportamientos geométricos que guía la construcción de coordenadas canónicas, grupos de automorfismos y teoría de la dimensión; permite transferir la intuición algebraica a la clasificación modelo-teórica.

Inversión

El punto de vista inverso permitiría conjuntos fuertemente minimales que muestren sistemáticamente mezclas de los tres comportamientos sin caer totalmente en ninguno, produciendo geometrías híbridas que no son ni triviales, ni modulares, ni de tipo cuerpo.

Límite

Se aplica a conjuntos definibles fuertemente minimales (a menudo en contextos ω-estables o suficientemente «tames»); no reclama una clasificación universal para todas las teorías completas y excluye fenómenos minimales multidimensionales y muchos marcos inestables.

Tensión semántica

Hay tensión entre el criterio de local-modularidad (similar a espacio vectorial) y el carácter de tipo cuerpo: ambos explican dependencia pero por mecanismos algebraicos muy distintos, y decidir de qué lado cae una geometría depende finamente de la definibilidad de operaciones binarias/ sesgadas.

Síntesis

La Tricotomía de Zilber empaqueta tres paradigmas geométricos mutuamente exclusivos para conjuntos fuertemente minimales — trivial, modular-lineal e inducido por cuerpo — de modo que, cuando sus hipótesis se cumplen, puede leerse el contenido algebraico de una geometría mínima y elegir las herramientas estructurales apropiadas.