[论文解读] Morphisms of certain Banach C*-modules

Фабио Багарелло, Camillo Trapanı|ArXiv.org|Apr 6, 2009

Advanced Banach Space Theory被引用 4

一句话总结

本文提出了对CQ*-代数的Gelfand-Naimark-Segal（GNS）构造的两种不同推广——通过使用满足可容许性条件的正线性泛函，以及具有不变性性质的正共轭双线性型，将C*-代数与拟*-代数之间的巴拿赫C*-模联系起来。主要贡献是通过双同态建立CQ*-代数的表示理论，从而在希尔伯特空间三元组中实现具体的算子实现。

ABSTRACT

Morphisms and representations of a class of Banach C*-modules, called CQ*algebras, are considered. Together with a general method for constructing CQ*-algebras, two different ways of extending the GNS-representation are presented.

研究动机与目标

• 为CQ*-代数（一类推广C*-代数的巴拿赫C*-模）发展表示理论。
• 解决抽象CQ*-代数缺乏具体算子实现的问题，特别是在部分*-代数的背景下。
• 通过两种不同且非等价的方法，将GNS构造推广至CQ*-代数。
• 建立CQ*-代数的同态与表示产生希尔伯特空间上有界算子的条件。
• 通过泛函演算与不变性性质，阐明*-半单CQ*-代数的作用及其结构。

提出的方法

• 从一个带有较弱、与对合等距相容的范数的C*-代数出发，通过范数完备化方法构造CQ*-代数。
• 将同态定义为双同态，以确保与CQ*-代数的代数与拓扑结构相容。
• 提出第一种GNS型构造，基于满足可容许性条件(s1)–(s4)的正线性泛函。
• 提出第二种GNS型构造，基于满足(s1)–(s5)的正共轭双线性型Ω，包括不变性与有界性条件。
• 建立希尔伯特空间三元组H_♭ ⊂ H₀ ⊂ H_♯，其中表示π将A ∈ A映射为从H_♭到H_♯的有界算子。
• 利用柯西-施瓦茨不等式与不变性条件(s5)，证明π(A*) = π(A)*，从而确保*-表示结构。

实验结果

研究问题

• RQ1 GNS构造能否推广至CQ*-代数（即非单位元且部分*-代数）？
• RQ2 何种条件下，正线性泛函或共轭双线性型能保证在希尔伯特空间上存在有界表示？
• RQ3 所提出的两种GNS型构造在基础假设与所得表示方面有何不同？
• RQ4 双同态概念在定义CQ*-代数的同态中起何作用？
• RQ5 在何种条件下，CQ*-代数上的共轭双线性型能通过算子实现产生*-表示？

主要发现

• 通过在较弱、与对合等距相容的范数下完备化C*-代数，构造了一类新的CQ*-代数。
• 双同态被识别为CQ*-代数的自然同态，确保与模结构及对合结构相容。
• 第一种GNS型构造基于满足可容许性与有界性条件的正线性泛函，实现为B(H_♭, H_♯)中的表示。
• 第二种GNS型构造使用满足(s1)–(s5)的正共轭双线性型Ω，包括对合下的不变性与增长控制条件(s4)，以定义*-表示。
• 表示π满足π(AX) = π(A)π_♭(X)与π(A*) = π(A)*，当(s5)成立时，确认π为*-表示。
• 满足(s1)–(s5)且Ω(𝕀,𝕀) = 1的共轭双线性型诱导出一个态ω(A) = Ω(A,𝕀)，该态满足标准GNS条件，从而将两种构造联系起来。