Arithmetic Kodaira--Spencer Class and Frobenius Liftings via Frobenius--Witt Cotangent Complex

技術要約：フロベニウス・ウィット余接複体を用いた算術的コダラ・スペンサー類とフロベニウス・リフト

問題設定
フロベニウス端道の2-切断ウィット・ベクトル環（$W_2(k)$ または $\mathbb{Z}/p^2$）へのリフトの存在は、正標数における滑らかな射影多様体に深刻な幾何学的制約を課す。ボトル消滅定理やトーリック・ファイブレーションに関する予想などの著名な結果は、このようなフロベニウス・リフトが存在するという仮定に基づいている。したがって、平坦な $\mathbb{Z}_{(p)}$-スキームがフロベニウス・リフトを許容するかどうかを決定する正確な条件を求めることは、基礎的な問題である。

この問題に対する従来のアプローチは、2つの異なる枠組みを用いてきた：

1. 古典的な変形理論： [Zda18] に見られるように、余接複体の変形理論を用いて障害類が構成される。
2. 算術微分形式： 滑らかなスキームに対して、[DKRZB17] は全 $p$-微分 $\Omega^{1, \text{tot}}_{X_1}$ のモジュールを用いて障害類（算術的コダラ・スペンサー類）を構成した。このアプローチは古典的なコダラ・スペンサー理論と類似しているが、全 $p$-微分の特定の完全列の左完全性に依存している。

全 $p$-微分を用いたアプローチの限界は、非滑らかなスキームにおいて全 $p$-微分の列が必ずしも左完全ではないことであり、これが障害類の直接的な一般化を妨げている。本論文は、算術的コダラ・スペンサー類を任意の平坦な $\mathbb{Z}_{(p)}$-スキームへと拡張し、この新しい定義を古典的な変形理論と整合させる必要性に取り組むものである。

手法
著者は、アニメーテッド $\mathbb{Z}_{(p)}$-代数のために [Shi26] で導入されたフロベニウス・ウィット余接複体 $FL_X$ を用いる。この対象は、フロベニウス・リフトの文脈に適応された、古典的な余接複体の算術的な類似物である。

核心となる手法は以下の通りである：

1. 派生圏による一般化： 滑らかな場合の全 $p$-微分モジュールを、準コヒーレント層の派生 $\infty$-圏 $D_{\text{qc}}(X_0)$ におけるフロベニウス・ウィット余接複体 $FL_X$ に置き換える。
2. ファイバー列： フロベニウス・ウィット余接複体の推移ファイバー列（定理 2.4）を利用して、平坦な $\mathbb{Z}_{(p)}$-スキーム $X$ に対して以下の標準的なファイバー列を確立する：
   $$\mathcal{O}_{X_0} \to FL_X \to F^*_{X_0} L_{X_0/\mathbb{F}_p} \to$$
   ここで、$X_0 = X \times_{\text{Spec } \mathbb{Z}_{(p)}} \text{Spec } \mathbb{F}_p$ であり、$F_{X_0}$ はフロベニウス射である。
3. 障害類の定義： 上記のファイバー列によって決定される接続写像による拡大類として、算術的コダラ・スペンサー類 $\kappa_X$ を定義する。
4. 比較： この類の消滅がフロベニウス・リフトの存在と同値であることを証明し、この類が古典的な変形理論（具体的には Illusie や Zdanowicz の研究）から導かれる障害類と一致することを示す。

主要な貢献および結果

1. 算術的コダラ・スペンサー類の定義 (Definition 1.3):
   本論文は、フロベニウス・ウィット余接複体を用いて、任意の（必ずしも滑らかではない）平坦な $\mathbb{Z}_{(p)}$-スキームに対する $\kappa_X$ を定義する。これにより、全 $p$-微分を用いていた滑らかな場合を超えて、障害理論の適用範囲を拡張する。

