Cores and localizations of $(\infty,\infty)$-categories

この論文は、$(\infty,\infty)$-圏の核心（core）と局所化（localization）を比較し、後者が前者の反射的局所化として得られることを示すとともに、無限次元で初めて現れる可逆性の概念に基づく中間的な局所化を研究している。

要約

1. 物語の舞台：「無限に続くゲーム」

想像してください。あるゲーム（これを「カテゴリー」と呼びます）があるとします。

• 0 次元: プレイヤー（オブジェクト）がいる。
• 1 次元: プレイヤー同士を繋ぐ「矢印（アクション）」がある。
• 2 次元: その矢印同士を繋ぐ「矢印の矢印（アクションの修正）」がある。
• 3 次元: さらにその修正を修正する「修正の修正」がある。

通常のゲームでは、ある高さ（例えば 2 次元まで）でルールが決まり、それ以上は「すべて同じ」として扱います。しかし、この論文では**「この修正の連鎖が、永遠に（無限に）続く」と仮定します。これを「(∞, ∞)-カテゴリー」**と呼びます。

2. 問題点：「逆転」のジレンマ

この無限ゲームで一番難しいのは**「逆転（Invertibility）」**の定義です。
「A から B へ行くアクションがあるなら、B から A へ戻るアクションも存在するはずだ」と言いたいところですが、無限の世界ではこれが泥沼になります。

• 通常の逆転: 「戻る矢印」があれば OK。
• 無限の世界: 「戻る矢印」を作った瞬間、その「戻る矢印」自体が「修正（2 次元）」を必要とするようになります。そしてその修正もまた修正を必要とし、永遠に終わらないタコ足配線になってしまいます。

「本当に逆転している」と言えるためには、この無限のタコ足配線がどこかで「完璧に揃っている」必要があります。

3. 2 つの異なるアプローチ：「コア」と「局所化」

著者たちは、この無限のタコ足配線をどう処理するか、2 つの異なる方法（2 つの視点）を提案しました。

方法 A：「コア（Core）」アプローチ＝「完璧主義者」

• 考え方: 「本当に完璧に逆転しているものだけを残し、そうでないものは全部捨ててしまおう！」
• メタファー: 料理に例えると、「味付けが完璧な料理だけを選び出し、少しの失敗でもあったらその料理を廃棄する」ような態度です。
• 結果: 非常に厳格で、安全な世界（右側カテゴリー）が作られます。ここにあるものは、間違いなく「完璧な逆転」を持っています。

方法 B：「局所化（Localization）」アプローチ＝「柔軟な現実主義者」

• 考え方: 「完璧でなくても、実用上は逆転しているように振る舞えるなら、それを逆転とみなしてルールを強制的に書き換えよう！」
• メタファー: 「味付けが少し違うけど、食べられれば OK だ！その違いを『同じ味』としてルール上扱おう」という態度です。
• 結果: より広い世界（左側カテゴリー）が作られます。ここには、厳密には完璧ではないが、実用上は逆転しているものが含まれます。

4. 論文の結論：「2 つの世界の関係」

著者たちは、この 2 つの世界（完璧主義の世界 vs 柔軟な世界）を比較しました。

• 発見: 「完璧主義の世界（コア）」は、実は「柔軟な世界（局所化）」の一部として含まれています。
• 関係性: 「完璧主義の世界」から「柔軟な世界」へ行くには、**「不完全な逆転」を無理やり「完全な逆転」に変えるフィルター（局所化関手）」**を通す必要があります。
• 重要な点: このフィルターを通すと、「コインダクティブ（Coinductive）」と呼ばれる、無限に続くタコ足配線のような特殊な逆転が、すべて「本当の逆転」に変換されてしまいます。

つまり、「完璧主義の世界」は、「無限のタコ足配線（コインダクティブな逆転）」をすべて正しく処理できる、より高次元の「完全な状態」にあることが証明されました。

5. さらに深い洞察：「ω（オメガ）完全性」という新しい壁

さらに著者たちは、この「完璧主義の世界」の中にも、まだ見えない壁があることを発見しました。

• コインダクティブ完全性: 「無限のタコ足配線」がすべて解決されている状態。
• ω（オメガ）完全性: 「無限のタコ足配線」だけでなく、「有限のステップで終わる逆転」もすべて解決されている状態。

彼らは、「完璧主義の世界（左側）」は、実は「ω完全性」という、さらに厳しい条件を満たす必要があることを示しました。
これは、「無限のタコ足配線」を解決しただけでは不十分で、「有限のステップ」での整合性も厳密にチェックされなければならないことを意味します。

6. まとめ：この論文が何を伝えているか

この論文は、以下のようなことを教えてくれます。

1. 無限の世界は複雑だ: 「逆転」を無限に定義しようとすると、2 つの異なるアプローチ（厳格なものと柔軟なもの）が生まれる。
2. 2 つはつながっている: 厳格な世界は、柔軟な世界の「より高次元の完成形」である。
3. 新しい基準が必要: 「無限のタコ足配線」を解決するだけでは不十分で、「有限のステップ」での整合性（ω完全性）という、さらに高い基準が存在する。

