論文「Bergman カーネルの局所化と Toeplitz 理論への応用」の技術的サマリー

著者: Siarhei Finski
概要: 本論文は、コンパクト複素多様体上の「大きな（big）」線束と Radon 測度に関連する Bergman カーネル（または Christoffel-Darboux カーネル）の局所化現象を研究し、その結果を Toeplitz 作用素の理論に応用するものである。特に、Bernstein-Markov 測度における非対角部分の質量の消失と、Toeplitz 作用素のスペクトル測度の等分布性を示す。

---

1. 研究の背景と問題設定

1.1 背景

Bergman カーネルは、複素幾何学、確率論、近似理論において中心的な役割を果たす。特に、高次テンソル積 $L^{\otimes k}$ の正則切断空間 $H^0(X, L^{\otimes k})$ における直交基底を用いて定義される。
従来の研究（Tian, Catlin, Zelditch, Ma-Marinescu など）は、測度が体積形式であり、線束が ample で計量が滑らかであるという「規則的」な設定に限定されることが多かった。この設定では、Bergman カーネルは対角線上に指数関数的に集中し、非対角部分では急速に減衰することが知られている。

1.2 問題提起

本研究は、より一般的な設定、すなわち：

• 線束 $L$ が big（大）であること（ample である必要はない）。
• 測度 $\mu$ が pluripolar 集合（多重極小集合）に全質量を与えない 任意の Borel 測度であること。
  という条件下で、Bergman カーネルの局所化現象がどのように振る舞うかを問う。
  特に、非対角部分（$x \neq y$）でのカーネルの振る舞いや、Toeplitz 作用素の代数構造、スペクトル分布がこれらの一般化された条件でも成立するかが焦点である。

---

2. 主要な手法と理論的枠組み

2.1 Bergman 測度の定義

正則切断空間 $H^0(X, L^{\otimes k})$ に内積 $\langle s_1, s_2 \rangle = \int_X \langle s_1, s_2 \rangle_{h_L^k} d\mu$ を導入し、正規直交基底 $\{s_i\}$ を用いて Bergman カーネル $B_k(x, y)$ を定義する。
これに基づき、以下の 2 種類の測度を導入する：

1. 非対角 Bergman 測度: $\mu_k^{\text{Berg}} := \frac{1}{n_k} |B_k(x, y)|^2_{h_L^k} d\mu(x)d\mu(y)$ （$X \times X$ 上の確率測度）
2. 対角 Bergman 測度: $\mu_k^{\text{Berg}, \Delta} := \frac{1}{n_k} B_k(x, x) d\mu(x)$ （$X$ 上の確率測度）

2.2 局所化の証明戦略

非対角部分での質量消失（Theorem 1.1）を証明するために、以下の段階的なアプローチを採用している：

1. Bernstein-Markov 測度の場合: 対角部分の漸近挙動（Berman-Boucksom-Witt Nyström の結果）を利用し、対角部分の収束と非対角部分の消失を対比させる。
2. 部分多様体からの削減: 任意の測度を、ある代数多様体（subvariety）の近傍から除外した測度に近似できることを示す（Theorem 2.3, Proposition 2.4）。
3. 除数からの距離: 測度のサポートが特定の除数から離れている場合、カーネルの減衰を定量的に評価する（Theorem 2.8）。これは、ある 2 次元的な切断の比を用いた演算子の Hilbert-Schmidt ノルムを評価することで達成される。
4. 一般化: 上記の結果を組み合わせ、任意の「pluripolar 集合に全質量を与えない」測度に対して定理を成立させる。

2.3 Toeplitz 作用素の代数

Toeplitz 作用素 $T_k(f) = B_k \circ M_f$ （$M_f$ は $f$ による積演算）の合成 $T_k(f) \circ T_k(g)$ が、$k \to \infty$ で $T_k(fg)$ に収束するか（漸近的代数性）を検討する。これには、Bergman カーネルの非対角部分の局所化（Theorem 1.1）が本質的に用いられる。

---

3. 主要な結果（定理）

3.1 Bergman カーネルの局所化（Theorem 1.1）

主張: 任意の Borel 測度 $\mu$ が pluripolar 集合に全質量を与えないとき、対応する Bergman 測度 $\mu_k^{\text{Berg}}$ は、対角線 $\Delta = \{(x, x) \mid x \in X\}$ から離れた任意のコンパクト集合 $K \subset X \times X$ において、$k \to \infty$ で質量が 0 に収束する。
$$\lim_{k \to \infty} \int_K d\mu_k^{\text{Berg}} = 0$$
意義: 従来の指数関数的減衰（$e^{-c\sqrt{k}}$）は滑らかな設定でのみ保証されるが、本定理はより弱い条件（pluripolar 集合への全質量非付与）でも「平均的な」局所化が成立することを示した。

