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

技术摘要：关于某些模态与剩余群格扩张的谱对偶性

问题陈述
本文研究了 De Morgan 代数（一类配备了保序反转对合的有界分配格）的特定扩张的对偶理论。虽然 Stone 对偶（针对布尔代数）和 Priestley 对偶（针对有界分配格）已非常成熟，且 Bimbó 和 Urquhart 已分别开发了针对一般 De Morgan 代数和相关代数的对偶性，但仍需统一并扩展这些框架。具体而言，本文研究了以下结构的谱对偶性：

1. S4 De Morgan 代数：配备了满足 S4 模态公理的闭算子 ($\nabla$) 的 De Morgan 代数。
2. De Morgan 群格：配备了左剩余群格结构（运算 $\cdot$ 与 $\to$）及单位元 $t$ 的 De Morgan 代数。
3. S4 De Morgan 群格：上述两种结构的结合。

其目标是建立这些代数范畴与其对应的拓扑空间（谱空间）范畴之间的对偶等价关系。

方法论
作者采用了一种基于将现有的 Priestley 式对偶适配到谱空间框架下的方法。核心策略依赖于 Cornish 和 Fleisher 所确立的 Priestley 空间范畴 ($Priest$) 与谱空间范畴 ($Spec$) 之间的已知同构关系。

该方法分三个阶段进行：

1. 适配 Bimbó 的对偶性：本文将 Bimbó 关于一般 De Morgan 代数的 Priestley 式对偶（使用对合空间或乘积空间）适配到谱设置中。这涉及为谱空间配备一个保序反转对合 $g$ 以及一个自反且传递的关系 $R$，以模拟闭算子。
2. 适配 Urquhart 的对偶性：本文将 Urquhart 关于相关代数的对偶性（使用 Priestley 空间上的三元关系）扩展到谱设置中。这涉及在谱空间上引入一个三元关系 $S$，以模拟剩余群格运算。
3. 构造演算：对于每个代数范畴，本文构造了一个素滤器谱（配备构造拓扑），并定义了相应的“谱空间”范畴（例如，S4 De Morgan 谱空间、DMGrp-空间）。在代数范畴与拓扑范畴之间定义了逆变函子，该函子将代数映射为其谱，并将同态映射为谱框架态射（保持关系结构的连续映射）。

主要贡献与结果

• S4 De Morgan 代数 ($S4DM$)：

  • 定义：引入了 S4 De Morgan 代数概念，即带有闭算子 $\nabla$ 的 De Morgan 代数。
  • 对偶空间：定义了 S4 De Morgan 谱空间，它是一个配备了保序反转对合 $g$ 和自反传递关系 $R$ 的谱空间，并满足特定的拓扑分离条件（例如，若 $xRy$，则存在紧开集将$x$与$y$的$R$-像分离）。
  • 对偶定理：证明了范畴 $S4DM$与这些空间的范畴$S4DMSpec$ 之间存在对偶等价。证明过程表明，代数的素滤器谱构成此类空间，而此类空间的紧开子集代数构成 S4 De Morgan 代数。

• De Morgan 群格 ($DMGrp$)：

  • 定义：定义了 De Morgan 群格为带有左剩余对 $(\cdot, \to)$ 及单位元 $t$ 的 De Morgan 代数，这与正 Ackermann 群格及 Urquhart 的相关代数密切相关。
  • 对偶空间：定义了 DMGrp-空间，它是一个配备了三元关系 $S$ 和 distinguished element $\Theta$（代表单位元）的 De Morgan 谱空间，满足类似于 Urquhart 框架但适配于谱拓扑的条件。
  • 对偶定理：确立了范畴 $DMGrp$与$DMGrpSpec$之间存在对偶等价。空间上的三元关系$S$ 对应于群格运算在代数上的剩余性质。

• S4 De Morgan 群格 ($S4DMGrp$)：

  • 通过结合前两种情况中的关系结构（在 DMGrp-空间中加入自反传递关系 $R$），本文定义了 S4DMGrp-空间。
  • 对偶定理：证明了范畴 $S4DMGrp$与$S4DMGrpSpec$ 之间存在对偶等价。

• 一般 De Morgan 代数 ($DM$)：

  • 作为推论，本文恢复了一般 De Morgan 代数与 De Morgan 谱空间（配备保序反转对合但没有闭关系 $R$ 或三元关系 $S$ 的谱空间）之间的对偶性。

意义
本文声称其意义在于将非经典逻辑的对偶理论在谱框架内进行了统一与扩展。通过利用 Priestley 空间与谱空间之间的同构，作者展示了复杂的代数结构——特别是将 De Morgan 否定与模态算子（S4）以及剩余群格结构（与相关逻辑相关）相结合的结构——如何通过带有附加关系的谱空间进行拓扑表示。

这些结果为这些特定代数族提供了相对于现有 Priestley 式对偶的“谱对偶”替代方案。本文指出，这些对偶是通过对 Bimbó 和 Urquhart 研究成果进行“适当适配”实现的，有效地将他们的关系语义转化为谱空间和紧开集的语言。这项工作并非提出新的应用，而是巩固了这些代数结构在对偶理论中的理论基础，从而可能促进其在程序义解或程序逻辑等领域的潜在应用（如引言中所述的对偶理论的一般应用）。

未来方向
本文谦逊地建议，未来的研究可以通过利用先前文献中建立的谱空间与双拓扑空间（特别是成对 Stone 空间）之间的同构，将这些谱对偶适配到 双拓扑对偶 中。