2. フロベニウス・リフトへの同値性 (Theorem 3.3):
   中心的な結果は、平坦な $\mathbb{Z}_{(p)}$-スキーム $X$ について、算術的コダラ・スペンサー類 $\kappa_X$ が消滅することと、$X_1 = X \times_{\text{Spec } \mathbb{Z}_{(p)}} \text{Spec } \mathbb{Z}/p^2$ 上にフロベニウス・リフトが存在することが同値であることを確立する。

   • 証明の概略： $\kappa_X = 0$ ならば、ファイバー列は分裂し、レトラクション $FL_X \to \mathcal{O}_{X_0}$ の構成が可能になる。このレトラクションは写像 $\alpha: \mathcal{O}_X \to \mathcal{O}_{X_0}$ を誘導し、これと $p$ 乗写像を組み合わせることで、フロベニウスをリフトする環準同型 $F: \mathcal{O}_{X_1} \to \mathcal{O}_{X_1}$ が定義される。逆に、フロベニウス・リフトはフロベニウス・ウィット導来を誘導し、必要なレトラクションを与える。

3. 相対版 (Theorem 3.9):
   平坦な $\mathbb{Z}_{(p)}$-スキームの射 $f: X \to Y$ に対して、相対的な算術的コダラ・スペンサー類 $\kappa_{X/Y}$ を定義する。この類の基底 $Y$ 上のレトラクションとの合成の消滅は、$Y_1$ 上の与えられたリフトと両立する $X_1$ 上のフロベニウス・リフトの存在と同値であることが示される。

4. Deligne–Illusie 類との比較 (Theorem 4.2):
   滑らかなスキームに対して、本論文で定義された算術的コダラ・スペンサー類が、局所的なフロベニウス・リフトと $H^1(X_0, F^*_{X_0} T_{X_0/\mathbb{F}_p})$ のコサイクルを通じて構成される古典的な Deligne–Illusie 類 $h_{X_1}$ と（符号を除いて）一致することを証明する。

5. 古典的変形理論との比較 (Theorem 5.3):
   算術的コダラ・スペンサー写像が、アニメーテッド環に対する余接複体の古典的な変形理論（具体的には、フロベニウス・リフトと余接複体上の標準的なフロベニウスとの差）によって定義される障害写像と標準的に同値であることを証明する。これにより、フロベニウス・ウィットのアプローチが、古典的な変形論的アプローチと同じ障害を与えることが確認される。

6. Modulo $p^2$ 簡約への依存性 (Corollary 5.7):
   古典的理論との比較から得られる重要な帰結は、平坦な $\mathbb{Z}_{(p)}$-代数のフロベニウス・ウィット余接複体 $FL_X$ は、本質的にその modulo $p^2$ 簡約にのみ依存するということである。もし2つのスキーム $X$ と $Y$ が等しい modulo $p^2$ 簡約（$X_1 \cong Y_1$）を持つならば、それらのフロベニウス・ウィット余接複体は同値である（$FL_X \simeq FL_Y$）。

意義
本論文は、算術微分幾何学（全 $p$-微分を用いる）と古典的な変形理論の間の溝を埋める、フロベニウス・リフトを研究するための統一的な枠組みを提供する。フロベニウス・ウィット余接複体を用いることで、著者は算術的コダラ・スペンサー類を非滑らかなスキームへと成功的に一般化し、全 $p$-微分を用いる際に問題となっていた左完全性の問題を解決した。

この研究は、算術的コダラ・スペンサー類を堅牢な障害不変量として検証しており、滑らかな場合には Deligne–Illusie 類と、一般的なアニメーテッドの場合は古典的な変形障害と一致することを証明している。さらに、フロベニウス・ウィット余接複体が modulo $p^2$ 簡約によって決定されるという結果は、これらの複体の計算に関わる構造的な簡略化を提供しており、フロベニウス・リフトに関連する特定の派生不変量に対して、より高次のウィット・ベクトルのデータが必要ない可能性を示唆している。