What is Connectivity?

Titre : Qu'est-ce que la connectivité ?
Auteurs : Jean F. Du Plessis, Zurab Janelidze et Bernardus A. Wessels
Source : MIT-CTP/5835 (arXiv:2501.19226v2)

Énoncé du problème

L'article traite du besoin d'une théorie unifiée et générale de la connectivité englobant à la fois les contextes ensemblistes et sans points. Alors que la topologie sans points généralise les espaces topologiques en cadres (treillis complets), les théories générales existantes de la connectivité restent largement basées sur l'approche ensembliste, traitant les objets connectés comme des sous-ensembles d'un ensemble donné. Bien que R. Börger ait proposé une théorie catégorielle de la connectivité et que J. Serra ait introduit une approche sans points utilisant des treillis généraux (motivée par l'imagerie numérique), un cadre complet permettant de comparer et de classifier systématiquement diverses notions de connectivité (telles que la connectivité des graphes, la connectivité par chemins et la $k$-connectivité) au sein d'une seule structure de treillis faisait défaut. Les auteurs visent à établir une taxonomie fondatrice pour la connectivité qui ne repose pas sur la machinerie catégorielle plus large de Börger, mais la spécialise aux ensembles partiellement ordonnés (posets).

Méthodologie

Les auteurs développent une théorie ancrée dans le concept de treillis de connectivité, défini comme une paire $(L, \mathcal{C})$, où $L$ est un treillis complet et $\mathcal{C} \subseteq L$ est un sous-ensemble d'« éléments connectés ». La méthodologie procède selon les étapes suivantes :

1. Définition axiomatique : Les auteurs imposent un seul axiome à $(L, \mathcal{C})$ : tout élément connecté inférieur à un élément $x \in L$ doit être inférieur à un unique élément connecté maximal inférieur à $x$. Cela garantit que chaque élément peut être décomposé en « composantes connexes ».
2. Connexions de Galois : Ils analysent la structure via une connexion de Galois (désignée comme une adjonction de connectivité) entre le treillis $L$ et le poset $D(\mathcal{C})$ des sous-ensembles « totalement déconnectés par mailles » de $\mathcal{C}$. Le foncteur adjoint à gauche applique à un ensemble sa borne supérieure, tandis que le foncteur adjoint à droite applique à un élément son ensemble de composantes connexes.
3. Introduction des chainmails : Les auteurs introduisent le concept de chainmail, un poset où tout sous-ensemble « connecté par mailles » possède une borne supérieure. Une « maille » est un ensemble non vide d'éléments ayant une borne inférieure commune ; un ensemble est connecté par mailles si deux quelconques de ses éléments peuvent être reliés par une séquence de mailles se chevauchant.
4. Classification taxonomique : En faisant varier les propriétés de l'adjonction de connectivité (par exemple, si elle est un isomorphisme, si elle préserve des éléments spécifiques comme l'élément bottom, ou si elle satisfait des conditions de fermeture spécifiques), les auteurs classent différents types de treillis de connectivité (par exemple, noyau, typique, Serra, séparé, absolu).

Contributions et résultats clés

1. Le concept de chainmails et la propriété (C)
L'article définit un chainmail comme un poset où tout sous-ensemble connecté par mailles possède une borne supérieure. Il est démontré que cela équivaut à la condition selon laquelle, pour tout élément $x$, l'ensemble supérieur $x^\uparrow$ est un treillis complet. Les auteurs prouvent que le poset des éléments connectés dans n'importe quel treillis de connectivité forme un chainmail.

2. Caractérisation de la connectivité via les chainmails
Un résultat central est qu'un sous-ensemble $\mathcal{C}$ d'un treillis complet $L$ est une connectivité si et seulement si $\mathcal{C}$ est un sous-chainmail de $L$ (fermé sous les bornes supérieures des sous-ensembles connectés par mailles). Cela fournit une réponse concise à la question du titre : « La connectivité est la propriété d'un sous-ensemble d'être un sous-chainmail. »

