[论文解读] On Conjugacy of MASAs and the Outer Automorphism Group of the Cuntz Algebra

Roberto Conti, Jeong Hee Hong+1 more|arXiv (Cornell University)|Jan 1, 2013

Advanced Operator Algebra Research参考文献 16被引用 1

一句话总结

本文研究了Cuntz代数$O_n$的外自同构群以及极大阿贝尔自伴子代数（MASA）的共轭性。研究发现，Bogolubov自同构要么保持标准MASA$D_n$不变，要么将其映射到与$D_n$不内共轭的其他MASA，从而构造出一个不可数的此类MASA族。其关键贡献在于证明了在$O_n$中存在不可数多个MASA，它们与$D_n$外共轭但不内共轭，揭示了$\mathrm{Out}(O_n)$中丰富的结构。

ABSTRACT

We investigate the structure of the outer automorphism group of the Cuntz algebra and the closely related problem of conjugacy of MASAa in $\mathcal{O}_n$. In particular, we exhibit an uncountable family of MASAs, conjugate to the standard MASA $\mathcal{D}_n$ via Bogolubov automorphisms, that are not inner conjugate to $\mathcal{D}_n$.

研究动机与目标

• 理解Cuntz代数$O_n$的外自同构群$\mathrm{Out}(O_n)$的结构。
• 研究$O_n$中极大阿贝尔自伴子代数（MASA）的共轭类，特别是那些与标准MASA$D_n$不内共轭的MASA。
• 确定$O_n$的每个自同构是否都与保持$D_n$的某个自同构共轭；若不然，则对这些非共轭的MASA进行分类。
• 探讨Bogolubov自同构在生成与$D_n$外共轭但不内共轭的MASA中的作用。

提出的方法

• 使用与$O_n$中的单位元$u \in U(O_n)$相关的Bogolubov自同构$\lambda_u$来生成$O_n$的自同构。
• 分析这些自同构对标准MASA$D_n$的作用，确定其是否整体保持$D_n$不变，或将其映射到其他MASA。
• 应用$O_n$中的单位元与$O_n$的单位$^*$-自同态之间的一一对应关系（由$\lambda_u(S_i) = u S_i$给出），以研究自同构的结构。
• 利用先前工作中关于$O_n$中非周期自同构的分类结果，分析谱子空间和规范作用。
• 使用规范作用$\gamma_z(S_j) = z S_j$及其相关的谱子空间$O_n^{(m)}$来分解$O_n$并分析自同构的行为。
• 利用到核心UHF-子代数$F_n$上的条件期望$E = E_0$，研究固定点代数和自同构不变量。

实验结果

研究问题

• RQ1 是否存在$O_n$中的MASA，它们与标准MASA$D_n$外共轭但不内共轭？
• RQ2 Bogolubov自同构能否将$D_n$映射到与$D_n$不内共轭的MASA？
• RQ3 在与Weyl群的像及$n$-移位自同构群的关系下，$\mathrm{Out}(O_n)$的结构是怎样的？
• RQ4 非平凡的规范自同构是否位于$\mathrm{Out}(O_n)$的中心？还是如$O_2$的情形一样为非中心元素？
• RQ5 由$\lambda(S_2)^{-1}$生成的$\mathrm{Out}(O_2)$的正规子群是否由有限阶元素生成？

主要发现

• 在$O_n$中存在一个不可数的MASA族，它们通过外自同构与标准MASA$D_n$共轭，但不与$D_n$内共轭，如定理3.7和推论3.8所示。
• Bogolubov自同构要么整体保持$D_n$不变，要么将其映射到与$D_n$不内共轭的MASA，从而确立了其作用的二分性。
• 在$O_2$中，取$u = S_{11}S_{12}^* + S_{12}S_{11}^* + P_{122} + P_2$，自同构$\lambda_u$的阶为2，且诱导出一个非内自同构$\lambda_w$，表明非平凡的规范自同构在$\mathrm{Out}(O_2)$中非中心。
• 在$\mathrm{Out}(O_2)$中，每个无限阶元素都是换位子群中两个对合的乘积，这意味着$\mathrm{Out}(O_2)$及其换位子群均由有限阶元素生成。
• 由$\lambda(S_2)^{-1}$在$\mathrm{Out}(O_2)$中生成的正规子群由有限阶元素生成，如推论4.7所示。
• 由$\lambda(S_2)^{-1}|_{S_2}$生成的群是几乎单的，因为它包含Higman-Thompson群$S_2$，且包含于其自同构群中，如命题4.8所示。