Generalized Bogomolov Inequalities

技術的概要：一般化されたボゴモロフ不等式

問題提起
本論文は、古典的なボゴモロフ不等式の一般化を扱っている。この不等式は、複素射影多様体 $X$ 上の、十分大なる類 $h$ に関する半安定なねじれなし層 $E$ について、判別式 $\Delta(E) = 2r c_2(E) - (r-1)c_1(E)^2$ が $\int_X \Delta(E) \cdot h^{d-2} \geq 0$ を満たすと主張するものである。著者らは、この不等式を、偏極が必ずしも十分大なる因子の冪である必要はなく、むしろ一般的なコホモロジー類 $\eta_{d-1} \in H^{d-1,d-1}(X)$（解析的設定では nef コン）であるより広範な文脈へ拡張することを試みる。具体的には、どのような条件下でコホモロジー類の対 $(\eta_{d-1}, \eta_{d-2})$ が、すべての $\eta_{d-1}$-半安定層に対して $\int_X \Delta(E) \cdot \eta_{d-2} \geq 0$ を保証するかを調査する。

手法
著者らはこの問題を枠組みづけるために、2 つの新しい概念を導入する：

1. ホッジ・リーマン対：対 $(\eta_{d-1}, \eta_{d-2})$ が、$\eta_{d-2}$ ホッジ・リーマン双線形関係（$\eta_{d-1}$ によって誘導される写像の核上で符号 $(+, -, \dots, -)$ を持つ）を満たし、かつ特定の正値性が成り立つ場合、ホッジ・リーマン対と定義される。これは、$\eta_i = h^i$ である古典的な場合を一般化するものである。
2. ボゴモロフ対：対 $(\eta_{d-1}, \eta_{d-2})$ が、すべての $\eta_{d-1}$-半安定層に対してボゴモロフ不等式が成り立つ場合、ボゴモロフ対と呼ばれる。

中心的な予想は、すべてのホッジ・リーマン対がボゴモロフ対であるというものである。手法としては、代数的および解析的な技法の混合が用いられる：

• 代数幾何学：シュール多項式、導出多項式、および十分大なるベクトル束の幾何学を利用する。著者らは「R-ひねり」束構成 $A\langle th \rangle$ を用いて、ベクトル束のシュール類と古典的な十分大なる類との関係を結びつける。
• 複素微分幾何学：ヒッチン・コバヤシ対応（Hitchin-Kobayashi correspondence）およびエルミート・アインシュタイン計量を用いる。安定束については、コホモロジー類から導かれるガウデン計量を用いて点ごとの判別式を計算する。
• 有界性理論：半安定層の族の有界性を用いて、ランクに関する帰納法および変形論の議論を通じて、安定な結果を半安定な層へ拡張する。

主要な貢献と結果

1. ホッジ・リーマン対の定義と性質：
   本論文は、十分大なる類（またはケーラー類）のシュール多項式によって形成される対がホッジ・リーマン対であることを確立する。具体的には、ランク $e \geq d-1$ の十分大なるベクトル束 $A$ と、分割 $\lambda$ に対して、$(s_\lambda(A), s'_\lambda(A))$ はホッジ・リーマン対である。これは解析的設定におけるケーラー類 $\alpha_i$ へも拡張される。

2. 特定の場合における予想の証明：
   著者らは、予想（ホッジ・リーマン対 $\implies$ ボゴモロフ対）がいくつかの重要な場合に成り立つことを証明する：

   • ケーラー類のシュール類：$e \geq d-1$ なるケーラー類 $\alpha_1, \dots, \alpha_e$ と分割 $\lambda$ に対して、対 $(s_\lambda(\alpha), s'_\lambda(\alpha))$ はボゴモロフ対である。安定束に対する証明は、ヒッチン・コバヤシ対応とエルミート・アインシュタイン計量を用いた判別式の点ごとの計算に依存する。これは、分解と帰納法を通じて半安定層へ拡張される。
   • 3 次元多様体と複素トーラス：複素 3 次元多様体および複素トーラス上のすべてのホッジ・リーマン対に対して予想が証明される。
   • 十分大なる束のセグレ類とチャーン類：特定の傾き条件（例：$s_d(A) > \mu_{\max, s_{d-1}(A)}(A)$）の下で、対 $(s_{d-1}(A), s_{d-2}(A))$ および $(c_{d-1}(A), c_{d-2}(A))$ がボゴモロフ対であることが示される。これには、問題を射影化 $P(A)$ へ持ち上げ、そこで古典的なボゴモロフ不等式を適用することが含まれる。

3. 半安定層の有界性：
   これらの結果の主要な応用として、新しい有界性定理が得られる。著者らは、クラス集合 $K' \subset \text{Amp}^{d-1}(X)$ が経路連結かつコンパクトであり、ホッジ・リーマン対およびボゴモロフ対の経路を通じて既知の「有界性クラス」へ接続可能である場合、固定された位相的タイプを持つ $\eta_{d-1}$-半安定層の集合是有界であることを証明する。これは、これらの一般化された安定性条件に対する有限型のモジュライ空間の存在を意味する。

4. ヒッグス層への拡張：
   本論文は、ボゴモロフ不等式をヒッグス層へ一般化する。$(\Omega_{d-1}, \Omega_{d-2})$ が微分形式のホッジ・リーマン対である場合、エルミート・ヤン・ミルズ計量を持つ任意の $\Omega_{d-1}$-半安定ヒッグス層について、判別式不等式が点ごとおよびコホモロジーにおいて成り立つことが示される。

意義と主張
本論文は、ホッジ・リーマン対の概念を導入することにより、ボゴモロフ不等式の一般化に対する「適切な設定」を提供すると主張する。その意義は以下の点にある：

• 統合：古典的なボゴモロフ不等式やシュール類に関する結果など、様々な既知の不等式を単一の予想枠組みの下で統合する。
• モジュライ理論：シュール多項式から導かれる非標準的な偏極（特にケーラー類のシュール多項式から導かれるもの）に関する半安定層の有界性を確立する。これはモジュライ空間を構成するための前提条件である。
• 解析的技法：ケーラー多様体上の層に対する代数的不等式を証明する際に、ヒッチン・コバヤシ対応およびガウデン計量の実用性を示す。

著者らは完全な予想については慎重であり、特定のクラス（シュール多項式、3 次元多様体、トーラス、および特定の傾き不等式を満たす束）については証明したが、任意のホッジ・リーマン対に対する一般の場合は未解決であると述べている。また、特定の含意の逆（例えば、ホッジ・リーマン対の極限が常にホッジ・リーマン対であるかどうか）は成り立たないことを明示し、この問題の微妙さを強調している。