[논문 리뷰] An abstract approach to Loewner chains

Leandro Arosio, Filippo Bracci외 2명|arXiv (Cornell University)|2010. 02. 23.

Analytic and geometric function theory참고 문헌 22인용 수 7

한 줄 요약

이 논문은 극한 과정에 의존하지 않고 완전한 하이퍼볼릭 복소 다양체 위에서 Loewner 체인의 새로운 기하학적 구성법을 제안하며, $L^d$-진화 가족과 $L^d$-Loewner 체인 사이에 직접적인 일대일 대응을 수립한다. 주요 기여는 단위 구 $\mathbb{B}^n$ 위의 단일성 매핑을 Loewner 체인을 통해 특성화하는 것으로, 나선형 유사성과 항성 유사성이 각각 지수적 스케일링에 의해 생성된 $L^\infty$-Loewner 체인의 존재성과 정확히 일치함을 증명한다.

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.

연구 동기 및 목표

• 극한 과정에 의존하지 않는 완전한 하이퍼볼릭 복소 다양체 위에서 Loewner 체인의 새로운 기하학적 구성법을 개발하는 것.
• $L^d$-진화 가족과 $L^d$-Loewner 체인 사이에 직접적인 일대일 대응을 수립하여, 고전적 Loewner 이론을 단위 원판을 초월한 일반적인 복소 다양체로 일반화하는 것.
• 지수적 스케일링에 의해 생성된 $L^\infty$-Loewner 체인의 존재성을 통해 단위 구 $\mathbb{B}^n$ 위의 단일성 매핑을 특성화하는 것.
• Loewner-Kufarev PDE의 단일성 해를 찾는 문제를, 이미지의 합집합이 $\mathbb{C}^n$ 내의 도메인과 비호몰로픽임을 판단하는 것으로 환원하는 것.

제안 방법

• 시간에 대해 $L^d_{\text{loc}}$ 정규성을 만족하는 진화 성질 $\varphi_{s,t} = \varphi_{u,t} \circ \varphi_{s,u}$를 갖는 해석적 매핑의 가족으로서 $L^d$-진화 가족을 정의하는 것.
• 시간에 거의 everywhere에서 반완전성과 $L^d_{\text{loc}}$ 유계성을 만족하는 약한 해석적 벡터장으로서 $L^d$-Herglotz 벡터장을 도입하는 것.
• 스케일링 극한 없이 기능적 방정식 $f_s = f_t \circ \varphi_{s,t}$를 통해 $L^d$-진화 가족과 $L^d$-Loewner 체인 사이에 직접적인 대응을 수립하는 것.
• 특히 고차원에서의 고전적 극한 과정을 피하기 위해, 진화 가족에서 Loewner 체인을 직접 극한으로 구성하는 방법을 사용하는 것.
• 선형 연산자 $A$가 $m(A) > 0$를 만족할 때, 단위 구 $\mathbb{B}^n$ 에서 분석을 통해 체인 $f_t(z) = e^{tA}f(z)$ 를 적용하는 것.
• 매핑의 미분을 포함하는 해석적 부등식을 사용하여 나선형 유사성과 항성 유사성이 $L^\infty$-Loewner 체인의 존재성과 정확히 일치함을 증명하는 것.

실험 결과

연구 질문

• RQ1 완전한 하이퍼볼릭 복소 다양체 위에서 Loewner 체인을 극한 과정에 의존하지 않고 구성할 수 있는가?
• RQ2 일반적인 복소 다양체에서 $L^d$-진화 가족과 $L^d$-Loewner 체인 사이에 직접적인 일대일 대응이 존재하는가?
• RQ3 지역적으로 단일성 매핑이 $\mathbb{B}^n$ 에서 선형 연산자 $A$에 대해 단일성과 나선형 유사성을 만족하기 위한 조건은 무엇인가?
• RQ4 이미지의 합집합이 $\mathbb{C}^n$ 내의 도메인과 비호몰로픽일 경우, Loewner-Kufarev PDE를 단일성 매핑을 통해 어떻게 해결할 수 있는가?
• RQ5 단위 구 $\mathbb{B}^n$ 위의 매핑에 대해 나선형 유사성과 항성 유사성을 특성화하는 해석적 부등식은 무엇인가?

주요 결과

• $L^d$-진화 가족과 $L^d$-Loewner 체인 사이에 고전적 극한 구성법을 피하는 직접적인 일대일 대응이 완전한 하이퍼볼릭 복소 다양체 위에서 존재한다.
• 지역적으로 단일성 매핑 $f:\mathbb{B}^n \to \mathbb{C}^n$ 에 대해 $L^\infty$-Loewner 체인이 존재하는 것은, 가족 $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$-Loewner 체인의 존재성과 정확히 동치이며, 이에 대응하는 $f(z)$ 와 그 미분을 포함하는 해석적 부등식이 존재한다.
• 이 이론은 Loewner-Kufarev PDE의 해법 가능성을 $\bigcup_{t \geq 0} f_t(M)$ 이 $\mathbb{C}^n$ 내의 도메인과 비호몰로픽임을 판단하는 것으로 환원하여, 단일성에 대한 기하학적 기준을 제공한다.
• 이 구성법은 단위 구 $\mathbb{B}^n$ 에 적용되어, 나선형 유사성과 항성 유사성에 대한 새로운 해석적 특성화를 도출하며, 고차원에서 고전 결과를 일반화한다.