# Morita Enveloping Fell Bundles

- 115 Downloads

## Abstract

We introduce notions of weak and strong equivalence for non-saturated Fell bundles over locally compact groups and show that every Fell bundle is strongly (resp. weakly) equivalent to a semidirect product Fell bundle for a partial (resp. global) action. Equivalences preserve cross-sectional \({\mathrm {C}}^*\)-algebras and amenability. We use this to show that previous results on crossed products and amenability of group actions carry over to Fell bundles.

## Keywords

Fell bundle Equivalence Partial action Crossed product Group Amenabilty## Mathematics Subject Classification

Primary 46L08 Secondary 46L55## 1 Introduction

A Fell bundle over a locally compact group *G* is a continuous bundle \(\mathcal {A}\rightarrow G\) of Banach spaces \((A_t)_{t\in G}\) together with continuous multiplications \(A_s\times A_t\rightarrow A_{st}\), \((a,b)\mapsto a\cdot b\), and involutions \(A_s\rightarrow A_{s^{-1}}\), \(a\mapsto a^*\), satisfying properties similar to those valid for a \({\mathrm {C}}^*\)-algebra, like the positivity \(a^*\cdot a\ge 0\) and the \({\mathrm {C}}^*\)-axiom \(\Vert a^*\cdot a\Vert =\Vert a\Vert ^2\). Fell bundles generalise partial actions of groups. Indeed, in Exel (1997) Exel defines *twisted partial actions* of groups on \({\mathrm {C}}^*\)-algebras and to each such action, a Fell bundle is constructed, the so-called semidirect product of the twisted partial action. This is, of course, a generalisation of the semidirect product construction for ordinary (global) actions already introduced by Fell in his first papers on the subject, see Fell (1969a, b, 1977), Doran and Fell (1988a, b). In Exel (1997) only *continuous* twisted partial actions are considered, but even the measurable twisted actions of Busby and Smith (1970) can be turned into (continuous) Fell bundles, see Exel and Laca (1997).

The main result of Exel (1997) already indicates that Fell bundles are very close to partial actions: it asserts that every *regular* Fell bundle is isomorphic to a semidirect product by a twisted partial action. It is moreover shown that every separable Fell bundle can be “regularised” via stabilisation. The stabilisation procedure should be viewed as a form of producing an “equivalent” Fell bundle in the spirit of Morita equivalence of \({\mathrm {C}}^*\)-algebras. Hence we may say that the results in Exel (1997) show that every separable Fell bundle is equivalent to one associated to a twisted partial action. A very basic question appears: can the twist be “removed”, that is, is every Fell bundle equivalent to a partial action semidirect product Fell bundle? For saturated Fell bundles this, indeed, follows from the famous Packer–Raeburn Stabilisation Trick which asserts that every twisted (global) action is stably isomorphic to an untwisted action. As a result, every saturated separable Fell bundle is equivalent to one coming from an ordinary action. This version is also known for (separable) saturated Fell bundles over groupoids as proved in Buss et al. (2013), Ionescu et al. (2015), where precise notions of equivalence of saturated Fell bundles are introduced. A version of the stabilisation trick for non-saturated Fell bundles is only known for discrete groups: it is proved in the master thesis of Sehnem (2014) and reproduced in Exel’s book Exel (2017) that, after stabilisation, every separable Fell bundle becomes isomorphic to one coming from an (untwisted) partial action.

In Buss et al. (2013) a new point of view is introduced from which saturated Fell bundles are interpreted as actions of the underlying group(oid) in the bicategory of \({\mathrm {C}}^*\)-correspondences. Indeed, the algebraic structure of the Fell bundle can be used to turn each fibre \(A_t\) into a Hilbert bimodule over the unit fiber \({\mathrm {C}}^*\)-algebra \(A:=A_e\), and these bimodules are imprimitivity (or equivalence) bimodules if (and only if) the Fell bundle is saturated. Hence we may view a saturated Fell bundle as an action of *G* on *A* by equivalences. A non-saturated Fell bundle should be viewed as a partial action of *G* on *A* by (partial) equivalences.

Although the notion of equivalence between saturated Fell bundles over groups is already well established nowadays, little is known for non-saturated Fell bundles. Only recently a more general notion of equivalence has been introduced in Abadie and Ferraro (2017), which in the present work we call *weak equivalence*. This notion originates in Abadie (2003): the relationship between the Fell bundles of a partial action and its enveloping action is precisely that of weak equivalence. We introduce yet another notion of equivalence, the *strong equivalence*. As the name suggests, strong equivalence is stronger than weak equivalence. Strong equivalence is the natural extension of the notion of (Morita) equivalence for partial actions as introduced by the first named author in Abadie (2003). Indeed, we are going to extend one of the main results in Abadie (2003) and prove that every (not necessarily saturated or separable) Fell bundle over *G* is strongly equivalent to a semidirect product Fell bundle by a partial action of *G* (Theorem 3.5). On the other hand we will prove that, as long as saturated Fell bundles are concerned, there is no difference between weak equivalence and strong equivalence of Fell bundles (Corollary 4.10); they extend the usual notion of equivalence for global actions.

In the recent paper by Kwaśniewski and Meyer (2018) the notion of *Morita globalization* of a Fell bundle over a discrete group is introduced, and it is shown that every Fell bundle (over a discrete group) has a Morita globalization. It can be shown that the Fell bundle associated to the action involved in the definition of a Morita globalization of a Fell bundle is weakly equivalent, in our sense, to the original Fell bundle. As a result a Morita globalization of a Fell bundle is an instance of what we call here a *Morita enveloping Fell bundle* (see Definition 2.11).

The notion of weak equivalence will allow us to show that every partial action of *G*, once viewed as a Fell bundle, is weakly equivalent to a global action. As a conclusion, every Fell bundle is weakly equivalent to one associated to a global action. We shall prove this in one step, showing directly that the Fell bundle is weakly equivalent to the semidirect product Fell bundle of a global action. This global action is directly constructed from the Fell bundle. Indeed, it is the same action \(\alpha \) appearing in Abadie (2003) which takes place on the \({\mathrm {C}}^*\)-algebra of kernels \({\mathbb {k}(\mathcal {A})}\) of the Fell bundle \(\mathcal {A}\). As already shown in Abadie (2003), \({\mathbb {k}(\mathcal {A})}\) can be canonically identified with the crossed product \(C^*(\mathcal {A})\rtimes _{\delta _\mathcal {A}}G\) by the dual coaction \(\delta _\mathcal {A}\) of *G* on the full cross-sectional \({\mathrm {C}}^*\)-algebra \(C^*(\mathcal {A})\) of \(\mathcal {A}\); one can also use the reduced \({\mathrm {C}}^*\)-algebra \(C^*_\mathrm r(\mathcal {A})\) together with its dual coaction \(\delta _\mathcal {A}^\mathrm r\) of *G*, which is a normalisation of \(\delta _\mathcal {A}\). Since the dual coaction \(\delta _\mathcal {A}\) is maximal, \({\mathbb {k}(\mathcal {A})}\rtimes _\alpha G\cong C^*(\mathcal {A})\otimes \mathbb {K}(L^2(G))\) and similarly \({\mathbb {k}(\mathcal {A})}\rtimes _{\alpha ,\mathrm r}G\cong C^*_\mathrm r(\mathcal {A})\otimes \mathbb {K}(L^2(G))\). As a consequence of this, the notion of weak (hence strong) equivalence preserves full and reduced cross-sectional \({\mathrm {C}}^*\)-algebras, that is, weakly equivalent Fell bundles have (strongly Morita) equivalent full and reduced cross-sectional \({\mathrm {C}}^*\)-algebras. Using the same idea, we also derive a version of this result for certain exotic completions \(C^*_\mu (\mathcal {A})\) introduced in Buss and Echterhoff (2015) (some of the latter results were also obtained in Abadie and Ferraro (2017), though with different methods). Moreover, we show that two Fell bundles \(\mathcal {A}\) and \(\mathcal {B}\) are weakly equivalent if and only if the corresponding actions on their \({\mathrm {C}}^*\)-algebras of kernels \({\mathbb {k}(\mathcal {A})}\) and \({\mathbb {k}(\mathcal {B})}\) are equivariantly Morita equivalent, if and only if their dual coactions on \(C^*(\mathcal {A})\) and \(C^*(\mathcal {B})\) are equivariantly Morita equivalent. Strong equivalence of Fell bundles can also be characterised in a similar fashion by the restriction of the global actions on \({\mathbb {k}(\mathcal {A})}\) and \({\mathbb {k}(\mathcal {B})}\) to the partial actions on the \({\mathrm {C}}^*\)-algebras of compact operators \(\mathbb {K}(L^2(\mathcal {A}))\) and \(\mathbb {K}(L^2(\mathcal {B}))\).

Section 5 of the paper can be viewed as a sample of the potential applications of our main results from the previous sections. We study the partial action associated to Fell bundles on spectra level: a Fell bundle \(\mathcal {A}\) over *G* induces a partial action of *G* on the spectrum (both primitive and irreducible representations) of the unit fibre \(A_e\). This partial actions have already been introduced in Abadie and Abadie (2017) for discrete groups. We extend the construction to all locally compact groups, proving that the partial action is always continuous. We then show that the enveloping action of the spectral partial action associated to a Fell bundle \(\mathcal {A}\) is precisely the global action on the spectrum of \({\mathbb {k}(\mathcal {A})}\) induced by its canonical action \(\alpha \). In particular, many results of Abadie and Abadie (2017) can be obtained from the already existing results for crossed products by ordinary actions. In the same spirit we extend some results about amenability and nuclearity of crossed products to the realm of Fell bundles.

We also add an appendix where we use the tensor product construction of equivalence bundles from Abadie and Ferraro (2017) to prove that strong equivalence of Fell bundles is an equivalence relation.

## 2 Fell Bundles and Globalization of Weak Group Partial Actions

Let \(\mathcal {B}\) be a Fell bundle over a locally compact group *G*, both fixed for the rest of this article. We denote by \(\,\mathrm dt\) the integration with respect to a fixed left invariant Haar measure on *G* and write \(\Delta \) for the modular function of *G*.

### Notation 2.1

*X*and

*Y*for which a product

*xy*between elements \(x\in X\) and \(y\in Y\) is defined and is contained in a normed vector space, we write

*XY*to mean the closed linear space of all such products, that is,

*X*and

*Y*are subsets of two fibers \(B_r\) and \(B_s\) of a Fell bundle \(\mathcal {B}\), in which case

*XY*is a closed linear subspace of \(B_{rs}\).

Following Buss et al. (2013), we view a saturated Fell bundle \(\mathcal {B}\) as an *action by equivalences* of *G* on the \({\mathrm {C}}^*\)-algebra \(B_e\) (the unit fiber). A non-saturated Fell bundle is viewed as a *partial action by equivalences* of *G* on \(B_e\).

*U*such that

In this way every Fell bundle becomes a \({\mathrm {C}}^*\)-partial action by equivalence bimodules and the bundle is saturated if and only if the action is global (meaning that \(D_t^\mathcal {B}=D_e^\mathcal {B}=\mathcal {B}_e\) for all \(t\in G\)).

### Example 2.2

*G*on the \({\mathrm {C}}^*\)-algebra

*A*and let \(\mathcal {B}_\alpha \) be its semidirect product bundle, see Exel (1997). The fiber \(B_t\) is \(A_t\times \{t\}=A_t\delta _t\) and \(D^{\mathcal {B}_\alpha }_t = A_t\times \{e\}\cong A_t\). The operations on the equivalence \(A_t-A_{t^{-1}}\)-bimodule \(B_t\) are given by

Next we extend the notion of equivalence between partial actions to the context of Fell bundles.

### Definition 2.3

*G*. A

*right Hilbert*\(\mathcal {B}\)

*-bundle*is a Banach bundle \(\mathcal {X}\) over

*G*with continuous functions

- (1R)
For all \(r,s\in G\), \(X_rB_s\subseteq X_{rs}\) and \(\langle X_r,X_s{\rangle _\mathcal {B}}\subseteq B_{{r^{-1}}s}\).

- (2R)
For all \(r,s\in G\) and \(x\in X_r\) the function \(X_r\times B_s\rightarrow X_{rs}\), \((x,b)\mapsto xb\), is bilinear and \(X_s\rightarrow B_{{r^{-1}}s}\), \(y\mapsto \langle x,y{\rangle _\mathcal {B}}\), is linear.

