De Rham affineness of the Nygaard filtered prismatization in positive characteristic

この論文「DE RHAM AFFINENESS OF THE NYGAARD FILTERED PRISMATIZATION IN POSITIVE CHARACTERISTIC（正標数における Nygaard 濾過付きプリズム化の de Rham アフィン性）」は、Shubhankar Sahai によって執筆された数学論文です。以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的要約を記します。

1. 問題設定と背景

• 背景: 正標数 $p > 0$ の完全環 $k$ 上のアニメーション $k$-代数 $R$ に対して、その「Nygaard 濾過付きプリズム化（Nygaard filtered prismatization）」$R^{\text{Nyg}}$ というスタックを考察する。これは、Bhatt-Lurie によって導入された相対プリズム化の理論や、Mondal による de Rham スタックの再構成結果の延長線上にある。
• 核心的な問い: 正標数における相対プリズム化 $R^{\text{Nyg}}$ は、$k^{\text{Nyg}}$ 上のスタックとして、ある「Rees 代数」の相対スペクトルとして自然に同型になるか？
  • 具体的には、$R$ の相対プリズムコホモロジー $\Delta_{R/k}$ に Nygaard 濾過を付与し、その Rees 構成（Rees construction）を取った代数を $k^{\text{Nyg}}$ 上の導来代数とみなしたとき、そのスペクトルが $R^{\text{Nyg}}$ と一致するかどうか。
• 動機: この性質は「de Rham アフィン性（de Rham affineness）」と呼ばれる概念の具体例であり、将来的な研究（Frobenius 持ち上げ可能なスキームのシントモフィケーション）における整理ツールとして機能する。

2. 主要な概念と定義

• de Rham アフィン性 (Definition 1.6):
  • スタック値関手 $X: \text{ARing}_A \to \text{Stacks}_S$ が、ある関手 $T: \text{ARing}_A \to \text{DAlg}(S)$ を用いて $X(B) \simeq \text{Spec}_S(T(B))$ と自然に同型であるとき、$X$ は $S$ 相対的に de Rham アフィンであるという。
  • これは、スタックが単に「アフィン」である（Toën や Mathew-Mondal の意味での）という抽象的な性質よりも強く、関手的な構成（環スタックを通じた変換：transmutation）によって得られることを示唆する。
• Nygaard 濾過付きプリズム化:
  • $R^{\text{Nyg}}$ は、$k^{\text{Nyg}}$ 上のスタックであり、$k^{\text{Nyg}}$ は $W(k)\langle u, t \rangle / (ut-p)$ 上の $G_m$-スタックとして記述される。
  • このスタックは、プリズムコホモロジーの Nygaard 濾過、Hodge 濾過、共役濾過（conjugate filtration）などの特殊化を統一的に記述する。

3. 手法と証明の概要

論文は以下のステップで構成されている。

1. 関手的な枠組みの確立 (Section 2):

   • de Rham アフィン性を公理化し、コリミットを保存する関手が「変換（transmutation）」を通じて環スタックから生じることを示す（Corollary 2.6）。
   • 関手間の自然な写像 $\eta_R: R^{\text{Nyg}} \to \text{RNyg}(F^*\Delta_{R/k})$ を構成する。これは、左 Kan 拡張の普遍性を用いて定義される。

2. Rees スタックの構成と特殊化 (Section 3 & 4):

   • Nygaard 濾過付きプリズムコホモロジーの Rees 代数 $\text{Rees}(\text{Fil}^{\text{Nyg}} F^*\Delta_{R/k})$ を構成し、これを $k^{\text{Nyg}}$ 上の導来代数とみなす。
   • この Rees スタックを $k^{\text{Nyg}}$ の部分スタック（$t \neq 0, u \neq 0$ などの局所）に制限すると、それぞれ結晶コホモロジー、プリズム化、Hodge 濾過付き de Rham 複体、共役濾過付き Hodge-Tate 複体などの既知のスタックと一致することを示す（Lemma 4.7）。

3. 同型の証明 (Section 5):

   • 目標は $\eta_R$ が同型であることを示すこと。
   • 還元戦略: 関手がコリミットを保存することを利用し、多項式環 $A = k[x]$ の場合に証明すれば十分である（Lemma 2.18）。
   • 被覆の選択: $A = k[x]$ に対して、擬シントミック被覆 $S = k[x^{1/p^\infty}]$ を考える。$S$ は準正則半完全（quasiregular semiperfect）であり、Bhatt の既知の結果（Theorem 4.15）により、$S$ に対して $\eta_S$ は同型であることが知られている。
   • 降下論的アプローチ: $A \to S$ が fpqc 被覆であることを利用し、$\eta_A$ が同型であることを示すために、$\eta_S$ の同型性と、$\text{RNyg}(F^*\Delta_{S/k}) \to \text{RNyg}(F^*\Delta_{A/k})$ が fpqc 全射（effective epimorphism）であることを示す。
   • 平坦性の検証: 付録 A, B, C を用いて、Rees 代数の基底変換による平坦性や連結性を検証する。特に、Bar 複体を用いたフィルトレーションの構成や、局所コホモロジーの性質を駆使して、必要な平坦性条件を満たすことを示す（Lemma 5.7, Corollary 5.11）。

4. 主要な結果

• 定理 1.13 (Main Theorem):

  • $k$ 上のアフィン導来スキーム $X$ に対して、$k^{\text{Nyg}}$ 上の導来スタックとして自然な同型
    $$X^{\text{Nyg}} \simeq \text{RNyg}(F^*\Delta_{X/k})$$
    が成り立つ。
  • これは、Nygaard 濾過付きプリズム化が、Nygaard 濾過付きプリズムコホモロジーの Rees 代数の相対スペクトルとして表現可能であることを意味する。

• 相関する結果 (Corollaries 1.14, 1.16, 5.12):

  • 上記の定理から、以下の特殊化についても同型の結果が得られる：
    • Hodge 濾過付き導来 de Rham スタック $(X/k)_{dR,+}$ と Hodge 濾過付き de Rham コホモロジーの Rees 代数のスペクトル。
    • 共役濾過付き Hodge-Tate スタック $(X/k)_{HT,conj}$ と共役濾過付き Hodge-Tate コホモロジーの Rees 代数のスペクトル。
    • これらは Mondal の結果 [Mon22] の濾過付き版とみなせる。

5. 意義と貢献

• 理論的統合: 正標数におけるプリズム化、de Rham 複体、Hodge-Tate 複体、およびそれらの濾過構造を、単一の「de Rham アフィン性」という概念と「Rees 代数による表現」という枠組みで統一的に記述した。
• 構造的洞察: プリズムコホモロジーに関連する関手が、環スタックを通じた「変換（transmutation）」によって生じていることを示唆し、その背後にある普遍性を解明した。
• 将来の研究への基盤: この結果は、Frobenius 持ち上げ可能なスキームのシントモフィケーション（syntomification）を研究する著者の今後の論文 [Sah25b] の基礎となる。特に、Fontaine-Laffaille 加群との関係や、Fontaine-Laffaille 理論の導来版への応用が期待される。
• 技術的貢献: 導来代数上の平坦性や連結性を、構成可能な層別化（constructible stratification）や Rees 構成を用いて検証する技術的ツール（付録 A, B, C）を提供した。

総じて、この論文は正標数における高度な幾何学的対象（プリズム化）を、代数的な構造（Rees 代数）として完全に記述可能であることを示し、p-進幾何と導来代数幾何の接点において重要な一歩を踏み出したものである。