Spectral duality for some modal and residuated groupoid expansions of De Morgan algebras

Résumé technique : Dualité spectrale pour certaines expansions de l'algèbres de De Morgan modales et résiduées

Énoncé du problème
L'article traite de la théorie de la dualité pour des expansions spécifiques des algèbres de De Morgan, une classe d'algèbres de treillis distributifs bornés équipées d'une involution qui inverse l'ordre. Bien que la dualité de Stone (pour les algèbres de Boole) et la dualité de Priestley (pour les treillis distributifs bornés) soient bien établies, et que Bimbó et Urquhart aient développé des dualités pour les algèbres de De Morgan générales et les algèbres de pertinence respectivement, il était nécessaire d'unifier et d'étendre ces cadres. Plus précisément, l'article étudie la dualité spectrale pour :

1. Les algèbres de De Morgan S4 : Algèbres de De Morgan équipées d'un opérateur de clôture ($\nabla$) satisfaisant les axiomes modaux S4.
2. Les groupoïdes de De Morgan : Algèbres de De Morgan étendues avec une structure de groupoïde gauche-résiduelle (opérations $\cdot$ et $\to$) et une constante unité $t$.
3. Les groupoïdes de De Morgan S4 : La combinaison des deux structures précédentes.

L'objectif est d'établir des équivalences duales entre les catégories de ces algèbres et les catégories correspondantes d'espaces topologiques (espaces spectraux) équipés de structures relationnelles spécifiques.

Méthodologie
L'auteur emploie une méthodologie basée sur l'adaptation des dualités existantes de type Priestley au cadre des espaces spectraux. La stratégie centrale repose sur l'isomorphisme connu entre la catégorie des espaces de Priestley ($Priest$) et la catégorie des espaces spectraux ($Spec$), tel qu'établi par Cornish et Fleisher.

L'approche procède en trois étapes :

1. Adaptation de la dualité de Bimbó : L'article adapte la dualité de type Priestley de Bimbó pour les algèbres de De Morgan générales (qui utilise des espaces d'involution ou des espaces produits) au cadre spectral. Cela implique d'équiper un espace spectral d'une involution qui inverse l'ordre $g$ et d'une relation réflexive et transitive $R$ pour modéliser l'opérateur de clôture.
2. Adaptation de la dualité d'Urquhart : L'article étend la dualité d'Urquhart pour les algèbres de pertinence (qui utilise des relations ternaires sur des espaces de Priestley) au cadre spectral. Cela implique l'introduction d'une relation ternaire $S$ sur l'espace spectral pour modéliser les opérations de groupoïde résiduées.
3. Construction de foncteurs : Pour chaque catégorie algébrique, l'article construit un spectre de filtres premiers (équipé de la topologie constructible) et définit une catégorie correspondante d'« espaces spectraux » (par exemple, les espaces spectraux de De Morgan S4, les espaces DMGrp). Des foncteurs contravariants sont définis entre les catégories algébriques et les catégories topologiques, associant les algèbres à leurs spectres et les homomorphismes à des morphismes de cadres spectraux (applications continues préservant les structures relationnelles).

Contributions clés et résultats

• Algèbres de De Morgan S4 ($S4DM$) :

  • Définition : A introduit le concept d'une algèbre de De Morgan S4 comme étant une algèbre de De Morgan avec un opérateur de clôture $\nabla$.
  • Espace dual : A défini l'espace spectral de De Morgan S4 comme un espace spectral $X$ équipé d'une involution qui inverse l'ordre $g$ et d'une relation réflexive et transitive $R$, satisfaisant des conditions de séparation topologique spécifiques (par exemple, si $xRy$, il existe un ensemble compact ouvert séparant $x$ de l'image de $y$ par $R$).
  • Théorème de dualité : A prouvé que la catégorie $S4DM$ est dualement équivalente à la catégorie $S4DMSpec$ de ces espaces. La preuve démontre que le spectre des filtres premiers d'une algèbre forme un tel espace et que l'algèbre des sous-ensembles compacts ouverts d'un tel espace forme une algèbre de De Morgan S4.

• Groupoïdes de De Morgan ($DMGrp$) :

  • Définition : A défini les groupoïdes de De Morgan comme des algèbres de De Morgan avec une paire d'opérations gauche-résiduées $(\cdot, \to)$ et une unité $t$, étroitement liées aux groupoïdes d'Ackermann positifs et aux algèbres de pertinence d'Urquhart.
  • Espace dual : A défini l'espace DMGrp comme un espace spectral de De Morgan équipé d'une relation ternaire $S$ et d'un élément distingué $\Theta$ (représentant l'unité), satisfaisant des conditions analogues aux cadres d'Urquhart mais adaptées à la topologie spectrale.
  • Théorème de dualité : A établi que la catégorie $DMGrp$ est dualement équivalente à la catégorie $DMGrpSpec$. La relation ternaire $S$ sur l'espace correspond à la propriété de résiduation des opérations de groupoïde sur l'algèbre.

• Groupoïdes de De Morgan S4 ($S4DMGrp$) :

  • En combinant les structures relationnelles des deux cas précédents (en ajoutant la relation réflexive/transitive $R$ à l'espace DMGrp), l'article définit les espaces S4DMGrp.
  • Théorème de dualité : A prouvé que la catégorie $S4DMGrp$ est dualement équivalente à la catégorie $S4DMGrpSpec$.

• Algèbres de De Morgan générales ($DM$) :

  • En tant que corollaire, l'article récupère la dualité entre les algèbres de De Morgan générales et les espaces spectraux de De Morgan (espaces spectraux avec une involution qui inverse l'ordre, mais sans la relation de clôture $R$ ou la relation ternaire $S$).

Signification
L'article affirme sa signification par l'unification et l'extension de la théorie de la dualité pour les logiques non classiques au sein du cadre spectral. En exploitant l'isomorphisme entre les espaces de Priestley et les espaces spectraux, l'auteur démontre que des structures algébriques complexes — spécifiquement celles combinant la négation de De Morgan avec des opérateurs modaux (S4) et des structures de groupoïde résiduées (pertinentes à la logique de la pertinence) — peuvent être représentées topologiquement à l'aide d'espaces spectraux avec des relations supplémentaires.

Les résultats fournissent une alternative de « dualité spectrale » aux dualités existantes de type Priestley pour ces variétés algébriques spécifiques. L'article note que ces dualités sont obtenues par une « adaptation appropriée » des travaux de Bimbó et d'Urquhart, traduisant efficacement leur sémantique relationnelle dans le langage des espaces spectraux et des ensembles compacts ouverts. Ce travail ne propose pas de nouvelles applications, mais consolide le fondement théorique de ces structures algébriques au sein de la théorie de la dualité, ce qui pourrait faciliter de futures applications dans des domaines tels que la sémantique dénotationnelle des programmes ou les logiques de programmes, comme mentionné dans l'introduction comme applications générales de la théorie de la dualité.

Directions futures
L'article suggère modestement que des recherches futures pourraient impliquer l'adaptation de ces dualités spectrales aux dualités bitopologiques (spécifiquement les espaces de Stone par paire) en utilisant l'isomorphisme entre les espaces spectraux et les espaces de Stone par paire établi dans la littérature antérieure.