[论文解读] 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

一句话总结

本文建立了有限Blaschke乘积复合分解的群论表征，表明非平凡分解 $ B = B_1 \circ B_2 $ 对应于与 $ B $ 的逆分支相关联的单值群 $ G_I $ 的正规子群。关键贡献在于，此类分解与被 $ G_I $ 尊重的逆分支特定划分之间存在双射对应关系，将Ritt关于多项式函数分解的理论推广至复分析中的有限Blaschke乘积。

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.

研究动机与目标

• 确定何时一个有限Blaschke乘积可被非平凡地分解为两个其他有限Blaschke乘积的复合。
• 建立复合分解与从Blaschke乘积的逆分支导出的单值群内特定代数结构——特别是正规子群——之间的对应关系。
• 将原本为多项式而发展的Ritt函数分解理论，推广至复分析中的有限Blaschke乘积情形。
• 为通过有限Blaschke乘积复合理解解析的、$ n $ 对一映射在单位圆盘上的分解，提供一个结构性框架。
• 公开发布1974年未发表的基础性笔记，这些笔记揭示了Blaschke乘积复合与逆分支上群作用之间深层联系。

提出的方法

• 将单值群 $ G_I $ 构造为作用于有限Blaschke乘积 $ I $ 在原点处的 $ n $ 个局部逆分支上的置换群。
• 通过在 punctured disk $ \mathbb{D} \setminus \{ n(n-1) \text{ 个点} \} $ 中沿环路进行解析开拓来定义群 $ G_I $，追踪逆分支如何置换。
• 建立与 $ G_I $ 保持不变的逆分支集合划分之间的对应关系，这些划分对应于可能的复合分解 $ I = J \circ b $。
• 利用群作用，将每个此类不变划分与一个阶等于划分块大小的有限Blaschke乘积 $ b $ 关联起来。
• 证明每个非平凡复合分解均源于此类 $ G_I $-不变划分，反之亦然。
• 表明非等价分解对应于 $ G_I $ 的不同正规子群，尽管并非所有非平凡正规子群都产生非平凡分解。

实验结果

研究问题

• RQ1 在何种条件下，有限Blaschke乘积 $ B $ 可表示为 $ B = B_1 \circ B_2 $，其中 $ B_1 $ 与 $ B_2 $ 的阶均大于一？
• RQ2 如何系统地对给定有限Blaschke乘积的所有此类复合分解进行分类？
• RQ3 有限Blaschke乘积在其逆分支上诱导出的代数结构——特别是群——是什么？
• RQ4 由 $ I $ 的逆分支构造的群 $ G_I $ 如何与 $ I $ 的复合分解的存在性与唯一性相关联？
• RQ5 在多大程度上 $ G_I $ 的正规子群对应于 $ I $ 的非平凡复合分解？其中的例外情况是什么？

主要发现

• 有限Blaschke乘积 $ I $ 存在非平凡复合分解 $ I = J \circ b $ 当且仅当存在一个关于 $ I $ 在 0 处的逆分支集合的划分 $ \mathcal{P} $，该划分在单值群 $ G_I $ 作用下不变。
• 每个此类 $ G_I $-不变划分 $ \mathcal{P} $ 均导出一个阶等于 $ \mathcal{P} $ 中块数的有限Blaschke乘积 $ 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 $ 对一映射 $ f: \mathbb{D} \to f(\mathbb{D}) $ 可分解为 $ f = \tilde{f} \circ \phi $，其中 $ \phi $ 为有限Blaschke乘积，$ \tilde{f} $ 为单值函数，这意味着 $ f(\mathbb{D}) $ 是单连通的，且 $ f' $ 在 $ \mathbb{D} $ 内恰好有 $ n-1 $ 个零点。