Frobenius--Witt cotangent complexes

技術的サマリー：フロベニウス・ウィット余接複体

問題提起
本論文は、フロベニウス・ウィット微分の文脈に特化した、余接複体の導来算術 analogue の必要性に取り組む。M. André と D. Quillen が、ケーラー微分 ($\Omega_{B/A}$) の導来版として余接複体 ($L_{B/A}$) を確立したのに対し、T. Saito は最近、可換環の正則性と関連付けて、ケーラー微分の算術 analogue としてフロベニウス・ウィット微分の加群 ($F\Omega_A$) を導入した。しかし、Saito の $F\Omega_A$ の導来版、すなわち「フロベニウス・ウィット余接複体」は、形式的に構成されていなかった。本論文は、この対象 $FL_A$ を定義し、特に混合標数におけるノーター局所環の正則性との関係性についてその性質を調査することを目的とする。

手法
著者は、$\infty$-圏とアニメーション（導来代数幾何）の枠組みを用いてフロベニウス・ウィット余接複体を構成する。手法は以下の手順で進められる：

1. 導分の再定式化：論文は、Saito によるフロベニウス・ウィット導分の定義の再定式化から始まる。多項式 $P(X, Y) = \frac{(X+Y)^p - X^p - Y^p}{p}$ を用いた特定の加法と乗法の規則を持つ集合 $A \times M$ として定義される「算術拡大」環 $W_2(A, M, m)$ を導入する。この構成により、フロベニウス・ウィット導分 $w: A \to M$ と $A$ への射影を分裂させる環準同型 $A \to W_2(A, M, m)$ の間に全単射が確立される。
2. アニメーション：コンパクト射影生成子の理論を用いて、$M$ が $A/p$-加群であるような対 $(A, M)$ の圏の「アニメーション」（導来版）が定義される。これにより、算術拡大関手のアニメーション版 $W_2^{an}$ の定義が可能となる。
3. 普遍性：フロベニウス・ウィット余接複体 $FL_A$ は、導来 $\infty$-圏 $D_{\ge 0}(A/Lp)$ における、アニメーションされたフロベニウス・ウィット導分の空間をコアプresents する対象として定義される。具体的には、$\text{Hom}(FL_A, M) \simeq \text{FWDer}(A, (M, m))$ となる普遍対象である。
4. 計算手法：論文は、余接複体の推移性から導かれる基本的なファイバー系列と、アニメーション環の $\infty$-圏におけるプッシュアウトの性質を利用する。手法の大部分は、完全環と $p$-ねじれ自由な完全環に分解するか、Fontaine の $\theta$-写像を含むプッシュアウト正方形を利用することによって、完全環 $R$ に対する $FL_R$ を計算することに費やされる。

主要な貢献と結果

• 定義と基本的性質：論文は $FL_A$ を定義し、それが古典的な余接複体と類似の性質を満たすことを確立する：

  • 推移的なファイバー系列を許容する：$FL_A \otimes^L_A B \to FL_B \to F^*(L_{(B/Lp)/(A/Lp)})$。
  • エタール局所化を満たし、シフトされた余極限と可換である。
  • その 0 次ホモロジー群は、古典的なフロベニウス・ウィット微分の加群を回復する：$\pi_0(FL_A) \simeq F\Omega_A$。
  • 導来 $p$-完備化に対して不変である。
  • 滑らかな $\mathbb{Z}_{(p)}$-代数に対しては、$FL_A$ は $F\Omega_A$ と一致する。

• 層性：主要な結果の一つは定理 5.9 であり、関手 $A \mapsto FL_A$ が fpqc 層 であることを証明する。これは、古典的な余接複体が fpqc 層を形成するという事実の導来 analogue として提示され、非導来加群 $F\Omega_A$ が一般には満たさない性質である。

• 完全環における消滅：定理 6.8 は、任意の完全環 $R$ に対して、フロベニウス・ウィット余接複体が消滅すること ($FL_R \simeq 0$) を確立する。これは、完全 $\mathbb{F}_p$-代数における $\mathbb{F}_p$ 上の余接複体の消滅の混合標数 analogue として記述される。証明は、完全環の分解と関手によるプッシュアウトの保存を利用する。

• 正則性判定基準：論文は、Saito の正則性判定基準の導来版（定理 1.3 / 系 6.14）を確立する。標数 $p$ の剰余体を持つ $p$-ねじれ自由な完備ノーター局所環 $R$ について、$d = \dim R$ および $p^r = [k : k^p]$ となる $r$ をとるとき、環 $R$ が正則であることは、$FL_R$ がランク $r + d$ の自由 $R/p$-加群であることと同値である。この結果は、完全環に対する $FL_R$ の消滅と、準シントミック被覆下での $FL$ の振る舞いに大きく依存している。

• $\mathbb{F}_1$ に関する予想：最後の節において、著者は「1 つの元を持つ体」($\mathbb{F}_1$) の存在に関する予想を提案する。$FL_R$ が $L_{R/\mathbb{F}_1}$ の $p$ 剰余のフロベニウス引き戻しとなるような、$D(\mathbb{Z}_{(p)})$ に値をとる関手 $L_{(-)/\mathbb{F}_1}$ が存在すると予想されている。

意義
本論文は、フロベニウス・ウィット余接複体の導入が、Saito のフロベニウス・ウィット微分に関する研究を拡張する、堅牢な導来算術幾何の枠組みを提供すると主張する。その主な意義は以下の点にある：

1. 統合：古典的な余接複体と算術微分の間のギャップを埋め、前者の望ましい層論的性質を保持しつつ、後者の算術情報を捉える導来対象を提供する。
2. 新たな現象：完全環に対する $FL_R$ の消滅は、フロベニウス・ウィット微分に関する文献において観察されていなかった新たな現象として特定され、完全幾何と算術導分との間の深い関連性を示唆している。
3. 正則性の検出：正則性の導来判定基準（定理 1.3）は、混合標数における特異性を研究するための洗練されたツールを提供し、古典的な加群レベルの判定基準を超えた洞察をもたらす可能性がある。

著者は、$\mathbb{F}_1$ に関する予想については、証明された事実ではなく、観察された関係の自然な拡張として位置づけることで謙虚なトーンを維持し、正則性判定基準は現在、完備ノーター局所環に適用されるものであり、一般の場合は未解決の問題として残されていることを認めている。