[論文レビュー] Kobayashi-Hitchin correspondence for analytically stable bundles

Takuro Mochizuki|arXiv (Cornell University)|Dec 25, 2017

Geometry and complex manifolds参考文献 43被引用数 3

ひとこと要約

この論文は、特定の非コンパクトケーラー多様体上での、ある解析的安定性条件を満たす全純ベクトル束にヘルミート・アインシュタイン計量の存在を確立し、コンパクトな設定を超えて小原＝ヒッチン対応を拡張する。主な結果は、解析的安定性が、曲率の制御された減衰を伴うヘルミート・アインシュタイン計量の存在を示すことであり、R⁴の閉部分群による商空間上のインスタントンおよびモノポールに適用可能であり、代数的データと関連する二重周期的モノポールの明示的例が提示される。

ABSTRACT

We prove the existence of a Hermitian-Einstein metric on holomorphic vector bundles with a Hermitian metric satisfying the analytic stability condition, under some assumption for the underlying Kähler manifolds. We also study the curvature decay of the Hermitian-Einstein metrics. It is useful for the study of the classification of instantons and monopoles on the quotient of $4$-dimensional Euclidean space by some types of closed subgroups. We also explain examples of doubly periodic monopoles corresponding to some algebraic data.

研究の動機と目的

• 非コンパクトケーラー多様体上での小原＝ヒッチン対応を、解析的安定な全純ベクトル束に対するヘルミート・アインシュタイン計量の存在を確立することで拡張すること。
• このようなバンドル上のヘルミート・アインシュタイン計量の曲率減衰性質を分析し、特にR⁴の商空間上のインスタントンおよびモノポールと関連付けること。
• 特に二重周期的設定において、代数的データを用いたインスタントンおよびモノポールの分類の微分幾何的枠組みを提供すること。
• シンプソンの解析的安定性アプローチを非コンパクト設定に一般化し、接続に関する有界性およびL²条件を満たす計量の存在を証明すること。

提案手法

• 非コンパクトケーラー多様体上にヘルミート計量を備えた全純ベクトル束に対する解析的安定性条件を導入し、コンパクトおよびパラボリック設定からの概念を一般化する。
• シンプソンのヒッグスバンドルおよび調和計量に関する研究手法を応用し、体積が有限で、特定のケーラー計量の仮定を満たす非コンパクトな基底空間に適応する。
• ヘルミート計量に付随するチャーン接続を用い、曲率作用素ΛF(h)を定義し、ヘルミート・アインシュタイン条件を満たすためにはそのトレースフリー部が消える必要があることを示す。
• 被覆写像p: C_z × C_w^* → R × C_w^*を用いたプッシュバック構成を採用し、底面のバンドル構造をモノドロミー作用を持つ積バンドルに関連付ける。
• S¹不変な全純部分バンドルを、平行移動によって誘導されるモノドロミー作用素Φを研究することで分析し、非退化固有値条件のもとで無限大性が保証されることを示す。
• 微分作用素および全純部分バンドルの不変性に関する詳細な解析を通じて、計量の有界性および接続差(h h₀⁻¹)のL²summabilityを確立する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトケーラー多様体上の全純ベクトル束に対して、解析的安定性のもとで小原＝ヒッチン対応は成立するか？
• RQ2 特にインスタントンおよびモノポールに対して、曲率の制御された減衰を伴うヘルミート・アインシュタイン計量を構成できるか？
• RQ3 二重周期的モノポール構成におけるヘルミート・アインシュタイン計量の曲率および接続の振る舞いは、代数的データとどのように関係するか？
• RQ4 ケーラー多様体にどのような条件を課すことで、解析的安定なバンドルに対してヘルミート・アインシュタイン計量の存在が保証されるか？

主な発見

• 論文は、ケーラー多様体に関する適切な仮定のもとで、解析的安定性条件を満たす全純ベクトル束にヘルミート・アインシュタイン計量hの存在を証明する。
• 計量hは初期のヘルミート計量h₀と互いに有界であり、det(h) = det(h₀)を満たすため体積保存が保証される。
• ヘルミート・アインシュタイン計量の曲率F(h)は有界であり、接続の変動差(∂ + θ)(h h₀⁻¹)はL²に属するため、接続の可積分性が保証される。
• ΛF(h)のトレースフリー部が消えることから、ヘルミート・アインシュタイン条件ΛF(h) = (Tr ΛF(h)/rank E) id_Eが確認される。
• 構成により、代数的データを介して二重周期的モノポールの非自明な例が得られ、微分幾何学と代数的構造が結びつけられる。
• 証明は、任意のS¹不変な全純部分バンドルが、モノドロミー解析による接続の誘導によって自明または全バンドルでなければならないことを示すことにより、根拠を置く。