[论文解读] 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 上的齐次模范畴，聚焦于非退化模。
• 应用格罗滕迪克定理以在完备范畴中分类极端投影巴拿赫空间。
• 通过构造 Y 为 X 与辅助空间的直和来实现提升，使用投影算子 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 近似极限中的元素，构造出范数可任意接近原态射范数的提升。