[論文レビュー] Nonabelian Hodge theory in positive characterstic via exponential twisting

Guitang Lan, Mao Sheng+1 more|arXiv (Cornell University)|Dec 2, 2013

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

ひとこと要約

本稿は、正標数非アーベル Hodge 理論における逆 Cartier 変換の明示的で指数関数的トランスフォーメーションの再定式化を確立する。p−1 以下の指数をもつ冪零 Higgs ファイバーと平坦ファイバーの逆 Cartier 変換が、古典的 Cartier 降下の指数関数的トランスフォーメーションに等しいことを証明し、Deligne-Illusie の補題と Higgs-de Rham フローを用いて Ogus-Vologodsky の同型を具体的に実現する。

ABSTRACT

Let $k$ be a perfect field of odd characteristic and $X$ a smooth algebraic variety over $k$ which is $W_2$-liftable. We show that the exponent twisiting of the classical Cartier descent gives an equivalence of categories between the category of nilpotent Higgs sheaves of exponent $\leq p-1$ over $X/k$ and the category of nilpotent flat sheaves of exponent $\leq p-1$ over $X/k$, and it is equivalent up to sign to the inverse Cartier and Cartier transforms for these nilpotent objects constructed in the nonabelian Hodge theory in positive characteristic by Ogus-Vologodsky. In view of the crucial role that Deligne-Illusie's lemma has ever played in their algebraic proof of $E_1$ degeneration and Kodaira vanishing theorem in abelian Hodge theory, it may not be overly surprising that again this lemma plays a significant role via the concept of Higgs-de Rham flow in establishing $p$-adic Simpson correspondence in nonabelian Hodge theory and Langer's algebraic proof of Bogomolov inequality for semistable Higgs bundles and Miyaoka-Yau inequality.

研究の動機と目的

• 奇標数の体上での非アーベル Hodge 理論における逆 Cartier 変換のより明示的で幾何的に直感的な記述を提供すること。
• 指数 ≤ p−1 の冪零 Higgs ファイバーおよび平坦ファイバーにおける逆 Cartier 変換が、古典的 Cartier 降下の指数関数的トランスフォーメーションから生じることを示すこと。
• Ogus-Vologodsky の同型と指数関数的トランスフォーメーション関手の間の自然同型を確立すること。
• Deligne-Illusie の補題が p-進 Simpson 対応および関連する不等式の構成における役割を明確にすること。
• Fontaine-Faltings モジュールの Gauss-Manin 接続が、その関連する層ごとの Higgs バンドルを用いて逆 Cartier 変換によって再構成可能であることを示すこと。

提案手法

• 指数 ≤ p−1 の冪零 Higgs ファイバーの圏から、指数 ≤ p−1 の冪零平坦ファイバーの圏への指数関数的トランスフォーメーションを用いて関手 $ C^{-1}_{\exp} $ を構成する。
• 同じ指数関数的トランスフォーメーションのメカニズムを用いて、逆方向への関手 $ C_{\exp} $ を定義する。
• $ \tilde{X} $ における Frobenius の上昇 $ \tilde{F}_{\alpha} $ を用いて、相対的 Frobenius $ \Phi $ を通じて $ F_0^*E $ と $ H $ 間の局所同型を定義する。
• 水平接続 $ \nabla $ のテイラー展開を適用することで、同型 $ \tilde{\Phi}_{\tilde{F}_{\alpha}} $ が接続構造と整合することを示す。
• 恒等式 $ J_{\alpha\beta} = \sum_{i=0}^n \frac{(h_{\alpha\beta}(F_0^*\theta))^i}{i!} $ を用いて、局所同型がグローバル同型に貼り合わされることを証明する。
• Higgs-de Rham フローを介して Deligne-Illusie の補題を活用し、指数関数的トランスフォーメーションが冪零条件および可積分性と整合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 非アーベル Hodge 理論における逆 Cartier 変換は、どのように指数関数的トランスフォーメーションの観点から明示的に記述できるか？
• RQ2 指数関数的トランスフォーメーションの構成と正標数における古典的 Cartier 降下の間の正確な関係は何か？
• RQ3 Deligne-Illusie の補題は、この文脈における Higgs ファイバーと平坦ファイバーの同型を規定する根拠としてどの程度の役割を果たすか？
• RQ4 Fontaine-Faltings モジュールの Gauss-Manin 接続は、その関連する層ごとの Higgs バンドルを用いて逆 Cartier 変換によって再構成可能か？
• RQ5 指数関数的トランスフォーメーション関手 $ C^{-1}_{\exp} $ と Ogus-Vologodsky の逆 Cartier 変換 $ C^{-1} $ の間の関係は何か？

主な発見

• 指数関数的トランスフォーメーション関手 $ C^{-1}_{\exp} $ は、逆 Cartier 変換 $ C^{-1} $ の明示的で幾何的な実現を提供し、$ C^{-1}_{\exp} $ と $ C^{-1} $ の間の自然同型を確立する。
• 指数 ≤ p−1 の冪零 Higgs ファイバーにおける逆 Cartier 変換 $ C^{-1} $ は、符号を除いて古典的 Cartier 降下の指数関数的トランスフォーメーションに等しい。
• 同型 $ \tilde{\Phi}: C^{-1}(E, -\theta) \cong (H, \nabla) $ は相対的 Frobenius $ \Phi $ を通じて構成され、Gauss-Manin 平坦バンドルが Higgs バンドルを $ C^{-1} $ を通じて得られることを示す。
• 接続の整合性と $ \nabla $ のテイラー展開のおかげで、局所同型 $ \tilde{\Phi}_{\tilde{F}_{\alpha}} $ がグローバル同型に貼り合わされる。
• 証明は、恒等式 $ J_{\alpha\beta} = 1 + \sum_{|\underline{j}|=1}^n F_0^*(\theta_{\partial}^{\underline{j}}) \cdot \frac{z^{\underline{j}}}{\underline{j}\,!} $ に依存しており、これは $ \Phi $ の水平性と $ h_{\alpha\beta} $ の定義から導かれる。
• 仮定として $ \operatorname{char}(k) = p $ が奇数であり、$ X $ が $ W_2 $-上昇可能であることにより、Frobenius の上昇の存在と Deligne-Illusie の補題の適用可能性が保証される。