Metrics on triangulated categories and restrictions of (co)-$t$-structures

以下は、Wei Hu と Ziheng Liu による論文「Metrics on triangulated categories and restrictions of (co)-t-structures」の詳細な技術的概要です。

1. 問題提起

本論文は、三角圏の理論における 2 つの相互に関連する問題、具体的には、圏の完備化を研究するために Neeman によって開発された「計量（metrics）」を備えた「コンパクト生成三角圏（compactly generated triangulated categories）」（$\mathcal{T}$）の文脈において、2 つの問題に取り組んでいます。

1. シルティング誘導 t-構造の制限:
   コンパクト生成圏 $\mathcal{T}$ において、コンパクト対象のシルティング部分圏 $\mathcal{G}$（$\mathcal{T}^c$）は、標準的な t-構造 $(\mathcal{T}^{\leq 0}_{\mathcal{G}}, \mathcal{T}^{\geq 0}_{\mathcal{G}})$ を誘導します。この t-構造は $\mathcal{T}$ 上で well-defined である一方で、$\mathcal{G}$ によって誘導される計量に関する $\mathcal{T}^c$ の「前完備化（precompletion）」（$\mathcal{T}^-_c$）や「完備化（completion）」（$\mathcal{T}^b_c$）に制限されるとは限りません。著者らは、この制限が発生するための条件の正確な特徴付けを求めます。
2. Koenig-Yang 対応の拡張:
   Koenig と Yang は、有限次元代数に対して、シルティング対象、有界コ t-構造、有界 t-構造、および単純心（simple-minded）の集合の間の全単射を確立しました。本論文は、これらの対応が三角圏の一般的な計量枠組みに拡張されるかどうか、そしてそれらが変異操作（mutation operations）と可換であり、部分順序を保存するかどうかを問います。

2. 手法

著者らは、Neeman の三角圏上の計量理論の枠組み内で、近似理論、計量完備化技術、およびホモロジー代数の組み合わせを採用しています。

• 計量枠組み: 「良い計量（good metrics）」、コーシー列、およびその結果として生じる前完備化（$\mathcal{T}^-_c$）と完備化（$\mathcal{T}^b_c$）の定義を、関手圏 $\text{Mod-}\mathcal{T}$ の部分圏として利用します。
• 近似理論: 中心的な道具は、**反変有限性（contravariant finiteness）**の研究です。著者らは、より大きな圏の対象が、シルティング部分圏 $\mathcal{G}$ の対象による右近似（right approximations）を許容する条件を分析します。
• 帰納的構成: 特定の三角形の列（「スライス（slices）」および「スタック（stacks）」と呼ばれる）を構成し、$\mathcal{G}$ およびその拡張からの対象を用いて、$\mathcal{T}^-_c$ および $\mathcal{T}^b_c$ の対象を近似します。
• 双対性と表現可能性: Koenig-Yang 対応を確立するために、Neeman の表現可能性定理と双対性の議論（特に Hom-空間の双対を含む）を利用し、単純心の集合を完備化からコンパクト部分圏のシルティング対象へと持ち上げます。

3. 主要な貢献と結果

A. 制限の特徴付け（定理 1.1）

本論文は、シルティング誘導 t-構造が計量完備化に制限される場合の完全な特徴付けを提供します。$\mathcal{G}$ を $\mathcal{T}^c$ のシルティング部分圏とします。以下の条件は同値です（完備化への影響を伴う）：

1. $\mathcal{G}$ は $\mathcal{T}^c$ において**反変有限（contravariantly finite）**である。
2. $\mathcal{G}$ は前完備化 $\mathcal{T}^-_c$ において反変有限である。
3. 誘導された t-構造は $\mathcal{T}^-_c$ 上の t-構造に制限される。
4. 誘導された t-構造は完備化 $\mathcal{T}^b_c$ 上の t-構造に制限される。
5. $\mathcal{T}^b_c$ のすべての対象は、右 $\text{add}(\mathcal{G})$-近似を許容する。

