[論文レビュー] Construction of the Moduli Space of Higgs Bundles using Analytic Methods

Yue Fan|arXiv (Cornell University)|Apr 15, 2020

Algebraic Geometry and Number Theory参考文献 30被引用数 7

ひとこと要約

本稿は、$ g \geq 2 $ の種数を持つコンpakトなリーマン面上の半安定ヒッグス bundle のモジュライ空間の詳細な解析的構成を、Kuranishiスライス法を用いて行い、それが正規な複素空間であることを証明する。モジュライ空間の局所構造が、複素再帰的群による二次錐のアフィンGIT商に局所的に従属することを確立し、解析的構成と代数的構成が正則同型であることを示す。

ABSTRACT

It is a folklore theorem that the Kuranishi slice method can be used to construct the moduli space of semistable Higgs bundles on a closed Riemann surface as a complex space. The purpose of this paper is to provide a proof in detail. We also give a direct proof that the moduli space is locally modeled on an affine GIT quotient of a quadratic cone by a complex reductive group.

研究の動機と目的

• コンパクトなリーマン面上の半安定ヒッグス bundle のモジュライ空間が、Kuranishiスライス法を用いて複素空間として構成可能である、厳密かつ詳細な証明を提供すること。
• モジュライ空間の局所構造が、複素再帰的群による二次錐のアフィンGIT商に局所的に従属することを示すこと。
• Kuranishi理論を用いて構成された解析的モジュライ空間と、幾何的不変量理論を用いて構成された代数的モジュライ空間との間の正則同型性を確立すること。
• 代数的モジュライ空間の正規性と正規複素空間のリーマン拡張定理を用いて、解析的モジュライ空間が正規であることを証明すること。

提案手法

• ヒッグス bundle の変形複体に基づき、Kuranishiスライス法を用いて、半安定ヒッグス bundle のモジュライ空間の局所モデルを構成する。
• Hitchin-Kobayashi対応を用い、モーメント写像 $ \mu(A,\Phi) = F_A + [\Phi, \Phi^*] = 0 $ を介して、多様体的安定なヒッグス bundle とHitchin方程式の解とを同定する。
• 変形複体 $ C_{\mu_{\mathbb{C}}} $ の調和コホモロジー $ \mathbf{H}^1 $ を分析し、それが複素シンプレクティック構造と、複素化された安定化群 $ K^\mathbb{C} $ のハミルトニアン作用を持つことを示す。
• 局所モデルを解析的GIT商 $ Q^{an} \sslash K^\mathbb{C} $ として構成する。ここで $ Q \subset \mathbf{H}^1 $ は複素モーメント写像の零点集合である。
• ホロモーフィックホメオモルフィズム $ i^{-1}: \mathscr{M}_{\text{alg}} \to \mathscr{M}_{\text{an}} $ を確立し、両空間の正規性とリーマン拡張定理を用いてそれが正則同型であることを証明する。
• 文献[13]の定理6.8を適用し、次元および正規性の条件から、解析的モジュライ空間が正規であり、ホロモーフィック写像が同型であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 Kuranishiスライス法を、半安定ヒッグス bundle のモジュライ空間が複素空間として正しく構成可能であるか、厳密に適用可能か。
• RQ2 与えられたヒッグス bundle の近傍におけるモジュライ空間の正確な局所解析的構造は何か。また、それとGIT商の関係は何か。
• RQ3 Kuranishi理論による解析的モジュライ空間は、幾何的不変量理論を用いた代数的モジュライ空間と正則同型か。
• RQ4 解析的モジュライ空間は、代数的モジュライ空間から正規性を引き継ぐか。そして、コホモロジー的・解析的技法を用いてどのように証明できるか。
• RQ5 変形空間 $ \mathbf{H}^1 $ に誘導される複素シンプレクティック構造と、$ K^\mathbb{C} $-作用が、モジュライ空間の局所モデルをどのように導くか。

主な発見

• Kuranishi法と解析的GIT商構成を用いて、半安定ヒッグス bundle のモジュライ空間 $ \mathscr{M} $ が正規な複素空間であることが示された。
• 条件 $ \mu(A,\Phi) = 0 $ を満たす点 $[A,\Phi]$ におけるモジュライ空間の局所モデルは、複素モーメント写像の零点集合 $ Q \subset \mathbf{H}^1 $ を用いた解析的GIT商 $ Q^{an} \sslash K^\mathbb{C} $ に同型である。
• 変形空間 $ \mathbf{H}^1 $ は複素シンプレクティックベクトル空間であり、$ K^\mathbb{C} $ の作用はモーメント写像 $ \nu_{0,\mathbb{C}}(x) = \frac{1}{2}H[x, x] $ を持つハミルトニアン作用である。
• 解析的モジュライ空間 $ \mathscr{M}_{\text{an}} $ は正規である。これは、原点におけるアフィンGIT商 $ Q \sslash K^\mathbb{C} $ の形式的完成の正規性を証明することで示された。
• ホロモーフィック写像 $ i^{-1}: \mathscr{M}_{\text{alg}} \to \mathscr{M}_{\text{an}} $ は正則同型である。リーマン拡張定理と両空間の既約性・正規性を用いてこれを確立した。
• 解析的および代数的モジュライ空間の次元は一致しており、ホロモーフィックホメオモルフィズム $ i^{-1} $ は開写像であるため、文献[13]の定理6.8より同型である。