[論文レビュー] Finite Blaschke Products as Compositions of Other Finite Blaschke Products

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

Holomorphic and Operator Theory参考文献 10被引用数 5

ひとこと要約

本論文は、有限ブレーシュケ積の合成的因数分解について群論的特徴付けを確立し、非自明な因数分解 $ B = B_1 \circ B_2 $ が、$ B $ の逆関数分枝に関連するモノドロミー群 $ G_I $ の正規部分群に対応することを示している。主な貢献は、このような因数分解と、$ G_I $ によって保存される逆関数分枝の特定の分割の間の全単射対応を確立したことであり、これはリットの関数的分解理論を多項式から複素解析における有限ブレーシュケ積へ一般化するものである。

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.

研究の動機と目的

• 有限ブレーシュケ積が、2つの他の有限ブレーシュケ積の合成として非自明に分解可能となる条件を特定すること。
• 有限ブレーシュケ積の逆関数分枝から導かれるモノドロミー群内における合成的因数分解と、特定の正規部分群という代数的構造との対応を確立すること。
• 元来多項式に対して開発されたリットの関数的分解理論を、複素解析における有限ブレーシュケ積の文脈へ一般化すること。
• 解析的で $ n $ 対 $ 1 $ の写像が有限ブレーシュケ積との合成によってどのように分解可能かを理解するための構造的枠組みを提供すること。
• 1974年に作成されたが未発表の基礎的ノートを公開し、ブレーシュケ積の合成と逆関数分枝上の群作用との深い関係を明らかにすること。

提案手法

• 有限ブレーシュケ積 $ I $ の原点における $ n $ 個の局所的逆関数分枝に作用する置換群としてモノドロミー群 $ G_I $ を構成する。
• 穴あきドメイン $ \mathbb{D} \setminus \{ n(n-1) \text{ 個の点} \} $ 内のループに沿った解析接続を通じて、群 $ G_I $ を定義し、逆関数分枝の置換の仕方を追跡する。
• 群 $ G_I $ に対して不変な逆関数分枝の集合の分割と、可能な合成的因数分解 $ I = J \circ b $ の間の対応を確立する。
• 群作用を用いて、各不変分割に対し、そのブロックのサイズに等しい位数の有限ブレーシュケ積 $ b $ を関連付ける。
• すべての非自明な合成的因数分解が、このような $ G_I $-不変分割から生じ、逆にその逆も成り立つことを証明する。
• 同値でない因数分解は、$ G_I $ の異なる正規部分群に対応するが、すべての非自明な正規部分群が非自明な因数分解をもたらすわけではない。

実験結果

リサーチクエスチョン

• RQ1 有限ブレーシュケ積 $ B $ が、両方の位数が1より大きい2つの有限ブレーシュケ積の合成 $ B = B_1 \circ B_2 $ として書けるのはどのような条件下か？
• RQ2 与えられた有限ブレーシュケ積のすべての合成的因数分解を体系的に分類する方法は何か？
• RQ3 有限ブレーシュケ積がその逆関数分枝に誘導する代数的構造（特に群）は何か？
• RQ4 逆関数分枝から構成された群 $ G_I $ は、$ I $ の合成的因数分解の存在性および一意性とどのように関係するか？
• RQ5 $ G_I $ の正規部分群が非自明な合成的因数分解に対応する程度はどの程度か。例外は何か？

主な発見

• 有限ブレーシュケ積 $ I $ が非自明な合成的因数分解 $ I = J \circ b $ を持つための必要十分条件は、$ I $ の原点における逆関数分枝の集合の分割 $ \mathcal{P} $ がモノドロミー群 $ G_I $ に対して不変であることである。
• 各 $ G_I $-不変分割 $ \mathcal{P} $ は、$ \mathcal{P} $ のブロック数に等しい位数の有限ブレーシュケ積 $ b_{\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 $ 個の零点を持つことが示される。