- (3R)
For all \(x,y\in X\) and \(b\in B\), \(\langle x,y{\rangle _\mathcal {B}}^* =\langle y,x{\rangle _\mathcal {B}}\), \(\langle x,yb{\rangle _\mathcal {B}}=\langle x,y{\rangle _\mathcal {B}}b\), \(\langle x,x{\rangle _\mathcal {B}}\ge 0\) (in \(B_e\)) and \(\Vert x\Vert ^2 = \Vert \langle x,x{\rangle _\mathcal {B}}\Vert \).

*full*if

*strongly full*if

### Remark 2.4

- (1)
By a Banach bundle we mean a

*continuous*Banach bundle in the sense of Doran–Fell, see Doran and Fell (1988a). In particular, a Fell bundle is a continuous Banach bundle, by definition. However, the main axiom concerning the continuity of the bundle, namely, the continuity of the norm function \(\mathcal {B}\rightarrow [0,\infty )\), \(b\mapsto \Vert b\Vert \), is somehow automatic, see (Buss et al. 2013, Lemma 3.16). A similar observation holds for every Hilbert \(\mathcal {B}\)-bundle: the continuity of the norm function \(x\mapsto \Vert x\Vert \) on \(\mathcal {X}\) follows from the continuity of the norm function on \(\mathcal {B}\) because \(\Vert x\Vert =\Vert \langle x,x{\rangle _\mathcal {B}}\Vert ^{1/2}\). - (2)The fullness condition (2.2) is equivalent to the condition that$$\begin{aligned} B_r=\overline{{\text {span}}}\, \{\langle X_s,X_{sr}{\rangle _\mathcal {B}}:s\in G\}=\overline{{\text {span}}}\, \{\langle X_s,X_t{\rangle _\mathcal {B}}: s^{-1}t=r\} \end{aligned}$$

Left Hilbert bundles are similarly defined. We spell out the complete definition for convenience.

### Definition 2.5

*G*. A left Hilbert \(\mathcal {A}\)-bundle is a Banach bundle \(\mathcal {X}\) over

*G*with continuous functions

- (1L)
For all \(r,s\in G\), \(A_rX_s\subseteq X_{rs}\) and \({}_\mathcal {A}\langle X_r,X_s{\rangle }\subseteq A_{r{s^{-1}}}\).

- (2L)
For all \(r,s\in G\) and \(x\in X_r\) the function \(A_r\times X_s\rightarrow X_{rs}\), \((a,x)\mapsto ax\), is bilinear and \(X_s\rightarrow A_{s{r^{-1}}}\), \(y\mapsto {}_\mathcal {A}\langle y,x{\rangle }\), is linear.

- (3L)
For all \(x,y\in X\) and \(a\in A\), \({}_\mathcal {A}\langle x,y{\rangle }^* ={}_\mathcal {A}\langle y,x{\rangle }\), \({}_\mathcal {A}\langle ax,y{\rangle }=a{}_\mathcal {A}\langle x,y{\rangle }\), \({}_\mathcal {A}\langle x,x{\rangle }\ge 0\) (in \(A_e\)) and \(\Vert x\Vert ^2 = \Vert {}_\mathcal {A}\langle x,x{\rangle }\Vert \).

*full*, and if

*strongly full*.

### Definition 2.6

Let \(\mathcal {A}\) and \(\mathcal {B}\) be Fell bundles over *G*. A *weak*\(\mathcal {A}-\mathcal {B}\)-*equivalence bundle* is a Banach bundle \(\mathcal {X}\) which is a full left Hilbert \(\mathcal {A}\)-bundle, a full right Hilbert \(\mathcal {B}\)-bundle and \({}_\mathcal {A}\langle x,y{\rangle }z=x\langle y,z{\rangle _\mathcal {B}}\) for all \(x,y,z\in \mathcal {X}\). In this case we say that \(\mathcal {A}\) and \(\mathcal {B}\) are *weakly equivalent*. If, in addition, \(\mathcal {X}\) is strongly full, both as a left and right bundle, we say that \(\mathcal {X}\) is a *strong *\(\mathcal {A}-\mathcal {B}\)-*equivalence* and that \(\mathcal {A}\) and \(\mathcal {B}\) are *strongly equivalent*.

We have included an appendix where we show several properties regarding tensor products of equivalence bundles. For example we show, in Theorem A.1, that strong equivalence is an equivalence relation. Weak equivalence was shown to be an equivalence relation in Abadie and Ferraro (2017).

### Example 2.7

*A*and

*B*respectively, and suppose

*X*is an \(A-B\)-equivalence bimodule such that \(I_tX=XJ_t\) for all \(t\in G\). For \(t\in G\), define \(X_t:=I_tX=XJ_t\) and suppose \(\gamma =\{X_{t^{-1}}{\mathop {\rightarrow }\limits ^{\gamma _t}}X_t\}_{t\in G}\) is a partial action of

*G*on

*X*such that

*X*determines

*A*and

*B*up to isomorphism, and then \(\gamma ^l\) and \(\gamma ^r\) are determined by \(\gamma \); see Abadie (2003) for details). Let \(\mathbb {L}(\gamma )\) be the linking partial action of \(\gamma \) (see the proof of Proposition 4.5 of Abadie (2010)) and let \(\mathcal {B}_{\mathbb {L}(\gamma )}\) be the Fell bundle associated with \(\mathbb {L}(\gamma )\). Define \(\mathcal {X}_\gamma \) as the Banach subbundle of \(\mathcal {B}_{\mathbb {L}(\gamma )}\)

The notion of weak equivalence allows us to “identify” partial actions with the corresponding enveloping actions, in case these exist. This is explained in the following example. In particular this shows that a non-saturated Fell bundle may be weakly equivalent to a saturated one.

### Example 2.8

Let \(\beta \) be a global action of *G* on the \({\mathrm {C}}^*\)-algebra *B* and assume that *A* is a \({\mathrm {C}}^*\)-ideal of *B* such that \(B=\overline{{\text {span}}}\, \{\beta _t(A):t\in G\}\). This means that \(\beta \) is the enveloping (global) action of the partial action \(\alpha \) given as the restriction of \(\beta \) to *A* (see Abadie (2003)). In this situation, \(\mathcal {B}_\alpha \) is weakly equivalent to \(\mathcal {B}_\beta \). The equivalence is implemented by the bundle \(\mathcal {X}=A\times G\), considered as a Banach subbundle of \(\mathcal {B}_\beta \) and viewing \(\mathcal {B}_\alpha \) as a Fell subbundle of \(\mathcal {B}_\beta \). The operations are the ones inherited from the identity \(\mathcal {B}_\beta -\mathcal {B}_\beta \)-bundle. Notice that \(\mathcal {B}_\alpha \) is, in general, not strongly equivalent to \(\mathcal {B}_\beta \) because a strong equivalence between Fell bundles implies in a (strong) Morita equivalence between their unit fibers *A* and *B*. And it is easy to produce examples where this is not the case. For instance, one may take a commutative \({\mathrm {C}}^*\)-algebra \(B=\mathrm {C_0}(X)\) and an ideal \(A\subseteq B\) which is not isomorphic to *B*, like \(B=\mathrm {C_0}(\mathbb {R})\) and \(A=\mathrm {C_0}((0,1)\cup (1,2))\) with \(G=\mathbb {R}\) acting by translation.

With notation as in Example 2.8, we have \(\mathcal {B}_\alpha \mathcal {X}\subseteq \mathcal {X}\), \(\mathcal {X}\mathcal {B}_\beta =\mathcal {X}\), \(\mathcal {B}_\alpha =\mathcal {X}\mathcal {X}^*\) and \(\mathcal {X}^*\mathcal {X}=\mathcal {B}_\beta \) (where, for example, the equality \(\mathcal {B}_\alpha =\mathcal {X}\mathcal {X}^*\) means that the *t*-fiber of \(\mathcal {B}_\alpha \) is the closed linear span of all \(\mathcal {X}_s\mathcal {X}_r^*\) with \(sr^{-1}=t\)). This motivates the following.

### Definition 2.9

An enveloping bundle of a Fell bundle \(\mathcal {A}\) is a saturated Fell bundle \(\mathcal {B}\) for which there exists a Fell subbundle \(\mathcal {C}\subseteq \mathcal {B}\) and an isomorphism of Fell bundles \(\pi :\mathcal {A}\rightarrow \mathcal {C}\) such that for \(\mathcal {X}:=\mathcal {C}\mathcal {B}\), we have \(\mathcal {X}\mathcal {X}^*=\mathcal {C}\) and \(\mathcal {X}^*\mathcal {X}=\mathcal {B}\).

### Remark 2.10

With notation as above, the bundle \(\mathcal {X}\) above is a weak equivalence \(\mathcal {A}-\mathcal {B}\)-bundle with the operations \({}_\mathcal {A}\langle x ,y{\rangle }= \pi ^{-1}(xy^*)\), \((a,x)\mapsto \pi (a)x\), \(\langle x,y{\rangle _\mathcal {B}}= x^*y\) and \( (x,b)\mapsto xb\). Hence every Fell bundle is weakly equivalent to its enveloping bundle (if it admits one). The equivalence is, however, not strong in general (see Example 2.8).

Imitating the notion of Morita enveloping action from Abadie (2003) we state the following.

### Definition 2.11

A Morita enveloping bundle of a Fell bundle \(\mathcal {A}\) is a saturated Fell bundle \(\mathcal {B}\) which is the enveloping bundle of a Fell bundle strongly equivalent to \(\mathcal {A}\).

It is shown in Abadie (2003) that every partial action on a \({\mathrm {C}}^*\)-algebra has a Morita enveloping action. In the next section we show that every Fell bundle admits a Morita enveloping Fell bundle. Moreover, we show that this Morita enveloping Fell bundle can be realised as a semidirect product bundle of a global action. This global action is unique up to Morita equivalence of actions on \({\mathrm {C}}^*\)-algebras.

### Remark 2.12

Since weak equivalence of Fell bundles is an equivalence relation, the Morita enveloping bundle of a Fell bundle is unique up to weak equivalence. In fact, we will show in Corollary 4.11 that it is unique up to strong equivalence.

**The Bundle of Generalized Compact Operators**

Given a full right Hilbert \(\mathcal {B}\)-bundle \(\mathcal {X}\) there exists, up to isomorphism, a unique Fell bundle \(\mathbb {K}(\mathcal {X})\) such that \(\mathcal {X}\) is a weak \(\mathbb {K}(\mathcal {X})-\mathcal {B}\) equivalence bundle. We recall next the main lines of the construction of \(\mathbb {K}(\mathcal {X})\), and we refer to Abadie and Ferraro (2017) for complete details.

*x*,

*y*] has the following properties:

- (1)
\([x,y]X_r\subseteq X_{tr}\) for all \(r\in G\)

- (2)
[

*x*,*y*] is linear when restricted to each fiber \(X_r\) of \(\mathcal {X}\). - (3)
[

*x*,*y*] is continuous. - (4)
[

*x*,*y*] is bounded: its norm \(\Vert [x,y]\Vert :=\sup _{\{z\in \mathcal {X}:\Vert z\Vert \le 1\}}\Vert [x,y]z\Vert \) is finite with \(\Vert [x,y]\Vert \le \Vert x\Vert \,\Vert y\Vert \). - (5)
[

*x*,*y*] is adjointable: there exists a (necessarily unique)*adjoint*operator \([x,y]^*:\mathcal {X}\rightarrow \mathcal {X}\) such that \(\langle [x,y]z,z'\rangle =\langle z,[x,y]^*z'\rangle \) for all \(z,z'\in \mathcal {X}\). Moreover, we have \([x,y]^*=[y,x]\).

*t*. If \(G_d\) is the group

*G*with the discrete topology, it follows that the family \((\mathbb {B}_t(\mathcal {X}))_{t\in G}\) is a Fell bundle over \(G_d\), where the product is given by composition. Now define \(\mathbb {K}_t(\mathcal {X}):=\overline{\text {span}}\{[x,y]:\, x\in X_{ts}, y\in X_s, s\in G\}\). It is easy to check that \(\mathbb {K}(\mathcal {X}):=(\mathbb {K}_t(\mathcal {X}))_{t\in G}\) is a Fell subbundle of \((\mathbb {B}_t(\mathcal {X}))_{t\in G}\). Finally, there is a suitable topology on \(\mathbb {K}(\mathcal {X})\) making it a Fell bundle over

*G*, and \(\mathcal {X}\) is a weak \(\mathbb {K}(\mathcal {X})-\mathcal {B}\) equivalence bundle with the obvious operations and inner products, see Abadie and Ferraro (2017) for details.

The Fell bundle \(\mathbb {K}(\mathcal {X})\) is unique in the following sense: if \(\mathcal {X}\) is a weak \(\mathcal {A}-\mathcal {B}\) equivalence, then there exists an isomorphism \(\pi :\mathcal {A}\rightarrow \mathbb {K}(\mathcal {X})\) such that \(\pi ({}_{\mathcal {A}}\langle x,y\rangle )=[x,y]\) for all \(x,y\in \mathcal {X}\) (see Abadie and Ferraro 2017, Corollary 3.10).

**The Linking Fell Bundle of an Equivalence Bundle**

*X*, \(\tilde{X}\) denotes its dual \(B-A\) Hilbert bimodule). The operations and topology on \(\mathbb {L}(\mathcal {X})\) are defined as follows:

- (1)Product and involution on \(\mathbb {L}(\mathcal {X})\) are given by$$\begin{aligned} \begin{pmatrix} a &{}\quad x\\ \widetilde{y} &{}\quad b \end{pmatrix} \begin{pmatrix} c &{}\quad u\\ \widetilde{v} &{}\quad d \end{pmatrix} =\begin{pmatrix} ac + {}_\mathcal {A}\langle x,v{\rangle }&{}\quad au+xd\\ \widetilde{c^*y} + \widetilde{vb^*} &{}\quad \langle y,u{\rangle _\mathcal {B}}+ bd \end{pmatrix} \quad \text{ and } \end{aligned}$$$$\begin{aligned} \begin{pmatrix} a &{}\quad x\\ \widetilde{y} &{}\quad b \end{pmatrix}^* =\begin{pmatrix} a^* &{}\quad y\\ \widetilde{x} &{}\quad b^* \end{pmatrix}.\end{aligned}$$
- (2)Given \(\xi \in C_c(\mathcal {A})\), \(\eta \in C_c(\mathcal {B})\) and \(f,g\in C_c(\mathcal {X})\) the functionis a continuous section (see Doran and Fell 1988a, 13.18).$$\begin{aligned}\begin{pmatrix} \xi &{}\quad f\\ g &{}\quad \eta \end{pmatrix}:G\rightarrow \mathbb {L}(\mathcal {X}), \ t\mapsto \begin{pmatrix} \xi (t) &{}\quad f(t)\\ {\widetilde{g({t^{-1}})}} &{}\quad \eta (t) \end{pmatrix} \end{aligned}$$

## 3 Canonical Action on the Kernels and Morita Equivalence

### Proposition 3.1

### Proof

To simplify the notation we define \(L_r:=\mathrm {C_c}(\mathcal {B})\times \{r\}\subseteq \mathcal {L}^2\mathcal {B}\). It is clear that the function \(L_r\times B_t\rightarrow L_{rt}\), \((f\delta _r,b)\mapsto f\delta _rb\), is bilinear and that \(L_r\times L_s\rightarrow B_{{r^{-1}}s},\ g\delta _s\mapsto \langle f\delta _r,g\delta _s{\rangle _\mathcal {B}}\), is linear. Straightforward computations show that \(\langle f\delta _r,g\delta _s b{\rangle _\mathcal {B}}= \langle f\delta _r,g\delta _s{\rangle _\mathcal {B}}b\), \(\langle f\delta _r,g\delta _s b{\rangle _\mathcal {B}}^*=\langle g\delta _s b,f\delta _r{\rangle _\mathcal {B}}\) and \(\langle f\delta _r,f\delta _r{\rangle _\mathcal {B}}= \Delta (r)^{-1}\langle f,f\rangle _{L^2}\). In particular, \(\langle f\delta _r,f\delta _r{\rangle _\mathcal {B}}\ge 0\).

*f*[

*g*(

*s*)] means

*f*acting on \(b=g(s)\) as defined in (3.2). The continuity of the first function follows adapting (Doran and Fell 1988a, II 15.19). The other function has range in \(\mathrm {C_c}(\mathcal {B})\) and is continuous in the inductive limit topology, so it is continuous as a function with codomain \(L^2(\mathcal {B})\). \(\square \)

### Definition 3.2

The *canonical *\(L^2\)*-bundle* of the Fell bundle \(\mathcal {B}\) is the Hilbert \(\mathcal {B}\)-bundle \(\mathcal {L}^2\mathcal {B}\) described in the last Proposition.

We are interested in the identification of the Fell bundle of generalized compact operators \(\mathbb {K}(\mathcal {L}^2\mathcal {B})\) of \(\mathcal {L}^2\mathcal {B}\) (see end of Sect. 2), up to isomorphism of Fell bundles, because this Fell bundle is weakly equivalent to \(\mathcal {B}\). We will show that \(\mathbb {K}(\mathcal {L}^2\mathcal {B})\) is a semidirect product Fell bundle associated to an action of *G* on a \({\mathrm {C}}^*\)-algebra.

Completing \(\mathbb {k}_c(\mathcal {B})\) with respect to \(\Vert \ \Vert _2\) we obtain the Banach *-algebra \(\mathcal {HS}(\mathcal {B})\) of Hilbert-Schmidt operators of \(\mathcal {B}\). The \({\mathrm {C}}^*\)-*algebra of kernels* of \(\mathcal {B}\) is the enveloping \({\mathrm {C}}^*\)-algebra of \(\mathcal {HS}(\mathcal {B})\); it is denoted by \({\mathbb {k}(\mathcal {B})}\). There is a canonical action of *G* on \({\mathbb {k}(\mathcal {B})}\) given by the formula \( \beta _t(k)(r,s) = \Delta (t)k(rt,st)\) for \(k\in \mathbb {k}_c(\mathcal {B})\) and \(r,s,t\in G\).

The \({\mathrm {C}}^*\)-algebra \(\mathbb {K}(L^2(\mathcal {B}))\) of (generalised) compact operators of the Hilbert \(B_e\)-module \(L^2(\mathcal {B})\) can be canonically identified with an ideal in \({\mathbb {k}(\mathcal {B})}\): for \(f,g\in \mathrm {C_c}(\mathcal {B})\), the usual operator \(\theta _{f,g}\in \mathbb {K}(L^2(\mathcal {B}))\) given by \(\theta _{f,g}(h)=f\langle g{\mid }h\rangle \) is identified with the element \({}_{\mathbb {k}}\langle f,g\rangle \in \mathbb {k}_c(\mathcal {B})\) defined by \({}_{\mathbb {k}}\langle f,g\rangle (r,s)=f(r)g(s)^*\). These elements span an ideal \(I_c(\mathcal {B}):={\text {span}}\{{}_{\mathbb {k}}\langle f,g\rangle :f,g\in \mathrm {C_c}(\mathcal {B})\}\) in \(\mathbb {k}_c(\mathcal {B})\). Its closure \(I(\mathcal {B})\) is therefore a \({\mathrm {C}}^*\)-ideal of \({\mathbb {k}(\mathcal {B})}\). The \(\beta \)-orbit of \(I_c(\mathcal {B})\) is dense in \(\mathbb {k}_c(\mathcal {B})\) in the inductive limit topology. Moreover, \(I_c(\mathcal {B})\) is dense in \(\mathbb {k}_c(\mathcal {B})\) in the inductive limit topology if and only if \(\mathcal {B}\) is saturated.

### Remark 3.3

*G*on \(C^*(\mathcal {B})\), the so-called

*dual coaction*, and it is shown in Abadie (2003) that \({\mathbb {k}(\mathcal {B})}\) is canonically isomorphic to the crossed product \(C^*(\mathcal {B})\rtimes _{\delta _\mathcal {B}}G\) by this coaction. Moreover, this isomorphism carries the canonical action of

*G*on \({\mathbb {k}(\mathcal {B})}\) to the dual action of

*G*on \(C^*(\mathcal {B})\rtimes _{\delta _\mathcal {B}}G\). Thus \({\mathbb {k}(\mathcal {B})}\cong C^*(\mathcal {B})\rtimes _{\delta _\mathcal {B}}G\) as

*G*-\({\mathrm {C}}^*\)-algebras. The dual coaction on \(C^*(\mathcal {B})\) is

*maximal*and its

*normalisation*is the dual coaction \(\delta _\mathcal {B}^\mathrm r\) on \(C^*_\mathrm r(\mathcal {B})\) (see Buss and Echterhoff 2015). This means that the regular representation \(C^*(\mathcal {B})\twoheadrightarrow C^*_\mathrm r(\mathcal {B})\) induces an isomorphism \(C^*(\mathcal {B})\rtimes _{\delta _\mathcal {B}}G\cong C^*_\mathrm r(\mathcal {B})\rtimes _{\delta _{\mathcal {B}}^\mathrm r}G\cong {\mathbb {k}(\mathcal {B})}\) and, moreover, there exists a natural isomorphism

Before we state our next result we introduce some notation. We shall denote by \(\mathcal {B}_\beta ={\mathbb {k}(\mathcal {B})}\times _\beta G\) the semidirect product Fell bundle associated to \(\beta \) (as defined in Doran and Fell 1988b, page 798 for ordinary actions or, more generally, for twisted partial actions in Exel 1997).

Recall that \(\mathbb {K}(L^2(\mathcal {B}))\) can be identified with an ideal of \({\mathbb {k}(\mathcal {B})}\), so we have a representation of \({\mathbb {k}(\mathcal {B})}\) as adjointable operators of \(L^2(\mathcal {B})\). We use the notation *Tf* to represent the action of \(T\in {\mathbb {k}(\mathcal {B})}\) on \(f\in L^2(\mathcal {B})\). For every \(k\in \mathbb {k}_c(\mathcal {B})\) and \(f\in \mathrm {C_c}(\mathcal {B})\) we have \(kf\in \mathrm {C_c}(\mathcal {B})\) and \(kf(r)=\int _G k(r,s)f(s)\,\mathrm ds\).

### Theorem 3.4

### Proof

The continuity of the left operations follows directly from their definition and from the fact that the topologies of \(\mathcal {B}_\beta ={\mathbb {k}(\mathcal {B})}\times G\) and \(\mathcal {L}^2\mathcal {B}= L^2(\mathcal {B})\times G\) are the product topologies.

*x*. \(\square \)

The following result shows that every Fell bundle is strongly equivalent to the semidirect product Fell bundle of a partial action.

### Theorem 3.5

Let \(\mathcal {B}\) be a Fell bundle and denote by \(\mathcal {L}^2\mathcal {B}=\{L_t\}_{t\in G}\) its canonical \(L^2\)-bundle. If \(\mathcal {X}=\{L_t B_t^*B_t\}_{t\in G}\) and \(\alpha \) is the restriction to \(\mathbb {K}:=\mathbb {K}(L^2(\mathcal {B}))\) of the canonical action on the \({\mathrm {C}}^*\)-algebra of kernels of \(\mathcal {B}\), then \(\mathcal {X}\) is a Banach subbundle of \(\mathcal {L}^2\mathcal {B}\) and it is a strong equivalence \(\mathcal {B}_\alpha -\mathcal {B}\)-bundle with the structure inherited from \(\mathcal {L}^2\mathcal {B}\).

### Proof

Since \(\{B_t^*B_t\}_{t\in G}\) is a continuous family of ideals of \(B_e\), \(\mathcal {X}\) is a Banach subbundle of \(\mathcal {L}^2\mathcal {B}\).

To simplify our notation we define \(\mathbb {K}_t:=\beta _t(\mathbb {K})\cap \mathbb {K}=\beta _t(\mathbb {K})\cdot \mathbb {K}\). Recall that the fiber over *t* of \(\mathcal {B}_\alpha \) is \(\mathbb {K}_t\delta _t\).

To continue we identify the ideal of \(\mathbb {K}\) corresponding to \(B_t^*B_t\) through \(L^2(\mathcal {B})\); we claim this ideal is \(\mathbb {K}_{t^{-1}}\). Given \(f,g\in \mathrm {C_c}(\mathcal {B})\) and \(a,b,c,d\in B_t\) we define \(u,v\in \mathrm {C_c}(\mathcal {B})\) by \(u(r):=f(rt)a^*bd^*\) and \(v(r):=g(rt)c^*\). Then \( {}_{\mathbb {k}}\langle f a^*b ,g c^*d \rangle = \beta _{t^{-1}}({}_{\mathbb {k}}\langle u,v\rangle )\in \mathbb {K}_{t^{-1}}\). This implies \(L^2(\mathcal {B})B_t^*B_t\subseteq \mathbb {K}_{t^{-1}}L^2(\mathcal {B})\).

