数理解析研究所講究録
第 1648 巻 2009 年 53-56

53

正則直線束に関するベルグマン核について

九州大学大学院数理学研究院

丈 (Joe Kamimoto)

神本

Faculty of Mathematics, Kyushu University$M$を $n$ 次元コンパクトケーラー多様体とし, $(L, h)arrow M$ を正則直線束とし,を $L$ の $N$ 回テンソル積とする. 最近, 複素幾何学の多くの問題が,$Narrow\infty$$L^{N}$としの正則切断の解析に関連させることにより解決されている. このことは, 多変数複素解析学において, 正則関数の境界挙動の解析が重要であることと対応している. この論説では, Zelditch [6] と Catlin [2] らにより得られた漸近展開を紹介し, その結果に類似するものとして, 半正定値の場合について考える.
たときの$L^{N}$

1. TIAN-YAU-ZELDTICH の漸近展開
この節では,をは正のエルミート正則直線束であると仮定する.
$M$ 上のケーラー計量とし, $\omega_{g}:=Ric(h)$ とする.
上のはに対して,$(L, h)arrow M$

$g$

$h$

$N\in \mathbb{N}$

エルミート計量$\langle s_{1},$$(dV_{g}=1/n!\omega_{g}^{n})$$d_{N}+1$とする.

$h_{N}$$L^{N}$

を誘導する. 正則切断全体 $H^{0}(M, L^{N})$ に内積$s_{2} \rangle=\int_{A/I}h_{N}(s_{1}(z), s_{2}(z))dV_{g}$を入れると,

for$s_{1},$$s_{2}\in H^{0}(M, L^{N})$は有限次元の内積空間となる. その次元をの切を $H^{0}(M, L^{N})$ の正規直交基底とするとき,$H^{0}(M, L^{N})$$\{S_{0}^{N}, \ldots, S_{d_{N}}^{N}\}$$L^{N}$

断 $K_{N}(z)$ を次のように定義する.

$K_{N}(z)= \sum_{j=0}^{d_{N}}\Vert S_{j}^{N}(z)\Vert_{h_{N}}^{2}=\sum_{j=0}^{d_{N}}h_{N}(S_{j}^{N}(z), S_{j}^{N}(z))$$K_{N}(z)$を $H^{0}(M, L^{N})$ のベルグマン核と呼ぶ. 次の定理は,.

Tian-Yau-Zelditch の漸近展開と呼ばれるもので, 最近, 複素幾何学の様々な問題に応用されている.
定理 1 $([5],[6],[2])$.

$K_{N}(z) \sim N^{n}(a_{0}+\frac{a_{1}(z)}{N}+\frac{a_{2}(z)}{N^{2}}+\cdots)$

as $Narrow\infty$ .

54の意味を正確に書くと次のようになる. 任意のある定数 $C_{R,k}>0$ が存在して, 次が成り立つ.
上の定理の$\sim$$\Vert K_{N}(z)-\sum_{j=0}^{R-1}a_{j}(z)N^{N-j\Vert_{C^{k}}}\leq C_{R,k}N^{n-R}$$k\in \mathbb{N}$

に対して,

.

上の漸近展開は, 有界強擬凸領域のベルグマン核とセゲー核の領域の定義関数に関する漸近展開に対応している. それらの漸近展開は, C. Fefferman [3] や Boutet

de Monvel-Sj\"ostrand [1] らにより計算されている. [1] では, ベルグマン核とセゲー核をフーリエ積分作用素を用いて表し, シンポルの漸近展開が,目的の漸近展開を導くことを示している. Zelditch [6] と Catlin [2] は, 幾何学的な議論により, 定理の $K_{N}(z)$ の漸近展開がまさしくそのシンポルの漸近展開にあたることを示した.

2. 半正定値の場合
この節では,前節の場合を一般化して,の曲率形式が半正定値となる場合を考えよう. この場合は, 新たに特異点論的な議論が必要となる. 以下に, ニュートン図形などの概念が現れるが, それらの説明は次の節で行う.
半正定値な場合で, 正定値性が失われているような点におけるベルグマン核の漸$(L, h)$近展開は, 私が知る限り現在までのところ得られていない.

ここでは,$M$全体に関する大域的な場合は難しいので, 局所的な場合について考える.
$U$を $M$ 上の小さな領域とし, 固定しておく.

このとき, 正則切断全体 $H^{0}(U, L^{N})$に内積$\langle s_{1},$$s_{2}\rangle=/U^{h_{N}(s_{1}(z),s_{2}(z))dV}$を入れる. ただし, $dV$ は $U$ 上の局所座標に関する標準的な体積要素とする.
を $H^{0}(U, L^{N})$ の完全正規直交系とするとき,$H^{0}(U, L^{N})$$\{S_{k}^{N}\}_{k=0}^{\infty}$の局所ベルグマン核を次で定義する.
$\tilde{K}_{N}(z)=\sum_{j=0}^{\infty}||S_{j}^{N}(z)||_{h}^{2}$

パ

を $M$ 上の点とし,その小さな開近傍 $U$ をとる.

上に曲率形式が半正定値を考えるわけであるが, 次が成り立つように $U$ 上に局所座標を導となる計量が存在して, $h(z)=e^{-\varphi(z)}$ かつを原点とし, $U$ 上の実数値関数入する.
$z_{0}$$L$$h$$\varphi(z)$$z_{0}$$\varphi(0)=d\varphi(0)=0$(a)

をみたす.

さらに,

