[논문 리뷰] Factorisation of conformal maps on finitely connected domains

Benjamin Doyon|arXiv (Cornell University)|2011. 07. 04.

Holomorphic and Operator Theory참고 문헌 2인용 수 6

한 줄 요약

이 논문은 리만 구면 상의 유한 연결 도메인에서 정의된 임의의 등각 사상은 정확히 N개의 등각 사상의 합성으로 분해될 수 있음을 증명한다. 여기서 N은 보완 성분의 수이며, 각 등각 사상은 단순 연결 도메인에서 정의된다. 증명은 리만 곡면의 쿠베의 균일화 정리에 기반하여, 해석적 함수의 국소 분해와 유사한 전역적 분해를 확립한다.

ABSTRACT

Let $U$ be a multiply connected domain of the Riemann sphere $\hat{C}$ whose complement $\hat{C}\setminus U$ has $N

연구 동기 및 목표

• 해석적 함수의 단순 연결 도메인에서의 국소 분해와 유사한, 유한 연결 도메인에서의 등각 사상에 대한 전역적 분해를 확립하는 것.
• D.E. 매셔럴의 최근 결과를 개선하여, 이미지 도메인이 원 또는 쿼드라식원으로 둘러싸여 있지 않아도 되는 조건에서 필요한 인자 수를 2N에서 N으로 감소시키는 것.
• 적분 방정식이나 쿼드라식 등각 확장을 사용하지 않고, 리만 곡면의 균일화를 이용한 기하학적이고 위상수학적 증명을 제공하는 것.
• N ≥ 2인 경우 등각 용접 문제를 최소한의 인자 수인 N개의 등각 사상으로 구성된 단순 연결 도메인에서 정의된 등각 사상의 합성으로 해결하는 것.

제안 방법

• 도메인 U의 연결성 N에 대한 귀납법을 사용하며, N−1개의 성분에 대해 분해가 존재한다고 가정한다.
• D를 서로소 보완 성분을 가진 N개의 단순 연결 도메인 A_i의 교집합으로 정의하고, 등각 사상 g에 의한 이미지 도메인 g(D)를 고려한다.
• 좌표 차트 φ_A와 φ_B를 사용하여, 교차부에서 등각 사상 g에 의해 두 개의 리만 구면을 붙여 리만 곡면 C를 구성한다.
• 결과적으로 얻어진 곡면 C가 컴act하고 단순 연결인 리만 곡면임을 보이며, 따라서 균일화 정리에 의해 리만 구면과 등각 동치임을 밝힌다.
• 균일화 사상 u: C → ℂ̂을 적용하여 g = g̃ ∘ g_n의 분해를 정의한다. 여기서 g_n은 A_n에서 등각이며, g̃는 u(𝒜)의 (N−1)-중 연결 이미지 도메인에서 등각이다.
• 루프의 영호모토피, 닫힌 부분집합에 의한 컴팩트성 등의 위상수학적 추론을 사용하여 C가 단순 연결이자 컴팩트함을 검증함으로써, 균일화 정리의 적용을 정당화한다.

실험 결과

연구 질문

• RQ1 모든 등각 사상 G는 N중 연결 도메인 U에서 정의된 N개의 등각 사상 g₁ ∘ g₂ ∘ ⋯ ∘ g_N의 합성으로 표현될 수 있는가? 여기서 N은 보완 성분의 수이며, 각 g_i는 단순 연결 도메인에서 정의된다.
• RQ2 이러한 분해는 매셔럴의 이전 결과에서처럼 이미지 도메인이 원 또는 쿼드라식원으로 둘러싸여 있지 않아도 존재하는가?
• RQ3 리만 곡면의 균일화에 기반한 다른 증명 전략을 통해, 이전의 2N개에서 N개로 최소 인자 수를 감소시킬 수 있는가?
• RQ4 N ≥ 2인 경우, 등각 용접 문제를 단순 연결 도메인에서 정의된 N개의 등각 사상의 합성으로 기하학적으로 실현할 수 있는가?

주요 결과

• N중 연결 도메인 U에서 정의된 모든 등각 사상 G는 G = g₁ ∘ g₂ ∘ ⋯ ∘ g_N의 형태로 표현될 수 있으며, 각 g_i는 단순 연결 도메인에서 등각이다.
• 매셔럴의 결과에서 2N에서 N으로 감소된 인자 수로 분해가 가능하여, 분해의 효율성이 향상된다.
• 증명는 등각 사상 g에 의해 두 개의 리만 구면을 붙여 얻어진 컴팩트하고 단순 연결인 리만 곡면 C를 구성하고, 균일화 정리를 적용하는 데 기반한다.
• 결과적으로 얻어진 곡면 C는 위상수학적으로 표면이며, 단순 연결이고 컴팩트하므로, 등각 균일화 사상 u: C → ℂ̂의 존재를 정당화한다.
• 분해는 g = g̃ ∘ g_n의 형태로 실현되며, 여기서 g_n은 A_n에서 등각이고, g̃는 u(𝒜)의 (N−1)-중 연결 이미지 도메인에서 등각이다.
• 이러한 구성은 이미지 도메인이 원이나 쿼드라식원으로 둘러싸여 있지 않다는 가정을 피함으로써, 이전 연구보다 더 일반적인 결과를 도출한다.