Résumé technique : Atlas de clôture et obstructions locales-globales dans les systèmes de clôture finis

1. Énoncé du problème

Le document traite d'un problème structurel au sein des systèmes de clôture finis : étant donné une famille finie de systèmes de clôture locaux définis sur des univers finis chevauchants (appelés « cartes »), sous quelles conditions ces systèmes locaux peuvent-ils être réalisés comme des restrictions exactes d'un opérateur de clôture global unique ?

Plus précisément, le problème recherche une réalisation conservatrice globale. Un opérateur de clôture global $D$ est une réalisation conservatrice d'un atlas local $\mathcal{A} = \{(\Sigma_\alpha, \text{cl}_\alpha)\}_{\alpha \in A}$ si, pour chaque carte $\alpha$ et pour tout ensemble de prémisses local $S \subseteq \Sigma_\alpha$, les conséquences globales restreintes à l'univers local correspondent exactement aux conséquences locales :
$$D(S) \cap \Sigma_\alpha = \text{cl}_\alpha(S)$$
La question centrale est de savoir si un tel $D$ existe toujours, et si ce n'est pas le cas, quelle est l'« obstruction » spécifique qui empêche son existence. Le document distingue la simple extension (où les conséquences locales sont préservées en tant que sous-ensembles des conséquences globales) de la réalisation conservatrice (où aucune nouvelle conséquence n'est introduite dans le langage local).

2. Méthodologie et cadre

Le document emploie un cadre purement théorique de la clôture et de l'ordre, évitant la machinerie topologique ou de la théorie des faisceaux malgré l'utilisation d'une terminologie analogue (« atlas », « local-vers-global », « collage »). La méthodologie procède par travers des constructions par couches :

A. Espaces de vérité indexés

Pour interpréter les données de clôture, le document introduit des espaces de vérité indexés. Un espace de vérité indexé $\mathcal{X} = (\Sigma, \text{cl}, I, \tau)$ sélectionne une famille finie de théories fermées (indices) et représente chaque élément $\phi$ par sa région de vérité $V_\mathcal{X}(\phi) = \{i \in I : \phi \in \tau(i)\}$.

• Correction (Soundness) : La conséquence de clôture ($S \vdash \phi$) implique toujours l'inclusion de régions de vérité ($V_\mathcal{X}(S) \subseteq V_\mathcal{X}(\phi)$).
• Complétude (Completeness) : La réciproque est vraie si et seulement si l'ensemble d'indexation inclut toutes les théories fermées (l'espace de vérité indexé « complet »).
• Conséquences spécieuses : Le document démontre que les espaces indexés réduits (omettant certaines théories fermées) peuvent créer des « conséquences de région spécieuses » où l'inclusion de régions est vérifiée mais où la conséquence de clôture ne l'est pas, en raison de la perte de témoins séparateurs.

B. Décompositions de décision

Le document introduit une couche de comptabilité pour les opposés formels ($\bar{a}$). Sans supposer de règles de négation logique, il décompose l'ensemble d'indexation en quatre régions pour tout élément $a$ :

1. $P_a$ : Indices contenant $a$ mais pas $\bar{a}$.
2. $N_a$ : Indices contenant $\bar{a}$ mais pas $a$.
3. $B_a$ : Indices contenant les deux.
4. $U_a$ : Indices ne contenant aucun des deux.
   Cette décomposition est purement structurelle et ne présuppose ni cohérence ni explosion, à moins qu'elles ne soient explicitement imposées.

C. Atlas de clôture et propagation

La construction centrale est l'atlas de clôture fini $\mathcal{A}$. Le document définit un opérateur d'étape d'atlas $G_\mathcal{A}$ qui propage les clôtures locales à travers les chevauchements :
$$G_\mathcal{A}(X) = X \cup \bigcup_{\alpha \in A} \text{cl}_\alpha(X \cap \Sigma_\alpha)$$
En itérant cet opérateur monotone sur un univers fini, le processus se stabilise vers un point fixe, définissant la clôture générée par l'atlas $C_\mathcal{A}$. Cet opérateur est prouvé être le plus petit opérateur de clôture global étendant toutes les clôtures de cartes locales.

3. Contributions clés et résultats

A. Le critère d'obstruction local-vers-global

Le résultat principal du document (Théorème 7.3) fournit un critère fini et exact pour l'existence d'une réalisation conservatrice globale.

• Définition de l'obstruction : Une obstruction est un triplet $(\alpha, S, \phi)$ où $S \subseteq \Sigma_\alpha$, $\phi \in \Sigma_\alpha$, et $\phi$ est une conséquence de $S$ sous la clôture globale générée par l'atlas $C_\mathcal{A}$, mais $\phi$ n'est pas une conséquence de $S$ sous la clôture locale $\text{cl}_\alpha$.
• Théorème : Un atlas de clôture fini $\mathcal{A}$ admet une réalisation conservatrice globale si et seulement si l'ensemble d'obstruction $\text{Obs}(\mathcal{A})$ est vide.
• Minimalité : Si $\text{Obs}(\mathcal{A}) = \emptyset$, la clôture générée par l'atlas $C_\mathcal{A}$ est elle-même l'unique réalisation conservatrice globale minimale. Si des obstructions existent, aucune réalisation conservatrice n'existe car toute extension globale doit contenir $C_\mathcal{A}$, et donc doit contenir les conséquences litigieuses.

B. Algorithme fini

Parce que les univers sont finis, le critère d'obstruction est directement calculable. Le document décrit un algorithme qui itère $G_\mathcal{A}$ pour chaque ensemble de prémisses local $S$ dans chaque carte $\alpha$ et vérifie l'« excès visible par la carte » ($E_{\alpha, S} = (C_\mathcal{A}(S) \cap \Sigma_\alpha) \setminus \text{cl}_\alpha(S)$).

C. Collage canonique de théories compatibles

Indépendamment du problème d'obstruction, le document prouve un théorème de collage (Théorème 8.4) pour les théories fermées localement compatibles par chevauchement. Si une famille de théories fermées locales $\{T_\alpha\}$ concorde exactement sur les chevauchements ($T_\alpha \cap \Sigma_{\alpha\beta} = T_\beta \cap \Sigma_{\alpha\beta}$), leur union canonique $T_\cup = \bigcup T_\alpha$ est fermée sous la clôture générée par l'atlas $C_\mathcal{A}$ et se restreint exactement à chaque $T_\alpha$. Ce résultat est vrai indépendamment de l'existence d'obstructions dans le système.

D. Extension conservatrice et produit tiré

Le document établit que pour les espaces de vérité indexés complets, une extension conservatrice de systèmes de clôture correspond à un produit tiré exact des régions de vérité le long de la carte de réduction. Cela fait le pont entre la théorie de la représentation à système unique et le cadre de l'atlas multi-cartes.

4. Signification et portée

Le document revendique une importance en tant que contribution finie, structurelle et de la théorie de la clôture.

• Modestie des prétentions : Les auteurs déclarent explicitement que les résultats ne dépendent pas de thèses philosophiques concernant la nature de la vérité, de la négation ou de la logique classique. Les termes « vérité », « théorie » et « opposé » sont utilisés comme des interprétations des données sous-jacentes de l'ordre.
• Distinction par rapport aux travaux existants : Le cadre est distinct de la logique algébrique abstraite (aucune algébrabilité n'est étudiée), de la théorie des dépendances de bases de données (pas de minimisation de bases d'implication) et de la théorie des faisceaux (aucune hypothèse topologique). Il se concentre strictement sur la combinatoire de la propagation de clôture finie.
• Limites : Les résultats sont strictement finis. Les univers infinis ou les atlas infinis ne sont pas abordés. Le document ne propose pas une nouvelle logique ou un remplacement des fondements classiques, mais offre un langage mathématique spécifique pour analyser la propagation locale-vers-globale dans les systèmes de clôture.
• Travaux futurs : Le document identifie les « complétions conservatrices » (trouver des réalisations globales non canoniques qui ajoutent des conséquences de prémisses mixtes invisibles pour les cartes uniques) comme une direction pour de futures recherches, distincte de l'analyse canonique de l'obstruction présentée ici.

En résumé, le document fournit une condition rigoureuse et calculable pour déterminer quand un ensemble de règles logiques (ou de clôture) locales peut être fusionné de manière cohérente en un système global sans générer de conséquences locales involontaires, en identifiant précisément l'échec structurel (l'obstruction) lorsque cette fusion est impossible.