日常への応用（比喩）:
これは、**「ルール作り」**に似ています。

• コア（完璧主義）: 「ルール違反が 1 件でもあれば、そのルールは廃棄する」という厳格なルール作り。
• 局所化（柔軟主義）: 「ルール違反があっても、実質的に同じなら『同じルール』とみなして進める」という現実的なルール作り。
• 論文の結論: 「厳格なルール」は「現実的なルール」の上位互換だが、本当に完璧なルールを作るには、「無限の例外処理」だけでなく、「有限の例外処理」もすべて網羅する必要がある、という新しい基準（ω完全性）が見つかった、ということです。

この研究は、数学の基礎を揺るがすような「無限」の構造を、より明確に理解するための地図を描き出したと言えます。

技術概要

論文「CORES AND LOCALIZATIONS OF (∞, ∞)-CATEGORIES」の技術的サマリー

1. 概要と背景

この論文は、無限次元の高次圏、すなわち $(\infty, \infty)$-圏の構造と、その異なる定式化間の関係を研究するものです。
有限次元の $(\infty, d)$-圏は、$d$ 次元以上の射がすべて可逆（同型）であるように定義されます。しかし、$d \to \infty$ の極限において「すべての次元で可逆な射」をどのように扱うかには、本質的な曖昧さが存在します。

著者らは、この極限を定義する 2 つの自然なアプローチ、すなわち**「コア（Core）」と「局所化（Localization）」**の 2 つの関手を通じて $(\infty, \infty)$-圏を構成し、それらによって得られる 2 つの $(\infty, 1)$-圏（$\text{Cat}^R_{\infty}$ と $\text{Cat}^L_{\infty}$）の関係を明らかにすることを目的としています。

2. 問題設定

$(\infty, d)$-圏の列 $\text{Cat}_{\infty, d}$ において、$d$ を無限大に近づける際、以下の 2 つの極限操作が考えられます。

1. コア極限（右極限）: 各段階で、$d+1$ 次元以上の非可逆な射を「削除（取り除く）」操作を行う。
   • 関手 $R_d: \text{Cat}_{\infty, d+1} \to \text{Cat}_{\infty, d}$ は、$d+1$ 次元以上の非可逆射を除去する右随伴関手です。
   • これによる極限を $\text{Cat}^R_{\infty}$（右 $\infty$-圏）と呼びます。これは、高次元の非可逆射を「持たない」圏の極限です。
2. 局所化極限（左極限）: 各段階で、$d+1$ 次元以上の非可逆な射を「可逆化（逆元を付与する）」操作を行う。
   • 関手 $L_d: \text{Cat}_{\infty, d+1} \to \text{Cat}_{\infty, d}$ は、$d+1$ 次元以上の射を形式的に可逆にする左随伴関手です。
   • これによる極限を $\text{Cat}^L_{\infty}$（左 $\infty$-圏）と呼びます。

核心的な問題:
この 2 つの極限 $\text{Cat}^R_{\infty}$ と $\text{Cat}^L_{\infty}$ は同値でしょうか？もし異なる場合、それらの関係はどのようなものか？
直感的には、非可逆射を「消す」操作と「可逆化する」操作は異なる結果をもたらす可能性があります。実際、スパン圏（spans）やコボルディズム圏（cobordisms）などの具体例において、$L$ を適用すると自明な圏に縮退してしまうことが知られていました。

3. 手法と理論的枠組み

3.1. 抽象的な双帰納系（Biinductive Systems）

著者らは、具体的な $(\infty, d)$-圏のモデルに依存しない、抽象的な枠組みを構築しました。

• 双帰納系: 部分圏の列 $C_0 \subseteq C_1 \subseteq \dots$ と、それぞれの包含関手の左随伴（局所化 $L_d$）および右随伴（コア $R_d$）からなる系を定義します。
• バイアス（Bias）: この系に「バイアス」と呼ばれる構造（$S_n$ という広範な部分圏の列）を導入します。これは、$n$-全射性（$n$-surjectivity）のような性質を抽象化したもので、左随伴と右随伴の間の非対称性を記述します。

3.2. $n$-全射性（$n$-surjectivity）

この概念は、圏の射が「どの次元まで」の射を「どの程度」カバーしているかを測る指標です。

• $n$-全射な関手は、$n$ 次元以下の射に対して「全射的」であり、かつその同型性も適切に保たれます。
• 無限次元の全射性（$\infty$-surjectivity）や、弱 $\infty$-全射性（weakly $\infty$-surjectivity）を定義し、これらが局所化関手 $L$ によってどのように振る舞うかを解析しました。

3.3. 共帰納的逆元（Coinductive Invertibility）

無限次元の文脈で新たに現れる「可逆性」の概念として、共帰納的逆元を定義しました。

• 通常の逆元は有限段の逆元と恒等射の同型で定義されますが、無限次元では「無限に続く逆元の塔」を持つ射を定義します。
• これは、射 $f$ が逆元 $f'$ を持ち、その誤差 $f'f \sim \text{id}$ や $ff' \sim \text{id}$ がさらに「共帰納的に可逆」であるという、再帰的かつ無限の条件です。
• これにより、「共帰納的完全性（coinductive completeness）」という概念が導かれます。

