[論文レビュー] An inverse Cartier transform via exponential in positive characteristic

Guitang Lan, Mao Sheng+1 more|arXiv (Cornell University)|May 30, 2012

Algebraic Geometry and Number Theory参考文献 12被引用数 5

ひとこと要約

本稿は、奇数の特異的特徴を持つ完全体 $ k $ 上の滑らかな代数的多様体 $ X_0 $ 上の指数 $ n \leq p-1 $ の冪零 Higgs バンドルから、$ W_2(k) $ 上の Frobenius の上げ上げを通じた指数関数的構成を用いて平坦バンドルを構成する。主な結果は、相対的 Frobenius によって誘導される同型を介して、幾何的状況下でこの構成が Ogus–Vologodsky の逆 Cartier 変換と同値であることを示している。

ABSTRACT

Let $k$ be a perfect field of odd characteristic $p$ and $X_0$ a smooth connected algebraic variety over $k$ which is assumed to be $W_2(k)$-liftable. In this short note we associate a de Rham bundle to a nilpotent Higgs bundle over $X_0$ of exponent $n\leq p-1$ via the exponential function. Presumably, the association is equivalent to the inverse Cartier transform of A. Ogus and V. Vologodsky for these Higgs bundles. However this point has not been verified in the note. Instead, we show the equivalence of the association with that of Sheng-Xin-Zuo in the geometric case. The construction relies on the cocycle property of the difference of different Frobenius liftings over $W_2(k)$, which plays the key role in the proof of $E_1$-degeration of the Hodge to de Rham spectral sequence of $X_0$ due to P. Deligne and L. Illusie.

研究の動機と目的

• 奇数の特異的特徴を持つ完全体 $ k $ 上の滑らかな多様体 $ X_0 $ 上の指数 $ n \leq p-1 $ の冪零 Higgs バンドルから平坦バンドルを構成すること。
• 微分幾何的道具と指数関数を用いた、逆 Cartier 変換の代替的構成を提供すること。
• この構成が幾何的状況下で Ogus–Vologodsky の逆 Cartier 変換と同値であることを確立すること。
• 局所基底の変更に対して接続が整合的かつ整合的であることを保証するため、Frobenius の上げ上げのコサイクル性に依拠して、接続が可積分でかつ適切に定義されることを確認すること。

提案手法

• 多様体 $ X_0 $ を $ W_2(k) $-スキーム $ X_1 $ 上に滑らかに上げ上げし、局所的に $ U'_\alpha $ 上で Frobenius の上げ上げ $ F_\alpha $ を用いる。
• Higgs フィールド $ \theta_\alpha $ を用いて、$ H_\alpha = F_0^*E|_{U_\alpha} $ の引き戻しバンドル上で接続 $ \nabla_\alpha = d + \frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha) $ を定義する。
• Frobenius の上げ上げの構造と $ dF_0^*M = 0 $ を用いて、局所基底の変更における変換法則を検証することで、接続が適切に定義されていることを証明する。
• Higgs フィールド $ \theta $ の冪零性と可積分性に依拠して、$ d\left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right) = 0 $ および $ \left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right)^2 = 0 $ を示し、接続の可積分性を証明する。
• 相対的 Frobenius 同型 $ \tilde{\Phi}_{\tilde{F}_\alpha} $ を用いて、局所接続を貼り合わせることで、グローバルな平坦バンドルを構成する。この同型は上げ上げの選択に依存しない。
• 指数級数 $ \sum \frac{(h_{\alpha\beta}(F_0^*\theta))^i}{i!} $ を介して、移行関数と接続の一致を示すことにより、構成された平坦バンドルと Ogus–Vologodsky の逆 Cartier 変換との間に同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 指数 $ n \leq p-1 $ の冪零 Higgs バンドルから、正標数において指数関数的写像を用いて平坦バンドルを構成できるか？
• RQ2 この構成は幾何的状況下で Ogus–Vologodsky の逆 Cartier 変換と同値か？
• RQ3 $ W_2(k) $ 上の Frobenius の上げ上げのコサイクル性は、構成された接続の適切な定義と可積分性を保証するか？
• RQ4 相対的 Frobenius は、構成された平坦バンドルと逆 Cartier 変換との間の同型を誘導する役割を果たすか？
• RQ5 接続 $ \nabla_\alpha = d + \frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha) $ が、Higgs フィールドの冪零性と可積分性の下で平坦構造を与えるか？

主な発見

• 接続 $ \nabla_\alpha $ は、$ dF_0^*M = 0 $ により変換法則が成立するため、局所基底の変更に対しても適切に定義されている。
• 接続 $ \nabla_\alpha $ は、$ \theta $ の冪零性と可積分性により、$ d\left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right) = 0 $ および $ \left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right)^2 = 0 $ が成り立つため、可積分である。
• グローバルな平坦バンドルの移行関数は、$ g_{\alpha\beta} = 1 + \sum_{|\underline{j}|=1}^n F_0^*(\theta_\partial^{\underline{j}}) \cdot \frac{z^{\underline{j}}}{\underline{j}\,!} $ で与えられ、Frobenius の上げ上げの差の指数級数と一致する。
• 構成された平坦バンドル $ (H_{\text{exp}}, \nabla_{\text{exp}}) $ は、相対的 Frobenius 同型 $ \tilde{\Phi}_{F\alpha} $ を介して、逆 Cartier 変換 $ (H_{(G,\theta)}, \nabla) $ と自然に同型である。
• 接続の同型が成立するのは、$ \tilde{\Phi}_{F\alpha}(\nabla_{\text{exp}}(F_0^*e_\alpha)) = \nabla[\tilde{\Phi}_{F\alpha}(F_0^*e_\alpha]) $ が接続式の一致により確認できるためである。
• この構成は、$ W_2(k) $ 上の Frobenius の上げ上げの差のコサイクル性に強く依存しており、貼り合わせプロセスの整合性を保証し、Hodge から de Rham のスペクトル系列の $ E_1 $-退化を裏付ける。