ゲーム化Katětov順序の非線形性——連続体サイズの反鎖の存在

§01 フィルター理論とKatětov順序の背景

集合論における「フィルター」とは、$\omega$の冪集合$\mathcal{P}(\omega)$の部分集合$F$であって、(1) $A \in F$かつ$A \subseteq B$ならば$B \in F$（上向き閉性）、(2) $A, B \in F$ならば$A \cap B \in F$（有限交叉閉性）、(3) $\emptyset \notin F$を満たすものです。直感的には、フィルターとは「大きい集合」の族を形式化したものであり、位相空間論における収束の概念や、集合論における無限の取り扱いに不可欠な道具です。

フィルターの典型例として、フレシェフィルター$\mathcal{F} = \{ A \subseteq \omega : \omega \setminus A \text{ は有限} \}$があります。これは「余有限集合全体」の族であり、「ほとんど全ての自然数」を含む集合を集めたものです。超フィルターはフィルターの極大元であり、集合の大小を完全に二分する極限的な概念として、超積や超べき乗の構成を通じてモデル理論において中心的役割を果たします。

Katětov順序$\leq_K$は、フィルターの間の比較可能性を写像を通じて定める前順序です。$F \leq_K G$とは、ある関数$f: \omega \to \omega$が存在して、全ての$A \in G$に対して$f^{-1}(A) \in F$が成立することを意味します。これは「フィルター$F$は写像$f$を通じてフィルター$G$の情報を取り出せる」という意味で、$G$が$F$と少なくとも同程度に複雑な情報を持っているという関係に対応します。

MAD族（極大ほとんど互いに素な族）は、フィルター理論の中でも特に豊かな構造を持つ対象です。無限部分集合の族$\mathcal{A} \subseteq [\omega]^\omega$が「ほとんど互いに素（almost disjoint）」であるとは、$\mathcal{A}$の相異なる任意の二元$A, B$に対して$A \cap B$が有限であることをいいます。さらに$\mathcal{A}$が「MAD」であるとは、これを真に含むalmost disjointな族が存在しないことです。MAD族はZornの補題によって存在が保証されますが、その構造と多様性は連続体仮説や様々な強制法公理と絡み合う集合論の難題であり、古典的Katětov順序の下では互いに異なる同値類に属することが多いとされています。この背景の上に、著者たちはゲーム理論という新たな視点を持ち込みます。

§02 ゲーム化Katětov順序の導入と先行結果

著者たちの先行研究が導入した「ゲーム化Katětov順序」は、古典的なKatětov順序の定義にゲーム理論的な要素を加えることで、フィルター間の比較可能性を新たな視点から定めた前順序です。この順序では、二つのフィルター$F$と$G$の間の還元可能性を、二人のプレイヤーが交互に手を打つゲームの勝敗によって判定します。古典的なKatětov順序が単一の写像$f$の存在で決定されるのに対し、ゲーム化版では戦略（strategy）という動的な対応関係が用いられます。

先行研究で確立された最初の主要な結果は、ゲーム化Katětov順序が古典的なKatětov順序より**真に粗い**ことです。すなわち、$F \leq_K^{\mathrm{game}} G$ならば$F \leq_K G$が成立しますが、その逆は必ずしも成立しません。この真の粗さは、ゲーム化によって比較可能性の判定基準が厳しくなった（より多くのペアが「比較不可能」と判定される）ことを意味します。

さらに際立った結果として、ゲーム化Katětov順序の下では**全てのMAD族が単一の同値類に潰れる**ことが示されています。古典的Katětov順序の下では多様な同値類に分散していたMAD族が、ゲーム化版ではその区別を失い、一点に収束するのです。これは驚くべき「平坦化」の現象です。この結果だけを見れば、ゲーム化Katětov順序は極めて貧困な順序構造を持つように見えます——MAD族という豊かな対象の多様性を一切区別できない粗さを持つのですから。

実際、この平坦化現象は当初、ゲーム化Katětov順序が全体として非常に「単純」な構造を持つ可能性を示唆するものとして受け取られ得ます。もし順序が十分に粗いならば、ほとんど全ての対が同値になり、実質的には自明な順序に近づくかもしれません。本論文が示すのは、この予期に反して、ゲーム化Katětov順序は別の種類の豊かさを内包しているという事実です。局所的には平坦（MAD族を区別しない）でありながら、大域的には極めて複雑（連続体サイズの反鎖を含む）という二面性が存在するのです。

graph TD
  A[古典的Katetov順序] -->|真に細かい| B[ゲーム化Katetov順序]
  B -->|MAD族を全て同値類に潰す| C[MAD族: 単一同値類]
  B -->|P-omega-Fin を埋め込む| D[連続体サイズの反鎖を含む]

§03 主定理：$\mathcal{P}(\omega)/\mathrm{Fin}$の埋め込みと連続体サイズの反鎖

本論文の中心的結果は、ゲーム化Katětov順序が$\mathcal{P}(\omega)/\mathrm{Fin}$を順序埋め込みとして含むというものです。$\mathcal{P}(\omega)/\mathrm{Fin}$とは、$\omega$の冪集合$\mathcal{P}(\omega)$を有限集合のイデアル$\mathrm{Fin} = \{ A \subseteq \omega : A \text{ は有限} \}$で割った商ブール代数であり、元$[A]$（$A$の$\mathrm{Fin}$に関する同値類）の間の順序$[A] \leq [B]$を「$A \setminus B \in \mathrm{Fin}$（$A$と$B$の差が有限）」で定義します。

