ベルグマン計量

ベルグマン計量 (ベルグマンけいりょう、Bergman metric) は、微分幾何学において、ある種の複素多様体上に定義できるエルミート計量である。ベルグマン核から導かれるのでそのように呼ばれる。名称はテンプレート:仮リンク (Stefan Bergman) にちなむ。

定義

$G\subset {ℂ}^n$ を領域とし、$K(z,w)$ を G 上のベルグマン核とする。接束 $T_z{ℂ}^n$ 上のエルミート計量を、z ∈ G に対し

$g_{ij}(z):=\frac{{\partial }^2}{\partial z_i\partial {\overline{z}}_j}\log K(z,z)$

と定義する。すると接ベクトル $\xi \in T_z{ℂ}^n$ の長さは

${\left|\xi \right|}_{B,z}:=\sqrt{\sum _{i,j=1}^n{g}_{ij}(z){\xi }_i{\overline{\xi }}_j}$

によって与えられる。この計量が G 上のベルグマン計量と呼ばれる。

（区分）C¹ 曲線 $\gamma :[0,1]\to {ℂ}^n$ の長さは

$\ell (\gamma )=\underset{0}{\overset{1}{\int }}{|\frac{\partial \gamma }{\partial t}(t)|}_{B,\gamma (t)}dt$

と計算される。すると2点 p, q ∈ G の距離 $d_G(p,q)$ は

$d_G(p,q):=\inf \{\ell (\gamma )\mid \text{ all piecewise }{C}^1\text{ curves }\gamma \text{ such that }\gamma (0)=p\text{ and }\gamma (1)=q\}$

と定義される。距離 d_G はベルグマン距離と呼ばれる。

G が有界領域であればベルグマン計量は実は各点において正定値行列である。より重要なことには、距離 d_G は G から別の領域 G′ への双正則写像のもとで不変である。つまり、f: G → G′ が双正則であれば、$d_G(p,q)=d_{G^{\prime }}(f(p),f(q))$ が成り立つ。

参考文献

• Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.