[论文解读] Operator algebras associated to integral domains

Benton L. Duncan|arXiv (Cornell University)|Jan 5, 2010

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

一句话总结

本文通过半交叉积构造方法，引入了一类与整环相关的新非自伴算子代数，推广了Cuntz与Li的C*-代数方法。结果表明，这些代数与Peters的半交叉积不同，并证明了该代数的酉表示可通过其分式域上的正规酉表示进行分解，从而确立了其C*-包络结构。

ABSTRACT

We study operator algebras associated to integral domains. In particular, with respect to a set of natural identities we look at the possible nonselfadjoint operator algebras which encode the ring structure of an integral domain. We show that these algebras give a new class of examples of semicrossed products by discrete semigroups. We investigate the structure of these algebras together with a particular class of representations.

研究动机与目标

• 通过半交叉积技术，为整环发展一个非自伴算子代数框架。
• 通过仅施加环论约束而非完整恒等式，推广Cuntz与Li的C*-代数构造。
• 证明当整环不是域时，所得代数与Peters的半交叉积不构同构。
• 分析酉表示，并证明其可通过分式域上的正规酉表示进行分解。
• 通过在$C^*(Q(R))$上的标准*-表示，确立$C^*$-包络结构。

提出的方法

• 定义由等距算子$\{s_r\}$和酉算子$\{u^n\}$生成的泛算子代数$A(R)$，满足关系：$s_r s_t = s_{rt}$，$u^n u^m = u^{n+m}$，以及$u^n s_r = s_r u^{rn}$。
• 构造$\ell^2(R)$上的正规等距表示，以及$\ell^2(Q(R))$上的正规酉表示，后者扩展了前者。
• 利用Pontryagin对偶$\widehat{R,+}$，通过$C_0(\widehat{R,+})$分析代数的阿贝尔部分。
• 证明$A(R)$的不可约表示与$\widehat{R,+}$上的特征标一一对应，并利用嵌套代数技巧证明其与标准半交叉积不构同构。
• 定义一个从$A(R)$到$C^*(Q(R))$的典范完全有界表示$i$，并对其任意酉表示$\pi$，将其延拓为$C^*(Q(R))$上的*-表示$\tau_\pi$。
• 利用关系$T_p T_q^* = T_q^* T_p$与$V^n T_q = T_q V^{nq}$，验证提升后的算子满足$Q(R)$的$C^*$-关系。

实验结果

研究问题

• RQ1 能否使用非自伴方法构造出编码整环环结构的算子代数，且无需依赖自同构？
• RQ2 当整环不是域时，这些代数与Peters的半交叉积有何不同？
• RQ3 是否$A(R)$的酉表示可通过分式域$Q(R)$上的表示进行分解？
• RQ4 $A(R)$的$C^*$-包络是否同构于交叉积$C^*(Q(R)) \rtimes \mathbb{Z}^+$？
• RQ5 正规酉表示在刻画$A(R)$结构中的作用是什么？

主要发现

• 当整环$R$为唯一分解整环时，与$R$关联的泛算子代数$A(R)$与Peters的半交叉积代数不构同构。
• 每个$A(R)$的酉表示$\pi$均通过$C^*(Q(R))$上的*-表示$\tau_\pi$进行分解，满足$\tau_\pi \circ i = \pi$，表明$A(R)$完全等距嵌入于$C^*(Q(R))$中。
• 典范表示$i: A(R) \to C^*(Q(R))$是完全有界的，并可延拓为分式域$C^*$-代数上的*-表示。
• 当$R$为UFD时，$A(R)$在Peters意义下并非半交叉积，原因在于不可约元乘法幺半群的非平凡结构。
• $A(R)$的$C^*$-包络不一定是交叉积，除非正规表示可延拓为酉表示，而这一点通常不成立。
• 在$\ell^2(Q(R))$上的正规酉表示限制到$\ell^2(R)$上即为正规等距表示，且后者在扩展算子作用下保持不变。