[論文レビュー] The Quasi-Additivity Law in Conformal Geometry

Jeremy Kahn, Mikhail Lyubich|ArXiv.org|May 10, 2005

Mathematical Dynamics and Fractals参考文献 4被引用数 4

ひとこと要約

本稿では、リーマン面に複数の不連続なジョルダン円板（アーキペラゴ）が存在する近い退化状態において、調和的合計された極値幅 $ Y $ が、連結部の幅 $ X $ と分離幅 $ Z $ の幾何平均によって上から抑えられることを示す、共形幾何学における準加法則（Quasi-Additivity Law）を確立する。具体的には、$ Y^2 \leq 2XZ $ が成り立ち、定数は位相的複雑性にのみ依存する。この結果から、分岐被覆写像の下での共形モジュラスの変換則を記述する「被覆補題（Covering Lemma）」が導かれる。この補題により、ホロモルフィックダイナミクスにおける強い事前評価が可能になる。

ABSTRACT

On a Riemann surface $S$ of finite type containing a family of $N$ disjoint disks $D_i$ (``islands''), we consider several natural conformal invariants measuring the distance from the islands to $\di S$ and separation between different islands. In a near degenerate situation we establish a relation between them called the Quasi-Additivity Law. We then generalize it to a Quasi-Invariance Law providing us with a transformation rule of the moduli in question under covering maps. This rule (and in particular, its special case called the Covering Lemma) has important applications in holomorphic dynamics which will be addressed in the forthcoming notes.

研究の動機と目的

• リーマン面上の複数の不連続な円板（アーキペラゴ）の近い退化状態における共形モジュラスを推定するための新しい解析的道具「準加法則（Quasi-Additivity Law）」を確立すること。
• この法則を分岐被覆写像の下での共形モジュラスの変換を記述する「準不変則（Quasi-Invariance Law）」に一般化すること。
• 特にジュリア集合の局所的連結性や再正規化の収束を示すために、ホロモルフィックダイナミクスにおける事前評価を立てる基盤的道具を提供すること。
• 準不変則の特別な場合として被覆補題を導出し、被覆写像下でのモジュラスの鋭い推定を可能にすること。

提案手法

• 三つの共形モジュラスを定義する：$ X $（アーキペラゴの和集合から境界へのモジュラス）、$ Y $（個々のモジュラスの調和的合計）、$ Z $（個々のアーキペラゴが残りの表面から分離するモジュラス）。
• 準加法則 $ Y^2 \leq 2XZ $ の証明を行う。これは $ Y $ が大きい（近い退化状態）場合に成立し、定数 $ K $ は位相的複雑性にのみ依存する。
• $ \xi $-分離という概念を導入し、$ Z \leq \xi Y $ の条件下で、$ Y \leq 2\xi X $ が成り立つことを導出する。
• 分岐被覆写像 $ f: U \to V $ に対して、準加法則を「コラージュ仮定」の下で準不変則に一般化する。
• 極値幅のディリクレ積分表現 $ \mathcal{W}(U,A) = 4\int_{U\setminus A} |\partial h|^2 $ を用いる。ここで $ h $ は $ \partial A $ 上で値 1、$ \partial U $ 上で値 0 をとる調和関数である。
• 分岐被覆写像の下での曲線の持ち上げ性質と、共形計量の性質を活用し、引き戻しと面積歪みを用いて極値長と幅の上界を評価する。

実験結果

リサーチクエスチョン

• RQ1 境界への距離とアーキペラゴ間の分離度を測る共形モジュラス $ X $、$ Y $、$ Z $ が、近い退化状態下でどのように関係するか？
• RQ2 アーキペラゴの数に依存しない一様な評価として、$ Y $ と $ X $ と $ Z $ の幾何平均との間に $ Y^2 \leq 2XZ $ が成り立つか？
• RQ3 退化状態下で、分岐被覆写像の下での共形モジュラスはどのように変化するか？
• RQ4 ホロモルフィックダイナミクスにおける強い事前評価を可能にする、被覆写像下でのモジュラスの鋭い変換則は何か？

主な発見

• 準加法則が成立：$ Y^2 \leq 2XZ $ であり、定数は位相的複雑性 $ \mathrm{Top} = -\chi(S) + \sum_j \#\operatorname{Comp}\partial A_j $ のみに依存する。
• $ \xi $-分離（$ Z \leq \xi Y $）の下では、$ Y \leq 2\xi X $ が成り立ち、退化かつ良好に分離された状況下で $ X $ と $ Y $ が同程度であることが示される。
• 被覆補題が確立された：分岐被覆 $ f: U \to V $ の次数が $ D $ で、$ f|_\Lambda: \Lambda \to B $ の次数が $ d $ であり、コラージュ仮定が成り立つとき、$ \operatorname{mod}(V\setminus B) \asymp d \cdot \operatorname{mod}(U\setminus \Lambda) $ が成り立つ。
• 極値幅 $ \mathcal{W}(U,A) $ は、境界値が $ \partial A $ で 1、$ \partial U $ で 0 である調和関数 $ h $ を用いて、明示的に $ 4\int_{U\setminus A} |\partial h|^2 $ として与えられる。
• 分岐被覆 $ f: A \to B $ が次数 $ d $ であるとき、$ f: U\setminus A \to V\setminus B $ が次数 $ N $ であるとすれば、$ \operatorname{mod}(V,B) \geq d \cdot \operatorname{mod}(U,A) $ が成り立つ。
• $ f: U\setminus A \to V\setminus B $ が次数 $ N $ の分岐被覆であるとき、ディリクレ積分表現において等号が成り立つので、$ \operatorname{mod}(V,B) = N \cdot \operatorname{mod}(U,A) $ が成り立つ。