# Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness

## TL;DR

This paper develops criteria for simplicity and pure infiniteness of C*-algebras arising from inverse semigroup actions, introducing essential crossed products and analyzing their properties through generalized expectations.

## Contribution

It introduces essential crossed products for inverse semigroup actions and establishes new criteria for simplicity and pure infiniteness of the associated C*-algebras.

## Key findings

- Criteria for when essential and reduced C*-algebras coincide.
- Conditions under which C*-algebras are simple and purely infinite.
- Relationship between aperiodicity, ideal detection, and pure infiniteness.

## Abstract

We study simplicity and pure infiniteness criteria for C*-algebras associated to inverse semigroup actions by Hilbert bimodules and to Fell bundles over etale not necessarily Hausdorff groupoids. Inspired by recent work of Exel and Pitts, we introduce essential crossed products for which there are such criteria. In our approach the major role is played by a generalised expectation with values in the local multiplier algebra. We give a long list of equivalent conditions characterising when the essential and reduced C*-algebras coincide. Our most general simplicity and pure infiniteness criteria apply to aperiodic C*-inclusions equipped with supportive generalised expectations. We thoroughly discuss the relationship between aperiodicity, detection of ideals, purely outer inverse semigroup actions, and non-triviality conditions for dual groupoids.