# groupoid C*-convolution algebras

## 0.1 Introduction: Background and definition of the groupoid C*–convolution algebra

Jean Renault introduced in ref.  the $C^{*}$algebra  of a locally compact groupoid  ${\mathsf{G}}$ as follows: the space of continuous functions   with compact support on a groupoid     ${\mathsf{G}}$ is made into a *-algebra whose multiplication is the convolution, and that is also endowed with the smallest $C^{*}$–norm which makes its representations continuous, as shown in ref.. Furthermore, for this convolution to be defined, one needs also to have a Haar system  (http://planetmath.org/GroupoidRepresentationsInducedByMeasure) associated to the locally compact groupoids (http://planetmath.org/LocallyCompactGroupoids) ${\mathsf{G}}$ that are then called measured groupoids because they are endowed with an associated Haar system which involves the concept of measure, as introduced in ref.  by P. Hahn.

With these concepts one can now sum up the definition (or construction) of the groupoid $C^{*}$-convolution algebra, or http://www.utgjiu.ro/math/mbuneci/preprint/p0024.pdfgroupoid $C^{*}$-algebra, as follows.

###### Definition 0.1.

a groupoid C*–convolution algebra, $G_{CA}$, is defined for measured groupoids as a *–algebra with “$*$” being defined by convolution so that it has a smallest $C^{*}$–norm which makes its representations continuous.

###### Remark 0.1.

One can also produce a functorial construction of $G_{CA}$ that has additional interesting properties.

###### Theorem 0.1.

(source: ref. ). Any representation of a groupoid $({\mathsf{G}},C)$ with Haar measure $(\nu,\mu)$ in a separable Hilbert space $\mathcal{H}$ induces a *-algebra representation $f\mapsto X_{f}$ of the associated groupoid algebra $\Pi({\mathsf{G}},\nu)$ in $L^{2}(U_{{\mathsf{G}}},\mu,\mathcal{H})$ with the following properties:

(1) For any $l,m\in\mathcal{H}$ , one has that $\left|\right|\leq\left\|f_{l}\right\|\left\|l% \right\|\left\|m\right\|$ and

(2) $M_{r}(\alpha)X_{f}=X_{f\alpha\circ r}$, where

$M_{r}:L^{\infty}(U_{{\mathsf{G}}},\mu\longrightarrow L[L^{2}(U_{{\mathsf{G}}},% \mu,\mathcal{H}]$, with

$M_{r}(\alpha)j=\alpha\cdot j$.

Conversely, any *- algebra representation with the above two properties induces a groupoid representation, X, as follows:

$~{}=~{}\displaystyle{\int}f(x)[X(x)j(d(x)),k(r(x))d\nu(x)].$ (viz. p. 50 of ref. ).

Furthermore, according to Seda (ref. [10, 11]), the continuity of a Haar system is equivalent      to the continuity of the convolution product  $f*g$ for any pair $f$, $g$ of continuous functions with compact support. One may thus conjecture that similar results could be obtained for functions with locally compact support    in dealing with convolution products of either locally compact groupoids or quantum groupoids   . Seda’s result also implies that the convolution algebra $C_{c}(\mathcal{G})$ of a groupoid $\mathcal{G}$ is closed with respect to convolution if and only if the fixed Haar system associated with the measured groupoid $\mathcal{G}$ is continuous (see ref. ).

Thus, in the case of groupoid algebras of transitive groupoids, it was shown in  that any representation of a measured groupoid $(\mathcal{G},[\displaystyle{\int}\nu^{u}d\tilde{\lambda}(u)]=[\lambda])$ on a separable Hilbert space $\mathcal{H}$ induces a non-degenerate *-representation $f\mapsto X_{f}$ of the associated groupoid algebra $\Pi(\mathcal{G},\nu,\tilde{\lambda})$ with properties formally similar to (1) and (2) above. Moreover, as in the case of groups, there is a correspondence between the unitary representations  of a groupoid and its associated C*-convolution algebra representations (p. 182 of ), the latter involving however fiber bundles  of Hilbert spaces  instead of single Hilbert spaces.

## References

 Title groupoid C*-convolution algebras Canonical name GroupoidCconvolutionAlgebras Date of creation 2013-03-22 18:13:59 Last modified on 2013-03-22 18:13:59 Owner bci1 (20947) Last modified by bci1 (20947) Numerical id 63 Author bci1 (20947) Entry type Topic Classification msc 55Q70 Classification msc 55Q55 Classification msc 55Q52 Classification msc 81R50 Classification msc 22A22 Classification msc 81R10 Classification msc 20L05 Classification msc 18B40 Synonym convolution algebra Related topic GroupCAlgebra Related topic CAlgebra Related topic CAlgebra3 Related topic Convolution Related topic NuclearCAlgebra Related topic QuantumGravityTheories Related topic Algebras2 Related topic C_cG Related topic HomomorphismsOfCAlgebrasAreContinuous Related topic SigmaFiniteBorelMeasureAndRelatedBorelConcepts Defines groupoid C*-convolution algebra Defines groupoid C*-algebra Defines groupoid $C^{*}$-algebra Defines Haar systems Defines C*-convolution Defines measured groupoid