Functoriality for groupoid and Fell bundle $C^*$-algebras

Jonathan Taylor

2023-11-02

Abstract:We define a class of morphisms between étale groupoids and show that there is a functor from the category with these morphisms to the category of $C^*$-algebras. We show that all homomorphisms between Cartan pairs of $C^*$-algebras that preserve the Cartan structure arise from such morphisms between the underlying Weyl groupoids and twists, and attain an equivalence of categories between Cartan pairs with structure preserving homomorphisms and a their associated twists. We define analogous morphisms for Fell bundles over $C^*$-algebras and show these functorially induce ${}^*$-homomorphisms between the Fell bundle $C^*$-algebras. We also construct colimit groupoids and Fell bundles for inductive systems of such morphisms, and show that the functor to $C^*$-algebras preserves these colimits.

Operator Algebras

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is about the functoriality of C* - algebras of groupoids and Fell bundles. Specifically, the author defines a class of morphisms between groupoids and shows that these morphisms can induce * - homomorphisms between C* - algebras under certain conditions, thus establishing a functor from the category of groupoids to the category of C* - algebras. In addition, the paper also explores how these functors interact with Cartan pairs and their related twisted structures, especially in the application of inductive limit systems.

### Main research contents:
1. **Define morphisms**:
- The author defines a class of morphisms (called "actors") between groupoids. These morphisms include not only mappings between groupoids but also actions under certain compatible conditions.
- These morphisms can induce * - homomorphisms between C* - algebras under specific conditions.

2. **Functoriality**:
- Through these morphisms, the author constructs a functor from the category of groupoids to the category of C* - algebras.
- In particular, for Cartan pairs and their twisted structures, the author proves that these functors can preserve these structures.

3. **Inductive limit**:
- The author constructs inductive systems of groupoids and Fell bundles and shows that these constructions are preserved under the C* - algebra functor.
- This means that the C* - algebra of the inductive limit groupoid is naturally isomorphic to the inductive limit of the C* - algebras of its constituent blocks.

4. **Applications**:
- The results of the paper can be applied to understand the classification problem of C* - algebras, especially the Elliott classification program.
- Through these functors, it is more convenient to construct and analyze C* - algebras with specific structures.

### Examples of mathematical formulas:
- **Convolution product**:
\[
(fg)(\gamma) := \sum_{\eta \in G^{r(\gamma)}} f(\eta^{-1}) g(\eta \gamma)
\]
where \( f, g \in C_c(G) \), \(\gamma \in G\).

- **Involution**:
\[
f^*(\gamma) = f(\gamma^{-1})
\]

- **Induced * - homomorphism**:
\[
[\phi_h(f)](x) = \sum_{\gamma \in G^{\rho(s(x))}} f(\gamma) \quad \text{where } x = \gamma \cdot s(x)
\]

### Conclusion:
This paper solves the functoriality problem between C* - algebras of groupoids and Fell bundles by defining a new class of morphisms and constructing the corresponding functors. These results not only extend the existing theory but also provide new tools for the classification and construction of C* - algebras.