3. L'adjonction de connectivité et la classification
L'article établit que l'existence d'une connexion de Galois spécifique entre $L$ et $D(\mathcal{C})$ est une propriété caractéristique des treillis de connectivité. Sur la base du comportement de cette adjonction, les auteurs définissent une taxonomie :

• Connectivité de noyau : L'élément bottom $0$ appartient à $\mathcal{C}$.
• Connectivité typique : $0 \notin \mathcal{C}$, mais les éléments se décomposent en composantes.
• Connectivité de Serra : Une connectivité typique où chaque élément est la borne supérieure de ses composantes (satisfaisant la condition CL2).
• Connectivité séparée : L'adjoint à droite est un inverse à gauche de l'adjoint à gauche.
• Connectivité absolue : L'adjonction de connectivité est un isomorphisme.

4. Correspondance avec les chainmails
L'article prouve une correspondance biunivoque entre les classes d'isomorphisme de treillis de connectivité absolue et les classes d'isomorphisme de chainmails.

• L'application $(L, \mathcal{C}) \mapsto \mathcal{C}$ envoie un treillis de connectivité absolue sur son chainmail d'éléments connectés.
• L'application inverse envoie un chainmail $\Gamma$ sur son extérieur $D(\Gamma)$ (le treillis des ensembles totalement déconnectés par mailles), qui forme un treillis de connectivité absolue.
  Ce résultat implique que les chainmails servent de « posets universels d'objets connectés ».

5. Connexité absolue et cadres
Les auteurs définissent les éléments absolument connectés via quatre conditions équivalentes (E1–E4) dans le contexte des cadres (treillis distributifs). Ils montrent que, dans un cadre, l'ensemble des éléments absolument connectés coïncide avec l'ensemble des éléments connectés au sens topologique usuel. Par conséquent, un cadre est localement connexe si et seulement s'il est un treillis de connectivité absolue.

6. Exemples et portée
La théorie unifie avec succès les notions standard :

• Graphes et hypergraphes : Le poset des sous-ensembles connectés forme un chainmail.
• Topologie : Les ensembles connexes et connexes par chemins dans les espaces topologiques forment des chainmails.
• Imagerie numérique : Le cadre accueille les images non binaires via des treillis généraux, étendant les travaux de Serra.
• Contre-exemples : L'article fournit des exemples de treillis de connectivité qui ne sont pas des cadres (par exemple, certains treillis non distributifs dérivés de chainmails spécifiques), démontrant que la théorie est strictement plus générale que la connexité locale dans les cadres.

Signification et affirmations

L'article prétend fournir une taxonomie fondatrice pour la connectivité qui fait le pont entre les approches ensemblistes et sans points sans nécessiter toute la machinerie de la théorie des catégories. En isolant les propriétés structurelles du treillis « ambiant » et du sous-ensemble « connecté », les auteurs démontrent que :

• La connectivité peut être définie rigoureusement par l'existence d'une connexion de Galois (adjonction de connectivité).
• Les chainmails sont les blocs de construction fondamentaux ; tout treillis de connectivité est essentiellement une plongée d'un chainmail dans un treillis complet.
• La connectivité absolue représente une forme « universelle » de connectivité, où la structure du treillis est entièrement déterminée par ses composantes connexes.

Les auteurs déclarent explicitement que leur travail est une spécialisation de la théorie catégorielle de Börger aux posets et que l'extension de leurs résultats au contexte catégoriel complet est laissée pour un travail futur. Ils ne prétendent pas résoudre directement des problèmes ouverts en topologie ou en informatique, mais plutôt fournir le langage structurel et le système de classification nécessaires pour analyser de tels problèmes à travers différents domaines mathématiques. L'article conclut en notant que la taxonomie des treillis de connectivité forme elle-même un treillis complet, offrant un moyen structuré de comparer différentes notions de connectivité.