1: \begin{abstract}

2:   We define ``essential'' crossed products for inverse semigroup

3:   actions by Hilbert bimodules on \(\Cst\)\nb-algebras and for Fell

4:   bundles over étale, locally compact groupoids.  If the underlying

5:   groupoid is non-Hausdorff, this is a quotient of the reduced

6:   crossed product by an ideal coming from a generalised expectation

7:   with values in the local multiplier algebra.  We characterise when

8:   the essential and reduced crossed products coincide.  We

9:   generalise the notion of aperiodicity or proper outerness from

10:   group actions to general \(\Cst\)\nb-inclusions.  For inverse

11:   semigroup actions, aperiodicity implies that the coefficient

12:   algebra supports the essential crossed product and detects ideals

13:   in it.  It is equivalent to the topological freeness of the dual

14:   groupoid for actions of inverse semigroups  on

15:   \(\Cst\)\nb-algebras that are separable or of Type~I.  This gives

16:   efficient criteria for the essential crossed product to be purely

17:   infinite and simple.  In particular, for a possibly non-Hausdorff

18:   groupoid, the commutative \(\Cst\)\nb-subalgebra of functions on

19:   the object space detects ideals in the essential groupoid

20:   \(\Cst\)\nb-algebra if and only if it supports the essential

21:   groupoid \(\Cst\)\nb-algebra, if and only if the groupoid is

22:   topologically free.

23: \end{abstract}

24: