ポワンカレ計量

数学におけるポアンカレ計量（ポアンカレけいりょう、英: 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 = 1 なる実数 a, 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}}}} で与えられる。また、計量を z1, z2 ∈ 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