d42eebcb59e801b0.tex
1: \begin{abstract}
2:   We generalise various non-triviality conditions for group actions to
3:   Fell bundles over discrete groups and prove several implications
4:   between them.  We also study sufficient criteria for the reduced
5:   section \(\Cst\)\nb-algebra~\(\Cred(\mathcal{B})\)
6:   of a Fell bundle \(\mathcal{B}=(B_g)_{g\in G}\)
7:   to be strongly purely infinite.  If the unit fibre \(A\defeq B_e\)
8:   contains an essential ideal that is separable or of Type~I,
9:   then~\(\mathcal{B}\)
10:   is aperiodic if and only if~\(\mathcal{B}\)
11:   is topologically free.  If, in addition, \(G=\Z\)
12:   or \(G=\Z/p\)
13:   for a square-free number~\(p\),
14:   then these equivalent conditions are satisfied if and only if~\(A\)
15:   detects ideals in~\(\Cred(\mathcal{B})\),
16:   if and only if~\(A^+\setminus\{0\}\)
17:   supports~\(\Cred(\mathcal{B})^+\setminus\{0\}\)
18:   in the Cuntz sense.  For~\(G\)
19:   as above and arbitrary~\(A\),
20:   \(\Cred(\mathcal{B})\)
21:   is simple if and only if~\(\mathcal{B}\)
22:   is minimal and pointwise outer.  In general, \(\mathcal{B}\)
23:   is aperiodic if and only if each of its non-trivial fibres has a
24:   non-trivial Connes spectrum.  If~\(G\)
25:   is finite or if~\(A\)
26:   contains an essential ideal that is of Type~I or simple, then
27:   aperiodicity is equivalent to pointwise pure outerness.
28: \end{abstract}
29: