Lower bounds on fibered Yang-Mills functionals: generic nefness and semistability of direct images

シァイレイ・フィンスキ（Siarhei Finski）による論文「Lower bounds on fibered Yang-Mills functionals: generic nefness and semistability of direct images（ファイバー束ヤン・ミルズ汎関数の下限：一般の nef 性と直接像の半安定性）」の技術的な要約を以下に記します。

1. 問題設定と背景

本論文は、複素多様体間の全射正則写像（ファイバー束）$\pi: X \to B$ において、幾何学的な不変量と代数的な不変量の間の関係を研究することを目的としています。

• 設定: $X$ と $B$ をコンパクト複素多様体、$\pi: X \to B$ を全射正則写像とします。$L$ は $X$ 上の $\pi$ に関する相対的に ample な線形束です。$B$ 上には Gauduchon 形式 $\omega_B$ が固定されています。
• 対象:
  • 幾何学的側面: 相対的に正の計量 $h_L$ から導かれる水平平均曲率（horizontal mean curvature）$\Lambda_{\omega_B} \omega_H(h_L)$。これはファイバー束の「ファイバー・アインシュタイン計量」の条件と深く関連しています。
  • 代数的側面: 高次テンソル積 $L^k$ の直接像 $E_k := R^0\pi_* L^k$ の Harder-Narasimhan 分解と、それらに付随するスロープ（$\mu$）。
• 核心的な問い: 水平平均曲率の振る舞い（特にその下限）と、直接像 $E_k$ の半安定性（semistability）やその Harder-Narasimhan スロープの極限との間に、どのような定量的な関係が存在するか。

2. 手法とアプローチ

著者は、半古典的極限（semiclassical limit）、すなわち $k \to \infty$ の極限における解析的・代数的な対応関係を利用しています。

• Toeplitz 作用素と Ma-Zhang の定理:
  直接像 $E_k$ の計量 $h_{E_k}$（$L^2$ 計量）の曲率を、ファイバー上の Toeplitz 作用素を用いて近似します。Ma-Zhang [43] の結果に基づき、$E_k$ の曲率 $\sqrt{-1}R_{E_k}$ は、$k$ 倍したファイバー上の水平形式 $\omega_H$ に対応する Toeplitz 作用素 $T_k(\omega_H)$ に収束し、その誤差是有界であることを利用します。
• ヤン・ミルズ汎関数の比較:
  基底 $B$ 上のベクトル束 $E_k$ に対する Hermite-Yang-Mills 汎関数（HYM）の既知の下限（Atiyah-Bott, Donaldson, Daskalopoulos-Wentworth 等による）を、$k \to \infty$ の極限においてファイバー束のヤン・ミルズ汎関数（Fibered Yang-Mills functional）へと転写します。
• Harder-Narasimhan 測度の極限:
  $E_k$ の Harder-Narasimhan スロープの分布から定義される確率測度 $\eta^{HN}_k$ が、$k \to \infty$ で弱収束する測度 $\eta^{HN}$ に収束することを示し、その下限・上限がファイバー束の幾何学的な下限・上限と一致することを証明します。
• 特異点を含む Riemann-Roch-Grothendieck 定理:
  代数幾何的な数値的半安定性の判定には、特異点を持つ部分空間に対する漸近的な Riemann-Roch-Grothendieck 定理（Bott-Chern コホモロジーを用いた一般化）を確立・利用しています。

3. 主要な結果と定理

A. ファイバー束ヤン・ミルズ汎関数の下限（Theorem 1.7）

任意の相対的正計量 $h_L$ に対して、水平平均曲率の上下限は、直接像 $E_k$ の Harder-Narasimhan スロープの極限測度 $\eta^{HN}$ によって制御されます。

