[论文解读] Realizing ultragraph Leavitt path algebras as Steinberg algebras

Roozbeh Hazrat, Tran Giang Nam|arXiv (Cornell University)|Aug 11, 2020

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

一句话总结

该论文通过广群构造将超图莱文顿路径代数实现为斯坦伯格代数，从而能够应用广群理论方法推导结构结果。主要贡献在于证明这些代数是分次冯诺依曼正则的、半单的，并可实现为康茨-皮姆斯纳环，且通过广群的极小性对不可约表示和简单性条件进行了刻画。

ABSTRACT

In this article, we realize ultragraph Leavitt path algebras as Steinberg algebras. This realization allows us to use the groupoid approach to obtain structural results about these algebras. Using skew product groupoid, we show that ultragraph Leavitt path algebras are graded von Neumann regular rings. We characterize strongly graded ultragraph Leavitt path algebras and show that every ultragraph Leavitt path algebra is semiprimitive. Moreover, we characterize irreducible representations of ultragraph Leavitt path algebras. We also show that ultragraph Leavitt path algebras can be realized as Cuntz-Pimsner rings.

研究动机与目标

• 通过将它们实现为斯坦伯格代数，建立超图莱文顿路径代数的广群理论框架。
• 将图莱文顿路径代数的结构结果推广到更广泛的超图莱文顿路径代数类。
• 利用广群方法刻画超图莱文顿路径代数的不可约表示和半单性。
• 证明超图莱文顿路径代数是分次冯诺依曼正则环，并且是康茨-皮姆斯纳环。
• 提供基于广群的简单性充分条件的证明，推广图情形下的结果。

提出的方法

• 从不含源的超图 $\mathcal{G}$ 构造超图广群 $\mathfrak{G}_{{}_{\mathcal{G}}}$，使用无限路径和具有出口的有限路径。
• 通过广群同构将超图莱文顿路径代数 $L_K(\mathcal{G})$ 实现为斯坦伯格代数 $A_K(\mathfrak{G}_{{}_{\mathcal{G}}})$。
• 使用斜积广群构造分析分次结构，并证明 $L_K(\mathcal{G})$ 是分次冯诺依曼正则的。
• 利用超图广群的无穿性，通过 [10, 推论 4.6] 将 $A_K(\mathfrak{G}_{{}_{\mathcal{G}}})$ 实现为康茨-皮姆斯纳环。
• 在满足 (K) 条件、顶点到无限路径连通性以及无限发射器可达性的条件下，建立广群 $\mathfrak{G}_{{}_{\mathcal{G}}}$ 的极小性，以证明简单性。
• 利用广群作用，通过单位空间的轨道结构刻画 $L_K(\mathcal{G})$ 的不可约表示。

实验结果

研究问题

• RQ1 能否通过广群构造将超图莱文顿路径代数实现为斯坦伯格代数？
• RQ2 在何种条件下，超图莱文顿路径代数是半单的？
• RQ3 每个超图莱文顿路径代数是否都是分次冯诺依曼正则环？
• RQ4 能否将超图莱文顿路径代数实现为康茨-皮姆斯纳环？
• RQ5 超图莱文顿路径代数的简单性所需且充分的条件是什么？

主要发现

• 超图莱文顿路径代数 $L_K(\mathcal{G})$ 同构于斯坦伯格代数 $A_K(\mathfrak{G}_{{}_{\mathcal{G}}})$，从而实现了基于广群的分析。
• 每个超图莱文顿路径代数都是半单的，即其雅可比森根是平凡的。
• 该代数 $L_K(\mathcal{G})$ 是分次冯诺依曼正则环，这是通过斜积广群构造证明的。
• 通过超图广群的无穿结构，该代数 $L_K(\mathcal{G})$ 可实现为康茨-皮姆斯纳环。
• 不可约表示 $L_K(\mathcal{G})$ 通过广群 $\mathfrak{G}_{{}_{\mathcal{G}}}$ 的单位空间的轨道结构得以刻画。
• 当且仅当广群 $\mathfrak{G}_{{}_{\mathcal{G}}}$ 是极小的时，$L_K(\mathcal{G})$ 是简单代数，而这一情况恰好发生在超图满足 (K) 条件、顶点到无限路径连通性以及无限发射器可达性时。