[论文解读] The partial-isometric crossed products by semigroups of endomorphisms are Morita equivalent to crossed products by groups

Saeid Zahmatkesh|arXiv (Cornell University)|Oct 18, 2017

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

一句话总结

该论文证明了与$C^*$-代数$A$上可延拓自同态半群相关的部分等距交叉乘积$A \times_{\alpha}^{ ext{piso}} \Gamma^{+}$与一个群交叉乘积$\mathcal{B} \times_{\beta} \Gamma$中的全角子代数Morita等价，其中$\mathcal{B}$是$\ell^\infty(\Gamma, A)$的子代数，$\beta$由平移作用诱导。关键贡献在于将等距交叉乘积结果推广至部分等距情形，表明对于任意完全有序阿贝尔离散群$\Gamma$，此类交叉乘积均为群交叉乘积中的全角子代数。这使得群交叉乘积的结构结果可被转移至半群交叉乘积中。

ABSTRACT

Let $Γ^{+}$ be the positive cone of a totally ordered abelian discrete group $Γ$, and $α$ an action of $Γ^{+}$ by extendible endomorphisms of a $C^*$-algebra $A$. We prove that the partial-isometric crossed product $A imes_α^{ extrm{piso}}Γ^{+}$ is a full corner of a group crossed product $\mathcal{B} imes_βΓ$, where $\mathcal{B}$ is a subalgebra of $\ell^{\infty}(Γ,A)$ generated by a collection of faithful copies of $A$, and the action $β$ on $\mathcal{B}$ is induced by shift on $\ell^{\infty}(Γ,A)$. We then use this realization to show that $A imes_α^{ extrm{piso}}Γ^{+}$ has an essential ideal $J$, which is a full corner in an ideal $\mathcal{I} imes_βΓ$ of $\mathcal{B} imes_βΓ$.

研究动机与目标

• 解决关于半群自同态作用下的部分等距交叉乘积是否为群交叉乘积中全角子代数的开放问题，类比于已知的等距交叉乘积结果。
• 将部分等距交叉乘积的结构理解从$\Gamma^+ = \mathbb{N}$的情形推广至任意完全有序阿贝尔离散群，扩展先前工作的结果。
• 建立$A \times_{\alpha}^{\text{piso}} \Gamma^{+}$与群交叉乘积中全角子代数之间的Morita等价，从而将群交叉乘积的成熟理论引入半群交叉乘积的研究。
• 识别从$A \times_{\alpha}^{\text{piso}} \Gamma^{+} \to A \times_{\alpha}^{\text{iso}} \Gamma^{+}$的满射的核$J$为群交叉乘积理想中的全角子代数，并证明$J$是本质理想。

提出的方法

• 构造$\ell^\infty(\Gamma, A)$中的子代数$\mathcal{B}$，其由$A$的忠实复制生成，并配备由$\Gamma$作用的平移自动变换$\beta$。
• 将群交叉乘积$\mathcal{B} \times_{\beta} \Gamma$定义为$\mathcal{B}$在$\beta$下的协变表示的普遍$C^*$-代数。
• 在$\mathcal{B} \times_{\beta} \Gamma$的乘子代数中，利用平移算子与投影构造系统$(A, \Gamma^+, \alpha)$的部分等距协变对$(\pi_A, W)$。
• 证明关联的$*$-同态$\pi_A \times W: A \times_{\alpha}^{\text{piso}} \Gamma^+ \to \mathcal{B} \times_{\beta} \Gamma$是到$\mathcal{B} \times_{\beta} \Gamma$中全角子代数的同构。
• 利用该实现，将$A \times_{\alpha}^{\text{piso}} \Gamma^{+} \to A \times_{\alpha}^{\text{iso}} \Gamma^{+}$的满射的核$J$识别为$\mathcal{B} \times_{\beta} \Gamma$中理想$\mathcal{I} \times_{\beta} \Gamma$的全角子代数。
• 证明$J$是$A \times_{\alpha}^{\text{piso}} \Gamma^{+}$中的本质理想，将[3]中的结果推广至任意完全有序阿贝尔离散群。

实验结果

研究问题

• RQ1 对于任意完全有序阿贝尔离散群$\Gamma$，部分等距交叉乘积$A \times_{\alpha}^{\text{piso}} \Gamma^{+}$是否与群交叉乘积中的全角子代数Morita等价？
• RQ2 是否能通过嵌入群交叉乘积完全描述$A \times_{\alpha}^{\text{piso}} \Gamma^{+}$的结构，从而推广等距情形？
• RQ3 $A \times_{\alpha}^{\text{piso}} \Gamma^{+} \to A \times_{\alpha}^{\text{iso}} \Gamma^{+}$的满射的核$J$是否为本质理想，且能否在群交叉乘积中实现为全角子代数？
• RQ4 $\mathcal{B} \subset \ell^\infty(\Gamma, A)$的构造与平移作用$\beta$是否提供了一套通用框架，用于将部分等距交叉乘积实现为全角子代数？

主要发现

• 部分等距交叉乘积$A \times_{\alpha}^{\text{piso}} \Gamma^{+}$同构于群交叉乘积$\mathcal{B} \times_{\beta} \Gamma$中的全角子代数，其中$\mathcal{B}$是$\ell^\infty(\Gamma, A)$的子代数，$\beta$为平移作用。
• $A \times_{\alpha}^{\text{piso}} \Gamma^{+} \to A \times_{\alpha}^{\text{iso}} \Gamma^{+}$的满射的核$J$被实现为$\mathcal{B} \times_{\beta} \Gamma$中理想$\mathcal{I} \times_{\beta} \Gamma$的全角子代数。
• $J$是$A \times_{\alpha}^{\text{piso}} \Gamma^{+}$中的本质理想，将[3, 命题2.5]的结果从$\mathbb{R}$的子群推广至所有完全有序阿贝尔离散群。
• 当$\alpha$为单射时，该构造给出了$\mathcal{B}$作为$B_{\mathbb{Z}} \otimes A$在平移相容嵌入$\varphi_n$下的直接极限描述。
• $\pi_A \times W$的同构将$A \times_{\alpha}^{\text{piso}} \Gamma^{+}$实现为$\mathcal{B} \times_{\beta} \Gamma$中的全角子代数，从而在两者之间建立了Morita等价。
• 当$\Gamma^+ = \mathbb{N}$时，该结果作为特例恢复了[3, 定理4.1]，确认与先前工作的自洽性。