Topological Vector Spaces

技術的要約：凝縮数学における位相的ベクトル空間

問題と動機
本論文は、剛解析多様体における$p$進周期モーフィズムを幾何学化する必要性、具体的には$p$進プロエタール・コホモロジーの双対定理を促進するための必要性に対処している。位相的ベクトル空間（TVS）は、以前[13]において、$\mathbb{Q}_p$上の局所凸ベクトル空間に値を持つ「シンパセティック（sympathetic）」な空間上の濃縮プリシェアとして導入されたが、本論文ではこの圏の**濃縮版（condensed version）**を調査している。導入部で述べられている主要な動機は、[11]における双対性の結果への適用であり、そこでの関連するTVSの例は、凝縮した宇宙に自然に存在するファルゲス・フォントレーヌ曲線上の準コヒーレント層のコホモロジーから生じるオブジェクトである。

著者らは、以下の条件を満たす厳密な枠組みを確立することを目指している：

1. 局所凸位相的ベクトル空間が、濃縮（またはソリッド）された$\mathbb{Q}_p$加群に置き換わること。
2. シンパセティックな空間が、厳密に全連結な空間（またはw-収縮空間）に置き換わること。
3. 濃縮数学の枠組みにおける濃縮されたイェンデラ・レマを用いて、エンリッチメント条件（写像空間の位相に対する感受性）が定式化されること。

手法
本論文は、（$C$を混合標数体$K$の代数的閉包の$p$進完備化とする）パーフェクトイド・アフィノイド上の圏上の（前）層の3つの入れ子になった圏を構成し、分析している：