$\varphi(e^{i\theta_{1}}z_{1}, \ldots, e^{i\theta_{1}}z_{n})=\varphi(z)$$\varphi$forに次の条件 (a),(b),(c) を仮定する.

$z\in U,\theta_{j}\in \mathbb{R}$.

により決まる関数である. よって,の関数 $f$ を, $f(|z_{1}|, \ldots, |z_{n}|)=\varphi(z)$ となるように定める.
上の条件により,$\varphi(z)$は$|z_{1}|,$$\ldots,$$|z_{n}|$$\mathbb{R}_{+}^{n}$上55(b)のニュートン図形はどの座標軸とも交わる.

$f$

この条件は, (D’Angelo の意味での) 「有限型」 に対応するものである.

(c)は非退化な主要部を持つ.

$f$

この条件は, ニュートン図形が, 重要な情報をもつことを保障するものである.

以上を $(L, h)arrow M$ に仮定したとき, 次が得られる.

定理 2.
$\tilde{K}_{N}(z_{0})\sim\frac{N^{2/d_{f}}}{(\log N)^{m_{f}-1}}\sum_{j=0}^{\infty}\sum_{k=(m_{f}arrow n)j}^{\infty}a_{j,k}(z_{0})N^{-j/m}(\log N)^{-k}$ただし,

as $Narrow\infty$ .

は $f$ の主要部のみにより決の定義は次の節にある. 初項
まる正の数である.
は, 原点を $f$ の孤立特異点とみなしたときに, トーリッ
$a_{0,0}(z_{0})$$d_{f_{2}}m_{f}$$m\in \mathbb{N}$ク多様体の理論を用いた特異点解消によるプロセスから決まる数である.
上の定理は, 論文 [4] の Theorem 3.6 に対応している. 証明も本質的にその論文の中にある. また, 漸近展開の意味であるが, 2 変数の漸近展開とみなさなければならない.

詳しくは,同論文 [4] を参照のこと.

3. ニュートン図形
前の節で使ったニュートン図形に関する概念について説明する.
$f$ を内の領域 $U$ 上で定義された実数値関数とする. さらに, $f$ は原点で孤立臨界点を持ち, $(i.e. df(x)=0\Leftrightarrow x=0),$ $f(0)=0$ を仮定する.
$f$ は原点で次のようなテーラー級数展開を持つとする.
ここでは,$C^{\infty}$$\mathbb{R}^{n}$. ..
$f(x)= \sum_{\alpha\in \mathbb{Z}_{+}^{n}}c_{\alpha}x^{\alpha}=\sum_{\alpha\in \mathbb{Z}_{+}^{n}}c_{\alpha_{1},\ldots,\alpha_{n}}x_{1}^{\alpha_{1}}$ここで,指数の集合として,の台をニュートン多角形は次のように定義される.
$f$のニュートン図形

する. さらに,$f$$\Gamma(f)$のは, ニュートン多角形$\mathbb{R}_{+}^{n}$$f_{0}(x)= \sum_{\alpha\in\Gamma(f)}c_{\alpha}x^{\alpha}$と定めると,$f$のにおける凸包.

$\Gamma_{+}(f)$の主要部は,で定義される多項式である.

.

$S_{f}=\{\alpha\in \mathbb{Z}_{+}^{n};c_{\alpha}\neq 0\}$$\Gamma_{+}(f)=\cup\{\alpha+\mathbb{R}_{+}^{n};\alpha\in S_{f}\}$$f$$x_{n}^{\alpha_{n}}$のコンパクトな面の集合と

56

直線 $\{(d,$$\ldots,$ニュートン距離$d);d\in \mathbb{R}\}$$d_{f}$

は,$Q$と— ュー トン図形 $\Gamma(f)$ の交わる点を$Q$とする.の座標 $(d_{f}, \ldots, d_{f})$ により決まる正の実数である.

$f$のさら上の $n-1$ 次元平面の数を表す.
は, 点 $Q$ に集まる
ニュートン多重度
上 $df_{\gamma}=0$ とならないとき,に対して,上の任意の平面は非退化な主要部を持つという. ただし,とする.
上での議論であったが, 原点でのテーラー展開を考えて,
注意 : 前の節では,上に拡張すればよい.に,$\Gamma(f)$$\Gamma(f)$$m_{f}$$(\mathbb{R}\backslash \{0\})^{n}$$\gamma$$f$$f_{\gamma}(x):= \sum_{\alpha\in\gamma}c_{\alpha}x^{\alpha}$$\mathbb{R}_{+}^{n}$$\mathbb{R}^{n}$

REFERENCES[1] L. Boutet de Monvel and J. Sj\"ostrand: Sur la singularit\’e des noyaux de Bergman et de Szego,
Soc. Math. de France Ast\’erisque 34-35 (1976), 123-164.
[2] D. Catlin: The Bergman kernel and a theorem of Tian, Analysis and geometry in several
complex variables, Katata, 1997, Trends in Math, Boston, NY: Birkh\"auser, 1999, 1-23.
[3] C. Fefferman: The Bergman kemel and biholomorphic mappings of pseudoconvex domains,.
Invent. Math. 26 (1974),[4] J. Kamimoto: Newton polyhedra and the Bergman kernel, Math. Z. 246 (2004), 405-440.
[5] G. Tian: On a set of polarized K\"ahler metrics on algebraic manifolds, J. Differential Geom.
32 (1990), 99-130.
[6] S. Zelditch: Szeg\"o kemels and a theorem of Tian, Int. Math. Res. Not. 6 (1998), 317.-331.
$1\triangleleft 5$