Coherent six-functor formalisms: Pro vs Solid

技術的サマリー：コヒーレントな六関手形式に関するノート：Pro 対 Solid

問題定義
本論文は、コヒーレント層に対するグロタンディークの六関手形式における基礎的な欠落に焦点を当てている。$\ell$-進的構成可能層に対するエタールコホモロジーにおける形式は確立されているが、コヒーレント層のケースは未完了のままである。具体的には、開埋め込み $j: U \hookrightarrow X$ に対して、例外付き押し出し関手 $j_!$ は、標準的な（準）コヒーレント層の圏間の関手として存在しない。

歴史的に、層の圏を拡大することでこれを解決しようとする二つの異なるアプローチが提案されてきた：

1. デリニュのアプローチ: 圏を pro-コヒーレント層（具体的には $\mathbb{N}^{op}$ で添字付けられた pro-系）に拡張し、$j_!$ を構成する [Har66, Appendix]。
2. クラウゼン・シュルツェのアプローチ: 凝縮数学の枠組み内で solid モジュール へと圏を拡張し、導来設定において $j_!$ に対する堅牢な扱いを提供する [CS19a, Lecture VIII]。

これら二つの構成の間の関係は不明瞭なままであった。本論文は、デリニュの pro-層構成とクラウゼン・シュルツェの solid モジュール構成との間の精密な比較を確立することで、これらのアプローチを架橋することを目的としている。

方法論と技術的枠組み
著者は、凝縮数学と位相モジュールの文脈において、自然な比較関手 $\Phi$ を構成し、その性質を分析する。

1. 関手の構成:
   論文は、可換環 $A$ に対して関手 $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$ を定義する。この関手は、pro-系 $\varprojlim_{\mathbb{N}} M_i$ を、基礎となる位相モジュールの逆極限（逆極限位相を備えたもの）に関連付けられた solid モジュールへ写す。

   • 構成は二段階で行われる：
     • $\Phi_1$: pro-系を位相モジュール ($\text{TopMod}(A)_{cgwh}$) に写す。
     • $\Phi_2$: これらの位相モジュールを、ヨネダ埋め込み ($M \mapsto \text{Hom}_{\text{Top}}(-, M)$) 経由で凝縮モジュールに写す。
   • 合成 $\Phi = \Phi_2 \circ \Phi_1$ は solid モジュールの圏 $\text{Solid}(A)$ を通して分解される。

2. 完全忠実性の分析:
   中心的な技術的結果は、$\Phi$ を Mittag-Leffler pro-系の部分圏 ($\text{Pro}^{ML}_{\mathbb{N}}\text{Mod}(A)$) に制限することに関するものである。

   • 著者は、$\Phi$ が Mittag-Leffler 系に制限されたときに完全忠実であることを証明する。
   • この証明は、Mittag-Leffler 系に対して、準同型の極限からの余極限への標準写像が全単射であることを示すことに依存している。これは、逆極限位相の慎重な分析を必要とし、特に可算な添字集合の場合、Mittag-Leffler 条件が射影写像が安定像上に安定化することを保証するという事実を利用する。
   • 論文は明示的に、この性質が非可算な添字集合や非 Mittag-Leffler 系に対しては成り立たないことを指摘しており、$\omega_1$ で添字付けられた系に関する反例（系が Mittag-Leffler であるにもかかわらず極限が消滅するもの）を提供している。

3. 導来関手と両立性:
   論文は、右導来関手 $R\Phi: D(\text{Pro}_{\mathbb{N}}\text{Mod}(A)) \to D(\text{Solid}(A))$ を考察する。主要定理は、$R\Phi$ がデリニュによって定義された $j_!$ 関手 ($j^{De}_!$) とクラウゼン・シュルツェによって定義された $j_!$ 関手 ($j^{CS}_!$) との両立性を確立するものである。

主要な結果
主要な結果は 定理 1.1 であり（補題 2.14 および 3.3 に詳述されている）：

• $\Phi$ の存在と性質: 自然な関手 $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$ が存在する。この関手は左完全である。その Mittag-Leffler pro-系の部分圏への制限 $\Phi_{ML}$ は完全かつ完全忠実である。

• $j_!$ の両立性: 有限型 $\mathbb{Z}$-代数 $A$ と非零因子 $f \in A$ に対して、$j: \text{Spec}(A[1/f]) \hookrightarrow \text{Spec}(A)$ を開埋め込みとする。導来関手を含む以下の図式は可換である：
  $$\begin{array}{ccc} \text{Mod}^{fp}(A[1/f]) & \xrightarrow{j^{De}_!} & D(\text{Solid}(A[1/f])) \\ \downarrow & & \downarrow \\ \text{Pro}_{\mathbb{N}}\text{Mod}^{fp}(A) & \xrightarrow{R\Phi} & D(\text{Solid}(A)) \end{array}$$
  具体的には、有限表示モジュールに対して $R\Phi \circ j^{De}_! \cong j^{CS}_! \circ R\Phi$ が成り立つ。

• 両立性の証明機構: 証明は、可換図式の両辺の明示的な計算を含む。

  • デリニュの $j^{De}_!$ は、有限表示モジュール $M'$ からその $f$-進完備化への写像のコーンとして実現される。
  • クラウゼン・シュルツェの $j^{CS}_!$ は、solid テンソル積を用いて計算され、$(A[T], A)$ 上の solid モジュールの圏における $A[1/f]$ の分解を用いる。
  • 著者は、$f$-進完備化 $\widehat{M'}$ とその局所化を分析し、写像 $A \to \widehat{A}$ および局所化 $A \to A[1/f]$ に関する平坦性の結果を利用することで、両方の構成が solid モジュールの導来圏において同型な対象を生成することを示す。

意義と主張
本論文は、欠落していた $j_!$ 関手に対する二つのアプローチの「概念的かつ構造的な統一」を提供すると主張している。pro-層を介したデリニュの古典的構成が、solid モジュールを介した現代的なクラウゼン・シュルツェの構成と一致することを証明することで、この研究は古典的手法と凝縮数学の道具との両立性を強化する。

著者は、定理が現時点では（有限型代数における非零因子によって定義される）特定の種類の開埋め込みに対して述べられているが、この結果は一般の場合に対する「興味深いアイデア」を提供すると指摘している。論文は任意の開埋め込みに対する一般の場合を解決したとは主張していないが、定理がより一般的に成り立つという期待を表明しており、今後の研究において「関手 $R\Phi$ を貼り合わせる」計画を述べている。

この研究はその範囲において控えめであり、これら二つの形式の比較を超えて新しい実験的応用を提案したり、全く新しい幾何学的文脈へ理論を拡張したりするのではなく、二つの特定の枠組み間の架橋を確立することに焦点を当てている。