[論文レビュー] Logarithmic nonabelian Hodge theory in characteristic p

Daniel Schepler|ArXiv.org|Feb 14, 2008

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

ひとこと要約

本稿では、Lorenzonのインデックス付き代数を用いて、特徴値 $p$ の対数的スキーム上での $Ø$-加群に付随する冪零的可積分接続と、$Ø_{X/S}$-加群に付随する冪零的ヒッグス場の間の同値性を確立する。主な結果は、$p$-曲率とヒッグス場が $p$ より小さい位数で冪零であるとき、de Rhamコホロロジーとヒッグスコホロロジーが同型であることであり、非アーベルホッジ理論が対数的・正標数設定へ拡張されることを示している。

ABSTRACT

Given a morphism $X o S$ of log schemes of characteristic $p > 0$ and a lifting of $X'$ over $S$ modulo $p^2$, we use Lorenzon's indexed algebras $A_X^{gp}$ and $B_{X/S}$ to construct an equivalence between $O_X$-modules with nilpotent integrable connection and indexed $B_{X/S}$-modules with nilpotent $B_{X/S}$-linear Higgs field. If either satisfies a stricter nilpotence condition, we find an isomorphism between the de Rham cohomology of the connection and the Higgs cohomology of the Higgs field.

研究の動機と目的

• 非アーベルホッジ理論を特徴値 $p$ の対数的スキームへ拡張すること。
• 対数的スキームにおけるリーマン＝ヒルベルト対応において、$p$-曲率と残留部の両方の障害を解消すること。
• インデックス付き代数を用いて、冪零的可積分接続を持つ加群と、冪零的ヒッグス場を持つ加群の間の同値性を構成すること。
• $p$-曲率とヒッグス場が $p$ より小さい位数で冪零であるとき、de Rham コホロロジーとヒッグスコホロロジーが同型であることを証明すること。

提案手法

• Lorenzonのインデックス付き代数 $\mathcal{A}_{X}^{\operatorname{gp}}$ および $\mathcal{B}_{X/S} = (\mathcal{A}_{X}^{\operatorname{gp}})^{d=0}$ を用いて対応を定義する。
• 同値性を構成するために、$X'$ を $S$ を法として $p^2$ で割った剰余環上に持ち上げた $\mathcal{X}/\mathcal{S}$ を用いる。
• $\psi_D = \nabla_D^p - \nabla_{D^{(p)}}$ を通じて、$p$-曲率写像 $\psi: \mathscr{T}_{X/S} \to F_{X/S*}\mathscr{E}nd_{\mathscr{O}_X}(E)$ を定義する。
• PD微分作用素と、$m \in \mathscr{M}_X$ に対して $\phi(\zeta_m^{[p]}) = 0$ が成り立つという基準を用いて、$\psi$ が $F$-線形であることを証明する。
• 導来同値性を用いて、冪零性条件の下で de Rham コホロロジーとヒッグスコホロロジーの同型を確立する。
• 局所的に対数的座標を用いて、$F_{X/S}^*\Omega^1_{X'/S}$ と $\bar{I}/(\bar{I}^{[p+1]} + I\mathscr{O}_{D(1)})$ の同型を検証する。

実験結果

リサーチクエスチョン

• RQ1 非アーベルホッジ対応は、$p$-曲率が消える場合を除き、特徴値 $p$ の対数的スキームへ拡張可能か？
• RQ2 対数的リーマン＝ヒルベルト対応において、残留部と $p$-曲率の障害はどのように作用し合うか？
• RQ3 正標数において接続とヒッグス場の同値性を可能にする、基底スキーム上のどのような構造が必要か？
• RQ4 $p$-曲率とヒッグス場が $p$ より小さい位数で冪零であるとき、de Rham コホロロジーとヒッグスコホロロジーの導来同値性は成立するか？
• RQ5 PD微分作用素とインデックス付き代数を用いて、$p$-曲率写像が $F$-線形であることを示せるか？

主な発見

• 冪零的可積分接続を持つ $\mathscr{O}_X$-加群と、冪零的 $\mathcal{B}_{X/S}$-線形ヒッグス場を持つインデックス付き $\mathcal{B}_{X/S}$-加群の間の同値性が構成された。
• PD微分作用素を用いた新しい概念的証明により、$p$-曲率写像 $\psi_D = \nabla_D^p - \nabla_{D^{(p)}}$ が $F$-線形であることが示された。
• 対数的座標を用いた局所的検証により、$F_{X/S}^*\Omega^1_{X'/S}$ と $\bar{I}/(\bar{I}^{[p+1]} + I\mathscr{O}_{D(1)})$ の同型が確立された。
• 写像 $\psi: E \to E \otimes_{\mathscr{O}_X} F_{X/S}^*\Omega^1_{X'/S}$ が $\nabla_D^p - \nabla_{D^{(p)}}$ に等しいことが示され、$p$-曲率が $F$-線形であることが証明された。
• $p$-曲率とヒッグス場が $p$ より小さい位数で冪零であるとき、導来圏において de Rham コホロロジーとヒッグスコホロロジーは同型である。
• 同値性とコホロロジーの同型の両方に、$p^2$ を法として $\mathcal{X}/\mathcal{S}$ への持ち上げが不可欠であることが判明した。