[论文解读] Surjective factorization of holomorphic mappings

Manuel González, Joaquín M. Gutiérrez|arXiv (Cornell University)|Mar 21, 2000

Holomorphic and Operator Theory参考文献 17被引用 8

一句话总结

本文通过满射分解 $ f = T \circ g $，其中 $ g $ 是全纯的且 $ T $ 属于算子理想，建立了复Banach空间之间可分解为闭满射算子理想的全纯映射的刻画。关键结果表明，此类分解等价于 $ f $ 将每个邻域的像都属于由该理想生成的集合类，从而推广了已知的紧算子、弱紧算子及其他经典算子理想的结果。

ABSTRACT

We characterize the holomorphic mappings $f$ between complex Banach spaces that may be written in the form $f=T\circ g$, where $g$ is another holomorphic mapping and $T$ belongs to a closed surjective operator ideal.

研究动机与目标

• 刻画复Banach空间之间的全纯映射 $ f: E \to F $，其可分解为 $ f = T \circ g $，其中 $ g $ 是全纯的且 $ T $ 属于一个闭满射算子理想。
• 将已知的特定算子理想（如紧算子、弱紧算子、Rosenberg算子等）的分解结果推广至任意闭满射算子理想。
• 建立全纯映射的局部几何行为与其分解算子属于算子理想的结构性联系。
• 为通过算子理想理论理解全纯映射的分解提供统一框架。

提出的方法

• 使用DFJP分解将任一算子 $ T $ 分解为 $ T = j \circ k $，其中 $ j $ 和 $ k $ 属于特定算子类。
• 从一个闭的、凸的、平衡的、$ \mathcal{U} $-相对紧的集合 $ K \subset F $ 构造一个Banach空间 $ F_K $，使用Minkowski泛函。
• 应用泰勒级数的一致收敛性及绝对凸包的性质，证明 $ f $ 以值域在 $ F_K $ 上全纯。
• 利用算子理想 $ \mathcal{U} $ 的满射性，确保包含映射 $ F_K \to F $ 属于 $ \mathcal{U} $，从而实现分解 $ f = T \circ g $。
• 使用对偶理想 $ \mathcal{U}^d $ 及伴随算子的性质，分析 $ \mathcal{U} $-可分解映射的结构。
• 证明 $ f \in \mathcal{H}_\mathcal{U}(E,F) $、$ f $ 作为取值于 $ F_K $ 的映射全纯（对某个 $ K \in \mathcal{C}_\mathcal{U}(F) $）以及 $ f = T \circ g $（其中 $ T \in \mathcal{U}(G,F) $）三者之间的等价性。

实验结果

研究问题

• RQ1 在什么条件下，全纯映射 $ f: E \to F $ 可分解为 $ f = T \circ g $，其中 $ g $ 是全纯的且 $ T $ 属于给定的闭满射算子理想 $ \mathcal{U} $？
• RQ2 映射 $ f $ 在其邻域上的像需满足何种几何或拓扑条件，才能保证其通过 $ \mathcal{U} $ 中的算子实现分解？
• RQ3 算子理想 $ \mathcal{U} $ 的满射性如何影响此类分解的存在性？
• RQ4 在分解 $ f = T \circ g $ 中，中间Banach空间 $ G $ 从 $ \mathcal{U} $ 中继承了哪些结构性质？
• RQ5 已知的特定理想（如紧算子、弱紧算子）的分解结果在多大程度上可推广至任意闭满射算子理想？

主要发现

• 全纯映射 $ f \in \mathcal{H}(E,F) $ 可分解为 $ f = T \circ g $，其中 $ T \in \mathcal{U}(G,F) $ 且 $ g \in \mathcal{H}(E,G) $，当且仅当 $ f $ 将 $ E $ 的每个邻域的像都相对紧于类 $ \mathcal{C}_\mathcal{U}(F) $。
• 该分解等价于 $ f $ 作为取值于Banach空间 $ F_K $ 的映射是全纯的，其中 $ K \subset F $ 是一个闭的、凸的、平衡的、$ \mathcal{U} $-相对紧的集合。
• 包含映射 $ F_K \to F $ 属于算子理想 $ \mathcal{U} $，这确保了通过 $ G = F_K $ 的分解成立。
• 对于可分解且满射的 $ \mathcal{U} $，分解 $ f = T \circ g $ 可通过 $ I_G \in \mathcal{U} $ 实现，即中间空间上的恒等算子属于该理想。
• 若 $ \mathcal{U} $ 是弱紧（相应地，Rosenberg、Banach-Saks、Asplund）算子的理想，则中间空间 $ G $ 是自反的（相应地，包含 $ \ell_1 $，具有Banach-Saks性质，或为Asplund空间）。
• 对于 $ \mathcal{U} = \{ T : T^q \text{ 具有可分值域} \} $，空间 $ G $ 同构于乘积 $ G_1 \times G_2 $，其中 $ G_1^{**} $ 可分且 $ G_2 $ 自反。