[論文レビュー] 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 $ はイデアルに属する。主な結果は、このような因子分解が、$ 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.

研究の動機と目的

• 複素バナッハ空間 $ E \to F $ 間の正則写像 $ f $ が、$ g $ が正則で $ T $ が閉かつ全射的演算子イデアルに属するような形で $ f = T \circ g $ と因数分解可能である条件を特徴づけること。
• 特定の演算子イデアル（例：コンパクト、弱コンパクト、ローゼンタール）に関する既知の因子分解結果を、任意の閉かつ全射的演算子イデアルへ一般化すること。
• 正則写像の局所的な幾何的挙動と、その因子分解演算子の演算子イデアルへの属する性質との間の構造的関係を確立すること。
• 演算子イデアル理論を用いた正則写像の因子分解を統一的に理解する枠組みを提供すること。

提案手法

• 任意の演算子 $ T $ を $ T = j \circ k $ の形に分解するための DFJP 因子分解の利用、ここで $ j $ および $ k $ は特定の演算子クラスに属する。
• 閉かつ凸で平衡な $ \mathcal{U} $-相対的コンパクトな集合 $ K \subset F $ から、ミンコフスキー汎関数を用いてバナッハ空間 $ F_K $ を構成すること。
• テイラー級数の一様収束性および絶対的凸包の性質を用いて、$ 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 $ が $ K \in \mathcal{C}_\mathcal{U}(F) $ に対して $ F_K $ に値をとる正則写像であること、および $ T \in \mathcal{U}(G,F) $ で $ f = T \circ g $ となる $ g $ が存在することの同値性の証明。

実験結果

リサーチクエスチョン

• RQ1 正則写像 $ f: E \to F $ が、$ g $ が正則で $ T $ が与えられた閉かつ全射的演算子イデアル $ \mathcal{U} $ に属するような形で $ f = T \circ g $ と因数分解可能となるのはいつか？
• RQ2 $ f $ による近傍の像にどのような幾何的または位相的条件が満たされると、$ f $ が $ \mathcal{U} $ に属する演算子を通じて因数分解可能になるか？
• RQ3 演算子イデアル $ \mathcal{U} $ の全射性は、このような因子分解の存在にどのように影響するか？
• RQ4 因子分解 $ f = T \circ g $ の中間バナッハ空間 $ G $ は、$ \mathcal{U} $ からどのような構造的性質を引き継ぐか？
• RQ5 コンパクト、弱コンパクトなど既知のイデアルに関する因子分解結果が、任意の閉かつ全射的演算子イデアルへどの程度一般化可能か？

主な発見

• 正則写像 $ f \in \mathcal{H}(E,F) $ が $ T \in \mathcal{U}(G,F) $ かつ $ g \in \mathcal{H}(E,G) $ を満たす形で $ f = T \circ g $ と因数分解可能であることと、$ f $ による $ E $ の任意の近傍の像がクラス $ \mathcal{C}_\mathcal{U}(F) $ において相対的コンパクトであることとは同値である。
• 因子分解は、$ K \subset F $ が閉かつ凸で平衡で、かつ $ \mathcal{U} $-相対的コンパクトであるような集合に対して、$ f $ が $ F_K $ に値をとる正則写像であることと同値である。
• 包含写像 $ F_K \to F $ は演算子イデアル $ \mathcal{U} $ に属するため、$ G = F_K $ を通じた因子分解が保証される。
• 因数分解可能でかつ全射的な $ \mathcal{U} $ に対しては、$ I_G \in \mathcal{U} $ となるように因子分解 $ f = T \circ g $ を達成できる。つまり、中間空間上の恒等写像がイデアルに属する。
• $ \mathcal{U} $ が弱コンパクト（別にローゼンタール、バナッハ＝サクス、アスプルンド）演算子のイデアルである場合、中間空間 $ G $ はそれぞれ反射的（別に $ \ell_1 $ を含む、バナッハ＝サクス性質を持つ、またはアスプルンド空間である）。
• $ \mathcal{U} = \{ T : T^q \text{ が可分な値域を持つ} \} $ の場合、空間 $ G $ は $ G_1 \times G_2 $ と同型であり、$ G_1^{**} $ は可分で、$ G_2 $ は反射的である。