一意化定理

一意化定理(uniformization theorem)とは、すべての単連結リーマン面は、開円板、複素平面、リーマン球面の 3つのうちのひとつに共形同値であるという定理である。特に、単連結リーマン面は(定曲率)（英語版）(constant curvature)のリーマン計量を持つ。この定理は(普遍被覆)リーマン面を楕円型（正の曲率、正の曲がった曲率をもつ）、放物型（平坦）、双曲型(負曲率）として分類する。

一意化定理はリーマンの写像定理の平面の固有な単連結開部分集合から、任意の単連結はリーマン面への一般化である。

一意化定理は、任意の連結である第二可算の面の同様な結果、定数曲率のリーマン計量を与えることができることを意味している。

歴史

フェリックス・クライン Klein (1883) とアンリ・ポアンカレ Poincaré (1882) は、代数曲線（リーマン面）の一意化を予想した。Henri Poincaré (1883) では、この予想を任意の多値函数へ拡張し、この条件に合う問題について議論した。一般の一意化定理の最初の厳密な証明は、 Poincaré (1907) と Paul Koebe (1907a, 1907b, 1907c) で与えられた。ポール・ケーベ(Paul Koebe)は後日、いくつかの証明と一般化を与えた。この歴史は Gray (1994) に記述されている。

分類

すべてのリーマン面はその普遍被覆の上の離散群(discrete group)の自由で固有な正則作用の商であり、この普遍被覆は次の中のひとつに正則同型（「共形同値」ということもある）である。

リーマン球面
複素平面
複素平面内の単位円板

曲面の幾何学的分類

向き付け可能曲面上では、リーマン計量から次のように自然に概複素構造へ導かれる。接ベクトル v に対し、J (v) を v と直交し、(v, J (v)) が正の向き付けをもつような、v と同じ長さのベクトルとする。曲面上では概複素構造は可積分であるので、このことは与えられた曲面をリーマン面とすることを意味する。

このことより、計量の入った曲面は次のように分類される。連結な計量の入った曲面は、次の中のひとつの(等長群)（英語版）(isometry group)の離散部分群(discrete subgroup)の群作用による商空間である。

球面 (曲率 +1)
ユークリッド平面 (曲率 0)
(双曲平面)（英語版）(Hyperbolic plane) (曲率 −1).

第一の場合は、正のオイラー標数を持つすべての曲面の場合であり、球面や実射影平面を含んでいる。第二の場合は、オイラー標数が 0 であるすべての曲面の場合であり、ユークリッド平面、円柱、トーラスを含んでいる。第三の場合は、すべての負のオイラー標数の曲面であり、ほとんどすべて(almost all)の曲面が双曲的である。閉曲面に対し、この分類はガウス・ボネの定理と整合していて、ガウス・ボネの定理は、定曲率の閉曲面に対して、オイラー標数の符号と曲率の符号とは一致するはずであるという定理である。

負／平坦／正の分類は、代数幾何学でも対応する複素代数曲線の小平次元 -∞, 0, 1 に対応している。

リーマン面に対し、(ラドの定理)（英語版）(Rado's theorem)は、曲面は自動的に第二可算であるという定理である。一般の曲面に対し、これはもはや正しくないので、上の分類は曲面が第二可算であることを前提とする必要がる。(プリュファー曲面)（英語版）(Prüfer surface)は、（リーマン）計量の入らない曲面の例である。

リッチフローとの関係

詳細は「(リッチフロー#一意化定理、幾何化予想との関係)」を参照

リッチフローを導入し、リチャード・S・ハミルトン(Richard Hamilton)は、閉曲面上のリッチフローが計量を規格化する（つまり、フローが定曲率計量に収束する）ことを示した。しかしながら、彼の証明は一意化定理に依存している。Xiuxiong Chen, Peng Lu, and (Gang Tian) (2006) は、一意化定理を回避した証明を与えた。

参考文献

(Bers, Lipman) (1972), “Uniformization, moduli, and Kleinian groups”, The Bulletin of the London Mathematical Society 4 (3): 257–300, doi:10.1112/blms/4.3.257, ISSN 0024-6093, MR0348097
Chen, Xiuxiong; Lu, Peng; (Tian, Gang) (2006), “A note on uniformization of Riemann surfaces by Ricci flow”, (Proceedings of the American Mathematical Society) 134 (11): 3391–3393, doi:10.1090/S0002-9939-06-08360-2, ISSN 0002-9939, MR2231924
Gray, Jeremy (1994), “On the history of the Riemann mapping theorem”, Rendiconti del Circolo Matematico di Palermo. Serie II. Supplemento (34): 47–94, MR1295591
Gusevskii, N.A. (2001), "Uniformization", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。
Klein, Felix (1883), “Neue Beiträge zur Riemann'schen Functionentheorie”, Mathematische Annalen (Springer Berlin / Heidelberg) 21: 141–218, doi:10.1007/BF01442920, ISSN 0025-5831, JFM 15.0351.01
Koebe, P. (1907a), “Über die Uniformisierung reeller analytischer Kurven”, Göttinger Nachrichten: 177–190, JFM 38.0453.01
Koebe, P. (1907b), “Über die Uniformisierung beliebiger analytischer Kurven”, Göttinger Nachrichten: 191–210, JFM 38.0454.01
Koebe, P. (1907c), “Über die Uniformisierung beliebiger analytischer Kurven (Zweite Mitteilung)”, Göttinger Nachrichten: 633–669, JFM 38.0455.02
Krushkal, S. L.; Apanasov, B. N.; Gusevskiĭ, N. A. (1986) [1981], Kleinian groups and uniformization in examples and problems, Translations of Mathematical Monographs, 62, Providence, R.I.: American Mathematical Society, ISBN (978-0-8218-4516-5), MR0647770
Poincare, H. (1882), “Mémoire sur les fonctions fuchsiennes”, Acta Mathematica (Springer Netherlands) 1: 193–294, doi:10.1007/BF02592135, ISSN 0001-5962, JFM 15.0342.01
Poincaré, Henri (1883), “Sur un théorème de la théorie générale des fonctions”, Bulletin de la Société Mathématique de France 11: 112–125, ISSN 0037-9484, JFM 15.0348.01
Poincaré, Henri (1907), “Sur l'uniformisation des fonctions analytiques”, Acta Mathematica (Springer Netherlands) 31: 1–63, doi:10.1007/BF02415442, ISSN 0001-5962, JFM 38.0452.02

外部リンク

Conformal Transformation: from Circle to Square.

ウィキペディア	ランダム
毎日	カテゴリ