[論文レビュー] The Caratheodory and Kobayashi metrics and applications in complex analysis

Steven G. Krantz|ArXiv.org|Aug 31, 2006

Holomorphic and Operator Theory参考文献 11被引用数 6

ひとこと要約

この論文は、1変数複素関数論におけるCarathéodoryおよびKobayashi計量について、滑らかな写像とその共形不変性を強調して、包括的で理解しやすい導入を提供する。これらの計量が超曲率、境界挙動、およびリーマン写像定理の証明といった複素解析への応用を通じてその有用性を示し、計量幾何学が古典的結果の自然で幾何的な証明を可能にすることを示している。

ABSTRACT

The Caratheodory and Kobayashi metrics have proved to be important tools in the function theory of several complex variables. But they are less familiar in the context of one complex variable. Our purpose here is to gather in one place the basic ideas about these important invariant metrics for domains in the plane and to provide some illuminating examples and applications.

研究の動機と目的

• 1変数複素関数論の文脈において、あまり教科書に取り上げられていないCarathéodoryおよびKobayashi計量の基礎理論を提示すること。
• これらの計量がシュワルツの補題およびシュワルツ＝ピックの補題から自然に生じることを示し、古典的な関数論的結果に対する幾何的直観を提供すること。
• 不変計量の力を用いて、超曲率や平面領域の単連結性といった複素解析における深い結果を証明する力の本質を明らかにすること。
• これらの計量の構成を統一的かつ明確にし、一様化に基づくアプローチと比較して、それらが内因的で柔軟かつ幾何的に動機づけられた性質を持つことを示すこと。

提案手法

• 単位円板から領域へのすべての正則写像を用いて、Poincaré計量の下界をとることでCarathéodory計量を定義する。正則写像 $ f: \Omega \to \mathbb{D} $ に対して、$ F_C^\Omega(P,\xi) = \sup \left\{ \frac{|df_P(\xi)|}{1 - |f(P)|^2} \right\} $ という式を用いる。
• Kobayashi計量を、単位円板から領域へのすべての正則写像におけるPoincaré計量の点毎の下界として定義する。$ \rho $ を半径 $ \rho $ の円板から $ \Omega $ への正則写像が存在する最大の半径とするとき、$ F_K^\Omega(P,\xi) = \inf \left\{ \frac{|\xi|}{\rho} \right\} $ を用いる。
• 単位円板上のPoincaré計量をモデルとして用いる：$ F_\mathcal{P}^\Omega(P,\xi) = \frac{|\xi|}{1 - |P|^2} $ であり、これは共形不変性を有する。
• 領域 $ \Omega \subset \mathbb{C} $ に対して、万能被覆写像 $ \pi: \mathbb{D} \to \Omega $ を用いてPoincaré計量を引き戻すことにより、不変計量を構成する。ただし $ \Omega $ が超曲率的である場合に限る。
• 両計量が超曲率的領域上で完全であることを証明し、これにより自己同型群の挙動を分析する。
• 計量を用いて、$ C^2 $-滑らかで超曲率的な領域 $ \Omega $ において、自己同型群が非コンパクトであれば、その領域は単連結であることを示し、したがって単位円板と正則同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 CarathéodoryおよびKobayashi計量は、任意の平面領域へPoincaré計量をどのように一般化するか？
• RQ2 これらの計量とシュワルツ＝ピックの補題との幾何的・解析的関係は何か？
• RQ3 これらの計量が複素解析における古典的結果を証明する自然な枠組みをどのように提供するか？
• RQ4 Carathéodory計量の完全性は、正則写像の境界挙動とどのように関係するか？
• RQ5 自己同型群の非コンパクト性が領域の単連結性を示すために必要な条件は何か？

主な発見

• CarathéodoryおよびKobayashi計量は、単位円板への正則写像を介して定義される、平面領域上の共形不変Finsler計量である。
• Carathéodory計量は超曲率的領域上で完全であり、その完全性から境界付近では計量球がゼロのユークリッド半径に収縮することを示す。
• $ C^2 $-滑らかで超曲率的な領域 $ \Omega $ に対して、その自己同型群が非コンパクトであれば、固定された点を境界に写す自己同型の列が存在し、その結果 $ \Omega $ は単連結である。
• 自己同型群の非コンパクト性は、単連結な境界近傍のホモトピー的議論を用いることで、領域が単位円板と正則同値であることを強制する。
• 計量アプローチは、リーマン写像定理やピ卡ールの定理といった古典的結果の証明において、古典的な解析的証明に比べて幾何的で直感的かつしばしばより単純な代替手段を提供する。
• Poincaré計量から引き戻すことで計量を構成する方法は、任意の超曲率的領域に不変計量を賦与する、標準的で内因的かつ幾何的に自然な方法を提供する。