Partial crossed products as equivalence relation algebras. (Q289700)

Let \(\theta=\{\theta_g:D_{g^{-1}}\to D_g\}_{g\in G}\) be a partial action [see \textit{F. Abadie}, Proc. Am. Math. Soc. 132, No. 4, 1037-1047 (2004; Zbl 1040.46035), Definition 1.1] of a group \(G\) on a Hausdorff locally compact topological space \(X\). By [loc. cit., Proposition 1.5] \(\theta\) induces a partial action \(\widetilde\theta\) of \(G\) on the \(C^*\)-algebra \(C_0(X)\) of continuous functions vanishing at infinity. Assuming that \(\theta\) is free, i.e. \(\theta_g(x)=x\Rightarrow g=1\), the authors define the so-called \textit{étale} equivalence relation \(R=\{(x,\theta_g(x))\mid g\in G,\;x\in D_{g^{-1}}\}\) and prove that the \(C^*\)-algebra \(C^*(R)\) is isomorphic to the partial crossed product \(C_0(X)\rtimes_{\widetilde\theta} G\). Since by Remark 2.4 the relation \(R\) can be seen as the groupoid \(\mathcal G\) constructed in [loc. cit.], the latter isomorphism is a particular case of a similar result by F. Abadie. An analogous isomorphism holds in the purely algebraic setting. Let \(\mathbb K\) be a fixed field. For any set \(X\) denote by \(\mathcal F_0(X)\) the set of functions \(f\colon X\to\mathbb K\), such that \(f(x)\neq 0\) only for a finite number of \(x\in X\). It is an algebra over \(\mathbb K\) under the pointwise operations. Any partial action \(\theta\) of a group \(G\) on \(X\) induces a partial action \(\widetilde\theta\) of \(G\) on \(\mathcal F_0(X)\). Considering \(R\) as above and \(\mathcal F_0(R)\) with the convolution product, the authors prove that \(\mathcal F_0(X)\rtimes_{\widetilde\theta}G\cong\mathcal F_0(R)\), provided that \(\theta\) is free.