[论文解读] Crossed product by an arbitrary endomorphism

B. K. Kwaśniewski, А. В. Лебедев|ArXiv.org|Mar 27, 2007

Analytical Chemistry and Chromatography被引用 3

一句话总结

本文提出了一种针对具有任意自同态的单位C*-代数的广义交叉积构造，表明普遍交叉积不仅依赖于代数和自同态，还依赖于与自同态核正交的选定理想。关键贡献在于对代数结构的矩阵演算以及范数评估，从而定义了$C^*$-代数交叉积$C^*(\mathcal{A}, \delta, J)$，并通过同构定理证明了在特定协变条件下表示的忠实性。

ABSTRACT

Starting from an arbitrary endomorphism δof a unital C*-algebra A we construct a crossed product. It is shown that the natural construction depends not only on the C*-dynamical system (A,δ) but also on the choice of an ideal J orthogonal to Ker δ.

研究动机与目标

• 将交叉积构造从自同构推广到单位C*-代数的任意自同态。
• 解决通过自同态定义交叉积时的基础性问题，特别是缺乏逆运算以及实现酉算子关系的选择问题。
• 表明普遍交叉积依赖于一个辅助选择的理想$J$，该理想与$\ker \delta$正交，而不仅依赖于$\mathcal{A}$和$\delta$。
• 为交叉积的代数结构提供矩阵演算与范数评估。
• 通过同构定理建立普遍性质，以刻画满足特定协变条件的交叉积的忠实表示。

提出的方法

• 将$C^*$-动力系统的协变表示定义为三元组$(\pi, U, H)$，其中$\pi$为非退化忠实表示，$U$为满足$U\pi(a)U^* = \pi(\delta(a))$和$U^*U \in \pi(\mathcal{A})'$的部分等距算子。
• 引入正交理想的概念，并通过其确定的理想$J$对协变表示进行分类，该理想与$\ker \delta$正交。
• 构造一个形式洛朗级数的$*$-代数$\mathcal{M}(\mathcal{A})$，其系数取自$\mathcal{A}$，并配备通过$\Phi_{(\pi,U)}$定义的卷积乘积$\star$，即$a^{(k)} \star b^{(l)} = \Phi_{(\pi,U)}(a^{(k)}) \cdot \Phi_{(\pi,U)}(b^{(l)})$。
• 利用表示$\Phi_{(\pi,U)}$定义$\mathcal{M}(\mathcal{A})$上的半范数$||\cdot||_J$，并取完备化以形成交叉积$C^*(\mathcal{A}, \delta, J)$，即商代数$\mathcal{M}(\mathcal{A}) / ||\cdot||_J$的包络$C^*$-代数。
• 为$C^*(\mathcal{A}, \delta, J)$的代数结构建立矩阵演算，将元素表示为整数次数的和，系数属于$\mathcal{A}$，并证明范数的次乘性。
• 证明同构定理（定理5.1），表明与同一理想$J$相关且满足特定协变条件$(*)$的两个协变表示，会生成同构的$C^*$-代数。

实验结果

研究问题

• RQ1 在缺乏逆运算的情况下，如何为$C^*$-代数和任意自同态普遍定义交叉积？
• RQ2 为何交叉积的普遍构造不仅依赖于$C^*$-代数和自同态，还依赖于一个与$\ker \delta$正交的辅助理想$J$？
• RQ3 当自同态不是自同构时，交叉积背后的代数与范数结构是什么？
• RQ4 如何通过其底层的协变表示来刻画交叉积的忠实表示？
• RQ5 谱分解为$\overline{B}_k$子空间在交叉积结构中起什么作用？

主要发现

• 交叉积$C^*(\mathcal{A}, \delta, J)$被定义为商代数$\mathcal{M}(\mathcal{A}) / ||\cdot||_J$的包络$C^*$-代数，其中$||\cdot||_J$是来自与理想$J$正交于$\ker \delta$的协变表示的半范数。
• 该构造依赖于$J$的选择，表明从相同的$(\mathcal{A}, \delta)$出发，可因$J$的不同而产生多个非同构的交叉积。
• 发展了一套矩阵演算，将交叉积的元素描述为系数属于$\mathcal{A}$的形式洛朗级数，卷积乘积$\star$通过表示$\Phi_{(\pi,U)}$定义。
• 乘积$a \star b$的范数满足$||a \star b|| \leq ||a|| \cdot ||b||$，证明了半范数$||\cdot||_J$的次乘性，从而保证商代数是具有良好定义的$C^*$-范数的$*$-代数。
• 同构定理（定理5.1）表明，与同一理想$J$相关且满足性质$(*)$的两个协变表示会生成同构的$C^*$-代数，从而提供了普遍性刻画。
• 交叉积的谱子空间$\overline{B}_k$对应于第$k$个傅里叶系数，$\overline{B}_0$是$S^1$-作用$\alpha_z(U) = zU$的固定点代数，且$\alpha_z$可延拓为交叉积上的自同构。