ベルグマン計量

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

定義

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

g_{ij}(z):={\frac {\partial ^{2}}{\partial z_{i}\,\partial {\bar {z}}_{j}}}\log K(z,z)

と定義する。すると接ベクトル $\xi \in T_{z}{\mathbb {C} }^{n}$ の長さは

\left\vert \xi \right\vert _{B,z}:={\sqrt {\sum _{i,j=1}^{n}g_{ij}(z)\xi _{i}{\bar {\xi }}_{j}}}

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

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

\ell (\gamma )=\int _{0}^{1}\left\vert {\frac {\partial \gamma }{\partial t}}(t)\right\vert _{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'}(f(p),f(q))$ が成り立つ。

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

この記事は、クリエイティブ・コモンズ・ライセンス表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Bergman metricの本文を含む