$\mathcal{P}(\omega)/\mathrm{Fin}$は集合論において極めて豊かな構造を持つことが知られています。特に、この商ブール代数は連続体サイズ$2^{\aleph_0}$の反鎖を含みます。これは、$\omega$の互いに「$\mathrm{Fin}$を法として比較不可能な」$2^{\aleph_0}$個の部分集合を構成できることを意味します。このような反鎖の存在は、単純な集合論的構成から導かれる古典的な結果です。

本論文は、この$\mathcal{P}(\omega)/\mathrm{Fin}$がゲーム化Katětov順序に埋め込めることを証明します。すなわち、$\mathcal{P}(\omega)/\mathrm{Fin}$の各元に対応するフィルター（またはフィルターの同値類）をゲーム化Katětov順序の中に見出し、$\mathcal{P}(\omega)/\mathrm{Fin}$の順序関係をゲーム化Katětov順序の順序関係が忠実に反映するようにできるのです。この埋め込みによって、$\mathcal{P}(\omega)/\mathrm{Fin}$が持つ連続体サイズの反鎖がゲーム化Katětov順序にも転写されます。

重要なのは、この埋め込みの構成においてRamsey理論との接続が本質的な役割を果たすことです。Ramsey理論の核心的な主題は「十分に大きな組合せ構造の中には、必ず規則的なパターンが存在する」ことです。具体的には、有限集合の分割や着色に関する保存定理（Ramsey定理、van der Waerden定理、Hales-Jewett定理など）がその典型です。フィルター理論とRamsey理論の接続は、Blass-Hindman定理（超フィルターの加法的組合せ論）やGowers定理（バナッハ空間上の組合せ論）の文脈でも知られていましたが、本論文ではゲーム化Katětov順序という新しい対象においてこの接続が自然に現れます。

こうして確立された埋め込みにより、ゲーム化Katětov順序は連続体サイズの反鎖を含むことが示されます。論文タイトル「全く線形でない（very much not so）」という表現は、単に「線形でない」という弱い意味ではなく、反鎖のサイズが可能な最大値である$2^{\aleph_0}$に達するという、量的に最大限の非線形性を意味しています。

§04 Weihrauch階層への応用——非謙虚次数の新族

本論文のもう一つの中心的貢献は、構築された構造を計算可能性理論へ応用し、拡張Weihrauch階層における非謙虚次数の大きな新族を生成することです。Weihrauch還元可能性とは、多価関数（計算問題）の間の計算困難度比較の枠組みであり、問題$P$が問題$Q$にWeihrauch還元可能（$P \leq_W Q$）であるとは、$Q$のオラクルを有限回使うことで$P$を解く計算手続きが存在することを、前後の計算変換を含めた形で定式化するものです。

このWeihrauch次数の階層（Weihrauch階層）は、計算可能解析学・逆数学・構成的数学における問題の計算困難度を精密に分類する道具として近年急速に発展しています。代表的な次数として、選択問題（$\mathrm{C}_{\mathbb{N}}$, $\mathrm{C}_{[0,1]}$など）、中間値定理に対応する次数、Bolzano-Weierstrass定理に対応する次数などが知られており、これらはいわゆる「逆数学の五大公理系」（$\mathrm{RCA}_0$から$\Pi^1_1$-$\mathrm{CA}_0$まで）に対応する計算困難度の位置を連続的なスペクトルとして可視化します。

「謙虚な（modest）」次数とは、直感的には「自身の解を計算可能な変換だけで扱える」という穏やかな性質を持つ計算困難度クラスです。これに対して「非謙虚（non-modest）」次数は、計算可能変換の枠を超えた困難さを持ちます。著者たちは、ゲーム化Katětov順序の構成から得られる「関連する有効部分トポス（associated effective subtoposes）」を通じて、非謙虚次数の大きな新族を生成することに成功します。

有効部分トポス（effective subtoposes）は、計算可能性の概念を圏論的・トポス理論的に定式化したものです。トポス理論はGrothendieckによって代数幾何学の文脈で発展し、後にLawvereとTierneyによって初等化されました。その中でも「有効トポス（effective topos）」はHylandが導入した構成であり、再帰的関数論・クリーネ実現可能性・計算可能解析学を圏論的に統一する枠組みとして機能します。この枠組みの部分トポスとして現れる「有効部分トポス」は、計算可能性のさまざまな側面を部分的に切り出した圏論的対象であり、Weihrauch次数との対応が近年精力的に研究されています。

著者たちの構成において、ゲーム化Katětov順序の埋め込み定理（第3節で述べた$\mathcal{P}(\omega)/\mathrm{Fin}$の埋め込み）が持つ組合せ論的構造が、対応する有効部分トポスの間の包含関係として圏論的に翻訳されます。この翻訳を通じて、ゲーム化Katětov順序の非線形性（連続体サイズの反鎖）が、Weihrauch階層における非謙虚次数の多様性として具現化されます。集合論的順序構造・組合せ論（Ramsey理論）・計算可能性理論（Weihrauch階層）という三つの分野を一本の糸で繋ぐこの応用は、著者たちの「組合せ論的複雑性と計算可能的複雑性の相互作用」プログラムの具体的な成果として位置づけられます。