• $\inf_{x \in X} \Lambda_{\omega_B} \omega_H(x) \leq \eta^{HN}_{\min}$
• $\sup_{x \in X} \Lambda_{\omega_B} \omega_H(x) \geq \eta^{HN}_{\max}$
• さらに、$L^p$ ノルム（$p < \infty$）や $L^\infty$ ノルムにおける汎関数の値は、$\eta^{HN}$ を用いた積分（または最大値）によって下限付けられます。
  $$FYM_{p,c}(\pi, h_L) \geq \int_{\mathbb{R}} |x-c|^p d\eta^{HN}(x) \cdot \int_X [\omega^n] \cdot \pi^*[\omega_B^m]$$
  この不等式は、Hermite-Yang-Mills 理論における既知の下限を、ファイバー束の文脈に一般化したものです。

B. 近似ファイバー・アインシュタイン計量と半安定性（Theorem 1.1, 1.3）

• 定理 1.1: もし $L$ が近似ファイバー・アインシュタイン計量（水平平均曲率が定数に任意に近い計量）を持つならば、直接像 $E_k$ は漸近的に半安定（asymptotically semistable）になります。
  • 具体的には、任意の商層 $Q_k$ に対して、十分大きな $k$ で $\mu(Q_k) \geq \mu(E_k) - \epsilon k$ が成り立ちます。
• 定理 1.3: $E_k$ が漸近的に半安定であるための数値的障害（numerical obstruction）を導出しました。$X$ の任意の既約部分空間 $Y$ に対して、そのスロープ $\mu(Y)$ が $X$ のスロープ $\mu(X)$ 以上でなければなりません（数値的半安定性）。特に $\dim B = 1$ の場合、漸近的半安定性と数値的半安定性は同値です。

C. 一般 nef 性の解析的characterization（Theorem 1.10, 1.12）

• 定理 1.10: 水平平均曲率の下限の supremum は、Harder-Narasimhan 測度の下限 $\eta^{HN}_{\min}$ に一致します。
  $$\sup_{h_L} \inf_{x \in X} \Lambda_{\omega_B} \omega_H(x) = \eta^{HN}_{\min}$$
• 定理 1.12: この結果を用いて、線形束 $L$ が「一般のファイバー nef 性（generically fibered nef）」を持つための解析的な同値条件を提示しました。
  • $L$ が安定して一般ファイバー nef であること $\iff$ 任意の $\epsilon > 0$ に対して、曲率形式が $-\epsilon \cdot \omega_X^m$ 以上となる計量 $h_L^\epsilon$ が存在すること。
  • これは、代数的な positivity（nef 性）と、解析的な曲率の positivity（任意に小さな負の部分を持つ計量の存在）の間の「辞書（dictionary）」を、ファイバー束の文脈で確立したものです。

4. 意義と貢献

1. 幾何学と代数の統合: 複素幾何における微分幾何的不変量（曲率、ヤン・ミルズ汎関数）と、代数幾何的不変量（Harder-Narasimhan 分解、スロープ、nef 性）の間の精密な関係を、ファイバー束の一般化された設定で確立しました。
2. 半古典的極限の応用: Ma-Zhang の結果を応用し、ベクトル束の Hermite-Yang-Mills 理論の限界を、ファイバー束の Einstein 型方程式の限界へと拡張しました。これは、定数スカラー曲率計量（cscK）や K-stability の研究における「半古典的極限」の手法を、より広い文脈で有効に機能させた例です。
3. 最適性の示唆: 導出された下限は最適である可能性（Conjecture 1.11）を指摘しており、特に $p=1$ の場合は既に証明されています。これは、ファイバー束における「安定性」と「計量の存在」の間の深い対応を示唆しています。
4. 一般 nef 性の解析的定義: 従来の代数的定義（Miyaoka 等）を、曲率の解析的性質を用いて特徴づけることで、複素幾何における positivity の概念を深化させました。

5. 結論

本論文は、ファイバー束のヤン・ミルズ汎関数の下限を、直接像の Harder-Narasimhan 分解を通じて厳密に評価し、それによってファイバー・アインシュタイン計量の存在可能性と代数幾何的な半安定性の関係を解明しました。また、この手法を用いて、一般 nef 性の新しい解析的characterization を提供し、複素多様体の族における幾何学的・代数的な構造の統一的理解に大きく貢献しています。