4. 主要な結果

4.1. 主定理（Main Theorem）

$\text{Cat}^R_{\infty}$（右 $\infty$-圏）と $\text{Cat}^L_{\infty}$（左 $\infty$-圏）の間には、以下の反射的局所化（reflective localization）が存在します。

$$L: \text{Cat}^R_{\infty} \rightleftarrows \text{Cat}^L_{\infty} : R$$

• 右随伴 $R$ は完全忠実（fully faithful）: $\text{Cat}^L_{\infty}$ は $\text{Cat}^R_{\infty}$ の部分圏として埋め込まれます。
• 左随伴 $L$: $\text{Cat}^R_{\infty}$ から $\text{Cat}^L_{\infty}$ への局所化関手であり、**弱 $\infty$-全射な射（weakly $\infty$-surjective maps）**を可逆化します。
• 結論: $\text{Cat}^L_{\infty}$ は、$\text{Cat}^R_{\infty}$ を弱 $\infty$-全射な射で局所化して得られる圏です。つまり、両者は等しくなく、$\text{Cat}^L_{\infty}$ は $\text{Cat}^R_{\infty}$ のより「粗い」版（あるいは局所化された版）です。

4.2. 中間的な局所化と完全性の階層

著者らは、$\text{Cat}^R_{\infty}$ と $\text{Cat}^L_{\infty}$ の間に、異なる「可逆性」の概念に基づいた中間的な部分圏が存在することを示しました。

1. 共帰納的完全な圏（Coinductively complete）: 共帰納的逆元を持つ射がすべて実際の同型射であるような圏。これを $\text{Cat}^{\text{coind}}_{\infty}$ とします。
   • $\text{Cat}^L_{\infty} \subseteq \text{Cat}^{\text{coind}}_{\infty} \subseteq \text{Cat}^R_{\infty}$ の包含関係が成り立ちます。
   • $\text{Cat}^{\text{coind}}_{\infty}$ は、$\infty$-全射な射（$\infty$-surjective maps）で局所化して得られます。
2. $\omega$-完全な圏（$\omega$-complete）: 有限段の「$\omega$-逆元」を持つ射が同型であるような圏。
   • $\text{Cat}^L_{\infty} \subseteq \text{Cat}^{\omega}_{\infty} \subseteq \text{Cat}^{\text{coind}}_{\infty}$ となります。
   • 著者らは、$\text{Cat}^L_{\infty}$ が $\text{Cat}^{\omega}_{\infty}$ の真の部分集合である可能性を示唆し、Henry-Loubaton の反例を用いて $\text{Cat}^{\text{coind}}_{\infty}$ が必ずしも $\text{Cat}^L_{\infty}$ に含まれないことを示しました。

4.3. 具体的な例

• スパン圏（Spans）: 右 $\infty$-圏として非自明ですが、左 $\infty$-圏（$L$ を適用後）では自明な圏（一点）になります。これは、スパン圏の射がすべて「弱 $\infty$-全射」であるため、$L$ によってすべて同型化されてしまうためです。
• コボルディズム圏: 完全双対可能（fully dualizable）なため、$L$ を適用するとその 0-局所化（群圏）に縮退します。

5. 意義と貢献

1. $(\infty, \infty)$-圏の定式化の明確化:
   これまで曖昧であった「無限次元の圏」の定義について、コア極限と局所化極限の 2 つの自然な候補が存在し、それらが異なることを厳密に証明しました。特に、右極限（コア）がより「豊か」な構造を持ち、左極限（局所化）がその局所化であることを示しました。

2. 可逆性の階層構造の解明:
   無限次元における「可逆性」には、通常の可逆性、$\omega$-可逆性、共帰納的可逆性など、複数の階層が存在し、それぞれが異なる完全性条件（completeness）に対応することを明らかにしました。これにより、高次圏論における「同型」の概念が次元の無限大においてどのように複雑化するかを記述する枠組みを提供しました。

3. 抽象的な手法の確立:
   具体的なモデル（セーガル圏、簡易圏など）に依存せず、随伴関手と $n$-全射性という抽象的な性質のみを用いて主定理を証明したことは、他の高次圏の理論や、異なる文脈（例えば、Gray-圏など）への応用可能性を広げます。

4. 未解決問題の提示:

   • $\text{Cat}^L_{\infty}$ と $\text{Cat}^{\omega}_{\infty}$ が一致するかどうか（Loubaton の予想）は未解決です。
   • 共帰納的逆元のデータが一意になるような「歩く共帰納的同型（walking coinductive isomorphism）」の存在も未解決です。

6. 結論

本論文は、$(\infty, \infty)$-圏の理論において、コアと局所化という 2 つの極限操作が異なる結果を生むことを示し、それらの関係を「弱 $\infty$-全射性」という概念を通じて記述しました。さらに、無限次元の可逆性には多様な階層が存在し、それらが圏の完全性条件と密接に関連していることを明らかにしました。これは、高次圏論の基礎的な理解を深め、将来の研究における重要な指針となるものです。