[논문 리뷰] Finite Blaschke Products as Compositions of Other Finite Blaschke Products

Carl C. Cowen|arXiv (Cornell University)|2012. 07. 17.

Holomorphic and Operator Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 유한 블라슈케 곱의 조합적 분해에 대해 군론적 특성을 규명하며, 비자명한 분해 $ B = B_1 \circ B_2 $ 가 존재할 조건을 블라슈케 곱 $ B $의 역함수 분지에 관련된 모노드로미 군 $ G_I $의 정규부분군과 연관지어 보여준다. 주요 기여는 이러한 분해와 $ G_I $가 존중하는 특정 역함수 분지의 분할 사이의 전단사 대응 관계를 규명한 것으로, Ritt의 함수 분해 이론을 다항식에서 복소해석학적 유한 블라슈케 곱으로 일반화한 것이다.

ABSTRACT

These notes answer the question "When can a finite Blaschke product $B$ be written as a composition of two finite Blaschke products $B_1$ and $B_2$, that is, $B=B_1\circ B_2$, in a non-trivial way, that is, where the order of each is greater than 1." It is shown that a group can be computed from $B$ and its local inverses, and that compositional factorizations correspond to normal subgroups of this group. This manuscript was written in 1974 but not published because it was pointed out to the author that this was primarily a reconstruction of work of Ritt from 1922 and 1923, who reported on work on polynomials. It is being made public now because of recent interest in this subject by several mathematicians interested in different aspects of the problem and interested in applying these ideas to complex analysis and operator theory.

연구 동기 및 목표

• 유한 블라슈케 곱이 두 개의 다른 유한 블라슈케 곱의 합성으로 비자명하게 분해될 수 있는 조건을 규명하는 것.
• 유한 블라슈케 곱의 역함수 분지로부터 유도된 모노드로미 군 내에서 조합적 분해와 특정한 정규부분군 간의 대응 관계를 수립하는 것.
• 원래 다항식에 대해 개발된 Ritt의 함수 분해 이론을 복소해석학적 유한 블라슈케 곱의 맥락으로 일반화하는 것.
• 해석적 $ n $-대 $ 1 $ 사상이 유한 블라슈케 곱의 합성으로 어떻게 분해될 수 있는지를 기반으로 하는 구조적 프레임워크를 제공하는 것.
• 1974년에 작성되었으나 발표되지 않은 기초적 비공개 노트를 공개함으로써, 블라슈케 곱의 합성과 역함수 분지 위에서의 군 작용 간 깊은 연결 고리를 확립하는 데 기여하는 것.

제안 방법

• 유한 블라슈케 곱 $ I $의 원점에서의 $ n $개의 국소 역함수 분지에 작용하는 치환군으로서 모노드로미 군 $ G_I $를 구성한다.
• 구멍이 난 디스크 $ \mathbb{D} \setminus \{ n(n-1) \text{개의 점} \} $ 내의 고리에 沿해 해석적 계속을 통해 군 $ G_I $를 정의하며, 역함수 분지가 어떻게 치환되는지 추적한다.
• 모노드로미 군 $ G_I $에 대해 불변인 역함수 분지의 집합 분할과 가능한 조합적 분해 $ I = J \circ b $ 사이의 대응 관계를 수립한다.
• 군 작용을 통해 이러한 불변 분할 각각을 블라슈케 곱 $ b $의 차수와 같은 크기의 블라슈케 곱 $ b_{\mathcal{P}} $와 연관시킨다.
• 모든 비자명한 조합적 분해가 이러한 $ G_I $-불변 분할로부터 유도되며, 그 반대도 성립함을 증명한다.
• 서로 동치가 아닌 분해는 서로 다른 $ G_I $의 정규부분군과 대응되며, 모든 비자명한 정규부분군이 비자명한 분해를 유도하는 것은 아님을 보인다.

실험 결과

연구 질문

• RQ1 유한 블라슈케 곱 $ B $가 $ B_1 $과 $ B_2 $의 차수가 모두 1 초과인 합성 $ B = B_1 \circ B_2 $ 로 표현될 수 있는 조건은 무엇인가?
• RQ2 주어진 유한 블라슈케 곱의 모든 조합적 분해를系통적으로 분류할 수 있는 방법은 무엇인가?
• RQ3 유한 블라슈케 곱이 그 역함수 분지 위에 유도하는 대수적 구조—특히 군—는 무엇인가?
• RQ4 역함수 분지에서 유도된 군 $ G_I $는 $ I $의 조합적 분해의 존재성과 유일성과 어떻게 관련되어 있는가?
• RQ5 모노드로미 군 $ G_I $의 정규부분군이 비자명한 조합적 분해와 얼마나 깊이 관련되어 있으며, 어떤 예외가 존재하는가?

주요 결과

• 유한 블라슈케 곱 $ I $가 비자명한 조합적 분해 $ I = J \circ b $를 가질 조건은, 0에서의 역함수 분지 집합의 분할 $ \mathcal{P} $ 가 모노드로미 군 $ G_I $에 대해 불변일 때이다.
• 각각의 이러한 $ G_I $-불변 분할 $ \mathcal{P} $ 는 블라슈케 곱 $ b_{\mathcal{P}} $ 를 유도하며, 그 차수는 $ \mathcal{P} $ 의 블록 수와 같다. 이에 따라 어떤 $ J_{\mathcal{P}} $ 에 대해 $ I = J_{\mathcal{P}} \circ b_{\mathcal{P}} $ 가 성립한다.
• 반대로, 모든 조합적 분해 $ I = J \circ b $ 는 유일한 $ G_I $-불변 분할 $ \mathcal{P}_b $ 에서 유도되며, $ b $ 의 차수는 $ \mathcal{P}_b $ 의 블록 크기와 같다.
• 분해와 분할 사이의 대응은 전단사이다: $ \mathcal{P}_{b_{\mathcal{P}}} = \mathcal{P} $ 이고 $ b_{\mathcal{P}_{b}} = b $ 이므로 일대일 대응이 보장된다.
• 서로 동치가 아닌 분해는 정확히 서로 다른 $ G_I $의 정규부분군과 대응되며, 모든 비자명한 정규부분군이 비자명한 분해를 유도하는 것은 아니다.
• 해석적 $ n $-대 $ 1 $ 사상 $ f: \mathbb{D} \to f(\mathbb{D}) $ 는 $ f = \tilde{f} \circ \phi $ 로 분해되며, 여기서 $ \phi $ 는 유한 블라슈케 곱이고 $ \tilde{f} $ 는 단일가역이다. 이는 $ f(\mathbb{D}) $ 가 단순연결이며, $ f' $ 이 $ \mathbb{D} $ 내에 정확히 $ n-1 $ 개의 영점을 가진다는 것을 의미한다.