[论文解读] Representations of *-semigroups associated to invariant kernels with values continuously adjointable operators

Serdar Ay, Aurelian Gheondea|arXiv (Cornell University)|Jul 24, 2015

Advanced Operator Algebra Research参考文献 26被引用 3

一句话总结

本文通過在向量希爾伯特空間（VH空間）上取值於連續可伴隨算子的不變正半定核，確立了 *-半群在 VH 空間上存在 *-表示的兩個必要且充分的有界性條件。主要貢獻在於提出了一個統一框架，推廣了在局部 C*-代數值希爾伯特模上完全正映射的 Stinespring-Kasparov 擴張定理，其中一個條件推廣了 Sz.-Nagy 的有界性，另一個新條件則確保了在 VH 空間設定下的伴隨連續性。

ABSTRACT

We consider positive semidefinite kernels valued in the $*$-algebra of continuous and continuously adjointable operators on a VH-space (Vector Hilbert space in the sense of Loynes) and that are invariant under actions of $*$-semigroups. For such a kernel we obtain two necessary and sufficient boundedness conditions in order for there to exist $*$-representations of the underlying $*$-semigroup on a VH-space linearisation, equivalently, on a reproducing kernel VH-space. We exhibit several situations when the latter boundedness condition is automatically fulfilled. For example, when specialising to the case of Hilbert modules over locally $C^*$-algebras, we show that both boundedness conditions are automatically fulfilled and, consequently, this general approach provides a rather direct proof of the general Stinespring-Kasparov type dilation theorem for completely positive maps on locally $C^*$-algebras and with values adjointable operators on Hilbert modules over locally $C^*$-algebras.

研究动机与目标

• 透過取值於 VH 空間上連續可伴隨算子的不變核，統一 *-半群在 *-表示上的擴張定理。
• 推廣在局部 C*-代數上取值於希爾伯特模上可伴隨算子的完全正映射之 Stinespring-Kasparov 擴張定理。
• 識別出 VH 空間上 *-表示存在的兩個必要且充分的有界性條件，特別是針對算子及其伴隨的連續性。
• 將 Loynes 的 VH 空間框架適用範圍從 C*-代數擴展至局部 C*-代數及其上的希爾伯特模。

提出的方法

• 作者定義了取值於 VH 空間上 *-代數的連續可伴隨算子的正半定核，且在 *-半群作用下不變。
• 他們引入了兩個有界性條件：(b1) 關於 *-表示的連續性（類似於 Sz.-Nagy 的條件），以及 (b2) 確保伴隨算子連續性的條件，此在 VH 空間設定中並非自動成立。
• 證明使用了 *-半群中的逼近單位元，以及可伴隨算子空間中嚴格拓撲的收斂性，以構造希爾伯特空間線性化上的 *-表示。
• 構造過程涉及從半範數 $p$ 定義商空間 ${\mathcal{K}}_p$，並證明誘導映射 $\pi_p$ 是在 C*-代數商上的有界 *-同態。
• 透過利用有界性條件與 $\mathcal{L}^*({\mathcal{H}},{\mathcal{K}})$ 上的嚴格拓撲，建立 *-表示 $\pi$ 的連續性。
• 透過證明 $\varphi(b) = W^*\pi(b)W$ 對某有界算子 $W$ 成立，得出擴張結果，其中 $\pi$ 連續，且 $W^*W$ 為 $\varphi(e_i)$ 沿逼近單位 $(e_i)$ 的極限。

实验结果

研究问题

• RQ1 在 VH 空間上取值於連續可伴隨算子的不變正半定核，於何種條件下會允許其底層 *-半群存在 *-表示？
• RQ2 經典的 Stinespring-Kasparov 擴張定理如何推廣至局部 C*-代數上的希爾伯特模設定？
• RQ3 對於此類 *-表示的存在性，何種有界性條件為必要且充分，特別是針對伴隨算子的連續性？
• RQ4 在何種情況下，這些有界性條件會自動滿足，特別是在局部 C*-代數的脈絡下？

主要发现

• 本文確立了兩個必要且充分的有界性條件：(b1) 用於 *-表示的連續性，(b2) 用於伴隨算子的連續性，而此在 VH 空間中並非自動成立。
• 當核取值於局部 C*-代數上希爾伯特模的可伴隨算子時，兩個有界性條件均自動滿足，進而可直接證明此設定下 Stinespring-Kasparov 擴張定理。
• 在希爾伯特空間線性化上的 *-表示 $\pi$ 對於可伴隨算子空間上的嚴格拓撲是連續的。
• 擴張映射 $\varphi(b) = W^*\pi(b)W$ 是連續的，且 $\varphi(e_i) \to W^*W$ 沿任意 *-半群的逼近單位 $(e_i)$ 嚴格收斂。
• 該構造確保 $\pi$ 的值域在目標空間中稠密，且表示在酉等價意義下唯一。