3.2 Bernstein-Markov 測度における弱収束（Theorem 1.3）

主張: $\mu$ が Bernstein-Markov 測度で、そのサポートが非 pluripolar である場合、$\mu_k^{\text{Berg}}$ は弱収束し、その極限は対角埋め込み $\Delta$ による平衡測度 $\mu_{\text{eq}}(K, h_L)$ の像 $\Delta_* \mu_{\text{eq}}$ となる。
意義: Zelditch の予想を肯定し、非対角部分の質量が完全に消失して対角線上に平衡測度が現れることを示した。

3.3 重み変化に対する安定性（Theorem 1.5）

主張: 測度 $\mu_1$ と $\mu_2 = e^f \mu_1$ （$f$ は連続関数）に対して、対角 Bergman 測度の差 $\mu_{k,1}^{\text{Berg}, \Delta} - \mu_{k,2}^{\text{Berg}, \Delta}$ は $k \to \infty$ で弱収束して 0 になる。
意義: 対角 Bergman カーネルの漸近値は、測度の重みの「局所的」な変化にのみ依存し、大域的な構造には依存しないことを示す。

3.4 Toeplitz 作用素の漸近的代数性（Theorem 1.7）

主張: 任意の Borel 測度 $\mu$ （pluripolar 集合に全質量を与えない）に対して、Toeplitz 作用素の空間は漸近的に代数をなす。すなわち、任意の $f, g \in C^0(K, \mathbb{R})$ に対して、
$$\lim_{k \to \infty} \| T_k(f) \circ T_k(g) - T_k(f \cdot g) \|_p = 0$$
が成り立つ（$\|\cdot\|_p$ は $p$-Schatten ノルム）。
意義: 従来の体積形式や滑らかな計量という制限を大幅に緩和し、Toeplitz 作用素の代数構造が非常に一般的な測度に対して成立することを示した。

3.5 スペクトルの等分布（Theorem 1.9）

主張: $\mu$ が Bernstein-Markov 測度で非 pluripolar なサポートを持つとき、任意の連続関数 $g: \mathbb{R} \to \mathbb{R}$ に対して、Toeplitz 作用素 $T_k(f)$ の固有値 $\lambda$ に関する和は平衡測度で積分される極限に収束する。
$$\lim_{k \to \infty} \frac{1}{n_k} \sum_{\lambda \in \text{Spec}(T_k(f))} g(\lambda) = \int_X g(f(x)) d\mu_{\text{eq}}(K, h_L)(x)$$
意義: Szegő の第一極限定理や、Boutet de Monvel-Guillemin の結果を、Bernstein-Markov 測度と big 線束の枠組みに一般化した。

---

4. 応用と拡張

4.1 直交多項式への応用

$X = \mathbb{P}^1$、$L = \mathcal{O}(1)$ の場合、本研究は直交多項式と Toeplitz 行列の理論に直接適用される。

• 単位円周上の Lebesgue 測度の場合、Szegő の第一極限定理を回復する。
• 区間 $[-1, 1]$ 上の Lebesgue 測度の場合、Legendre 多項式に関連する Grenander-Szegő の結果を回復する。
• 一般のコンパクトな支持集合を持つ任意の測度（非有限サポート）に対して、非対角部分の積分が有界であること（式 1.7）を示し、従来の結果を拡張した。

4.2 特異空間への拡張（Section 4.4）

$X$ が特異点を持つ複素解析空間であっても、特異点解消 $\pi: \hat{X} \to X$ を通じて結果が拡張可能であることを示した（Theorem 4.15）。

• 特異空間上の Bergman 測度は、解消空間上の平衡測度の押し戻しとして定義され、その局所化と Toeplitz 作用素の性質が保存される。

---

5. 学術的意義と貢献

1. 一般性の飛躍的向上: Bergman カーネルの局所化現象や Toeplitz 作用素の理論を、従来の「滑らかな体積形式・ample 線束」という厳格な条件から、「pluripolar 集合に全質量を与えない任意の測度・big 線束」という極めて広いクラスに拡張した。
2. Zelditch 予想の解決: Bernstein-Markov 測度における非対角 Bergman 測度の極限が対角線上に集中するという Zelditch の予想を証明し、平衡測度との関係を明確にした。
3. Toeplitz 理論の基礎付け: Toeplitz 作用素が漸近的に代数をなし、そのスペクトルが等分布するという性質が、測度の正則性（滑らかさ）に依存しないことを示し、シンプレクティック幾何や確率論における応用の基盤を強化した。
4. 手法の革新: 非対角部分の減衰を証明するために、切断の比を用いた演算子の Hilbert-Schmidt ノルム評価や、部分多様体からの削減（reduction）といった新しい技術的アプローチを開発した。

本論文は、複素幾何学、関数解析、確率論の交差点において、Bergman カーネルの漸近解析に関する重要な進展をもたらした。