[論文レビュー] Kobayashi-Hitchin correspondence for tame harmonic bundles and an application

Takuro Mochizuki|ArXiv.org|Nov 13, 2004

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

ひとこと要約

この論文は、滑らかな準射影的多様体上の鋭い調和バンドルに関して、小林＝ヒッチン対応を確立し、特徴的数が自明な $μ_L$-多様体的パラボリックヒッグスバンドルとの同値性を証明する。さらに、$μ_L$-安定なパラボリックヒッグスバンドルに対してボゴモロフ＝ギーセンカー型不等式を証明し、その結果を応用して、任意の局所系が極小化されたホッジ構造の変動に変形可能であることを示し、このような多様体の基本群の分岐商として現れる離散群に対する制約を示す。

ABSTRACT

We establish the correspondence between tame harmonic bundles and $μ_L$-stable parabolic Higgs bundles with trivial characteristic numbers. We also show the Bogomolov-Gieseker type inequality for $μ_L$-stable parabolic Higgs bundles. Then we show that any local system on a smooth quasi projective variety can be deformed to a variation of polarized Hodge structure. As a consequence, we can conclude that some kind of discrete groups cannot be a split quotient of the fundamental group of a smooth quasi projective variety.

研究の動機と目的

• 鋭い調和バンドルと特徴的数が自明な $μ_L$-多様体的パラボリックヒッグスバンドルとの間の対応を確立すること。
• $μ_L$-安定なパラボリックヒッグスバンドルに対してボゴモロフ＝ギーセンカー型不等式を証明すること。
• 滑らかな準射影的多様体上に存在する任意の局所系が、極小化されたホッジ構造の変動に変形可能であることを示すこと。
• 変形結果を用いて、滑らかな準射影的多様体の基本群に関する幾何学的および算術的制約を導出すること。
• 特定の離散群が、このような多様体の基本群の分岐商として現れないことを示すこと。

提案手法

• 滑らかなコンactificationと正規交叉除法を持つ滑らかな準射影的多様体上におけるパラボリックヒッグスバンドルおよび調和バンドルの理論を用いる。
• 鋭い設定における小林＝ヒッチン対応を適用し、ヘルミート＝アインシュタイン計量を介して調和バンドルと多様体的パラボリックヒッグスバンドルを結びつける。
• パラボリックヒッグスバンドルの $μ_L$-安定性の概念を用いて、関連するモジュライ理論的枠組みを定義する。
• パラボリック設定における曲率と安定性条件を用いて、ボゴモロフ＝ギーセンカー型不等式を確立する。
• 対応を平坦バンドル（局所系）に適用し、調和バンドル構造を介して極小化されたホッジ構造の変動への変形が可能であることを示す。
• このような変形の存在を用いて、基本群に上記の位相的障害を導出する。

実験結果

リサーチクエスチョン

• RQ1 鋭い調和バンドルと特徴的数が自明な $μ_L$-多様体的パラボリックヒッグスバンドルとの間の正確な対応は何か？
• RQ2 準射影的多様体の文脈において、$μ_L$-安定なパラボリックヒッグスバンドルに対してボゴモロフ＝ギーセンカー型不等式が成立するか？
• RQ3 滑らかな準射影的多様体上に存在する任意の局所系は、極小化されたホッジ構造の変動に変形可能か？
• RQ4 この変形性が、滑らかな準射影的多様体の基本群にどのような制約を課えるか？
• RQ5 どの離散群が、このような多様体の基本群の分岐商として現れないか？

主な発見

• 鋭い調和バンドルと特徴的数が自明な $μ_L$-多様体的パラボリックヒッグスバンドルとの間の小林＝ヒッチン対応が成立する。
• パラボリック設定において $μ_L$-安定なパラボリックヒッグスバンドルに対してボゴモロフ＝ギーセンカー型不等式が確立され、重要な安定性条件が得られる。
• 滑らかな準射影的多様体上に存在する任意の局所系は、極小化されたホッジ構造の変動に変形可能である。
• その結果、特定の離散群が滑らかな準射影的多様体の基本群の分岐商として現れないことが示される。
• 対応および変形結果は、正規交叉除法を持つ滑らかなコンパクト化の仮定の下で有効である。
• 本結果は、古典的な小林＝ヒッチン対応を、非コンパクト多様体上のパラボリックおよび鋭い設定へと拡張する。