[论文解读] Isomorphisms between Leavitt algebras and their matrix rings

Gene Abrams, Phạm Ngọc Ánh+1 more|ArXiv.org|Dec 19, 2006

Advanced Operator Algebra Research参考文献 9被引用 6

一句话总结

该论文证明了在且仅在 $d$ 与 $n-1$ 互素时，勒维特代数 $L_n$ 上的矩阵环 $\ mathrm{M}_d(L_n)$ 同构于 $L_n$。作者通过构造 $\ mathrm{M}_d(L_n)$ 的一种新型生成集，给出了显式同构映射，证明了即使当 $d$ 不整除 $n$ 的任意幂时，此类同构依然存在，从而解决了早期工作中提出的问题，并为通过 $K_0$-理论区分纯无穷单 $K$-代数提供了基础性结果。

ABSTRACT

Let $K$ be any field, let $L_n$ denote the Leavitt algebra of type $(1,n-1)$ having coefficients in $K$, and let ${ m M}_d(L_n)$ denote the ring of $d imes d$ matrices over $L_n$. In our main result, we show that ${ m M}_d(L_n) \cong L_n$ if and only if $d$ and $n-1$ are coprime. We use this isomorphism to answer a question posed in \cite{PS} regarding isomorphisms between various C*-algebras. Furthermore, our result demonstrates that data about the $K_0$ structure is sufficient to distinguish up to isomorphism the algebras in an important class of purely infinite simple $K$-algebras.

研究动机与目标

• 解决长期存在的问题：确定矩阵环 $\mathrm{M}_d(L_n)$ 何时同构于勒维特代数 $L_n$。
• 当 $\ gcd(d,n-1) = 1$ 时，构造 $L_n$ 与 $\mathrm{M}_d(L_n)$ 之间显式同构，扩展了以往仅在 $d \mid n^\alpha$ 时成立的结果。
• 证明仅凭 $K_0$-数据即可区分一类关键的纯无穷单 $K$-代数的同构类。
• 为关于 Cuntz 代数上矩阵代数之间同构的一个问题提供一种初等且显式的解法，此前仅通过高级 $C^*$-代数技术解决。

提出的方法

• 基于对 $n$ 与 $d$ 应用带余除法的递归算法，构造 $\ mathrm{M}_d(L_n)$ 的新生成集。
• 在 $\ mathrm{M}_d(L_n)$ 中定义矩阵 $X_i$ 和 $Y_i$，使得其元素在 $\ mathbb{Z}$-分次下具有受控次数，确保 $L_n$ 的关系被保持。
• 利用 $L_n$ 的泛性质，通过将生成元 $x_i \mapsto X_i$，$y_i \mapsto Y_i$ 的映射，诱导出从 $L_n$ 到 $\ mathrm{M}_d(L_n)$ 的同态。
• 通过证明该同态既是满射又是单射，利用 $\gcd(d,n-1)=1$ 的互素条件，证明其为同构。
• 利用新生成集的元素次数有界（最多 $d-1$）这一事实，避免了早期构造中要求元素次数为 1 的限制，后者要求 $d \mid n^\alpha$。
• 通过取 $K = \mathbb{C}$ 将同构推广至 $C^*$-代数情形，其中同构可提升至完备化，从而得到 $\ mathrm{M}_d(\mathcal{O}_n)$ 与 $\mathcal{O}_n$ 之间的同构。

实验结果

研究问题

• RQ1 对于域 $K$，何时 $\ mathrm{M}_d(L_n)$ 同构于 $L_n$？
• RQ2 当 $\ gcd(d,n-1) = 1$ 时，即使 $d$ 不整除 $n$ 的任意幂，是否能构造出 $L_n$ 与 $\ mathrm{M}_d(L_n)$ 之间的显式同构？
• RQ3 $K_0$-理论本身是否足以区分由 $L_n$ 生成的纯无穷单 $K$-代数族中的同构类？
• RQ4 能否以初等且显式的方式构造 $\ mathrm{M}_d(\mathcal{O}_n)$ 与 $\mathcal{O}_n$ 之间的同构，而无需依赖高级 $C^*$-代数工具？

主要发现

• 当且仅当 $\ gcd(d,n-1) = 1$ 时，矩阵环 $\ mathrm{M}_d(L_n)$ 同构于 $L_n$，给出了完整的刻画。
• 对所有与 $n-1$ 互素的 $d$，构造了 $L_n$ 与 $\ mathrm{M}_d(L_n)$ 之间的显式同构，无论 $d$ 是否整除 $n$ 的任意幂。
• 该同构通过 $\ mathrm{M}_d(L_n)$ 的一种新生成集实现，其中 $n$ 个矩阵的元素次数均被限制在 $d-1$ 以内，不同于以往构造中要求元素次数为 1 的情形。
• 该结果提供了直接且初等的证明，表明当 $\ gcd(d,n-1) = 1$ 时，$\ mathrm{M}_d(\mathcal{O}_n) \cong \mathcal{O}_n$，正面回答了文献 [14] 中提出的问题，且无需依赖高级 $C^*$-代数结果。
• $L_n$ 的 $K_0$-群数据足以区分纯无穷单 $K$-代数族中的同构类，支持了 $C^*$-代数理论中一个结果的代数类比。