[論文レビュー] Non-abelian Hodge theory for algebraic curves in characteristic p

Tsao-Hsien Chen, Xinwen Zhu|arXiv (Cornell University)|Jun 3, 2013

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

ひとこと要約

この論文は、正標数 p における代数曲線に対して非アーベル Hodge 対応を確立し、曲線 C の Frobenius 係数曲線 C′ 上の G-Higgs バンドルのモジュライ空間が、平坦 G-バンドル（de Rham 局所的系統）のモジュライ空間に同型であることを示している。この対応は、p-曲率と水平性を含む方程式系によって実現され、Cartier 降下と Frobenius 逆引きを用いて、Simpson の対応を正標数に一般化している。

ABSTRACT

Let G be a reductive group over an algebraically closed field of positive characteristic. Let C be a smooth projective curve over k. We give a description of the moduli space of flat G-bundles in terms of the moduli space of G-Higgs bundles over the Frobenius twist C' of C. This description can be regarded as the non-abelian Hodge theory for curves in positive characteristic.

研究の動機と目的

• 正標数 p の体上の代数曲線に対して、Simpson の非アーベル Hodge 対応を拡張すること。
• 曲線 C 上の de Rham G-局所的系統とその Frobenius 係数曲線 C′ 上の G-Higgs バンドルとの間の対応を構成すること。
• 正標数における完全な非アーベル Hodge 理論の欠如を解消するため、Hitchin 方程式の標数 p における類似物を導入すること。
• p-曲率と Cartier 降下を用いて、Frobenius モルフィズムとガーブの幾何を活用することで、この対応を確立すること。
• 標数 p の Hitchin 型方程式の解が、安定 Higgs バンドルと非可約局所的系統の間の双対写像を定め、モジュライ空間の構造と整合することを示すこと。

提案手法

• p-曲率 Ψ(∇) と、修正された接続 ∇−θ における Ψ(∇) の水平性を含む、標数 p の Hitchin 方程式の類似物を提唱すること。
• Frobenius 逆引きバンドル上の標準的接続 ∇^can を用いて、方程式系の第二の式を定義すること。
• Cartier 降下を適用して、p-曲率が消える平坦接続 ∇ が C′ 上のバンドルからの引き戻しとして得られることを示すこと。
• 水平性条件が、Ψ(∇) が C′ 上の Higgs フィールド φ′ の引き戻しであることを示し、C′ 上の G-Higgs バンドルを構成すること。
• 結晶的微分作用素の Azumaya 性を用いて、GL_n に対して局所的 étale-局所的に解が存在することを証明し、再帰的群に拡張すること。
• p-曲率写像 h_p を通じて pseudo-Bun_{G'}-torsor を構成し、Higgs フィールドに関連する G′-ガーブの分割のスタックとして同定すること。

実験結果

リサーチクエスチョン

• RQ1 Simpson の対応が複素数体上に類似する形で、正標数 p において完全な非アーベル Hodge 対応を確立できるか？
• RQ2 Hitchin 方程式は、正標数 p においてどのように再定式化され、平坦接続と Higgs バンドルを結びつけるか？
• RQ3 Frobenius 係数曲線 C′ は、C 上の de Rham 局所的系統と C′ 上の Higgs バンドルとの間の対応を実現するために果たす役割は何か？
• RQ4 p-曲率写像は、正標数における接続と Higgs フィールドの幾何とどのように作用するか？
• RQ5 ガーブと torsor を用いたモジュライ的構成によって、この対応は正標数で実現可能か？

主な発見

• 標数 p の滑らかで射影的な曲線 C を定義する体上の平坦 G-バンドルのモジュライ空間は、曲線 C の Frobenius 係数曲線 C′ 上の G-Higgs バンドルのモジュライ空間と自然に同型である。
• G=GL_n に対して、結晶的微分作用素の Azumaya 性を用いて、C 上の局所的 étale-局所的に、特徴的 p の Hitchin 型方程式（Ψ(∇−θ)=0 および ((∇−θ)⊗∇^can)(Ψ(∇))=0）の解が存在する。
• p-曲率写像 h_p: LocSys_G → Γ(C′, Lie G′ ⊗ Ω_{C′}) は、点のレベルで滑らかかつ全射であり、その微分は −dh_p に等しい。
• 自明な接続における局所的系統のモジュライの接空間は、de Rham 複体のハイパーカホミオロジーと同型であり、写像 c: T_x → H^0(C′, Lie G′ ⊗ Ω_{C′}) は −dh_p に一致する。
• p-曲率写像から生じる pseudo-Bun_{G'}-torsor は、Higgs フィールドに関連する G′-ガーブの分割のスタックと同値であり、この対応の幾何的解釈を提供する。
• この対忬は Cartier 同型と整合し、Frobenius 逆引きと降下を用いて、古典的 Simpson 対応を正標数に一般化している。