帰結:

• 制限が成り立つ場合、$\mathcal{T}^-_c$ 上の制限された t-構造は**上方有界（above-bounded）であり、$\mathcal{T}^b_c$ 上では有界（bounded）**です。
• 制限された t-構造の心（heart）は、$\text{mod-}\mathcal{G}$ および $\text{mod-}H^0(\mathcal{G})$ と同値です。
• 制限された t-構造の交わりは、$\mathcal{T}^-_c$（および $\mathcal{T}^c \subseteq \mathcal{T}^b_c$ の場合 $\mathcal{T}^b_c$）上に、コ心（co-heart）$\mathcal{G}$ を持つコ t-構造を定義します。

B. 右コヒーレント環の圏論的特徴付け（系 1.2）

制限定理の主要な応用として、右コヒーレント環の純粋に圏論的な特徴付けが得られます。

• 結果: 環 $R$ が右コヒーレントであるための必要十分条件は、導来圏 $D(\text{Mod-}R)$ 上の標準 t-構造が、有限生成射影加群の有界複体のホモトピー圏 $K^{-,b}(\text{proj-}R)$ に制限されることです。
• 意義: これは、コヒーレント環上のティルティング複体に限られていた以前の結果を一般化し、環のコヒーレント性が、標準 t-構造の制限行動と本質的に関連していることを示しています。

C. 拡張された Koenig-Yang 対応（定理 1.3）

$\mathcal{T}$ が有限次元 Hom-空間を持つシルティング対象 $G$ を持つコンパクト生成 $k$-線形圏であり、かつ $\mathcal{T}$ が $\mathcal{T}^b_c$ 内の対象によって生成されると仮定すると、著者らは以下の間の全単射を確立します：

1. $\mathcal{T}^c$ 内の基本シルティング対象の同型類。
2. $\mathcal{T}^c$ 上の有界コ t-構造。
3. **長さの心（length hearts）**を持つ $\mathcal{T}^b_c$ 上の有界 t-構造。
4. $\mathcal{T}^b_c$ 内の**単純心の集合（simple-minded collections）**の同値類。

主要な性質:

• これらの全単射は、変異操作（左および右の両方）と可換です。
• これらは、これらの構造上で定義された部分順序を保存します（例：$m > 0$ に対して $\text{Hom}(M, N[m]) = 0$ である場合の $M \geq N$）。
• 本論文は、特に Nakayama 関手が存在しない場合でも、ホモトピー極限と双対性を用いて単純心の集合からシルティング対象を構成する方法を明示的に示し、逆写像を構成します。

4. 意義

• 枠組みの統合: 本論文は、古典的な環論的結果（コヒーレント性など）と三角圏の抽象的な計量理論の間のギャップを成功裏に埋めています。計量完備化は単なる技術的な道具ではなく、t-構造の制限のような構造的性質を研究するための自然的な場であることを実証しています。
• 古典的結果の一般化: Koenig-Yang 対応を計量枠組みに拡張することで、著者らはシルティング対象と単純心の集合の理論を、有限次元代数からより広範な三角圏のクラスへと一般化しました。
• コヒーレント性の新たな特徴付け: 標準 t-構造の制限を通じて右コヒーレント環を特徴付けるという結果は、加群論的なコヒーレント性の定義に依存しない、環論に対する新しい純粋にホモロジー的な視点を提供します。
• 構造的安定性: これらの対応が変異と可換であり、順序を保存することを証明したことは、計量設定におけるシルティング理論の堅牢性を確認し、コンパクト対象とその計量完備化の間を移動しても、シルティング対象の組み合わせ的構造が保存されることを示唆しています。

要約すると、本論文は、計量完備化の下でのシルティング理論の振る舞いを理解するための厳密な基礎を提供し、導来圏の分析のための強力な新たな道具を提供するとともに、環の性質、t-構造、および組み合わせ的変異の間の深い関連性を確立しています。