*k*represents an element of the ideal \(\mathbb {K}\), then \(k(s,t)\in \mathcal {B}_s\mathcal {B}_t^*\) for all \(s,t\in G\). Since \(f^*(s)k(r{t^{-1}},s{t^{-1}})^*g(r)\in B_{s^{-1}}B_{s{t^{-1}}} B_{t {r^{-1}}} B_r \subseteq B_{t^{-1}}B_t=B_t^*B_t\) for all \(r,s\in G\), we conclude that \(\mathbb {K}_{t^{-1}}L^2(\mathcal {B})=L^2(\mathcal {B})B_t^*B_t\).

*f*as \(f=T'f'\) with \(T'\in \mathbb {K}\) and \(f'\in L^2(\mathcal {B})\). Since \(L_{rs}B_{rs}^*B_{rs}= \beta _{rs}^{-1}(\mathbb {K})\mathbb {K}L^2(\mathcal {B})\delta _{rs}\) we have

As an immediate consequence of the last result and Example 2.8, we get that every Fell bundle has a Morita enveloping Fell bundle which is the semidirect product bundle of an action on a \({\mathrm {C}}^*\)-algebra. We will see later (Corollary 4.11) that the Morita enveloping Fell bundle is unique up to strong equivalence.

## 4 Morita Equivalence of Actions and Fell Bundles

From the previous sections we know that the canonical action on the \({\mathrm {C}}^*\)-algebra of kernels of a Fell bundle determines the weak equivalence class of that bundle. But what can we say about the canonical actions on the kernels of two weakly equivalent Fell bundles? Of course these actions, when viewed as Fell bundles are weakly equivalent. Our goal is to show that they are (Morita) equivalent as actions (hence strongly equivalent as Fell bundles).

Assume \(\mathcal {A}\) and \(\mathcal {B}\) are Fell bundles over *G* and let \(\alpha \) and \(\beta \) stand for the canonical actions on the \({\mathrm {C}}^*\)-algebras of kernels of \(\mathcal {A}\) and \(\mathcal {B}\), respectively. If \(\alpha \) is Morita equivalent to \(\beta \) (as actions on \({\mathrm {C}}^*\)-algebras) then \(\mathcal {B}_\alpha \) and \(\mathcal {B}_\beta \) are equivalent as Fell bundles (via a strong equivalence: Example 2.7) and, by transitivity, \(\mathcal {A}\) is weakly equivalent to \(\mathcal {B}\). Before proving the converse we prove the following.

### Lemma 4.1

If \(\mathcal {A}\) is a Fell subbundle of \(\mathcal {B}\) then the natural inclusion \(\iota :\mathbb {k}_c(\mathcal {A})\rightarrow \mathbb {k}_c(\mathcal {B})\) extends to an injective (hence isometric) \(^{*}\)-homomorphism \(\pi :\mathbb {k}(\mathcal {A})\rightarrow \mathbb {k}(\mathcal {B})\).

### Proof

First note that \(\iota \) has a unique extension to a *-homomorphism \(\mathcal {HS}(\mathcal {A})\rightarrow \mathcal {HS}(\mathcal {B})\), which induces the *-homomorphism \(\pi :\mathbb {k}(\mathcal {A})\rightarrow \mathbb {k}(\mathcal {B})\) that we want to show is injective. Since \(\mathcal {A}\) is included in \(\mathcal {B}\), \(L^2(\mathcal {A})\) is contained in \(L^2(\mathcal {B})\) as a \({\mathrm {C}}^*\)-subtring and we may think of \(I:=\mathbb {K}(L^2(\mathcal {A}))\) as a \({\mathrm {C}}^*\)-subalgebra of \(\mathbb {K}(L^2(\mathcal {B}))\) (see Abadie 2003, Proposition 4.1). This implies that \(\pi |_{I}\) is injective.

Since \(\pi \) is \(\alpha -\beta \)-equivariant, the \(\beta \)-closed linear orbit of \(\pi (I)\) is \(\pi (\mathbb {k}(\mathcal {A}))\). Moreover, \(\pi |_I:I\rightarrow \pi (I)\) is an isomorphism of partial actions between \(\alpha |_I\) and \(\beta |_{\pi (I)}\). Since \(\alpha \) is an enveloping action of \(\alpha |_I\) and \(\beta |_{\pi (\mathbb {k}(\mathcal {A}))}\) one of \(\beta |_{\pi (I)}\), the uniqueness of the enveloping action (Abadie 2003, Theorem 2.1) implies the unique \(\alpha - \beta \)-equivariant extension of \(\pi |_I\)is injective. But this extension is \(\pi \). \(\square \)

### Theorem 4.2

Let \(\mathcal {A}\) and \(\mathcal {B}\) be Fell bundles over *G* and let \(\alpha \) and \(\beta \) be the canonical actions on the \({\mathrm {C}}^*\)-algebras of kernels of \(\mathcal {A}\) and \(\mathcal {B}, \) respectively. Then \(\mathcal {A}\) is weakly equivalent to \(\mathcal {B}\) if and only if \(\alpha \) is Morita equivalent to \(\beta \).

### Proof

The converse follows by the comments we made at the beginning of the present section. For the direct implication assume that \(\mathcal {X}\) is an \(\mathcal {A}-\mathcal {B}\) equivalence bundle. We may think of \(\mathcal {A}\) and \(\mathcal {B}\) as full hereditary Fell subbundles of their linking Fell bundle \(\mathbb {L}(\mathcal {X})\), so \({\mathbb {k}(\mathcal {A})}\) and \({\mathbb {k}(\mathcal {B})}\) are \({\mathrm {C}}^*\)-subalgebras of \(\mathbb {k}(\mathbb {L}(\mathcal {X}))\) by Lemma 4.1. Note that \(\mathbb {k}_c(\mathcal {A})\mathbb {k}_c(\mathbb {L}(\mathcal {X})) \mathbb {k}_c(\mathcal {A})\subseteq \mathbb {k}_c(\mathcal {A})\) and \(\mathbb {k}_c(\mathcal {B})\mathbb {k}_c(\mathbb {L}(\mathcal {X})) \mathbb {k}_c(\mathcal {B})\subseteq \mathbb {k}_c(\mathcal {B})\), so by taking completion we conclude that \({\mathbb {k}(\mathcal {A})}\) and \({\mathbb {k}(\mathcal {B})}\) are hereditary in \(\mathbb {k}(\mathbb {L}(\mathcal {X}))\).

Note that \(\mathbb {k}_c(\mathcal {A})\mathbb {k}_c(\mathcal {X})\subseteq \mathbb {k}_c(\mathcal {X})\) and \(\mathbb {k}_c(\mathcal {X})\mathbb {k}_c(\mathcal {X})^*\subseteq \mathbb {k}_c(\mathcal {A})\), so by taking closures and linear span we obtain \({\mathbb {k}(\mathcal {A})}\mathbb {k}(\mathcal {X})\subseteq \mathbb {k}(\mathcal {X})\) and \(\mathbb {k}(\mathcal {X})\mathbb {k}(\mathcal {X})^*\subseteq {\mathbb {k}(\mathcal {A})}\). By symmetry, we also have \(\mathbb {k}(\mathcal {X}){\mathbb {k}(\mathcal {B})}\subseteq \mathbb {k}(\mathcal {X})\) and \(\mathbb {k}(\mathcal {X})^*\mathbb {k}(\mathcal {X})\subseteq {\mathbb {k}(\mathcal {B})}\).

The next step is to show that \(\mathbb {k}(\mathcal {X})^*\mathbb {k}(\mathcal {X})={\mathbb {k}(\mathcal {B})}\). Set \(\Gamma :=\overline{{\text {span}}}\, \{ f^{*}*g:f,g\in \mathbb {k}_c(\mathbb {L}(\mathcal {X})) \}\), considered as a subset of the pullback \(\mathcal {C}\) of \(\mathcal {B}\) along the map \(G\times G\rightarrow G,\ (r,s)\mapsto r{s^{-1}}\). To show that \(\Gamma \) is dense in the inductive limit topology on \(\mathrm {C_c}(\mathcal {C})=\mathbb {k}_c(\mathcal {B})\) (and so dense in \({\mathbb {k}(\mathcal {B})}\)) we use (Abadie 2003, Lemma 5.1). Now consider the algebraic tensor product \(\mathrm {C_c}(G)\odot \mathrm {C_c}(G)\) as a dense subspace of \(\mathrm {C_c}(G\times G)\) for the inductive limit topology. Given \(f,g\in \mathbb {k}_c(\mathcal {B})\) and \(\phi ,\psi \in \mathrm {C_c}(G)\) define \(\phi \cdot f (r,s):=\phi (r)f(r,s)\). Then \((\phi \odot \psi )f^* *g = (\phi ^* f)^* * (\psi g)\in \Gamma \). So \(\mathrm {C_c}(G)\odot \mathrm {C_c}(G)\Gamma \subseteq \Gamma \) and it suffices to show that, for every \((r,s)\in G\), \(\{u(r,s):u\in \Gamma \}\) is dense in \(B_{r{s^{-1}}}\).

*e*, \(\mathcal {N}\), ordered by inclusion: \(U\le V\) if and only if \(V\subseteq U\) and for every \(U\in \mathcal {N}\) take \(\phi \in \mathrm {C_c}(G)^+\) with support contained in

*U*and such that \(\int _G \phi _U^2(p)\,\mathrm dp=1\). Define \(k_f^U\in \mathbb {k}_c(\mathcal {X})\) as \(k_f^U(p,q)=\phi ({t^{-1}}p)f(pq^{-1})\). Then

*C*of \(\{u(r,s):u\in \Gamma \}\) contains \(\langle X_{t{r^{-1}}},X_{t{s^{-1}}}{\rangle _\mathcal {B}}\) for all \(t\in G\). By Remark 2.4 this implies \(C=B_{r{s^{-1}}}\).

Now we know that \(\mathbb {k}(\mathcal {X})\) is a \({\mathbb {k}(\mathcal {A})}-{\mathbb {k}(\mathcal {B})}\)-equivalence bimodule. To finish the proof note that if \(\gamma \) is the canonical action of *G* on \(\mathbb {k}(\mathbb {L}(\mathcal {X}))\) then \(\mathbb {k}(\mathcal {X})\) is \(\gamma \)-invariant, \(\alpha =(\gamma |_{\mathbb {k}(\mathcal {X})})^l\) and \(\beta = (\gamma |_{\mathbb {k}(\mathcal {X})})^r\) (recall the notation from Example 2.7). \(\square \)

### Corollary 4.3

(cf. Abadie and Ferraro 2017, Proposition 4.13) If \(\mathcal {A}\) and \(\mathcal {B}\) are weakly equivalent Fell bundles over *G*, then their full and reduced cross-sectional \({\mathrm {C}}^*\)-algebras are (strongly) Morita equivalent. This equivalence respects the dual coactions. Conversely, if the dual coactions on the (full or reduced) cross-sectional \({\mathrm {C}}^*\)-algebras of \(\mathcal {A}\) and \(\mathcal {B}\) are equivalent (as coactions), then \(\mathcal {A}\) and \(\mathcal {B}\) are weakly equivalent as Fell bundles.

### Proof

