[论文解读] Orthogonality-preserving, C*-conformal and conformal module mappings on Hilbert C*-modules

Michael Frank, A. S. Mishchenko+1 more|arXiv (Cornell University)|Jul 17, 2009

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

一句话总结

本文表征了在（非）单位C*-代数上的全希尔伯特C*-模上保持正交性、C*-共形性及共形性的有界模映射。结果表明，保持正交性的映射是通过乘子代数中心元素的等距映射的倍数；而C*-共形映射与共形映射恰好是等距模算子的正实数倍，当乘子代数的中心非平凡时，这一区别尤为显著。

ABSTRACT

We investigate orthonormality-preserving, C*-conformal and conformal module mappings on Hilbert C*-modules to obtain their general structure. Orthogonality-preserving bounded module maps T act as a multiplication by an element λof the center of the multiplier algebra of the C*-algebra of coefficients combined with an isometric module operator as long as some polar decomposition conditions for the specific element λare fulfilled inside that multiplier algebra. Generally, T always fulfils the equality $ = | λ|^2 < x,y>$ for any elements x,y of the Hilbert C*-module. At the contrary, C*-conformal and conformal bounded C*-linear mappings are shown to be only the positive real multiples of isometric module operators.

研究动机与目标

• 确定希尔伯特C*-模上保持正交性、C*-共形性或共形性的有界模映射的一般结构。
• 阐明在中心非平凡的希尔伯特C*-模背景下，保持正交性映射与等距或共形映射之间的关系。
• 证明C*-共形映射与共形映射必然是等距模算子的正实数倍，即使在系数C*-代数无额外假设条件下亦成立。
• 通过在一般条件下（包括非单位C*-代数）提供完整表征，澄清先前部分结果中的模糊之处。

提出的方法

• 分析依赖于系数C*-代数的乘子代数结构及其在包络冯诺依曼代数中的中心。
• 利用极分解与表示理论，分析保持正交性映射在系数代数的第二对偶中的极小投影上的作用。
• 证明利用模在其第二对偶中的w*稠密性，比较中心投影上的范数与内积。
• 将模分解为与极小中心投影相关的分量，并通过比较映射在各部分上的行为推导出一致缩放。
• 根据乘子代数直和分解中元素及其像的范数取值位置，区分不同情形。
• 利用单位酉等价下角度条件的不变性及中心投影的性质，证明各分量上的缩放常数必须相等。

实验结果

研究问题

• RQ1 在何种条件下，希尔伯特C*-模上的有界模映射若保持正交性，则必为等距映射的倍数？
• RQ2 当系数C*-代数的乘子代数中心非平凡时，C*-共形与共形模映射与保持正交性映射有何区别？
• RQ3 在无系数代数额外假设的前提下，C*-共形或共形模映射能否表征为等距模算子的正实数倍？
• RQ4 当系数C*-代数为非单位代数或具有非平凡中心时，保持正交性映射会面临何种结构约束？
• RQ5 有界模映射在极小中心投影上的行为在多大程度上决定了其在整个希尔伯特C*-模上的整体结构？

主要发现

• 保持正交性的有界模映射满足 ⟨T(x),T(y)⟩ = |λ|²⟨x,y⟩ 对所有 x,y 属于模成立，其中 λ 为乘子代数中心的元素。
• 若 λ 在乘子代数中满足特定极分解条件，则此类映射表现为乘以 λ 与等距模算子的复合。
• C*-共形与共形的有界模映射必然是等距模算子的正实数倍，无论系数C*-代数的结构如何。
• 当乘子代数的中心非平凡时，保持正交性的映射不一定是共形或等距的，揭示了这些类之间的根本区别。
• 若映射保持广义角度条件，则在正交的极小中心投影 e 与 f 上的缩放常数 λ_e 与 λ_f 必须相等，从而实现模上的统一缩放。
• 映射的整体结构由其在极小中心投影上的作用决定，且各分量间的一致性源于角度保持条件。