[論文レビュー] 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

ひとこと要約

本稿は、$π A \times S$ が可換であるとき、歪逆半群環の単純性に関する簡潔な基準を確立する。その基準は、環が単純であるための必要十分条件として、$π A \times S$ 内で $π A$ が最大可換であることと、$π A$ が $S$-単純であること（非自明な $S$-不変イデアルをもたないこと）である。この結果は、位相的逆半群作用に応用され、ハウスドルフかつアペール群ガロアに対して Steinberg代数の単純性基準の新たな証明を提供する。

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}$.

研究の動機と目的

• 可換環 $π A$ をもつ歪逆半群環 $π A \times_\pi S$ の単純性に関する必要十分条件を確立すること。
• 逆半群 $S$ が位相空間上に作用する部分作用 $π$ の位相的性質と、環 $π A \times_\pi S$ の代数的単純性との関係を明らかにすること。
• 主結果を用いて、ハウスドルフかつアペール群ガロア $π G$ に関連する Steinberg代数 $A_R(\mathcal{G})$ の単純性基準を再証明すること。
• $\u03c0 A$ が $\u03c0 A \times_\pi S$ 内の可換部分環として最大であることの、$\u03c0 A \times_\pi S$ の単純性における構造的役割を明確にすること。

提案手法

• 逆半群 $S$ が可換環 $π A$ 上に作用する部分作用 $π$ から、作用によって定義されるねじれ乗法を用いて、歪逆半群環 $\u03c0 A \times_\pi S$ を構成する。
• 単純性を二つの条件によって特徴付ける：$\u03c0 A$ が $\u03c0 A \times_\pi S$ 内で最大可換であること、および $\u03c0 A$ が $S$-単純であること（真の $S$-不変イデアルをもたないこと）。
• 部分作用の構造と $\u03c0 A \times_\pi S$ のイデアル構造を用いて、これらの二つの条件が単純性の必要十分条件であることを示す。
• 位相的逆半群作用に応用する際には、$\u03c0 A$ の $S$-単純性を、作用の位相的最小性および位相的自由性と結びつける。
• Steinberg代数と歪逆半群環の関係を活用して、$π G$ がハウスドルフかつアペールであるときの $A_R(\mathcal{G})$ の既知の単純性基準を再導出する。
• $\u03c0 A$ が $\u03c0 A \times_\pi S$ 内で最大であることを利用して、環構造における非自明なイデアルを排除する。

実験結果

リサーチクエスチョン

• RQ1 可換環 $π A$ をもつ歪逆半群環 $\u03c0 A \times_\pi S$ が単純であるための条件は何か？
• RQ2 $\u03c0 A$ が $\u03c0 A \times_\pi S$ 内の可換部分環として最大であることと、環の単純性との関係は何か？
• RQ3 逆半群 $S$ の部分作用 $π$ が位相空間上に作用する際の、どのような位相的条件が $\u03c0 A \times_\pi S$ の単純性を保証するか？
• RQ4 歪逆半群環の単純性理論を用いて、Steinberg代数 $A_R(\mathcal{G})$ の単純性基準を再導出できるか？
• RQ5 $\u03c0 A$ の $S$-単純性は、$\u03c0 A \times_\pi S$ の環論的構造とどのように作用するか？

主な発見

• $\u03c0 A \times_\pi S$ が単純であるための必要十分条件は、$\u03c0 A$ が $\u03c0 A \times_\pi S$ 内で最大可換であることと、$\u03c0 A$ が $S$-単純であること（非自明な $S$-不変イデアルをもたないこと）である。
• $\u03c0 A$ が可換部分環として最大であることにより、$\u03c0 A$ の真のイデアルが $\u03c0 A \times_\pi S$ 内でより大きなイデアルを生成するのを防ぎ、これは単純性にとって不可欠である。
• $\u03c0 A$ が $S$-単純かつ最大可換であれば、環 $\u03c0 A \times_\pi S$ は非自明な両側イデアルをもたない。
• 位相的逆半群作用に対しては、$\u03c0 A \times_\pi S$ の単純性は作用が最小的かつ本質的に自由であることに対応し、代数的単純性と位相的力学系の性質を結びつける。
• 本結果により、$A_R(\mathcal{G})$ が歪逆半群環として実現されることを活用して、$π G$ がハウスドルフかつアペールである場合の Steinberg代数の単純性基準を、構造的証明で再確認できる。
• $S$-単純性と位相的最小性の関係により、力学的性質を代数的単純性条件へと移すことができる。