By Theorem 4.2, \(\mathcal {A}\) and \(\mathcal {B}\) are weakly equivalent if and only if their \({\mathrm {C}}^*\)-algebras of kernels \({\mathbb {k}(\mathcal {A})}\) and \({\mathbb {k}(\mathcal {B})}\) are *G*-equivariantly Morita equivalent. And by Remark 3.3, we have canonical isomorphisms of *G*-\({\mathrm {C}}^*\)-algebras \({\mathbb {k}(\mathcal {A})}\cong C^*(\mathcal {A})\rtimes _{\delta _\mathcal {A}}G\cong C^*_\mathrm r(\mathcal {A})\rtimes _{\delta _\mathcal {A}^\mathrm r}G\) and \({\mathbb {k}(\mathcal {B})}\cong C^*(\mathcal {B})\rtimes _{\delta _\mathcal {B}}G\cong C^*_\mathrm r(\mathcal {B})\rtimes _{\delta _\mathcal {B}^\mathrm r}G\), where \(\delta _\mathcal {A}^{(\mathrm r)}\) and \(\delta _\mathcal {B}^{(\mathrm r)}\) denote the dual coactions on \(C^*_{(\mathrm r)}(\mathcal {A})\) and \(C^*_{(\mathrm r)}(\mathcal {B})\), respectively. The coaction \(\delta _\mathcal {A}\) is maximal, and the coaction \(\delta _\mathcal {A}^{\mathrm r}\) is normal (the normalisation of \(\delta _\mathcal {A}\)), see Buss and Echterhoff (2015). This means that \(\delta _\mathcal {A}\) (resp. \(\delta _\mathcal {A}^\mathrm r\)) is Morita equivalent to the dual coaction on \({\mathbb {k}(\mathcal {A})}\rtimes _\alpha G\) (resp. \({\mathbb {k}(\mathcal {A})}\rtimes _{\alpha ,\mathrm r} G\)), and a similar assertion holds for \(\mathcal {B}\) in place of \(\mathcal {A}\). Combining all this and the standard result that equivalent actions or coactions have equivalent (full or reduced) crossed products, the desired result now follows. \(\square \)

### Remark 4.4

Recall that a Fell bundle \(\mathcal {A}\) is *amenable* if the regular representation \(\lambda _\mathcal {A}:C^*(\mathcal {A})\rightarrow C^*_\mathrm r(\mathcal {A})\) is faithful.

### Corollary 4.5

Let \(\mathcal {A}\) and \(\mathcal {B}\) be two weakly equivalent Fell bundles. Then \(\mathcal {A}\) is amenable if and only if \(\mathcal {B}\) is amenable.

### Proof

As already explained in Remark 3.3, the canonical isomorphism \(C^*(\mathcal {A})\otimes \mathbb {K}(L^2(G))\cong {\mathbb {k}(\mathcal {A})}\rtimes _\alpha G\) factors (via the regular representations) through an isomorphism \(C^*_\mathrm r(\mathcal {A})\otimes \mathbb {K}(L^2(G))\cong {\mathbb {k}(\mathcal {A})}\rtimes _{\alpha ,\mathrm r} G\). This means that \(\mathcal {A}\) is amenable if and only if the *G*-action \(\alpha \) on \({\mathbb {k}(\mathcal {A})}\) is amenable in the sense that the regular representation \({\mathbb {k}(\mathcal {A})}\rtimes _{\alpha } G\rightarrow {\mathbb {k}(\mathcal {A})}\rtimes _{\alpha ,\mathrm r} G\) is faithful. Since \(\mathcal {A}\) is weakly equivalent to \(\mathcal {B}\) if and only if the *G*-actions on \({\mathbb {k}(\mathcal {A})}\) and \({\mathbb {k}(\mathcal {B})}\) are equivalent by Theorem 4.2, the assertion follows from the well-known result that amenability of actions is preserved by equivalence of actions. \(\square \)

We will have more to say about amenability in Sect. 6.

### Corollary 4.6

Let \(\alpha \) and \(\beta \) be partial actions of *G* on \({\mathrm {C}}^*\)-algebras. Then \(\mathcal {B}_\alpha \) is weakly equivalent to \(\mathcal {B}_\beta \) if and only if \(\alpha \) and \(\beta \) have equivalent Morita enveloping actions.

### Proof

Recall from Abadie (2003) that the canonical action on the \({\mathrm {C}}^*\)-algebra of kernels of \(\mathcal {B}_\alpha \) is a Morita enveloping action for \(\alpha \) and that Morita enveloping actions are unique up to Morita equivalence of actions. Then the proof follows directly using transitivity of Morita equivalence of Fell bundles and the last theorem. \(\square \)

Our next theorem will show that strong equivalence of Fell bundles corresponds to Morita equivalence of partial actions in the ordinary sense (recall Example 2.7 and the notation used there). First we need the following auxiliary result.

### Lemma 4.7

Suppose *X* is an \(A-B\)-equivalence bimodule, \(\gamma \) is an action of *G* on *X* and that *I* and *J* are \({\mathrm {C}}^*\)-ideals of *A* and *B* (respectively) such that \(IX=XJ\). Then \(\gamma ^l|_I=(\gamma |_{IX})^l\) and \(\gamma ^r|_J=(\gamma |_{XJ})^r\). In particular \(\gamma ^l|_I\) is Morita equivalent to \(\gamma ^r|_J\) (as partial actions).

### Proof

*X*corresponding to \(I_t=I\cap \alpha _t(I)\) is \(IX\cap \gamma _t(IX)\). By symmetry we obtain \(I_t X=XJ_t\). Since \(I_{t^{-1}}=\overline{{\text {span}}}\, {}_A\langle X\cap \gamma _t(IX),X\cap \gamma _t(IX)\rangle \) and for \(x,y\in X\cap \gamma _t(IX)\) we have

### Theorem 4.8

Let \(\mathcal {A}\) and \(\mathcal {B}\) be Fell bundles over *G* and denote by \(\alpha \) and \(\beta \) the restrictions of the canonical action on the \({\mathrm {C}}^*\)-algebras of kernels, \({\mathbb {k}(\mathcal {A})}\) and \({\mathbb {k}(\mathcal {B})}\), to \(\mathbb {K}_\mathcal {A}:=\mathbb {K}(L^2(\mathcal {A}))\) and \(\mathbb {K}_\mathcal {B}:=\mathbb {K}(L^2(\mathcal {B}))\), respectively. Then \(\mathcal {A}\) is strongly equivalent to \(\mathcal {B}\) if and only if \(\alpha \) is Morita equivalent to \(\beta \).

### Proof

If \(\alpha \) is equivalent to \(\beta \) in the usual sense (as defined in Abadie (2003)), then their associated Fell bundles \(\mathcal {B}_\alpha \) and \(\mathcal {B}_\beta \) are strongly equivalent, as shown in Example 2.7. Since \(\mathcal {A}\) (resp. \(\mathcal {B}\)) is strongly equivalent to \(\mathcal {B}_\alpha \) (resp. \(\mathcal {B}_\beta \)) by Theorem 3.5, the strong equivalence between \(\mathcal {A}\) and \(\mathcal {B}\) follows by transitivity (Theorem A.1).

For the converse assume that \(\mathcal {X}\) is a strong equivalence \(\mathcal {A}-\mathcal {B}\)-bundle. Let \(\mathbb {k}(\mathcal {X})\) be the \({\mathbb {k}(\mathcal {A})}-{\mathbb {k}(\mathcal {B})}\)-equivalence bimodule constructed in the proof of Theorem 4.2, which was constructed inside \(\mathbb {k}(\mathbb {L}(\mathcal {X}))\).

By the previous Lemma and the proof of Theorem 4.2 it suffices to show that \(\mathbb {K}_\mathcal {A}\mathbb {k}(\mathcal {X})=\mathbb {k}(\mathcal {X})\mathbb {K}_\mathcal {B}\). Let \(\mathcal {C}\) be the pullback of \(\mathcal {B}\) along the map \(\rho :G^2\rightarrow G,\ (r,s)\mapsto r{s^{-1}}\). We think of \(\mathbb {k}_c(\mathcal {B})\) as \(\mathrm {C_c}(\mathcal {C})\).

Note that the bundle \(\mathcal {D}^\mathcal {B}:=\{B_rB_{{s^{-1}}}\}_{(r,s)\in G^2}\) is a Banach subbundle of \(\mathcal {C}\) (recall Notation 2.1). Moreover, using Abadie (2003, Lemma 5.1) (as in the proof of Theorem 4.2) one shows that \({\text {span}}\{ {}_{\mathbb {k}}\langle f,g\rangle :f,g\in \mathrm {C_c}(\mathcal {B}) \}\) is dense in \(\mathrm {C_c}(\mathcal {D}^\mathcal {B})\) for the inductive limit topology. Thus \(\mathbb {K}_\mathcal {B}\) is the closure of \(\mathrm {C_c}(\mathcal {D}^\mathcal {B})\) in \({\mathbb {k}(\mathcal {B})}\).

In a similar way define \(\mathcal {D}^{\mathcal {X}\mathcal {B}}:=\{X_rB_{s^{-1}}\}_{(r,s)\in G^2}\), which is a Banach subbundle of the pullback of \(\mathbb {L}(\mathcal {X})\) along \(\rho \). Note that \(\mathbb {k}_c(\mathcal {X}){\text {span}}{}_{\mathbb {k}}\langle \mathrm {C_c}(\mathcal {B}),\mathrm {C_c}(\mathcal {B})\rangle \subseteq \mathrm {C_c}(\mathcal {D}^\mathcal {X})\) and that, by arguments similar to those in the proof of Theorem 4.2, \(\mathbb {k}_c(\mathcal {X}){\text {span}}{}_{\mathbb {k}}\langle \mathrm {C_c}(\mathcal {B}),\mathrm {C_c}(\mathcal {B})\rangle \) is dense in \(\mathrm {C_c}(\mathcal {D}^{\mathcal {X}\mathcal {B}})\) for the inductive limit topology. Thus \(\mathbb {k}(\mathcal {X}){\mathbb {k}(\mathcal {B})}\) is the closure of \(\mathrm {C_c}(\mathcal {D}^{\mathcal {X}\mathcal {B}})\) in \(\mathbb {k}(\mathbb {L}(\mathcal {X}))\).

The next result shows that our notion of strong equivalence of Fell bundles recovers exactly the notion of equivalence of partial actions (introduced in Abadie (2003)).

### Corollary 4.9

Let \(\alpha \) and \(\beta \) be partial actions of *G* on \({\mathrm {C}}^*\)-algebras. Then \(\alpha \) is Morita equivalent to \(\beta \) if and only if \(\mathcal {B}_\alpha \) is strongly equivalent to \(\mathcal {B}_\beta \).

### Proof

This follows from Theorem 4.8 together with the fact (proved in Abadie (2003)) that the restricted partial action to \(\mathbb {K}(L^2(\mathcal {B}_\alpha ))\) of the canonical global action on \(\mathbb {k}(\mathcal {B}_\alpha )\) is Morita equivalent to \(\alpha \). \(\square \)

### Corollary 4.10

Two saturated Fell bundles are weakly equivalent if and only they are strongly equivalent.

### Proof

If \(\mathcal {A}\) is a saturated Fell bundle, then its \({\mathrm {C}}^*\)-algebra of kernels \({\mathbb {k}(\mathcal {A})}\) coincides with \(\mathbb {K}(L^2(\mathcal {A}))\) and the canonical partial action is already global (see Abadie 2003, Proposition 5.4). The result now follows as a direct combination of Theorems 4.2 and 4.8. \(\square \)

Now, combining Corollary 4.10, Example 2.8, Remark 2.12, and Theorem 3.5, we get:

### Corollary 4.11

Every Fell bundle has a Morita enveloping Fell bundle which is the semidirect product bundle of an action on a C*-algebra. This action is unique up to (strong) Morita equivalence of actions on \({\mathrm {C}}^*\)-algebras. Any two Morita enveloping Fell bundles of a Fell bundle are strongly equivalent.

## 5 Partial Actions Associated with Fell Bundles

By the *spectrum* of a \({\mathrm {C}}^*\)-algebra *A* we mean the space \(\hat{A}\) of unitary equivalence classes \([\pi ]\) of irreducible representations \(\pi \) of *A* with the Jacobson topology induced from the primitive ideal space \({{\mathrm{Prim}}}(A)=\{\ker (\pi ): [\pi ]\in \hat{A}\}\). Open subsets of \(\hat{A}\) or \({{\mathrm{Prim}}}(A)\) correspond bijectively to ideals of *A*: the open subset of \({{\mathrm{Prim}}}(A)\) (resp. \(\hat{A}\)) associated with an ideal \(I\subseteq A\) is \(\{p\in {{\mathrm{Prim}}}(A): I\varsubsetneq p\}\) (resp. \(\{[\pi ]: \pi |_I\not =0\}\)).

