[論文レビュー] Metric version of projectivity for normed modules over sequence algebras

A. Ya. Helemskii|arXiv (Cornell University)|Apr 13, 2011

Advanced Operator Algebra Research参考文献 6被引用数 6

ひとこと要約

本稿は、列代数上のノルムモジュールにおける（極限的）射影性の度合いを定義し、特徴づけている。完備でない設定と完備な設定の両方において区別を行う。有限列部分モジュールが完備でないカテゴリーにおいて極端に射影的であるのに対し、無限次元のバナッハ同次モジュールは、完備カテゴリーでは極端に射影的であるが、完備でないカテゴリーではそうではないことを示している。

ABSTRACT

We define and study the metric, or extreme version of the notion of a projective normed module. The relevant definition takes into account the exact value of the norm of the module in question, in contrast with the standard known definition that is formulated in terms of norm topology. After some preliminary observations and discussion of the case where the base normed algebra A is just the field of complex numbers, we concentrate on the case of the next degree of complication, where A is a sequence algebra, satisfying some natural conditions. The main results give a full characterization of extremely projective objects within the subcategory of the category of non-degenerate normed A-modules, consisting of the so-called homogeneous modules. We consider two cases, `non-complete' and `complete', and the respective answers turn out to be essentially different. In particular, all Banach non-degenerate homogeneous modules, consisting of sequences, are extremely projective within the category of Banach non-degenerate homogeneous modules. However, neither of them is extremely projective within the category of all normed non-degenerate homogeneous modules, when it is infinite-dimensional. On the other hand, submodules of these modules, consisting of finite sequences, are extremely projective within the latter category.

研究の動機と目的

• ノルム値の正確な値を考慮する度合いの射影性の定義と研究、トポロジーのみでなく正確なノルム値を扱う。
• 列代数上の非退化同次ノルムモジュールの部分カテゴリーにおける極端に射影的モジュールの構造を分析する。
• 完備（バナッハ）カテゴリーと非完備（ノルム）カテゴリーにおける極端に射影的モジュールの振る舞いの違いを区別する。
• 列代数上の同次モジュールについて、完備および非完備設定における極端に射影的モジュールの完全な特徴づけを提供する。

提案手法

• コイソメトリックな準同型とノルム制御付きの有界リフトを用いた極端な射影性の概念を導入：任意のコイソメトリックな τ: Y → X および φ: P → X に対して、‖ψ‖ < ‖φ‖ + ε を満たすリフト ψ: P → Y が存在する。
• 自然な条件を満たす列代数 A 上の同次モジュールのカテゴリーを用い、非退化モジュールに焦点を当てる。
• 完備カテゴリーにおける極端に射影的バナッハ空間の分類にグロテンディークの定理を適用する。
• リフトを実現するために、X と補助空間の直和としてモジュール Y を構成し、射影作用素 P^N と λ^n_x を用いたノルム推定を行う。
• 近似リトラクションと収縮的準同型を用いて、極限および射影におけるノルムの振る舞いを分析する。
• 特に、元のモジュールが H に属する場合、モジュールの完備化が極端に射影性を保存することを活用する。

実験結果

リサーチクエスチョン

• RQ1 非完備カテゴリーにおける列代数上の極端に射影的ノルムモジュールは、どのように特徴づけられるか？
• RQ2 無限次元バナッハ同次モジュールは、完備カテゴリーでは極端に射影的であるが、非完備カテゴリーではそうではないのはなぜか？
• RQ3 有限列部分モジュールは、非完備設定における極端な射影性において、どのような役割を果たすか？
• RQ4 同次モジュールの完備カテゴリーと非完備カテゴリーにおける度合いの射影性の性質は、どのように異なるか？
• RQ5 極端に射投影的モジュールの完備化が、いつ極端に射投影的のままであるか？

主な発見

• バナッハ同次モジュールの有限列部分モジュールは、すべての非退化同次ノルムモジュールのカテゴリー内で極端に射投影的である。
• 無限次元バナッハ同次モジュールは、バナッハ非退化同次モジュールのカテゴリー内で極端に射投影的であるが、すべてのノルム非退化同次モジュールのより広いカテゴリーではそうではない。
• 無限次元バナッハ同次モジュール上の恒等写像は、有界リフトをもたないため、非完備カテゴリーでは極端に射投影的でないことが示された。
• H に属するモジュールが、H̄ における完備カテゴリーでも極端に射投影的である。
• 各 n に対して、H̄ における極端に射投影的モジュール Q の成分 Q_n は、バナッハ空間のカテゴリーで極端に射投影的でなければならない。これにより、グロテンディークの定理より Q_n ≅ l₁(Λ_n) が導かれる。
• 元の準同型のノルムに限りなく近いノルムのリフトの構成は、λ^n_x^{-1} の減衰と射影作用素 P^N を用いた極限における要素の近似に依存する。