Simplicity of skew inverse semigroup rings with applications to Steinberg algebras and topological dynamics

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}{⋊}_{\pi }S$. Our main result asserts that, when $\mathcal{A}$ is commutative, the ring $\mathcal{A}{⋊}_{\pi }S$ is simple if, and only if, $\mathcal{A}$ is a maximal commutative subring of $\mathcal{A}{⋊}_{\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}$.

References in corpus (5)

• Partial actions and KMS states on relative graph $C^{\ast }$-algebras
• The dynamics of partial inverse semigroup actions
• The interplay between Steinberg algebras and partial skew rings
• A Generalised uniqueness theorem and the graded ideal structure of Steinberg algebras
• Bratteli-Vershik models for partial actions of $\mathbb{Z}$

Cited by in corpus (1)

• Simplicity of algebras via epsilon-strong systems