[论文解读] Simplicity of skew inverse semigroup rings with an application to Steinberg algebras

Viviane Beuter, Daniel Gonçalves+2 more|arXiv (Cornell University)|Aug 16, 2017

Advanced Operator Algebra Research被引用 1

一句话总结

该论文为当 $\mathcal{A}$ 交换时的斜反幺半群环 $\pi A \times S$ 建立了一个简洁性准则：当且仅当 $\mathcal{A}$ 在 $\mathcal{A} \times_\pi S$ 中极大交换，且 $\mathcal{A}$ 是 $S$-单的，该环才是单的。该结果被应用于拓扑反幺半群作用，并为哈斯多夫、充裕的广群上的斯坦伯格代数的简洁性准则提供了新的证明。

ABSTRACT

Given a partial action $\pi$ of an inverse semigroup $S$ on a ring $\mathcal{A}$ one may construct its associated skew inverse semigroup ring $\mathcal{A} times_\pi S$. Our main result asserts that, when $\mathcal{A}$ is commutative, the ring $\mathcal{A} times_\pi S$ is simple if, and only if, $\mathcal{A}$ is a maximal commutative subring of $\mathcal{A} times_\pi S$ and $\mathcal{A}$ is $S$-simple. We apply this result in the context of topological inverse semigroup actions to connect simplicity of the associated skew inverse semigroup ring with topological properties of the action. Furthermore, we use our result to present a new proof of the simplicity criterion for a Steinberg algebra $A_R(\mathcal{G})$ associated with a Hausdorff and ample groupoid $\mathcal{G}$.

研究动机与目标

• 为当 $\mathcal{A}$ 交换时的斜反幺半群环 $\mathcal{A} \times_\pi S$ 建立一个必要且充分的简洁性条件。
• 将环 $\mathcal{A} \times_\pi S$ 的代数简洁性与反幺半群 $S$ 在拓扑空间上的部分作用 $\pi$ 的拓扑性质联系起来。
• 将主要结果应用于推导出与哈斯多夫、充裕广群 $\mathcal{G}$ 相关的斯坦伯格代数 $A_R(\mathcal{G})$ 的简洁性准则的新证明。
• 阐明 $\mathcal{A}$ 作为交换子环在 $\mathcal{A} \times_\pi S$ 中的最大性在 $\mathcal{A} \times_\pi S$ 的简洁性中的结构性作用。

提出的方法

• 从反幺半群 $S$ 在交换环 $\mathcal{A}$ 上的部分作用 $\pi$ 构造斜反幺半群环 $\mathcal{A} \times_\pi S$，使用由作用定义的扭曲乘法。
• 通过两个条件表征 $\mathcal{A} \times_\pi S$ 的简洁性：$\mathcal{A}$ 在 $\mathcal{A} \times_\pi S$ 中极大交换，且 $\mathcal{A}$ 是 $S$-单的（无真 $S$-不变理想）。
• 利用部分作用的结构与 $\mathcal{A} \times_\pi S$ 的理想结构，证明这两个条件对简洁性是必要且充分的。
• 将该准则应用于拓扑反幺半群作用，通过将 $\mathcal{A}$ 的 $S$-单性与作用的拓扑极小性及拓扑自由性联系起来。
• 利用斯坦伯格代数与斜反幺半群环之间的联系，重新推导出当 $\mathcal{G}$ 为哈斯多夫且充裕时 $A_R(\mathcal{G})$ 的已知简洁性准则。
• 利用 $\mathcal{A}$ 在 $\mathcal{A} \times_\pi S$ 中的最大性，消除环结构中的非平凡理想。

实验结果

研究问题

• RQ1 当 $\mathcal{A}$ 交换时，斜反幺半群环 $\mathcal{A} \times_\pi S$ 在什么条件下是简洁的？
• RQ2 在 $\mathcal{A} \times_\pi S$ 中，$\mathcal{A}$ 作为交换子环的最大性如何与环的简洁性相关？
• RQ3 反幺半群 $S$ 在拓扑空间上的部分作用 $\pi$ 需要满足什么拓扑条件，才能保证 $\mathcal{A} \times_\pi S$ 的简洁性？
• RQ4 能否利用斜反幺半群环的简洁性理论重新推导斯坦伯格代数 $A_R(\mathcal{G})$ 的简洁性准则？
• RQ5 $\mathcal{A}$ 的 $S$-单性如何与 $\mathcal{A} \times_\pi S$ 的环论结构相互作用？

主要发现

• 斜反幺半群环 $\mathcal{A} \times_\pi S$ 是简洁的，当且仅当 $\mathcal{A}$ 在 $\mathcal{A} \times_\pi S$ 中极大交换，且 $\mathcal{A}$ 是 $S$-单的。
• $\mathcal{A}$ 作为交换子环在 $\mathcal{A} \times_\pi S$ 中的最大性确保了 $\mathcal{A}$ 的任何真理想都不能在 $\mathcal{A} \times_\pi S$ 中生成更大的理想，这对简洁性至关重要。
• 当 $\mathcal{A}$ 是 $S$-单且极大交换时，环 $\mathcal{A} \times_\pi S$ 没有非平凡的双边理想。
• 对于拓扑反幺半群作用，$\mathcal{A} \times_\pi S$ 的简洁性对应于作用是极小且本质上自由的，从而将代数简洁性与拓扑动力系统联系起来。
• 该结果通过将 $A_R(\mathcal{G})$ 视为斜反幺半群环，为与哈斯多夫、充裕广群 $\mathcal{G}$ 相关的斯坦伯格代数 $A_R(\mathcal{G})$ 的简洁性准则提供了新的、结构性的证明。
• $S$-单性与拓扑极小性之间的联系使得动力学性质能够被转化为代数简洁性条件。