[論文レビュー] An abstract approach to Loewner chains

Leandro Arosio, Filippo Bracci+2 more|arXiv (Cornell University)|Feb 23, 2010

Analytic and geometric function theory参考文献 22被引用数 7

ひとこと要約

本稿は、極限過程に依存せずに、完全な双曲的複素多様体上のロエナー鎖の新しい幾何的構成を提示し、$L^d$-進化族と$L^d$-ロエナー鎖の間の直接的一対一対応を確立する。主な貢献は、単位球体$\mathbb{B}^n$上の正則写像の特徴付けをロエナー鎖を用いて行い、ねじれ型と星型の類型が、写像の指数的スケーリングによって生成される$L^\infty$-ロエナー鎖の存在とちょうど一致することを証明することにある。

ABSTRACT

We present a new geometric construction of Loewner chains in one and several complex variables which holds on a complete hyperbolic complex manifold M and prove that there is essentially a one-to-one correspondence between evolution families of order d and Loewner chains of the same order. As a consequence we obtain a solution for any Loewner-Kufarev PDE, given by univalent mappings (f_t) from M to a complex manifold N. The problem of finding solutions given by univalent mappings with range in C^n is reduced to investigating whether the union of the images f_t(M) is biholomorphic to a domain in C^n. We apply such results to the study of univalent mappings from the unit ball B^n to C^n.

研究の動機と目的

• 極限過程に依存しない、完全な双曲的複素多様体上のロエナー鎖の新しい幾何的構成を開発すること。
• $L^d$-進化族と$L^d$-ロエナー鎖の間の直接的一対一対応を確立し、古典的ロエナー理論を単位円板を超えて一般化すること。
• 指数的スケーリングによって生成される$L^\infty$-ロエナー鎖の存在を用いて、単位球体$\mathbb{B}^n$上の正則写像の特徴付けを提供すること。
• ロエナー＝クファレフ方程式の正則解を求める問題を、像の和集合が$\mathbb{C}^n$内の領域に正則同型であるかどうかを特定することに還元すること。

提案手法

• $L^d_{\text{loc}}$正則性を時間に備えた、進化性$\varphi_{s,t} = \varphi_{u,t} \circ \varphi_{s,u}$を満たす holomorphic 写像族として、$L^d$-進化族を定義すること。
• $L^d_{\text{loc}}$バウンドと時間にほとんど everywhere で半完全性を満たす弱正則ベクトル場として、$L^d$-ヘルグロッツベクトル場を導入すること。
• スケーリング極限を用いず、関数方程式$f_s = f_t \circ \varphi_{s,t}$を介して、$L^d$-進化族と$L^d$-ロエナー鎖の直接的対応を確立すること。
• 特に高次元において古典的極限過程を避けるために、進化族からロエナー鎖を直接極限構成すること。
• 単位球体$\mathbb{B}^n$に理論を適用する際、線形作用素$A$が$m(A) > 0$を満たすとき、鎖$f_t(z) = e^{tA}f(z)$を分析すること。
• 写像の微分を含む解析的不等式を用いて、ねじれ型と星型の類型が、$L^\infty$-ロエナー鎖の存在とちょうど一致することを証明すること。

実験結果

リサーチクエスチョン

• RQ1 完全な双曲的複素多様体上のロエナー鎖は、極限過程に依存せずに構成可能か？
• RQ2 一般の複素多様体上において、$L^d$-進化族と$L^d$-ロエナー鎖の間には直接的一対一対応が存在するか？
• RQ3 局所的に正則な写像$f:\mathbb{B}^n \to \mathbb{C}^n$が、線形作用素$A$に関してねじれ型でかつ正則であるための条件は何か？
• RQ4 像の和集合が$\mathbb{C}^n$内の領域に正則同型である場合、ロエナー＝クファレフ方程式は正則写像を用いてどのように解けるか？
• RQ5 単位球体$\mathbb{B}^n$上の写像に関して、ねじれ型と星型の類型を特徴付ける解析的不等式は何か？

主な発見

• 完全な双曲的複素多様体上では、$L^d$-進化族と$L^d$-ロエナー鎖の間の直接的一対一対応が成立し、古典的極限構成を回避する。
• 局所的に正則な写像$f:\mathbb{B}^n \to \mathbb{C}^n$に対して、$L^\infty$-ロエナー鎖が存在するための必要十分条件は、$f_t(z) = e^{tA}f(z)$が$L^\infty$バウンドを満たし、関連するベクトル場が半完全であることである。
• 局所的に正則な写像$f:\mathbb{B}^n \to \mathbb{C}^n$が、$A$に関してねじれ型であるための必要十分条件は、すべての$z \in \mathbb{B}^n$に対して不等式$\operatorname{Re}\langle (df_z)^{-1}Af(z), z \rangle \geq (1 - \|z\|^2)\operatorname{Re}\langle (df_0)^{-1}Af(0), z \rangle$が成り立つことである。
• $\mathbb{B}^n$上での星型の類型は、$f_t(z) = e^t f(z)$によって生成される$L^\infty$-ロエナー鎖の存在と同値であり、$f(z)$とその微分を含む対応する解析的不等式が存在する。
• 理論により、ロエナー＝クファレフ方程式の可解性は、$\bigcup_{t \geq 0} f_t(M)$が$\mathbb{C}^n$内の領域に正則同型であるかどうかに還元され、正則性のための幾何的基準が得られる。
• この構成は単位球体$\mathbb{B}^n$に適用可能であり、ねじれ型と星型の類型に対する新しい解析的特徴付けをもたらし、高次元における古典的結果を一般化する。