[論文レビュー] Semi-stable Higgs sheaves and Bogomolov type inequality

Jiayu Li, Chuanjing Zhang+1 more|arXiv (Cornell University)|Jan 5, 2016

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

ひとこと要約

この論文は、コンパクトなカラーマン多様体上の半安定な反射的ヒッグス・シェーブに近似的に許容可能なヘルミート・アインシュタイン構造の存在を確立し、解析的手法を用いてそのようなシェーブに対してボゴモロフ型の不等式を証明する。この結果は、ヒッグス・シェーブの文脈における代数的安定性の微分幾何的双対を確認するものである。

ABSTRACT

In this paper, we study semistable Higgs sheaves over compact Kähler manifolds, we prove that there is an approximate admissible Hermitian-Einstein structure on a semi-stable reflexive Higgs sheaf and consequently, the Bogomolove type inequality holds on a semi-stable reflexive Higgs sheaf.

研究の動機と目的

• コンパクトなカラーマン多様体上の半安定な反射的ヒッグス・シェーブに、近似的に許容可能なヘルミート・アインシュタイン構造の存在を確立すること。
• 解析的技法を用いて、ドナルドソン＝ウーレンバック＝ヤウの定理を反射的ヒッグス・シェーブの文脈に拡張すること。
• コンパクトなカラーマン多様体上の半安定な反射的ヒッグス・シェーブに対して、ボゴモロフ型の不等式を証明すること。
• 小林の予想（近似的にヘルミート・アインシュタイン構造に関するもの）をヒッグス・シェーブの文脈に拡張して解明すること。

提案手法

• 反射的ヒッグス・シェーブ $ (\mathcal{E}, \phi) $ の正則部分 $ M\setminus\Sigma $ 上に、近似的にヘルミート・アインシュタイン条件を満たすヘルミート計量の族 $ H_{\rho} $ を構成すること。
• ヒッチン＝シンプソン接続 $ D_{H,\phi} $ 及びその曲率 $ F_{H,\phi} $ を用いて、$ \sqrt{-1}\Lambda_{\omega}(F_H + [\phi, \phi^{*H}]) = \lambda \mathrm{Id}_{\mathcal{E}} $ を含むヘルミート・アインシュタイン方程式を定義すること。
• 近似解 $ H_{\epsilon} $ の列を用いた極限的議論を適用し、$ M\setminus\Sigma $ 上で $ C^{\infty} $-位相における収束を示すこと。
• 極限計量 $ H $ が、曲率の $ L^2 $-可積分性と $ |\Lambda_{\omega}F_H|_H $ の一様有界性を確認することにより、許容可能なヘルミート・アインシュタイン条件を満たすことを証明すること。
• シンプソンのテクニックを用いて、$ \mu_\omega(\mathcal{F}) \geq \mu_\omega(\mathcal{E}) $ を満たす飽和ヒッグス部分層 $ \mathcal{F} \subset \mathcal{E} $ を構成し、$ (\mathcal{E}, \phi) $ が安定である場合に矛盾を導くこと。
• 近似的な構造の存在とそれによるチャーン類の有界性を用いて、ボゴモロフ型不等式を確立すること。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなカラーマン多様体上の半安定な反射的ヒッグス・シェーブは、すべて近似的に許容可能なヘルミート・アインシュタイン構造をもつのか？
• RQ2 解析的手法を用いて、コンパクトなカラーマン多様体上の半安定な反射的ヒッグス・シェーブに対してボゴモロフ不等式を証明できるか？
• RQ3 反射的ヒッグス・シェーブに対して、近似的にヘルミート・アインシュタイン構造の存在が半安定性と同値であるか？
• RQ4 小林の予想（近似的にヘルミート・アインシュタイン構造に関するもの）は、ヒッグス・シェーブの文脈に拡張可能か？
• RQ5 反射的ヒッグス・シェーブが許容可能なヘルミート・アインシュタイン計量をもつための必要十分条件は何か？

主な発見

• コンパクトなカラーマン多様体上の反射的ヒッグス・シェーブ $ (\mathcal{E}, \phi) $ は、半安定であるための必要十分条件が、近似的に許容可能なヘルミート・アインシュタイン構造をもつことである。
• 近似的にヘルミート・アインシュタイン計量 $ H_\epsilon $ の列の極限は、$ M\setminus\Sigma $ 上で $ C^{\infty} $-位相において、許容可能なヘルミート・アインシュタイン方程式を満たすヘルミート計量 $ H $ に収束する。
• 計量 $ H $ は許容可能である：$ |F_H|_{H,\omega} \in L^2 $ かつ $ M\setminus\Sigma $ 上で $ |\Lambda_\omega F_H|_H $ は一様有界である。
• ボゴモロフ型不等式が成立する：半安定な反射的ヒッグス・シェーブのランクが $ r $ のとき、$ \int_M \left(2c_2(\mathcal{E}) - \frac{r-1}{r}c_1(\mathcal{E}) \wedge c_1(\mathcal{E}) \right) \wedge \frac{\omega^{n-2}}{(n-2)!} \geq 0 $ が成り立つ。
• 証明は、トレースがゼロである $ L^1 $-切断 $ \tilde{u}_0 $ の極限を構成し、ヒッグス・シェーブが安定だが半安定でない場合に矛盾を導くことに基づく。
• 代数的幾何的技法を避けることで、カラーマン設定におけるボゴモロフ不等式の微分幾何的証明を提供し、ランガーの代数的アプローチとは異なるものである。