[論文レビュー] Introduction to Nonabelian Hodge Theory: flat connections, Higgs bundles and complex variations of Hodge structure

Alberto García-Raboso, Steven Rayan|arXiv (Cornell University)|Jun 6, 2014

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

ひとこと要約

この論文は、コンpact Kähler多様体上の平坦接続、ヒッグス束、および複素Hodge構造の変動の間の対応を確立することで、非アーベルHodge理論の包括的な紹介を提供する。非アーベルHodge定理を、基本群の表現、正則ヒッグス束、平坦ベクトル束の間の同値性を通じて詳細に説明し、$\mathbb{C}^\times$-作用とモース理論的技法を用いて、モジュライ空間のベッチ数を計算する応用も行う。

ABSTRACT

Lecture notes from the Concentrated Graduate Course preceding the Workshop on Hodge Theory in String Theory at the Fields Institute in Toronto, November 11--15, 2013.

研究の動機と目的

• 代数幾何学および数学的物理の研究者を対象に、非アーベルHodge理論の自己完結的な紹介を提供すること。
• コンpact Kähler多様体上での基本群の表現、平坦接続、ヒッグス束の間の対応を確立すること。
• ヒッグス束のモジュライ空間における$\mathbb{C}^\times$-作用を通じて、複素Hodge構造の変動がどのように生じるかを説明すること。
• モース理論とモチーフ的技法を用いて、ヒッグス束のモジュライ空間のベッチ数を計算すること。
• ハウスエルとロドリゲス＝ヴィレガスによる結果に基づき、決定線束の次数に依存しないベッチ数の独立性を強調すること。

提案手法

• 非アーベルHodge対応を用いて、$\pi_1(X)$の$\mathrm{GL}_r(\mathbb{C})$-表現を、平坦接続を伴う正則ヒッグス束に結びつける。
• 平坦接続と局所系統、表現を結ぶリーマン＝ヒルベルト対応を適用する。
• ヒッグス束のモジュライ空間上の$\mathbb{C}^\times$-作用を用いて、固定点を解析し、局所化を用いてベッチ数を計算する。
• ヒッチンが提唱したモース理論的技法を用いて、 genus 2 曲線上のランク2ヒッグス束のベッチ数を計算する。
• モチーフ的技法を適用し、ランク4ヒッグス束のベッチ数を計算し、以前のモース理論的結果を拡張する。
• 非アーベルHodge定理によって誘導されるde Rham、Dolbeault、Bettiモジュライ空間間の微分同相性を根拠に、ベッチ数の情報を転送する。

実験結果

リサーチクエスチョン

• RQ1 非アーベルHodge設定において、ヒッグス束、平坦接続、基本群の表現の間にはどのような対応が存在するか？
• RQ2 $\mathbb{C}^\times$-作用は、ヒッグス束モジュライ空間の位相にどのように寄与するか？
• RQ3 曲線上の低ランクヒッグス束のモジュライ空間のベッチ数は、どのように計算できるか？
• RQ4 なぜヒッグス束モジュライ空間のベッチ数は、決定線束の次数に依存しないのか？
• RQ5 複素Hodge構造の変動は、ヒッグス束モジュライ空間のコホロジーにおいてどのような意味を持つのか？

主な発見

• ランク2ヒッグス束のモジュライ空間のベッチ数は、ヒッチンのモース理論的技法により、多項式 $1 + y^2 + 4y^3 + 2y^4 + 34y^5 + 2y^6$ に符号化されている。
• 固定された決定線束と奇数次元を持つランク2ヒッグス束のモジュライ空間のベッチ数は、アティヤ＝ボットの結果により、多項式 $1 + y^2 + 4y^3 + y^4 + y^6$ と一致する。
• ランク4ヒッグス束のモジュライ空間のベッチ数は、GHS:11で詳細に示された、ヒッチンの方法のモチーフ的バージョンを用いて計算された。
• $\mathcal{M}_X(r,d)$ のベッチ数は $d$ に依存しない。ハウスエルとロドリゲス＝ヴィレガスによる、ねじれ表現と非アーベルHodge微分同相性を用いた結果である。
• ランク2ヒッグス束（タイプ $(1,1)$）のモジュライ空間における $S^1$-作用の固定点集合は、曲線 $X$ のコピーであり、ベッチ数 $b_0 = b_2 = 1$、$b_1 = 4$、$k > 2$ に対して $b_k = 0$ を寄与する。
• genus 2 曲線上のランク2ヒッグス束モジュライ空間のベッチ数の母関数は、$\mathcal{P}_y(2,1) = (1+y)^4(1 + y^2 + 4y^3 + 2y^4 + 4y^5 + 2y^6)$ であり、異なる固定点型の寄与から導出された。