数学 におけるポアンカレ計量 （ポアンカレけいりょう、英 : Poincaré metric アンリ・ポアンカレ にその名を因む、二次元の負曲率 一定曲面を記述する計量テンソル である。この計量は、双曲幾何 やリーマン面 において様々な計算を展開する際に広く用いられる。
二次元の双曲幾何の表現には、互いに同値な三種類がよく用いられる。ひとつは上半平面 上の双曲空間のモデルを与えるポアンカレ上半平面模型 、もうひとつは単位円板 上の双曲空間のモデルを与えるポアンカレ円板模型 であり、このふたつは等角写像 （共形写像）およびメビウス変換 によって与えられる等距写像 によって関連付けられる。いまひとつの表現は穴あき円板 上のもので、その関係性はq-類似 によっても表される。以下これらについて述べる。
複素数平面上の計量を一般に、λ を z および z
d
s
2
=
λ
2
(
z
,
z
¯
)
d
z
d
z
¯
{\displaystyle ds^{2}=\lambda ^{2}(z,{\bar {z}})\,dz\,d{\bar {z}}}
なる形に表すことができ、複素数平面上の曲線 γ の長さ l (γ) は
l
(
γ
)
=
∫
γ
λ
(
z
,
z
¯
)
|
d
z
|
{\displaystyle l(\gamma )=\int _{\gamma }\lambda (z,{\bar {z}})\,|dz|}
で与えられる。また、複素数平面の部分集合 M の面積 area(M ) は
area
(
M
)
=
∫
M
λ
2
(
z
,
z
¯
)
i
2
d
z
∧
d
z
¯
{\displaystyle {\text{area}}(M)=\int _{M}\lambda ^{2}(z,{\bar {z}})\,{\frac {i}{2}}\,dz\wedge d{\bar {z}}}
と書ける。ただし、
∧
{\displaystyle \wedge }
体積形式 を構成するのに用いる外積 である。この計量の行列式の値は λ4 に等しく、従って行列式の平方根は λ2 である。平面上のユークリッド体積形式 dx ∧dy に対して、
d
z
∧
d
z
¯
=
(
d
x
+
i
d
y
)
∧
(
d
x
−
i
d
y
)
=
−
2
i
d
x
∧
d
y
{\displaystyle dz\wedge d{\bar {z}}=(dx+i\,dy)\wedge (dx-i\,dy)=-2i\,dx\wedge dy}
なる関係が成り立つ。函数 Φ(z , z 計量ポテンシャル (potential of the metric ) であるとは
4
∂
∂
z
∂
∂
z
¯
Φ
(
z
,
z
¯
)
=
λ
2
(
z
,
z
¯
)
{\displaystyle 4{\frac {\partial }{\partial z}}{\frac {\partial }{\partial {\bar {z}}}}\Phi (z,{\bar {z}})=\lambda ^{2}(z,{\bar {z}})}
を満たすことを言う。ラプラス-ベルトラミ作用素 Δ は
Δ
=
4
λ
2
∂
∂
z
∂
∂
z
¯
=
1
λ
2
(
∂
2
∂
x
2
+
∂
2
∂
y
2
)
{\displaystyle \Delta ={\frac {4}{\lambda ^{2}}}{\frac {\partial }{\partial z}}{\frac {\partial }{\partial {\bar {z}}}}={\frac {1}{\lambda ^{2}}}\left({\frac {\partial ^{2}}{\partial x^{2}}}+{\frac {\partial ^{2}}{\partial y^{2}}}\right)}
で与えられ、計量のガウス曲率 K は
K
=
−
Δ
log
λ
{\displaystyle K=-\Delta \log \lambda }
で与えられる。この曲率はリッチのスカラー曲率テンソル の半分である。
等距写像 (isometry) は角度と弧長を保ち、リーマン面上では等距写像は座標変換と同一視される。つまり、ラプラス-ベルトラミ作用素も主曲率も等距写像に関する不変量なのである。従って例えば、S が計量 λ2 (z , z dz dz を、T が計量 μ2 (w , w dw dw をそれぞれ持つリーマン面とすれば、写像
f
:
S
→
T
;
z
↦
w
(
z
)
{\displaystyle f\colon S\to T;\;z\mapsto w(z)}
が等距変換となるための必要十分条件は f が共形写像となることであり、それには
μ
2
(
w
,
w
¯
)
∂
w
∂
z
∂
w
¯
∂
z
¯
=
λ
2
(
z
,
z
¯
)
{\displaystyle \mu ^{2}(w,{\bar {w}})\;{\frac {\partial w}{\partial z}}\,{\frac {\partial {\bar {w}}}{\partial {\bar {z}}}}=\lambda ^{2}(z,{\bar {z}})}
が成り立てば十分である。ここに、写像が共形であることを要求することは
w
(
z
,
z
¯
)
=
w
(
z
)
{\displaystyle w(z,{\bar {z}})=w(z)}
が成り立つこと、即ち、
∂
∂
z
¯
w
(
z
)
=
0
{\displaystyle {\frac {\partial }{\partial {\bar {z}}}}w(z)=0}
が満たされることを言うに他ならない。
ポアンカレ上半平面模型 におけるポアンカレ計量テンソル は上半平面 H 上で
d
s
2
=
d
x
2
+
d
y
2
y
2
=
d
z
d
z
¯
y
2
{\displaystyle ds^{2}={\frac {dx^{2}+dy^{2}}{y^{2}}}={\frac {dz\,d{\bar {z}}}{y^{2}}}}
なるものとして与えられる。ここで dz = dx + i dy と書いた。この計量テンソルは SL (2, R ) の作用の下で不変である。実際、ad − bc = 1a , b , c , d を用いて
z
′
=
x
′
+
i
y
′
=
a
z
+
b
c
z
+
d
{\displaystyle z'=x'+iy'={\frac {az+b}{cz+d}}}
と書くとき、
x
′
=
a
c
(
x
2
+
y
2
)
+
x
(
a
d
+
b
c
)
+
b
d
|
c
z
+
d
|
2
,
y
′
=
y
|
c
z
+
d
|
2
{\displaystyle x'={\frac {ac(x^{2}+y^{2})+x(ad+bc)+bd}{|cz+d|^{2}}},\quad y'={\frac {y}{|cz+d|^{2}}}}
が成り立ち、無限小変換は
d
z
′
=
d
z
(
c
z
+
d
)
2
,
d
z
′
d
z
¯
′
=
d
z
d
z
¯
|
c
z
+
d
|
4
{\displaystyle dz'={\frac {dz}{(cz+d)^{2}}},\quad dz'd{\bar {z}}'={\frac {dz\,d{\bar {z}}}{|cz+d|^{4}}}}
で与えられるから、先の計量テンソルが SL (2,R ) のもとで不変であることは明らかである。
不変体積要素 は
d
μ
=
d
x
d
y
y
2
{\displaystyle d\mu ={\frac {dx\,dy}{y^{2}}}}
で与えられる。また、計量を z 1 , z 2 ∈ H に対して
ρ
(
z
1
,
z
2
)
=
2
tanh
−
1
|
z
1
−
z
2
|
|
z
1
−
z
¯
2
|
,
{\displaystyle \rho (z_{1},z_{2})=2\tanh ^{-1}{\frac {|z_{1}-z_{2}|}{|z_{1}-{\bar {z}}_{2}|}},}
ρ
(
z
1
,
z
2
)
=
log
|
z
1
−
z
¯
2
|
+
|
z
1
−
z
2
|
|
z
1
−
z
¯
2
|
−
|
z
1
−
z
2
|
{\displaystyle \rho (z_{1},z_{2})=\log {\frac {|z_{1}-{\bar {z}}_{2}|+|z_{1}-z_{2}|}{|z_{1}-{\bar {z}}_{2}|-|z_{1}-z_{2}|}}}
などと書くことができる。他にもこの計量の重要な表し方として、複比 を用いる形のものがある。一点コンパクト化された複素数平面
C
^
=
C
∪
{
∞
}
{\displaystyle {\hat {\mathbb {C} }}=\mathbb {C} \cup \{\infty \}}
z 1 , z 2 , z 3 , z 4 に対して、それらの複比が
(
z
1
,
z
2
;
z
3
,
z
4
)
=
(
z
1
−
z
2
)
(
z
3
−
z
4
)
(
z
2
−
z
3
)
(
z
4
−
z
1
)
{\displaystyle (z_{1},z_{2};z_{3},z_{4})={\frac {(z_{1}-z_{2})(z_{3}-z_{4})}{(z_{2}-z_{3})(z_{4}-z_{1})}}}
で与えられ、計量は
ρ
(
z
1
,
z
2
)
=
ln
(
z
1
,
z
2
×
;
z
2
,
z
1
×
)
{\displaystyle \rho (z_{1},z_{2})=\ln(z_{1},z_{2}^{\times };z_{2},z_{1}^{\times })}
と書ける。ただし、z 1 × , z 2 × は、z 1 と z 2 とを測地的に結ぶ実数直線上での両端点であり、またこれらは z 1 が z 1 × と z 2 の間にあるように番号付けられている。
この計量に対する測地線 は、実軸に直交する円弧（原点が実軸上にある半円）および実軸上に端点を持つ垂直線である。
ポアンカレ上半平面はポアンカレ円板 上にメビウス変換
w
=
e
i
ϕ
z
−
z
0
z
−
z
¯
0
{\displaystyle w=e^{i\phi }{\frac {z-z_{0}}{z-{\bar {z}}_{0}}}}
によって等角的に写す ことができる。ここで w は、上半平面上の点 z に対応する単位円板上の点である。この写像において、定数 z 0 は上半平面上の任意の点とすることができる（この点が単位円板の中心に写る）。実軸 Im z =0 は単位円板の周 |w | = 1 に写る。また、実定数 φ は任意に決まった量だけ円板を回転させるために用いられる。
虚数単位 i を円板の中心に、0 を円板の最下点に写す標準写像（標準座標系）は
w
=
i
z
+
1
z
+
i
{\displaystyle w={\frac {iz+1}{z+i}}}
で与えられる。
ポアンカレ円板模型 におけるポアンカレ計量テンソル は、単位円板 U = {z = x + iy : |z | = √x 2 + y 2
d
s
2
=
d
x
2
+
d
y
2
(
1
−
(
x
2
+
y
2
)
)
2
=
d
z
d
z
¯
(
1
−
|
z
|
2
)
2
{\displaystyle ds^{2}={\frac {dx^{2}+dy^{2}}{(1-(x^{2}+y^{2}))^{2}}}={\frac {dz\,d{\bar {z}}}{(1-|z|^{2})^{2}}}}
で与えられる。対応する体積形式は
d
μ
=
d
x
d
y
(
1
−
(
x
2
+
y
2
)
)
2
=
d
x
d
y
(
1
−
|
z
|
2
)
2
{\displaystyle d\mu ={\frac {dx\,dy}{(1-(x^{2}+y^{2}))^{2}}}={\frac {dx\,dy}{(1-|z|^{2})^{2}}}}
である。このポアンカレ計量は、z 1 , z 2 ∈ U に対して
ρ
(
z
1
,
z
2
)
=
tanh
−
1
|
z
1
−
z
2
1
−
z
1
z
¯
2
|
{\displaystyle \rho (z_{1},z_{2})=\tanh ^{-1}\left|{\frac {z_{1}-z_{2}}{1-z_{1}{\bar {z}}_{2}}}\right|}
と書くことができる。
この計量テンソルに対する測地線は、円板の境界上にある端点において円板の境界と直交するような円弧である。
ノーム q の函数としての、穴あき円板座標系に関する J-不変量（楕円モジュラー函数） ポアンカレ円板座標系に関する J-不変量。この円板は先に挙げた標準座標系を90度回転したものであることに注意。 上半平面 から円板への写像でもう一つ広く用いられるものが、q -写像
q
=
exp
(
i
π
τ
)
{\displaystyle q=\exp(i\pi \tau )}
である。ここに q はノーム で τ は半周期比 を表す。前節での記法を用いれば、τ は上半平面 Im τ における座標である。q = 0 はこの写像の像 に含まれないから、この写像は穴あき円板に値を取るものになっていることに注意。
上半平面上のポアンカレ計量から、この q -円板上の計量
d
s
2
=
4
|
q
|
2
(
log
|
q
|
2
)
2
d
q
d
q
¯
{\displaystyle ds^{2}={\frac {4}{|q|^{2}(\log |q|^{2})^{2}}}dq\,d{\bar {q}}}
が誘導される。この計量に関するポテンシャルは
Φ
(
q
,
q
¯
)
=
4
log
log
|
q
|
−
2
{\displaystyle \Phi (q,{\bar {q}})=4\log \log |q|^{-2}}
で与えられる。
ポアンカレ計量は調和函数 の空間の上に定義される縮小写像 を成す。このことはシュヴァルツの補題 の一般化であり、シュヴァルツ-アールフォルス-ピックの定理 と呼ばれる。
Hershel M. Farkas and Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New York. ISBN 0-387-90465-4 .
Jurgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X (See Section 2.3) .
Svetlana Katok, Fuchsian Groups (1992), University of Chicago Press, Chicago ISBN 0-226-42583-5 (Provides a simple, easily readable introduction.) 
