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

技術要約：デ・モーガン代数のいくつかの様相および剰余群構造拡大に関するスペクトル双対性

問題提起
本論文は、順序反転する対合を持つ有界分配束であるデ・モーガン代数のクラスに対する、特定の拡大に関する双対理論を扱っている。ボレル（Stone）双対性（ブール代数に対して）やプリースト（Priestley）双対性（有界分配束に対して）は確立されており、またビンボ（Bimbo）とアーカート（Urquhart）が一般的なデ・モーガン代数および関連代数に対する双対性を展開しているが、これらの枠組みを統一し拡張する必要があった。具体的には、本論文は以下のものに対するスペクトル双対性を調査している：

1. S4 デ・モーガン代数： S4 様相公理を満たす閉包演算子（$\nabla$）を備えたデ・モーガン代数。
2. デ・モーガン群構造（De Morgan groupoids）： 左剰余群構造（演算 $\cdot$ および $\to$）と単位元 $t$ を備えたデ・モーガン代数。
3. S4 デ・モーガン群構造： 上記の二つの構造の組み合わせ。

目標は、これらの代数の圏と、特定の関係構造を備えた位相空間（スペクトル空間）の対応する圏との間の双対同値性を確立することである。

手法
著者は、既存のプリースト型の双対性をスペクトル空間の枠組みに適応させる手法を用いている。核心となる戦略は、コーニッシュ（Cornish）とフレッシャー（Fleisher）によって確立された、プリースト空間（$Priest$）とスペクトル空間（$Spec$）の間の既知の同型関係に基づいている。

アプローチは、以下の3つの段階で進行する：

1. ビンボの双対性の適応： 本論文は、一般的なデ・モーガン代数に対するビンボのプリースト型の双対性（反転空間または積空間を用いるもの）をスペクトル設定へと適応させる。これには、スペクトル空間に、閉包演算子をモデル化するための順序反転する対合 $g$ と、反射的かつ推移的な関係 $R$ を備えることが含まれる。
2. アーカートの双対性の適応： 本論文は、関連代数（プリースト空間上の三項関係を用いるもの）に対するアーカートの双対性をスペクトル設定へと拡張する。これには、剰余群構造の演算をモデル化するために、スペクトル空間上に三項関係 $S$ を導入することが含まれる。
3. 関手の構成： 各代数圏に対して、素なフィルター・スペクトル（構成的位相を備えたもの）を構築し、対応する「スペクトル空間」の圏（例：S4 デ・モーガン・スペクトル空間、DMGrp-空間）を定義する。代数と、それらのスペクトルへの写像（関係構造を保存する連続写像であるスペクトル・フレーム・射）の間で、反変関手が定義される。

主要な貢献と結果

• S4 デ・モーガン代数 ($S4DM$):

  • 定義： 閉包演算子 $\nabla$ を持つデ・モーガン代数として、S4 デ・モーガン代数の概念を導入した。
  • 双対空間： S4 デ・モーガン・スペクトル空間を、順序反転する対合 $g$ と、反射的かつ推移的な関係 $R$ を備えたスペクトル空間 $X$ として定義した（ただし、特定の位相的分離条件を満たす。例えば、$xRy$ならば、$x$を$y$の$R$-像から分離するコンパクト開集合が存在する）。
  • 双対性定理： 圏 $S4DM$が、これらの空間の圏である$S4DMSpec$ と双対同値であることを証明した。証明は、代数の素なフィルター・スペクトルがこのような空間を形成すること、およびそのような空間のコンパクト開部分集合の代数が S4 デ・モーガン代数を形成することを示している。

• デ・モーガン群構造 ($DMGrp$):

  • 定義： 正のアッカーマン群構造（positive Ackermann groupoids）およびアーカートの関連代数に密接に関連する、左剰余的な一対の演算 $(\cdot, \to)$ と単位元 $t$ を持つデ・モーガン代数として、デ・モーガン群構造を定義した。
  • 双対空間： DMGrp-空間を、三項関係 $S$ と（単位を表す）識別された要素 $\Theta$ を備えたデ・モーガン・スペクトル空間として定義した（これはアーカートのフレームに類似した条件を満たすが、スペクトル位相に合わせて適応されている）。
  • 双対性定理： 圏 $DMGrp$が$DMGrpSpec$と双対同値であることを確立した。空間上の三項関係$S$ は、群構造の演算における剰余性をモデル化している。

• S4 デ・モーガン群構造 ($S4DMGrp$):

  • 前述の二つのケースの関係構造を組み合わせることで（DMGrp-空間に反射的・推移的な関係 $R$ を加えることで）、S4DMGrp-空間を定義する。
  • 双対性定理： 圏 $S4DMGrp$が$S4DMGrpSpec$ と双対同値であることを証明した。

• 一般のデ・モーガン代数 ($DM$):

  • 補言として、一般のデ・モーガン代数とデ・モーガン・スペクトル空間（順序反転する対合を持つが、閉包関係 $R$ や三項関係 $S$ を持たないスペクトル空間）の間の双対性を回収する。

意義
本論文は、スペクトル・フレームワーク内における非古典論理の双対理論を統一し拡張することの意義を主張している。プリースト空間とスペクトル空間の間の同型を利用することで、複雑な代数的構造――具体的には、デ・モーガンの否定と様相演算子（S4）および剰余群構造（関連論理に関連するもの）を組み合わせたもの――が、追加の関係を備えたスペクトル空間を用いて位相的に表現できることを示している。

結果として得られるのは、これらの特定の代数的多様体に対する、既存のプリースト型の双対性に代わる「スペクトル双対性」である。本論文は、これらの双対性が、ビンボおよびアーカートの研究の「適切な適応」によって達成されたことを述べており、それらの関係的意味論をスペクトル空間と言語およびコンパクト開集合の言葉へと実質的に翻訳している。この研究は新しい応用を提案するものではなく、双対理論におけるこれらの代数的構造の理論的基礎を固めるものであり、導入部で述べられているプログラム論理などの分野における双対理論の一般的な応用を促進する可能性がある。

今後の方向性
論文は、先行文献で確立されたスペクトル空間とペア・ストーン空間の間の同型を利用することにより、これらのスペクトル双対性をビットポロジカル双対性（特にペア・ストーン空間）へと適応させる可能性について、控えめに示唆している。