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: