[論文レビュー] Weighted Pluripotential Theory Results of Berman-Boucksom

N. Levenberg|arXiv (Cornell University)|Oct 19, 2010

Geometry and complex manifolds参考文献 24被引用数 16

ひとこと要約

本稿は、重み付き複素多変数関数論におけるBerman-Boucksomの基礎的結果を包括的に解説し、重み付きFekete点および最適測度が重み付きMonge-Ampère測度 $\mu_{K,Q}$ に漸近的に分布することを確立するとともに、ロビン関数を介してトランスフィニット直径とエネルギー積分を結ぶ重み付きRumelyの公式の証明を行う。主たる貢献は、$\mathbb{C}^{d+1}$ における円形集合と対数同次性を用いた重み付きトランスフィニット直径の厳密な導出であり、強力なBergman漸近展開およびBernstein-Markov性への応用を含む。

ABSTRACT

The main goal of these notes, compiled in 2008-2009, is to present a more-or-less self-contained discussion of some of the recent results and techniques of R. Berman and S. Boucksom in the setting of weighted pluripotential theory. We include some background results on pluripotential theory and weighted pluripotential theory, although many items are stated without proof (references are provided). Although slightly dated and certainly not error-free, we hope someone finds them helpful.

研究の動機と目的

• 本分野に馴染みのない研究者を対象に、Berman-Boucksomの重み付き複素多変数関数論における最近の進展を自己完結的かつ理解しやすい形で提示すること。
• 重み付きFekete配列および最適測度が重み付きMonge-Ampère測度 $\\mu_{K,Q}$ に漸近的に等分布することを確立すること。
• 重み付きトランスフィニット直径 $d^w(K)$ と重み付き極値関数 $V_{K,Q}^*$ のエネルギー積分を結ぶ重み付きRumelyの公式を証明すること。
• Bernstein-Markov対および三重組のための強力なBergman漸近展開を構築し、複素解析における極値関数および測度の理解に不可欠な結果を得ること。
• 重み付き複素多変数関数論が未重み付き結果の証明において果たす役割を明確にし、その基礎的必要性を示すこと。

提案手法

• Rumelyの公式の証明には、$F = \{(t,z) \in \mathbb{C}^{d+1} : |t| = w(\lambda), \lambda \in K\}$ と定義される円形集合の構成が用いられ、これが正規かつコンパクトであることが示される。
• 相対的極値関数 $\rho_F$ の対数同次性が利用され、$V_{K,Q}(\lambda)$ が $\rho_F(1,\lambda)$ および $\rho_F(0,\lambda)$ と関連づけられる。
• 重み付きトランスフィニット直径 $d^w(K)$ は、集合 $K^w_\rho = \{\lambda : \rho_{K,Q}(\lambda) \leq 0\}$ の未重み付きトランスフィニット直径 $\delta(K^w_\rho)$ に一致することが特定され、これは $F \cap \{t=0\}$ に等しい。
• $\mathbb{C}^{d+1}$ における $-\log \delta(F)$ の公式が適用され、エネルギー積分が $\rho_F(1,\lambda)$ および $\delta(F \cap \{t=0\})$ を含む項に分解される。
• 鍵となる恒等式 $\delta^w(K) = \delta(F)^{(d+1)/d}$ が用いられ、重み付きおよび未重み付き直径を結びつけ、重み付きRumelyの公式の導出が完了する。
• 一般の適切な重みおよび非正規集合への拡張には、正規コンパクト集合 $K_j$ および連続的重み $w_j$ の減少列による近似議論が用いられる。

実験結果

リサーチクエスチョン

• RQ1 複素数 $\mathbb{C}^d$ 内のコンパクト集合のトランスフィニット直径は、ロビン関数および重み付き極値関数を含む積分を用いてどのように表現できるか？
• RQ2 重み付き複素多変数関数論の文脈において、重み付きFekete点および最適測度の漸近的分布はどのようなものか？
• RQ3 重み付きMonge-Ampère測度 $\mu_{K,Q}$ は、弱収束の意味で重み付きFekete点および最適測度の極限としてどのように生じるか？
• RQ4 重み付きトランスフィニット直径 $d^w(K)$ とエネルギー積分 $\int_K Q \, (dd^c V_{K,Q}^*)^d$ の正確な関係は何か？
• RQ5 複素数 $\mathbb{C}^{d+1}$ 内の円形集合の理論を用いて、複素多変数関数論における古典的公式の重み付き版をどのように導出できるか？

主な発見

• 重み付きトランスフィニット直径は、$\delta^w(K) = \exp\left(-\frac{1}{d} \int_K Q \, (dd^c V_{K,Q}^*)^d\right) \cdot d^w(K)$ を満たし、重み付きRumelyの公式が確立される。
• 漸近的に、重み付きFekete配列は重み付きMonge-Ampère測度 $\mu_{K,Q} = \frac{1}{(2\pi)^d} (dd^c V_{K,Q}^*)^d$ に分布する。
• 重み付き極値問題の最適測度は、漸近的に $\mu_{K,Q}$ に分布する。これは複素近似理論における予想を確認するものである。
• Bernstein-Markov対 $(K,\mu)$ および重み付き三重組 $(K,\mu,Q)$ に対して、強力なBergman漸近展開が成り立つ。これは古典的結果を重み付き設定に一般化するものである。
• $\mu_{K,Q}$ の台 $S_w$ はコンパクトであり、$S_w$ 上で $V_{K,Q}^* = Q$ が準連続的（quasi-everywhere）に成り立つ。これは重み付き極値関数の重要な構造的性質である。
• 恒等式 $d^w(K) = \delta(K^w_\rho)$ が成り立つ。ここで $K^w_\rho = \{\lambda : \rho_{K,Q}(\lambda) \leq 0\}$ であり、重み付き幾何学と未重み付きトランスフィニット直径を結ぶものである。