[論文レビュー] Wild nonabelian Hodge theory on curves

Olivier Biquard, Philip Boalch|ArXiv.org|Nov 8, 2001

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

ひとこと要約

この論文は、複素曲線上の不規則特異点（任意の位数の極）をもつ積分可能接続と、有理型ヘイガスバンドルの間で、非可換Hodge対応を確立する。特に対応するモジュライ空間が、残留部が半単純であるとき、完全なハイパーカイリィアン計量をもつことを証明する。対応は極部とパラボリック構造を一致させることで明示的に構成され、Simpsonの元来の対応を不規則な場合に一般化し、漸近的制御を厳密に行う。

ABSTRACT

On a complex curve, we establish a correspondence between integrable connections with irregular singularities, and Higgs bundles such that the Higgs field is meromorphic with poles of any order. The moduli spaces of these objects are obtained by fixing at each singularity the polar part of the connection. We prove that they carry hyperKahler metrics, which are complete when the residue of the connection if semisimple.

研究の動機と目的

• 複素曲線上の不規則特異点を持つ接続とヘイガス場が任意の位数の極をもつ場合に、非可換Hodge理論を拡張すること。
• 不規則特異点をもつ安定なパラボリック積分可能接続と、有理型ヘイガス場をもつ安定なパラボリックヘイガスバンドルの間の1対1対応を構成すること。
• このような対象のモジュライ空間がハイパーカイリィアン構造をもち、残留部が半単純であるとき完全であることを証明すること。
• Simpsonの対応を対数的特異点を超えて、高次の極へ一般化すること。形式的型のデータを不変量として用いること。
• ハーモニック計量の漸近的制御を、ストークス現象とゲージ理論的技法を用いて明示的に与えること。

提案手法

• 対応は接続とヘイガス場の極部を一致させることで確立される：$ T_i = \frac{1}{2}A_i $（$ i \geq 2 $）、$ i=1 $ の場合に固有値と重みの関係を設定する。
• モジュライ空間は、各特異点における $ GL_r(\mathbb{C}[z]/z^n) $ の共軛軌道を固定することによって構成され、接続の形式的型を符号化する。
• ハーモニック計量とDonaldson汎関数を用いてハイパーカイリィアン計量を構成し、Sobolevおよび重み付き $ L^p $ 評価により収束を証明する。
• 主要な技術的道具は、特異点付近でのエネルギー集中を排除するためのスケーリング（同位変換）の応用であり、一様な制御を保証する。
• 安定バンドルに対するSimpsonの手法を適応し、$ L^{2,2}_{-2+\delta} $ 収束を用いてハーモニック計量の存在を示す。
• 計量の漸近的挙動はストークス現象により制御され、不規則特異点を取り扱うために重み付きSobolev空間における推定が用いられる。

実験結果

リサーチクエスチョン

• RQ1 複素曲線上の積分可能接続について、その極の位数が1より大きい場合に非可換Hodge対応を拡張できるか。
• RQ2 不規則な場合において、残留部と極部のパラボリック重みおよび固有値の関係は、対応の両側でどのように関連するか。
• RQ3 このような接続およびヘイガスバンドルのモジュライ空間は、自然なハイパーカイリィアン構造をもつか。
• RQ4 ハイパーカイリィアン計量がモジュライ空間上で完全になる条件は何か。
• RQ5 一般の場合に、モジュライ空間は準ハミルトニアン商として記述できるか。

主な発見

• 不規則特異点をもつ安定なパラボリック積分可能接続と、任意の極位数をもつ安定なパラボリックヘイガスバンドルの間の1対1対応が確立された。
• 対応は $ T_i = \frac{1}{2}A_i $（$ i \geq 2 $）で極部を一致させ、固有値と重みは $ \alpha_i = \operatorname{Re} \mu_i - [\operatorname{Re} \mu_i] $、$ \lambda_i = \frac{\mu_i - \beta_i}{2} $ で関連づけられる。
• このような接続のモジュライ空間にはハイパーカイリィアン計量が存在し、残留部 $ A_1 $ が半単純であるとき完全である。
• 残留部の固有値が一般の場合、[Boa] で示されたように、モジュライ空間は有限次元の準ハミルトニアン商と同型である。
• 証明により、近似解の $ L^{2,2}_{-2+\delta} $ 一様収束が確立され、ハーモニック計量の存在が保証された。
• スケーリングと重み付きノルム評価を用いることで、特異点付近でのエネルギー集中が排除され、計量の完全性に不可欠な一様性が得られた。