As shown in Abadie and Abadie (2017), every Fell bundle \(\mathcal {B}=(B_t)_{t\in G}\) over a discrete group *G* induces a partial action \(\hat{\alpha }^\mathcal {B}\) of *G* on the spectrum \(\hat{B}_e\) of \(B_e\). We briefly recall how \(\hat{\alpha }^\mathcal {B}\) is defined. For each \(t\in G\) we let \(D^\mathcal {B}_t:=B_tB_t^*\); then \(D^\mathcal {B}_t\) is an ideal of \(B_e\) and \(B_t\) can be viewed as a \(D^\mathcal {B}_t-D^\mathcal {B}_{t^{-1}}\) imprimitivity bimodule. Let \(\mathcal {V}_t^{\mathcal {B}}:=\{[\pi ]\in \hat{B}_e:\pi |_{D^\mathcal {B}_t}\ne 0 \}\) be the open subset of \(\hat{B_e}\) associated with \(D^\mathcal {B}_t\). If \([\pi ]\in \mathcal {V}_{t^{-1}}^{\mathcal {B}}\), then \([\pi |_{D^\mathcal {B}_{t^{-1}}}]\in \hat{D}^\mathcal {B}_{t^{-1}}\), and therefore \([\text {Ind}_{B_t}(\pi |_{D^\mathcal {B}_{t^{-1}}})]\in \hat{D}^\mathcal {B}_{t}\). Then \(\hat{\alpha }_t([\pi ])\in \mathcal {V}_t^\mathcal {B}\) is defined to be the class of the unique extension of \(\text {Ind}_{B_t}(\pi |_{D^\mathcal {B}_{t^{-1}}})\) to all of \(B_e\) (see the second statement of Lemma 5.2). In fact one can give a more direct definition: \(\hat{\alpha }_t([\pi ])=[\text {Ind}_{B_t}\pi ]\) (this is a consequence of our Lemma 5.2(3)). Here and throughout, if *E* is a Hilbert \(C'-C\)-bimodule for \({\mathrm {C}}^*\)-algebras \(C',C\), we write \({{\mathrm{Ind}}}_E(\pi )\) for the representation of \(C'\) induced via *E* from a representation \(\pi :C\rightarrow \mathbb {B}(H)\). Recall that \({{\mathrm{Ind}}}_E(\pi )\) acts on the (balanced tensor product) Hilbert space \(E\otimes _\pi H\) by the formula \({{\mathrm{Ind}}}_E\pi (x)(y\otimes _\pi h):=x\cdot y\otimes _\pi h\) for all \(x\in C'\), \(y\in E\) and \(h\in H\).

Only discrete groups are considered in Abadie and Abadie (2017). But in this section we prove that the partial action \(\hat{\alpha }^\mathcal {B}\) is always continuous if *G* is a locally compact group. We also show that strongly equivalent Fell bundles have isomorphic partial actions, and that the action of a saturated Fell bundle is the enveloping action of the partial action of any Fell bundle weakly equivalent with the former.

We begin with some preliminary results about induced representations via Hilbert bimodules; most of them are certainly well known, but we include the proofs here for convenience. Let *A* be a \({\mathrm {C}}^*\)-subalgebra of the \({\mathrm {C}}^*\)-algebra *C*, and suppose \(\pi :C\rightarrow \mathbb {B}(H)\) is a nondegenerate representation of *C*. We denote by \(\pi _A\) the nondegenerate part of the restriction \(\pi |_A\), that is, \(\pi _A:A\rightarrow \mathbb {B}(H_A)\) is given by \(\pi _A(a)h:=\pi (a)h\) for all \(a\in A\) and \(h\in H_A\), where \(H_A:=\overline{\text {span}}\{\pi (a)h:a\in A,h\in H\}\), the essential space of \(\pi |_A\).

### Lemma 5.1

*E*be a Hilbert \(C'-C\)-bimodule, \(A'\) and