1. ベクトル空間 (VS): パーフェクトイド・アフィノイド上のプロエタール・サイト（$S_{\text{pro\'et}}$）上の$\mathbb{Q}_p$ベクトル空間の層の圏。これらは内在的な位相を持たない代数的対象であるが、サイト自体は位相を符号化している。
2. 素朴な位相的ベクトル空間 (NTVS): 同様のサイト上の（Clausen-Scholzeの意味での）位相的$\mathbb{Q}_p$ベクトル空間の層の圏。これらは濃縮またはソリッドなアーベル群に値を持つ層である。著者らは、これらがグロタンディーク・アーベル圏を形成することを証明し、その派生圏、ソリッド化関手、およびモノイダル構造を研究している。
3. 位相的ベクトル空間 (TVS): 主要な研究対象。これは位相的にエンリッチされたプリシェアの圏である。
   • エンリッチメントは、パーフェクトイド空間のHom空間に自然な濃縮構造を付与することによって達成される。
   • 著者らは、エンリッチメント条件が保持され、かつ濃縮されたイェンデラ・レマを利用できるように、一般的なパーフェクトイド・アフィノイドからのプリシェア・ファンクタを厳密に全連結な空間へと制限している。
   • 「硬い（rigid）」プリシェア（構造写像 $F(Y \times T) \to [T, F(Y)]$ が同型であるもの）と、一般的なエンリッチされたプリシェアとの区別に、重要な技術的ツールがある。論文では、プロエタール・サイトから生じる層は規範的に硬いことを確立している。

手法は、凝縮数学（Clausen-Scholze）の理論、特にソリッド加群の性質、濃縮されたカテゴリーとソリッドなカテゴリーの関係、および派生関手やエンリッチされた構造を扱うための$\infty$-カテゴリーの使用に大きく依存している。

主な貢献と結果

1. 圏論的枠組み: 本論文は、位相的にエンリッチされたプリシェアの全部分圏としてTVSの圏を定義している。著者らは、この圏が（Yoneda対象とソリッド加群のテンソル積としての）コンパクトかつ射影的な生成元を持つグロタンディーク・アーベル圏を形成することを証明している。

2. エンリッチされた完全忠実性 (Theorem 1.1, Part 1):
   著者らは、特定の有限性条件が満たされる場合、ベクトル空間 (VS) から位相的ベクトル空間 (TVS) への標準的な関手がエンリッチされた意味で完全忠実であることを証明している。

   • 具体的には、$F \in D^b(S_{\text{pro\'et}}, \mathbb{Q}_p)$ および $G \in D^+(S_{\text{pro\'et}}, \mathbb{Q}_p)$ に対して、標準的な射
     $$R\pi_* R\text{Hom}_{S, \mathbb{Q}_p}(F, G) \to R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(R\pi_* F, R\pi_* G)$$
     は擬同型である。
   • この結果は、代数的Yoneda層が位相的Yoneda層へと写ること、およびエンリッチされたイェンデラ・レマが両方の設定で成立することに基づいている。

3. ファルゲス・フォントレーヌの完全忠実性 (Theorem 1.1, Part 2):
   本論文は、ファルゲス・フォントレーヌ曲線 ($X_{FF}$) 上の準コヒーレント層からTVSへの関手が、完全複体に制限された場合に完全忠実であることを確立している。

   • 完全複体 $F, G \in \text{Perf}(X_{FF, S^\flat})$ に対して、自然な射
     $$R\tau_* R\text{Hom}_{\text{QCoh}}(F, G) \to R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(R\tau_* F, R\tau_* G)$$
     は擬同型である。
   • これは、第1の主張を通じて代数的ケースに帰着された、Anschütz-Le Bras [3] による結果の位相的な類似物である。

4. 射影の適合性 (Theorem 1.1, Part 3):
   本論文は、代数的射影（ファルゲス・フォントレーヌ層からVSへの射影）と位相的射影（TVSへの射影）の間の適合性を、**核的層（nuclear sheaves）**に制限した場合に示している。これにより、ファルゲス・フォントレーヌ曲線、VS、およびTVSを関連付ける図式が、核的対象に対して可換であることが保証される。

5. 計算上の帰結 (Corollary 1.2 & Example 4.27):
   著者らは、TVSの圏における拡大群（extension groups）の明示的な計算を提供し、それらがVSおよびファルゲス・フォントレーヌ曲線上のものと一致することを示している。例えば：

   • $R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(\mathbb{Q}_p, \mathbb{Q}_p) \simeq \mathbb{Q}_p$
   • $R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(\mathbb{Q}_p, \mathbb{G}_a) \simeq \mathbb{G}_a$
   • $R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(\mathbb{G}_a, \mathbb{G}_a) \simeq \mathbb{G}_a \oplus \mathbb{G}_a[-1]$
     これらの結果は、バナッハ・コルツ空間やファルゲス・フォントレーヌ曲線上の層の拡大が、代数的、プロエタール、または位相的な設定において相互に入れ替え可能に計算できることを裏付けている。

意義と主張
本論文の主要な意義は、位相的ベクトル空間のための堅牢な濃縮された枠組みを提供することにあると著者らは主張している。局所凸空間を濃縮された（またはソリッドな）$\mathbb{Q}_p$加群に、シンパセティックな空間を厳密に全連結な空間に置き換えることで、著者らは（濃縮されたイェンデラ・レマやソリッド・テンソル積のような）凝縮数学の強力な道具を用いて$p$進コホモロジーを研究することを可能にしている。

著者らは、このTVSの「ソリッド版」が、ソリッド$\mathbb{Q}_p$ベクトル空間の圏における対象ごとの計算を可能にし、コホモロジー的双対性の分析を簡素化することを明記している。本論文は双対定理自体を解決することを主張しているのではなく、むしろそのような計算を凝縮された宇宙の中で厳密かつ扱いやすくするための必要な範疇的インフラストラクチャ（「位相的ベクトル空間」の圏）を提供している。得られた結果は、TVSによる周期モーフィズムの「幾何学化」が、基礎となる代数的および幾何学的対象の本質的なホモロジー情報を保持していることを裏付けている。