A Categorical Approach to Imprimitivity Theorems for C*-Dynamical Systems

TL;DR

This paper presents a categorical framework unifying various imprimitivity theorems for C*-dynamical systems, revealing new relationships and simplifying the understanding of crossed-product constructions.

Contribution

It introduces a categorical perspective that unifies multiple imprimitivity theorems as natural equivalences between crossed-product functors.

Findings

Unified categorical framework for imprimitivity theorems

New relationships between Green and Mansfield bimodules

Simplified understanding of representation induction and restriction

Abstract

Imprimitivity theorems provide a fundamental tool for studying the representation theory and structure of crossed-product C*-algebras. In this work, we show that the Imprimitivity Theorem for induced algebras, Green's Imprimitivity Theorem for actions of groups, and Mansfield's Imprimitivity Theorem for coactions of groups can all be viewed as natural equivalences between various crossed-product functors among certain equivariant categories. The categories involved have C*-algebras with actions or coactions (or both) of a fixed locally compact group G as their objects, and equivariant equivalence classes of right-Hilbert bimodules as their morphisms. Composition is given by the balanced tensor product of bimodules. The functors involved arise from taking crossed products; restricting, inflating, and decomposing actions and coactions; inducing actions; and various combinations of these. Several applications of this categorical approach are also presented, including some intriguing relationships between the Green and Mansfield bimodules, and between restriction and induction of representations.