*A*\({\mathrm {C}}^*\)-subalgebras of \(C'\) and

*C*respectively, and \(F\subseteq E\) such that

*F*is a Hilbert \(A'-A\)-bimodule with the structure inherited from

*E*. Suppose \(\pi :C\rightarrow \mathbb {B}(H)\) is a representation and \(K\subseteq H\) is a closed subspace which is invariant under \(\pi _A\). Then:

- (1)
There exists a unique isometry \(V:F\otimes _{\pi _A}K\rightarrow E\otimes _\pi H\) that satisfies \(V(x\otimes _{\pi _A}k)=x\otimes _{\pi }k\) for all \(x\in F\), \(k\in K\).

- (2)The isometry
*V*intertwines \((\text {Ind}_E\pi )_{A'}\) and \(\text {Ind}_F\pi _A\), that is,$$\begin{aligned} \text {Ind}_E\pi (a')V=V\text {Ind}_F\pi _A(a')\quad \text{ for } \text{ all } a'\in A'. \end{aligned}$$

### Proof

### Lemma 5.2

*C*.

- (1)
Let

*Y*be a closed right ideal of*C*and \(A:=YY^*\) (recall Notation 2.1), which is a hereditary \({\mathrm {C}}^*\)-subalgebra of*C*. Consider*Y*as a Hilbert \(A-C\)-bimodule. Then \(\text {Ind}_{Y}\pi \) is equivalent to \(\pi _A\). - (2)
Let

*I*be a closed two-sided ideal of*C*and let \(F_I\) be*I*with its natural structure of Hilbert \(C-I\)-bimodule. If \(\rho :I\rightarrow \mathbb {B}(K)\) is a nondegenerate representation, let \(\tilde{\rho }:C\rightarrow \mathbb {B}(K)\) be the unique extension of \(\rho \) to a representation of*C*on*K*, which is determined by \(\tilde{\rho }(c)(\rho (x)k)=\rho (cx)k\) for all \(c\in C\), \(x\in I\) and \(k\in K\). Then \(\text {Ind}_{F_I}\rho \) is equivalent to \(\tilde{\rho }\). - (3)
Suppose \(\pi \) is irreducible. If \(C'\) is a \({\mathrm {C}}^*\)-algebra and

*E*is a Hilbert \(C'-C\)-bimodule such that \(\pi \) does not vanish on the ideal \(J:=\overline{{\text {span}}}\, \langle E,E\rangle _C\), then \(\text {Ind}_E\pi \) is irreducible and equivalent to \(\text {Ind}_{F_I}(\text {Ind}_E\pi _J)\), where \(I:=\overline{{\text {span}}}\, _{C'}\langle E,E\rangle \).

### Proof

*A*. Now, if \(\sum _iy_i\otimes h_i\) is a finite sum of elementary tensors in \(Y\otimes _\pi H\), then

*U*is a unitary. Finally, if \(a\in A\), \(y\otimes h\in Y\otimes _\pi H\):

To prove (2) we observe that exactly the same argument used in the proof of (1) shows that there is a unitary operator \(U:F_I\otimes _\rho K\rightarrow K\) that intertwines \(\text {Ind}_{F_I}\rho \) with \(\tilde{\rho }\).

As for (3), since *I* and *J* are the ideals generated by the left and right inner products of the bimodule *E*, we may view *E* as an \(I-J\)-imprimitivity bimodule. Since \(\pi \) does not vanish on *J* and \(\pi \) is irreducible, the essential space of \(\pi _J\) is *H* and \(\pi _J=\pi |_J\) is also irreducible. Since *E* is an \(I-J\)-imprimitivity bimodule, \(\text {Ind}_E{\pi _J}:I\rightarrow \mathbb {B}(E\otimes _{\pi _J}H)\) also is irreducible. Now let \(V:E\otimes _{\pi _J}H\rightarrow E\otimes _{\pi }H\) be the isometry provided by (1) of Lemma 5.1, which in this case is obviously surjective, thus a unitary operator. Since, according to Lemma 5.1(2), *V* intertwines \((\text {Ind}_E\pi )_I\) and \(\text {Ind}_E\pi _J\), and the latter is irreducible, then so is \((\text {Ind}_E\pi )_I\). Therefore \(\text {Ind}_E\pi \) is irreducible. Moreover, if \(\rho :=\text {Ind}_E\pi _J\), it is an easy task to show that \(V\tilde{\rho }(c')=V\text {Ind}_E\pi (c')\) for all \(c'\in C'\). This ends the proof, for \(\text {Ind}_{F_I}(\text {Ind}_E\pi _J)\) and \(\tilde{\rho }\) are equivalent by (2). \(\square \)

### Lemma 5.3

Suppose, in the conditions of Lemma 5.1, that \(\pi \) is irreducible, \(A'\) is a hereditary \({\mathrm {C}}^*\)-subalgebra of \(C'\), and \(\pi |_{\langle E,E\rangle _C}\ne 0\). Then the isometry *V* is a unitary operator, and \([(\text {Ind}_E\pi )_{A'}]=[\text {Ind}_F\pi _A]\).

### Proof

Since \(\pi \) is irreducible, then so is \(\text {Ind}_E\pi \) by Lemma 5.2(3). Moreover, if \(A'\) is a hereditary \({\mathrm {C}}^*\)-subalgebra of \(C'\), then \((\text {Ind}_E\pi )_{A'}\) is either zero or an irreducible representation of \(A'\) (Murphy 1990, Theorem 5.5.2). But \((\text {Ind}_E\pi )_{A'}\) cannot be zero because of Lemma 5.1(2) and the fact that \(\pi _A\), and therefore \(\text {Ind}_F\pi _A\), are non-zero representations. Now it follows from Lemma 5.1(2) that \(V(F\otimes _{\pi _A}K)\) is a non-zero \((\text {Ind}_E\pi )_{A'}\)-invariant subspace of \(E\otimes _{\pi }H\) and, since \((\text {Ind}_E\pi )_{A'}\) is irreducible, we must have \(V(F\otimes _{\pi _A}K)=E\otimes _{\pi }H\). That is, *V* is a surjective isometry, which ends the proof. \(\square \)

We show next that two strongly equivalent Fell bundles give rise to isomorphic partial actions on spectra level.

### Theorem 5.4

Let \(\mathcal {A}\) and \(\mathcal {B}\) be Fell bundles over a discrete group *G*, and suppose that \(\mathcal {X}\) is a strong \(\mathcal {A}-\mathcal {B}\) equivalence. Let \(\mathsf {h}_{X_e}:\hat{B}_e\rightarrow \hat{A}_e\) be the Rieffel homeomorphism associated to the \(A_e-B_e\) imprimitivity bimodule \(X_e\). Then \(\mathsf {h}_{X_e}:\hat{\alpha }^\mathcal {B}\rightarrow \hat{\alpha }^\mathcal {A}\) is an isomorphism of partial actions.

### Proof

Let \(\mathcal {C}=(C_t)_{t\in G}\) stand for the linking bundle of \(\mathcal {X}\). Then \(C_e=\mathbb {L}(X_e)\) (the linking algebra of \(X_e\)), and \(Y=\left( {\begin{matrix} A_e &{} X_e\\ 0 &{} 0 \end{matrix}}\right) \) is an \(A_e-C_e\) imprimitivity bimodule, so it defines the Rieffel homeomorphism \(\mathsf {h}_Y:\hat{C}_e\rightarrow \hat{A}_e\), which in our case is given by \(\mathsf {h}_Y([\pi ])=[\pi _{A_e}]\) (Lemma 5.2 (1) ). Therefore the Rieffel correspondence \(\mathsf {R}:\mathcal {I}(C_e)\rightarrow \mathcal {I}(A_e)\) between the ideals of \(C_e\) and \(A_e\), defined by \(Y\cong A_e\oplus X_e\), is given by \(\mathsf {R}(I)=A_e\cap I\).

Similarly, if we now consider the \(C_e-B_e\) imprimitivity bimodule \(Z:=\left( {\begin{matrix} 0 &{} X_e\\ 0 &{} B_e \end{matrix}}\right) \), then the Rieffel homeomorphism \(\mathsf {h}_Z:\hat{B}_e\rightarrow \hat{C}_e\) is also an isomorphism \(\mathsf {h}_Z:\hat{\alpha }^\mathcal {B}\rightarrow \hat{\alpha }^\mathcal {C}\). Then \(\mathsf {h}_Y\circ \mathsf {h}_Z:\hat{\alpha }^\mathcal {B}\rightarrow \hat{\alpha }^\mathcal {A}\) is an isomorphism of partial actions. Besides, since \(Y\otimes _{C_e}Z=\left( {\begin{matrix} A_e &{} X_e\\ 0 &{} 0 \end{matrix}}\right) \otimes _{C_e}\left( {\begin{matrix} 0 &{} X_e\\ 0 &{} B_e \end{matrix}}\right) = X_e\), and \(\mathsf {h}_Y\circ \mathsf {h}_Z=\mathsf {h}_{\,Y\otimes _{C_e}Z}\), we conclude that \(\mathsf {h}_{X_e}:\hat{\alpha }^\mathcal {B}\rightarrow \hat{\alpha }^\mathcal {A}\) is an isomorphism of partial actions. \(\square \)

Given a locally compact Hausdorff group *G*, let \(G_d\) denote the group *G* when considered with the discrete topology. Similarly, if \(\mathcal {B}\) is a Fell bundle over *G*, let \(\mathcal {B}_d\) be the Fell bundle over \(G_d\) instead of *G*.

### Proposition 5.5

Let \(\mathcal {B}\) be a Fell bundle over *G*, and let \(G_d\) and \(\mathcal {B}_d\) as above. Then the partial action \(\hat{\alpha }^{\mathcal {B}_d}\) of \(G_d\) on \(\hat{B}_e\) is a continuous partial action of *G* on \(\hat{B}_e\).

### Proof

Consider the canonical action \(\beta \) of *G* on \(\mathbb {k}(\mathcal {B})\), and let \(\gamma \) be its restriction to \(\mathbb {K}(L^2(\mathcal {B}))\). Let \(\mathcal {A}:=\mathcal {B}_{\gamma }\). Since, by Theorem 3.5, \(\mathcal {A}\) is strongly equivalent to \(\mathcal {B}\), then also \(\mathcal {A}_d\) is strongly equivalent to \(\mathcal {B}_d\). Note that if we forget the topology of *G*, then \(\hat{\gamma }=\hat{\alpha }^{\mathcal {A}_d}\), so the latter is a continuous partial action of *G* on the spectrum of \(\mathbb {K}(L^2(\mathcal {B}))\). On the other hand \(\hat{\alpha }^{\mathcal {A}_d}\) and \(\hat{\alpha }^{\mathcal {B}_d}\) are isomorphic partial actions by Theorem 5.4 and, since \(\hat{\alpha }^{\mathcal {A}_d}\) is continuous, so must be \(\hat{\alpha }^{\mathcal {B}_d}\). \(\square \)

The previous result allows us to associate a partial action to every Fell bundle, not only to those over discrete groups:

### Definition 5.6

Let \(\mathcal {B}\) be a Fell bundle over *G*, and denote by \(\hat{\alpha }^{\mathcal {B}}\) the partial action \(\hat{\alpha }^{\mathcal {B}_d}\) considered as a partial action of *G* on \(\hat{B}_e\). We say that \(\hat{\alpha }^{\mathcal {B}}\) is the partial action associated to \(\mathcal {B}\).

Now Theorem 5.4 can be stated for Fell bundles over arbitrary groups:

### Corollary 5.7

Suppose \(\mathcal {X}\) is a strong \(\mathcal {A}-\mathcal {B}\)-equivalence bundle. If \(\mathsf {h}:\hat{B}_e\rightarrow \hat{A}_e\) is the Rieffel homeomorphism induced by the \(A_e-B_e\)-equivalence bimodule \(X_e\), then \(\mathsf {h}\) is an isomorphism between \(\hat{\alpha }^{\mathcal {A}}\) and \(\hat{\alpha }^{\mathcal {B}}\).

### Corollary 5.8

Let \(\mathcal {B}\) be a Fell bundle, and \(\beta :G\times \mathbb {k}(\mathcal {B})\rightarrow \mathbb {k}(\mathcal {B})\) the canonical action. Then \(\hat{\beta }\) is the enveloping action of \(\hat{\alpha }^\mathcal {B}\).

In previous sections we have decomposed a weak equivalence between Fell bundles as strong equivalence followed by globalization of partial actions and Morita equivalence of enveloping actions (Theorems 3.4, 3.5 and 4.2). Combining this decomposition with the previous Corollary we obtain the following result.

### Corollary 5.9

If \(\mathcal {A}\) and \(\mathcal {B}\) are weakly equivalent Fell bundles, then \(\hat{\alpha }^{\mathcal {A}}\) and \(\hat{\alpha }^{\mathcal {B}}\) have the same enveloping action.

### Proof

Let \(\mu \) and \(\nu \) be the canonical actions on \(\mathbb {k}(\mathcal {A})\) and \(\mathbb {k}(\mathcal {B})\), respectively. The Fell bundle associated to \(\mu |_{\mathbb {K}(L^2(\mathcal {A}))}\) is strongly Morita equivalent to \(\mathcal {A}\). Hence the partial action on the spectrum of \(\mathbb {K}(L^2(\mathcal {A}))\) induced by \(\mu \) is isomorphic to \(\alpha \) and its enveloping action is the one induced by \(\mu \) on \(\hat{\mathbb {k}(\mathcal {A})}\), \(\hat{\mu }\). For the same reasons \(\hat{\nu }\) is an enveloping action of \(\beta \). We also know \(\mu \) and \(\nu \) are Morita equivalent, so \(\hat{\mu }\) is isomorphic to \(\hat{\nu }\) and this implies \(\hat{\mu }\) is an enveloping action of \(\beta \). \(\square \)

### Proposition 5.10

A Fell bundle \(\mathcal {B}\) is saturated if and only if its associated partial action \(\hat{\alpha }^{\mathcal {B}}\) is global.

### Proof

If \(\mathcal {B}\) is saturated then \(D^\mathcal {B}_t = B_t B_{t^{-1}}=B_e\) for all \(t\in G\). Thus the open set of \(\hat{B_e}\) corresponding to \(D^\mathcal {B}_t\), \(U_t\), is \(\hat{B_e}\) itself for all \(t\in G\). In other words, \(\hat{\alpha }^\mathcal {B}\) is global.

Conversely, in case \(\hat{\alpha }^\mathcal {B}\) is global we have \(U_t=\hat{B_e}\) for all \(t\in G\). Since the correspondence between \({\mathrm {C}}^*\)-ideals of \(B_e\) and open sets of \(\hat{B_e}\) is bijective, we conclude that \( B_tB_{t^{-1}}= D^\mathcal {B}_t=B_e\) for all \(t\in G\). Then for every \(r,s\in G\), considering \(B_{rs}\) as a left \(B_e\)-module, we deduce that \( B_{rs} = B_eB_{rs} = B_rB_{r^{-1}}B_{rs} \subset B_r B_s \subset B_{rs}\), so \(\mathcal {B}\) is saturated. \(\square \)

The last proposition implies that saturation is an invariant of strong equivalence:

### Corollary 5.11

Let \(\mathcal {X}\) be an \(\mathcal {A}-\mathcal {B}\) strong equivalence bundle. Then \(\mathcal {A}\) is saturated if and only if \(\mathcal {B}\) is saturated.

### Proof

If two partial actions are isomorphic, then one of them is global if and only if so is the other. Therefore our claim follows from Proposition 5.10. \(\square \)

### 5.1 Partial Actions on Primitive Ideal Spaces

Consider a Fell bundle \(\mathcal {B}=(B_t)_{t\in G}\), and let \(\beta \) be the canonical action of *G* on \({\mathbb {k}(\mathcal {B})}\). Let \(\mathcal {A}\) be the Fell bundle associated to the partial action \(\alpha :=\beta |_{\mathbb {K}(L^2(\mathcal {B}))}\). In particular \(A_e=\mathbb {K}(L^2(\mathcal {B}))\), and \(\hat{\alpha }=\hat{\alpha }^\mathcal {A}\). By Theorem 3.5 we know that \(\mathcal {L}^2\mathcal {B}\) is a strong \(\mathcal {A}-\mathcal {B}\) equivalence. In particular we have the Rieffel homeomorphisms \(\mathsf {h}:\hat{B}_e\rightarrow \hat{A}_e\) and \(\tilde{\mathsf {h}}:{{\mathrm{Prim}}}(B_e)\rightarrow {{\mathrm{Prim}}}(A_e)\). Given a \({\mathrm {C}}^*\)-algebra *A*, let \(\kappa :\hat{A}\rightarrow {{\mathrm{Prim}}}(A)\) be the map given by \(\kappa ([\pi ])=\ker \pi \). Then the Rieffel homeomorphisms satisfy \(\tilde{\mathsf {h}}\kappa =\kappa \mathsf {h}\). According to Abadie (2003), \(\alpha \) induces a partial action \(\tilde{\alpha }\) of *G* on \({{\mathrm{Prim}}}{A_e}\), which is determined by \(\tilde{\alpha }_t(\kappa ([\pi ]))=\kappa (\hat{\alpha }_t([\pi ]))\). Here \(\tilde{\alpha }_t:\mathcal {O}_{t^{-1}}\rightarrow \mathcal {O}_t\), where \(\mathcal {O}_t:=\{P\in {{\mathrm{Prim}}}{A_e}:P\not \supseteq D_t^\mathcal {A}\}\). This partial action \(\tilde{\alpha }\) is continuous, because it is a restriction of the global action \(\tilde{\beta }\) induced by \(\beta \) on \({{\mathrm{Prim}}}({\mathbb {k}(\mathcal {B})})\). Now, conjugating \(\tilde{\alpha }\) by \(\tilde{\mathsf {h}}\), we obtain a continuous partial action \(\tilde{\alpha }^\mathcal {B}\) of *G* on \({{\mathrm{Prim}}}(B_e)\), which satisfies \(\kappa \hat{\alpha }_t^\mathcal {B}([\pi ])=\tilde{\alpha }_t^\mathcal {B}\kappa ([\pi ])\) for all \([\pi ]\in \mathcal {V}_{t^{-1}}\). Thus we have:

### Theorem 5.12

Every Fell bundle \(\mathcal {B}\) over the locally compact Hausdorff group *G* induces a continuous partial action \(\tilde{\alpha }^\mathcal {B}=(\{\mathcal {O}_t\}_{t\in G},\{\tilde{\alpha }^\mathcal {B}_t\}_{t\in G})\) of *G* on \({{\mathrm{Prim}}}(B_e)\), which is given by \(\tilde{\alpha }_t(P)=B_tPB_t^{*}\) for all \(P\in \mathcal {O}_{t^{-1}}\); hence the following diagram is commutative for all \(t\in G\):

- (1)
if \(\mathcal {X}=(X_t)\) is a strong \(\mathcal {A}-\mathcal {B}\) equivalence bundle, the Rieffel homeomorphism \(\tilde{\mathsf {h}}_{X_e}:{{\mathrm{Prim}}}(B_e)\rightarrow {{\mathrm{Prim}}}(A_e)\) is an isomorphism between \(\tilde{\alpha }_t^\mathcal {B}\) and \(\tilde{\alpha }_t^\mathcal {A}\).

- (2)
If \(\beta \) is the canonical action of

*G*on \({\mathbb {k}(\mathcal {B})}\), then \(\tilde{\beta }:G\times {{\mathrm{Prim}}}({\mathbb {k}(\mathcal {B})})\rightarrow {{\mathrm{Prim}}}({\mathbb {k}(\mathcal {B})})\) is the enveloping action of \(\tilde{\alpha }^\mathcal {B}\).

### Proof

We only need to prove (2), since the remaining statements follow at once from the definition of \(\tilde{\alpha }^\mathcal {B}\). Now assertion (2) is a direct consequence of (1) and Abadie (2003, Proposition 7.4). \(\square \)

The moral of the preceding section is that a Fell bundle is essentially the same object that a semidirect product Fell bundle for a partial action, in the sense that it is always strongly equivalent to such a product. With this in mind, one should be able to translate results from semidirect product Fell bundles to arbitrary Fell bundles.

As an example, we have the following generalization of Abadie (2003, Corollary 7.2):

### Corollary 5.13

Let \(\mathcal {B}\) be a Fell bundle over the locally compact Hausdorff group *G*. If \({{\mathrm{Prim}}}(B_e)\) is compact, then there exists an open subgroup *H* of *G* such that the reduction of \(\mathcal {B}\) to *H* is a saturated Fell bundle. In particular, if *G* is a connected group, then \(\mathcal {B}\) is a saturated Fell bundle.

### Proof

Since \({{\mathrm{Prim}}}(B_e)\) is compact (Abadie 2003, Proposition 1.1) shows there exists an open subgroup *H* of *G* for which the restriction of \(\tilde{\alpha }^\mathcal {B}\) to *H* is a global action, that is \(D_t^\mathcal {B}=B_e\) for all \(t\in H\). Thus the reduction of \(\mathcal {B}\) to *H* is a saturated Fell bundle. Since the only open subgroup of a connected group is the group itself, the proof is finished. \(\square \)

## 6 \(\mathrm {C_0}(X)\)-Fell Bundles and Amenability

*X*, a \({\mathrm {C}}^*\)-algebra

*C*is a \(\mathrm {C_0}(X)\)-algebra if there exists a nondegenerate \(^{*}\)-homomorphism \(\phi :\mathrm {C_0}(X)\rightarrow ZM(C)\). In this situation there exists a unique continuous function \(f_\phi :\hat{C}\rightarrow X\) such that

*M*(

*C*) and \(1_\pi \) is the identity operator of \(\mathcal {H}\).

Assume now that \(\theta \) is an action of *G* on \(\mathrm {C_0}(X)\), \(\beta \) an action of *G* on *C* and that \(\phi \) is equivariant in the sense that, for all \(t\in G\), \(a\in \mathrm {C_0}(X)\) and \(c\in C:\)\(\beta _t(\phi (a)c)=\phi (\theta _t(a))\beta _t(c)\). In this situation \(f_\phi \) is \(\hat{\beta }-\hat{\theta }\)-equivariant and the Fell bundle \(\mathcal {B}_\beta \) is a \(\hat{\theta }\)-Fell bundle in the following sense.

### Definition 6.1

Let \(\sigma \) be an action of the locally compact Hausdorff group *G* on the locally compact Hausdorff space *X*. A \(\sigma \)-Fell bundle is a Fell bundle over *G*, \(\mathcal {B}\), for which there exists a continuous function \(f:\hat{B_e}\rightarrow X\) which is a morphism of partial actions between \(\hat{\alpha }\) and \(\sigma \).

The example that motivated this definition has a converse. Suppose \(\beta \) is an action of *G* on the \({\mathrm {C}}^*\)-algebra *B* and that \(\mathcal {B}_\beta \) is a \(\sigma \)-Fell bundle. Then the unit fiber of \(\mathcal {B}\) is *B* and the action defined by \(\mathcal {B}_\beta \) on \(\hat{B}\) is the action defined by \(\beta \), \(\hat{\beta }\). By hypothesis there exists a \(\hat{\beta }-\sigma \)-equivariant continuous function \(f:\hat{B} \rightarrow X\). Since the points of *X* are closed, there exists (by Williams 2007, Lemma C.6) a unique continuous function \(g:{\text {Prim}}(B)\rightarrow X\) such that \(g\circ \kappa =f\), where \(\kappa :\hat{B}\rightarrow {\text {Prim}}(B)\) is given by \(\kappa ([\pi ])=\ker (\pi )\), as in the preceding section. The condition \(g\circ \kappa =f\) ensures that \(g:{\text {Prim}}(B)\rightarrow X\) is equivariant, considering on \({\text {Prim}}(B)\) the action induced by \(\beta \). Using Dauns–Hofmann Theorem we conclude that there exists a unique nondegenerate and equivariant \(^{*}\)-homomorphism \(\phi :\mathrm {C_0}(X)\rightarrow ZM(B)\), where the action considered on \(\mathrm {C_0}(X)\) is the one defined by \(\sigma \).

### Theorem 6.2

*G*and \(\sigma \) an action of

*G*on the locally compact Hausdorff space

*X*. If \(\beta \) is the canonical action of

*G*on \({\mathbb {k}(\mathcal {B})}\) and \(\theta \) is the action on \(\mathrm {C_0}(X)\) defined by \(\sigma \), then the following are equivalent:

- (1)
\(\mathcal {B}\) is a \(\sigma \)-Fell bundle.

- (2)
There exists a nondegenerate \(^{*}\)-homomorphism \(\phi :\mathrm {C_0}(X)\rightarrow ZM({\mathbb {k}(\mathcal {B})})\) such that for all \(t\in G\), \(a\in \mathrm {C_0}(X)\) and \(k\in {\mathbb {k}(\mathcal {B})}\), \(\beta _t(\phi (a)k)=\phi (\theta _t(a))\beta (k)\).

### Proof

By the comments preceding the statement, the implication (1)\(\Rightarrow \)(2) will follow after we show that \(\mathcal {B}_\beta \) is a \(\sigma \)-Fell bundle. Assume that \(f:\hat{B_e}\rightarrow X\) is an equivariant continuous function. If we denote by \(\alpha \) the restriction of \(\beta \) to \(A:=\mathbb {K}(L^2(\mathcal {B}))\) and \(\mathsf {h}:\hat{B_e}\rightarrow \hat{A}\) is the Rieffel homeomorphism given by the equivalence bimodule \(L^2(\mathcal {B})\), then \(f\circ \mathsf {h}^{-1} :\hat{A}\rightarrow X\) is equivariant. By Abadie (2003, Proposition 7.4) \(\hat{\beta }\) is the enveloping action of \(\hat{\alpha }\) and by Abadie (2003, Theorem 1.1) there exists a unique \(\hat{\beta }-\sigma \)-equivariant continuous extension of \(f\circ \mathsf {h}^{-1}\). \(\square \)

The next result is an extension of Anantharaman-Delaroche (2002, Theorem 5.3) to Fell bundles.

### Theorem 6.3

*G*on the locally compact Hausdorff space

*X*. Consider the conditions:

- (1)
\(\sigma \) is amenable.

- (2)
Every \(\sigma \)-Fell bundle is amenable, that is, \(C^*(\mathcal {B})=C^*_r(\mathcal {B})\).

- (3)
For every \(\sigma \)-Fell bundle \(\mathcal {B}\) with \(B_e\) nuclear, \(C^*_r(\mathcal {B})\) is nuclear.

- (4)
\(\mathrm {C_0}(X)\rtimes _r G\) is nuclear.

*G*is discrete \((4)\Rightarrow (1)\).

### Proof

Name \(\beta \) the canonical action on \({\mathbb {k}(\mathcal {B})}\). Since \(\mathcal {B}\) is equivalent to \(\mathcal {B}_\beta \), \(\mathcal {B}\) is amenable if and only if \(\mathcal {B}_\beta \) is amenable. Moreover, since \(C^*_r(\mathcal {B})\) and \(C^*_r(\mathcal {B}_\beta )\) are Morita equivalent, one is nuclear if and only if the other one is.

Assume (1) holds. By Anantharaman-Delaroche (2002, Theorem 5.3) and Theorem 6.2, \(\mathcal {B}_\beta \) is amenable and so \(\mathcal {B}\) is amenable. Now assume that (2) holds, then (2) from Anantharaman-Delaroche (2002, Theorem 5.3) holds and it suffices to show that \({\mathbb {k}(\mathcal {B})}\) is nuclear. We know \(\mathbb {K}(L^2(\mathcal {B}))\) is nuclear because \(B_e\) is nuclear. Then Abadie (2003, Proposition 2.2) implies that \({\mathbb {k}(\mathcal {B})}\) is nuclear.

The rest of the proof follows directly from Anantharaman-Delaroche (2002, Example (3) of 4.4. together with Theorem 5.8). \(\square \)

## References

- Abadie, F.: Enveloping actions and Takai duality for partial actions. J. Funct. Anal.
**197**(1), 14–67 (2003). https://doi.org/10.1016/S0022-1236(02)00032-0 MathSciNetCrossRefzbMATHGoogle Scholar - Abadie, B.: Takai duality for crossed products by Hilbert \(C^*\) -bimodules. J. Oper. Theory
**64**, 19–34 (2010). http://www.theta.ro/jot/archive/2010-064-001/2010-064-001-002.html - Abadie, B., Abadie, F.: Ideals in cross sectional \(\text{ C }^*\) -algebras of Fell bundles. Rocky Mt. J. Math.
**47**(2), 351–381 (2017). https://doi.org/10.1216/RMJ-2017-47-2-351 MathSciNetCrossRefzbMATHGoogle Scholar - Abadie, F., Ferraro, D.: Equivalence of Fell bundles over groups (2017)
**(eprint)**. arXiv:1711.02577 - Anantharaman-Delaroche, C.: Amenability and exactness for dynamical systems and their \(C^*\) -algebras. Trans. Am. Math. Soc.
**354**(10), 4153–4178 (2002). https://doi.org/10.1090/S0002-9947-02-02978-1 MathSciNetCrossRefzbMATHGoogle Scholar - Buss, A., Echterhoff, S.: Maximality of dual coactions on sectional \(C^*\)-algebras of Fell bundles and applications. Studia Math.
**229**(3), 233–262 (2015). https://doi.org/10.4064/sm8361-1-2016 MathSciNetzbMATHGoogle Scholar - Busby, R.C., Smith, H.A.: Representations of twisted group algebras. Trans. Am. Math. Soc.
**149**, 503–537 (1970). https://doi.org/10.1090/S0002-9947-1970-0264418-8 MathSciNetCrossRefzbMATHGoogle Scholar - Buss, A., Meyer, R., Zhu, C.: A higher category approach to twisted actions on \(\text{ C }^{*}\) -algebras. Proc. Edinb. Math. Soc. (2)
**56**(2), 387–426 (2013). https://doi.org/10.1017/S0013091512000259 MathSciNetCrossRefzbMATHGoogle Scholar - Buss, A., Echterhoff, S., Willett, R.: Exotic crossed products. In: Carlsen, T.M., Larsen, N.S., Neshveyev, S., Skau, C. (eds.) Operator Algebras and Applications. Abel Symposia, vol. 12. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39286-8_3
- Doran, R.S., Fell, J.M.G.: Representations of \(^*\) -algebras, locally compact groups, and Banach \(^{*}\) -algebraic bundles, vol. 1, Pure and Applied Mathematics, vol. 125. Academic Press, Boston (1988a)Google Scholar
- Doran, R.S., Fell, J.M.G.: Representations of \(^*\) -algebras, locally compact groups, and Banach \(^*\) -algebraic bundles, vol. 2, Pure and Applied Mathematics, vol. 126. Academic Press, Boston (1988b)Google Scholar
- Exel, R.: Twisted partial actions: a classification of regular \(C^*\) -algebraic bundles. Proc. Lond. Math. Soc. (3)
**74**(2), 417–443 (1997). https://doi.org/10.1112/S0024611597000154 MathSciNetCrossRefzbMATHGoogle Scholar - Exel, R.: Partial dynamical systems, Fell bundles and applications, Mathematical Surveys and Monographs, vol. 224. American Mathematical Society, Providence (2017)Google Scholar
- Exel, R., Laca, M.: Continuous Fell bundles associated to measurable twisted actions. Proc. Am. Math. Soc.
**125**(3), 795–799 (1997). https://doi.org/10.1090/S0002-9939-97-03618-6 MathSciNetCrossRefzbMATHGoogle Scholar - Fell, J.M.G.: An extension of Mackey’s method to algebraic bundles over finite groups. Am. J. Soc.
**91**, 203–238 (1969a)Google Scholar - Fell, J.M.G.: An extension of Mackey’s method to Banach *-algebraic bundles. Mem. Am. Math. Soc.
**90**, 1–168 (1969b)Google Scholar - Fell, J.M.G.: Induced representations and Banach *-algebraic bundles, Lecture Notes in Mathematics, vol. 582. Springer, Berlin (1977)Google Scholar
- Ionescu, M., Kumjian, A., Sims, A., Williams, D.P.: A stabilization theorem for Fell bundles over groupoids. Proc. Roy. Soc. Edinburgh Sect. A Math.
**148**(1), 79–100 (2018). https://doi.org/10.1017/S0308210517000129 MathSciNetCrossRefzbMATHGoogle Scholar - Kwaśniewski, B.K., Meyer, R.: Aperiodicity, topological freeness and pure outerness: from group actions to Fell bundles. Stud. Math.
**241**(3), 257–303 (2018). https://doi.org/10.4064/sm8762-5-2017 MathSciNetCrossRefzbMATHGoogle Scholar - Murphy, G.J.: \(C^*\)-algebras and operator theory. Academic Press, Boston (1990)zbMATHGoogle Scholar
- Sehnem, C.F.: Uma classificação de fibrados de Fell estáveis, Master’s Thesis. Universidade Federal de Santa Catarina (2014)Google Scholar
- Williams, D.P.: Crossed products of \(C^*\) -algebras, Mathematical Surveys and Monographs, vol. 134. Amer. Math. Soc., Providence (2007). https://doi.org/10.1090/surv/134