[论文解读] Pure Semigroups of Isometries on Hilbert C*-Modules

B. V. Rajarama Bhat, Michael Skeide|arXiv (Cornell University)|Aug 12, 2014

Holomorphic and Operator Theory参考文献 4被引用 5

一句话总结

该论文证明了希尔伯特 C*-模上纯的、强连续的自伴等距算子半群与 $ L^2(\mathbb{R}_+, K) $ 上的标准右移算子酉等价，从而推广了希尔伯特空间中库珀的经典结果。反例表明，在希尔伯特 C*-模设定下，半群分解为酉部分与纯部分的性质并不总是成立。

ABSTRACT

We show that pure strongly continuous semigroups of adjointable isometries on a Hilbert C*-module are standard right shifts. By counter examples, we illustrate that the analogy of this result with the classical result on Hilbert spaces by Sz.-Nagy, cannot be improved further to understand arbitrary isometry semigroups of isometries in the classical way.

研究动机与目标

• 将希尔伯特空间上等距算子半群的库珀经典定理推广至希尔伯特 C*-模设定。
• 研究在希尔伯特 C*-模背景下，半群是否可分解为最大酉部分与纯部分。
• 确定希尔伯特 C*-模上纯的可伴等距算子半群是否酉等价于标准右移算子。
• 构造反例，表明经典分解结果在希尔伯特 C*-模的非希尔伯特空间设定下不成立。

提出的方法

• 通过定义当 $ t \to \infty $ 时伴随算子强收敛于零，来刻画纯的可伴等距算子半群。
• 在模上构造投影 $ q_{a,b} $，将其投影到子模 $ E_{a,b} $ 上，以捕捉半群在区间上的结构。
• 利用强连续性与等距性质，推导出投影的积分表示，如 $ q_{a,b}x = \frac{1}{b-a}\int_0^{b-a} \mathscr{S}_t p_{a,b-t}x + p_{a,a+t}\mathscr{S}_{b-a-t}^*x \, dt $。
• 通过在示性函数上定义的映射 $ M $，建立半群在 $ E_{0,1} $ 上的限制与 $ L^2([0,1), F) $ 之间的酉等价。
• 证明半群在 $ L^2([0,1), F) $ 上表现为周期性平移，满足 $ M^* \mathscr{S}_t^{0,1} = \pi_t M^* $，从而确认其平移结构。
• 利用分解 $ E = \bigoplus_{k=0}^\infty \mathscr{S}_k E_{0,1} $ 及酉等价性，得出主要结论。

实验结果

研究问题

• RQ1 希尔伯特 C*-模上每个纯的、强连续的可伴等距算子半群是否酉等价于标准右移算子？
• RQ2 经典半群等距算子分解为酉部分与完全非酉部分的结果，在希尔伯特 C*-模背景下可推广到何种程度？
• RQ3 希尔伯特 C*-模上强连续的可伴等距算子半群是否总可分解为最大酉部分与纯部分？
• RQ4 是否存在希尔伯特 C*-模上强连续的等距算子半群，其无法进行此类分解？
• RQ5 模与半群的何种结构性质阻碍了希尔伯特空间分解定理的直接推广？

主要发现

• 希尔伯特 C*-模上纯的、强连续的可伴等距算子半群酉等价于 $ L^2(\mathbb{R}_+, K) $ 上的标准右移算子，其中 $ K $ 为多重性希尔伯特空间。
• 在希尔伯特 C*-模上，可伴等距算子半群的分解为最大酉部分与纯部分并不总是存在。
• 构造了一个强连续的可伴等距算子半群的反例，其无法分解为酉部分与纯部分。
• 构造了一个强连续的非可伴等距算子半群，表明可伴性条件对分解结果至关重要。
• 模上的投影 $ q_{a,b} $ 满足 $ \mathscr{S}_r q_{a,b} = q_{a+r,b+r} \mathscr{S}_r $，表明半群在子模 $ q_{a,b}E $ 上表现为平移。
• 映射 $ M: L^2([0,1), F) \to E_{0,1} $，定义为 $ M(\mathbf{1}_{[c,d)}z) = p_{c,d}z $，可延拓为酉算子，从而确立其与标准右移算子的酉等价性。