[论文解读] The dual of compact ordered spaces is a variety

Marco Abbadini|arXiv (Cornell University)|Feb 19, 2019

Advanced Algebra and Logic被引用 4

一句话总结

本文证明了紧致序空间范畴（PosComp）的对偶范畴是一个无穷 arity 代数的种类，具体记为 MC∞。通过以区间 [0,1] 作为对偶化对象，作者引入一组有限 arity 与可数无限 arity 的运算，以及等式公理，构建了 PosComp 与 MC∞ 之间的对偶等价，证明该对偶范畴可被公理化为一个种类，从而回答了 Hofmann、Neves 与 Nora（2018）提出的一个开放问题。

ABSTRACT

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question was: is it also a variety? We show that the answer is affirmative. We describe the variety by means of a set of finitary operations, together with an operation of countably infinite arity, and equational axioms. The dual equivalence is induced by the dualizing object [0,1].

研究动机与目标

• 解决 Hofmann、Neves 与 Nora（2018）提出的开放问题：紧致序空间范畴的对偶范畴是否为一个种类。
• 通过有限与可数无限 arity 的运算，提供 PosComp 对偶范畴的明确代数刻画。
• 在紧致序空间范畴与一个无穷 arity 代数种类 MC∞ 之间建立对偶等价。
• 证明对偶化对象 [0,1] 所诱导的对偶性能够完整捕捉从 [0,1] 的幂到 [0,1] 的所有单调连续映射。
• 证明种类 MC∞ 同构于阿基米德完备 Cauchy 的 MC-代数范畴，从而完成对偶性构造。

提出的方法

• 以 [0,1] 作为对偶化对象，在预序拓扑空间范畴（PreT）与一个有限 arity 种类 MC 之间建立对偶伴随关系。
• 刻画伴随关系的不动点：在拓扑侧为紧致序空间，在代数侧为阿基米德完备 Cauchy 的 MC-代数。
• 通过增加一个可数无限 arity 运算 δ，将有限 arity 种类 MC 扩展为无穷 arity 种类 MC∞，该运算用于捕捉柯西序列的极限。
• 为 MC∞ 引入等式公理，确保代数结构能反映紧致序空间的拓扑性质。
• 利用子直积表示定理与类比 Stone-Weierstrass 定理，证明对伴随关系的单位在阿基米德完备 Cauchy 的 MC-代数上是同构。
• 证明 MC∞ 同构于一个种类理论的代数范畴，其对象为 [0,1] 的幂，态射为单调连续映射。

实验结果

研究问题

• RQ1 紧致序空间范畴的对偶范畴是否为种类，而非仅准种类？
• RQ2 对偶范畴能否通过一组包含无限 arity 运算的运算与等式公理被公理化？
• RQ3 [0,1] 是否可作为对偶化对象，诱导 PosComp 与一个代数种类之间的全对偶等价？
• RQ4 从 [0,1] 的幂到 [0,1] 的所有单调连续映射类，能否被一个由无穷 arity 运算生成的有限生成代数理论完整捕捉？
• RQ5 阿基米德完备 Cauchy 的 MC-代数范畴是否同构于一个无穷 arity 代数种类？

主要发现

• 紧致序空间范畴的对偶范畴 PosComp^op 同构于一个代数种类，即无穷 arity 种类 MC∞。
• 种类 MC∞ 由对偶化对象 [0,1] 生成，其运算包括有限 arity 运算与一个可数无限 arity 运算 δ，后者用于建模柯西序列的极限。
• PosComp 与 MC∞ 之间的对偶等价由函子 Hom(−, [0,1]) 诱导，且该等价通过一对对偶伴随关系的不动点实现。
• 种类 MC∞ 同构于阿基米德完备 Cauchy 的 MC-代数的全子范畴，确认 MC∞ 恰好捕捉了紧致序空间的全部代数对偶。
• MC∞ 中的运算在 [0,1] 上解释时，精确对应于从任意 [0,1] 的幂到 [0,1] 的所有单调连续映射，确认了该代数结构的完备性。
• 本文表明，从 PosComp 到 Set 的函子 Hom(−, [0,1]) 并非一个有限 arity 种类的遗忘函子的自然同构，原因在于 δ 运算对无穷多个坐标具有本质依赖性。