[論文レビュー] On the Hitchin fibration for algebraic surfaces

Tsao-Hsien Chen, Ngô Bảo Châu|arXiv (Cornell University)|Nov 7, 2017

Mathematics and Applications被引用数 3

ひとこと要約

この論文は、特性が0の代数的曲面におけるリーマン面上のヒチンの可積分系を一般化し、スペクトルデータを用いてヒチンのファイブレーションを構成し、スペクトル写像の像が曲面内の曲線 $C$ に関連する自然な部分多様体 $\mathscr{A}_C$ に含まれることを証明する。主な結果として、ヒチン写像の一般化されたファイバーがアーベル多様体であることが示され、退化技術とヒチンバンドル上の冪零作用を用いて、次元がより高い場合にヒチンの元来の結果を一般化する。

ABSTRACT

In this paper, we explore the structure of the Hitchin map for higher dimensional varieties with emphasis on the case of algebraic surfaces.

研究の動機と目的

• リーマン面上のヒチンバンドルの可積分系を、より高次元の代数的曲面へ一般化すること。
• 代数閉体上のある滑らかな射影的曲面におけるヒチンファイブレーションを定義し、研究すること。
• 曲面に埋め込まれた曲線 $C$ に関連するパラメータ空間 $\mathscr{A}_C$ に写像するヒチンバンドルのモジュライ空間からスペクトルデータ写像を構成すること。
• スペクトルデータ写像の像が正確に $\mathscr{A}_C$ であることを証明し、ヒチン写像の一般化されたファイバーがアーベル多様体であることを示すこと。

提案手法

• ヒチンバンドルを商スタック $[\mathfrak{C}_G^d / (G \times \mathrm{GL}_d)]$ を通じて解釈し、ヒチンバンドルを写像として解釈するスペクトルデータ構成を用いる。
• チェヴァリエ制限定理およびその一般化を、リー代数内の $d$ 次元可換タプルに適用し、$k[\mathfrak{t}^d]^W$ に同型であると予想する。
• スペクトル写像の $\mathrm{GL}_d$-可換上昇を $\mathrm{Spec}(k[\mathfrak{t}^d]^W)$ に構成し、ヒチン写像の定義を可能にする。
• ヒチンバンドルの開集合 $X^0$ への制限に沿った接層 $\mathcal{T}_{X^0/C}$ の作用を解析し、トレースの議論により冪零性を証明する。
• $\pi: X \to C$ が非退化なファイバーを持つことを利用して、$\Omega^1_X$ の対称冪の切断が開集合から全体の曲面へ拡張できることを示す。
• ヒチン写像が $\mathscr{B}_C$ を通じて因数分解されることを応用し、スペクトルデータ写像の像が $\mathscr{A}_C$ に含まれることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ヒチンファイブレーションを曲線から代数的曲面へ一般化するにはどうすればよいか？
• RQ2 ヒチンバンドルのスペクトルデータ写像の構造は何か？ そして、パラメータ空間のどこに値を取るのか？
• RQ3 スペクトルデータ写像の像が、曲面内の曲線 $C$ に関連する自然な部分多様体 $\mathscr{A}_C$ と一致する条件は何か？
• RQ4 ヒチン写像の一般化されたファイバーは、古典的ケースと同様にアーベル多様体のままであるか？
• RQ5 相対接層 $\mathcal{T}_{X^0/C}$ のヒチンバンドル上への冪零作用は、スペクトルデータにどのような制約を与えるか？

主な発見

• スペクトルデータ写像 $\mathrm{sd}_X$ の像は正確に部分多様体 $\mathscr{A}_C$ であり、これは曲線 $C$ 上のスペクトルデータのモジュライ空間に同型である。
• ヒチン写像 $h_X$ の一般化されたファイバーはアーベル多様体であり、ヒチンの元来の結果を曲線から曲面へ一般化する。
• スペクトルデータ写像は $\mathscr{A}_C$ を通じて因数分解され、$\mathscr{A}_C$ は $\mathscr{A}_X$ において既約かつ閉じているため、$\overline{\mathscr{A}_X^{\heartsuit}} = \mathscr{A}_C$ が成り立つ。
• $\mathcal{T}_{X^0/C}$ のヒチンバンドルへの制限への作用の冪零性はトレースの議論により証明され、固有値がすべて0でなければならないことが示される。
• $X^0$ からの切断 $a_i$ は、補集合の余次元が $\geq 2$ であるため、全体の曲面へ拡張可能であり、$a_i \in \mathrm{H}^0(C, \mathrm{S}^i\Omega^1_C)$ を満たす。
• ヒチン写像が $\mathscr{B}_C$ を通じて因数分解されることにより、$h_X(E,\theta) \in \mathscr{B}_C(F)$ が成り立ち、像が $\mathscr{A}_C$ に含まれることを確認する。