Propriété de séparation en théorie des modèles : une théorie complète du premier ordre est dite simple si elle admet une notion d'indépendance (forking) bien comportée qui généralise le cas stable. Équivalemment, les théories simples excluent la propriété d'arbre (TP) qui produit des motifs de forking pathologiques.

Principe

Généraliser et contrôler l'indépendance en interdisant les motifs combinatoires arborescents spécifiques qui provoquent un forking sauvage ; cela donne une relation d'indépendance satisfaisant symétrie, transitivité (sous formes appropriées), extension et caractère local dans de nombreux contextes.

Démonstration

Exemple illustratif : certaines structures relationnelles homogènes et de nombreuses théories naturelles instables mais bien comportées sont simples ; dans ces contextes le forking se comporte de manière analogue au cas stable, permettant des théorèmes d'indépendance et des analyses de base canonique adaptées au cadre simple.

Mauvaise application

Considérer la simplicité comme impliquant la stabilité, ou s'attendre à ce que tous les outils et résultats de classification de la théorie stable se transfèrent mot pour mot ; présumer que la simplicité résout toute question d'indépendance sans vérifier des hypothèses locales peut mener à des affirmations structurelles incorrectes.

Conséquence

La simplicité fournit un calcul robuste d'indépendance : elle permet un calcul généralisé de forking/division, des théorèmes d'indépendance pour des types et une analyse structurelle des groupes et corps définissables dans un environnement non stable contrôlé.

Inversion

La négation (théories non simples) admet la propriété d'arbre et exhibe donc un comportement de forking chaotique avec de nombreux motifs combinatoires pathologiques, compromettant les tentatives d'élaborer un calcul d'indépendance cohérent.

Limite

Propriété des théories complètes du premier ordre concernant l'absence de la propriété d'arbre TP1 ; elle s'applique à la théorie entière (et pas seulement à des formules isolées) et n'implique pas automatiquement d'autres notions de tameness comme NIP ou NTP2, bien qu'il existe des recouvrements d'exemples.

Tension sémantique

Il existe une tension entre la simplicité et la stabilité ainsi que NIP : la simplicité généralise la stabilité d'une manière différente de NIP, si bien que certaines conséquences de la stabilité peuvent échouer dans les théories simples tandis que d'autres résultats d'indépendance subsistent ; distinguer ces cas est essentiel.

Synthèse

La simplicité isole les théories pour lesquelles le forking admet une notion d'indépendance contrôlée et respectueuse de la symétrie en interdisant les motifs arborescents à l'origine de divisions pathologiques ; c'est une ligne de partage unificatrice qui préserve de nombreux arguments de type stable tout en englobant une classe plus large de théories instables.