Packer–Raeburn Trick in Crossed Products

• Packer–Raeburn trick is a stabilization mechanism that absorbs cocycle twists in twisted crossed products via compact-operator tensoring.
• It converts a twisted dynamical system into an untwisted one through exterior equivalence, applicable in C*-algebra, Banach, and Lᵖ settings.
• Extensions to Fell bundles and groupoids illustrate its power, while failures in non-Hausdorff étale groupoids reveal intrinsic geometric limitations.

Searching arXiv for recent and foundational papers on the Packer–Raeburn trick and its extensions. The Packer–Raeburn trick is a stabilization and untwisting mechanism for twisted crossed products. In its classical form for a locally compact group $G$ acting on a $C^*$-algebra $A$ by a twisted action $(\alpha,\sigma)$, the trick asserts that the cocycle $\sigma$ can be absorbed after tensoring with compact operators, so that the stabilized twisted crossed product becomes an untwisted crossed product by an ordinary action (Delfín et al., 28 Sep 2025). In later developments, this mechanism was extended from groups to Fell bundles over Hausdorff groupoids (Ionescu et al., 2015), used as a technical bridge in the analysis of reduced twisted crossed products (Suzuki, 2021), and shown to fail in general for non-Hausdorff étale groupoids (Buss et al., 2014). A recent Banach and $L^p$-operator algebra formulation establishes an $L^p$ analogue in which $\mathcal{K}(L^p(G))$ replaces $\mathcal{K}(L^2(G))$, unitaries are replaced by invertible isometries, and the stabilized twisted $L^p$-crossed product is isometrically isomorphic to an untwisted one (Delfín et al., 28 Sep 2025).

1. Classical formulation for twisted group actions

In the classical $C^*$0-algebraic setting, let $C^*$1 be a locally compact group, $C^*$2 a $C^*$3-algebra, and $C^*$4 a twisted action, where $C^*$5 is strongly continuous and $C^*$6 is a strictly continuous $C^*$7-cocycle with values in the unitary multipliers (Delfín et al., 28 Sep 2025). The associated twisted crossed product $C^*$8 is generated by a universal covariant representation $C^*$9 satisfying

$A$0

The classical stabilization statement says that there exists a strongly continuous action $A$1 of $A$2 on $A$3 such that

$A$4

Moreover, $A$5, where $A$6 is constructed from the left regular representation $A$7 and the cocycle $A$8 via multiplier operators (Delfín et al., 28 Sep 2025). In the formulation used for reduced crossed products over discrete groups, one similarly has

$A$9

with the isomorphism commuting with subgroup conditional expectations (Suzuki, 2021).

Conceptually, stabilization converts twisting into an inner perturbation on the compact-operator tensor factor. The cocycle is not removed directly on $(\alpha,\sigma)$0 itself; rather, it becomes absorbed into a larger algebra where an exterior-equivalent untwisted action exists. This is why the result is inherently “stable” rather than literal untwisting on the original algebra (Delfín et al., 28 Sep 2025).

2. Twisted actions, covariance, and exterior equivalence

The trick is formulated in terms of twisted actions and exterior equivalence. In the Banach algebra framework of "Twisted crossed products of Banach algebras" (Delfín et al., 28 Sep 2025), a twisted action $(\alpha,\sigma)$1 of a locally compact group $(\alpha,\sigma)$2 on a nondegenerate Banach algebra $(\alpha,\sigma)$3 with contractive approximate identity consists of a strongly continuous map $(\alpha,\sigma)$4 and a jointly strictly continuous map $(\alpha,\sigma)$5 such that

$(\alpha,\sigma)$6

$(\alpha,\sigma)$7

$(\alpha,\sigma)$8

For such a system, the dense convolution algebra $(\alpha,\sigma)$9 carries twisted convolution

$\sigma$0

A covariant representation $\sigma$1 on a Banach space $\sigma$2 consists of a nondegenerate representation $\sigma$3 and a strongly continuous map $\sigma$4 satisfying

$\sigma$5

with integrated form

$\sigma$6

(Delfín et al., 28 Sep 2025).

Exterior equivalence is the cohomological relation underlying untwisting. Two twisted actions $\sigma$7 and $\sigma$8 are exterior equivalent via a strictly continuous $\sigma$9 if

$L^p$0

In this situation, the corresponding twisted crossed products are isometrically isomorphic, with dense-subalgebra map

$L^p$1

(Delfín et al., 28 Sep 2025). In the reduced $L^p$2-setting, exterior equivalence is implemented by an explicit unitary on $L^p$3, and the reduced twisted crossed products are canonically isomorphic (Suzuki, 2021).

This exterior-equivalence perspective clarifies the mechanism of the Packer–Raeburn trick: the stabilized twisted system becomes exterior equivalent to one with trivial twist. The trick is therefore not merely an isomorphism of crossed products but an equivalence of dynamical data after stabilization.

3. Stabilization and untwisting in the $L^p$4 setting

A major recent extension replaces Hilbert-space methods by $L^p$5-operator algebra techniques. Let $L^p$6, let $L^p$7 be second countable, and let $L^p$8 be a nondegenerate $L^p$9-operator algebra with a contractive approximate identity. The full twisted $L^p$0-crossed product is defined by

$L^p$1

where $L^p$2 is the class of all $L^p$3-finite, contractive covariant representations on $L^p$4-spaces; for trivial $L^p$5, this recovers Phillips’s $L^p$6 (Delfín et al., 28 Sep 2025). The reduced version is defined from regular covariant representations: $L^p$7 where, for a nondegenerate contractive $L^p$8 and $L^p$9,

$\mathcal{K}(L^p(G))$0

The paper defines both the full and reduced $\mathcal{K}(L^p(G))$1-twisted crossed products, but the stabilization and untwisting theorem is stated for the full crossed products; an explicit reduced analogue is not claimed (Delfín et al., 28 Sep 2025).

For $\mathcal{K}(L^p(G))$2, set $\mathcal{K}(L^p(G))$3. The stabilized twisted action on $\mathcal{K}(L^p(G))$4 is

$\mathcal{K}(L^p(G))$5

One first has the stabilization isomorphism

$\mathcal{K}(L^p(G))$6

Then one defines

$\mathcal{K}(L^p(G))$7

lets $\mathcal{K}(L^p(G))$8 act by coordinatewise multiplication on $\mathcal{K}(L^p(G))$9,

$\mathcal{K}(L^2(G))$0

writes $\mathcal{K}(L^2(G))$1, and uses the $\mathcal{K}(L^2(G))$2-left regular representation $\mathcal{K}(L^2(G))$3 to define

$\mathcal{K}(L^2(G))$4

The resulting untwisted action is

$\mathcal{K}(L^2(G))$5

The main untwisting statement is

$\mathcal{K}(L^2(G))$6

so the stabilized twisted $\mathcal{K}(L^2(G))$7-crossed product is isometrically isomorphic to an untwisted crossed product (Delfín et al., 28 Sep 2025).

This generalization preserves the structural role of stabilization while replacing $\mathcal{K}(L^2(G))$8-specific ingredients by Banach-space analogues: invertible isometries replace unitaries, and multiplier theory is interpreted in the Banach sense.

4. Mechanism of the trick

The mechanism is explicitly described in the recent $\mathcal{K}(L^2(G))$9 treatment. The cocycle is transferred into a projective representation on $L^p$0 and then absorbed into multiplier operators on $L^p$1 (Delfín et al., 28 Sep 2025). The left regular representation $L^p$2 acts by shifting the $L^p$3-variable, while the cocycle contributes the multiplier-valued function $L^p$4. Their product

$L^p$5

is an invertible isometry in $L^p$6, strictly continuous in $L^p$7, and the cocycle identities imply that it implements exterior equivalence

$L^p$8

where the twist on the right-hand side is trivial (Delfín et al., 28 Sep 2025).

At the dense-subalgebra level, the implementing transform is

$L^p$9

which intertwines twisted convolution for $C^*$00 with untwisted convolution for $C^*$01 (Delfín et al., 28 Sep 2025). The norm preservation $C^*$02 allows the universal property of the full crossed product to promote this algebraic identification to an isometric isomorphism.

In the reduced $C^*$03-algebra setting, Suzuki uses the same conceptual mechanism as a reduction principle rather than reproving the construction. The stabilized twisted action is exterior equivalent to a genuine action, and this yields an isomorphism of reduced crossed products commuting with subgroup conditional expectations (Suzuki, 2021). That commuting property is central in applications to tracial weights.

A plausible implication is that the Packer–Raeburn trick is best understood as a functorial passage from cocycle-twisted covariance to ordinary covariance on a stabilised coefficient algebra, with the compact-operator factor carrying the projective defect of the original representation.

5. Extensions to Fell bundles and groupoids

For Hausdorff groupoids, the stabilization idea extends beyond twisted group actions to Fell bundles. "A Stabilization Theorem for Fell Bundles over groupoids" constructs, from a saturated upper-semicontinuous Fell bundle $C^*$04 over a second-countable Hausdorff locally compact groupoid $C^*$05, a Hilbert module bundle $C^*$06 over the unit space and its compact-operator bundle $C^*$07, together with an action $C^*$08 of $C^*$09 on $C^*$10, such that the semi-direct Fell bundle $C^*$11 is equivalent to $C^*$12 (Ionescu et al., 2015).

For each unit $C^*$13, the fibre $C^*$14 is the completion of $C^*$15 with inner product

$C^*$16

and the resulting $C^*$17 is a $C^*$18-algebra Morita equivalent to the unit-fibre algebra $C^*$19 (Ionescu et al., 2015). Using the bimodule structure of the Fell-bundle fibres, one defines isometric Hilbert-module isomorphisms

$C^*$20

from which *-isomorphisms

$C^*$21

are obtained (Ionescu et al., 2015). The main theorem then shows that $C^*$22 implements a $C^*$23–$C^*$24 equivalence of Fell bundles.

Consequently,

$C^*$25

and hence, by Brown–Green–Rieffel, the corresponding $C^*$26-algebras are stably isomorphic (Ionescu et al., 2015). The compact bundle $C^*$27 therefore plays the same role for groupoid Fell bundles that $C^*$28 plays for twisted group actions: it absorbs the twisting or bimodule data so that the residual dynamics is encoded by an ordinary action.

This groupoid stabilization theorem was then used to transport Renault’s ideal and simplicity theory for groupoid crossed products to Fell-bundle algebras. Under the hypotheses stated in that paper, the lattice of ideals of $C^*$29 is identified with the lattice of open $C^*$30-invariant subsets of $C^*$31, and simplicity is characterized by minimality of the induced action on $C^*$32 (Ionescu et al., 2015).

6. Limits of the method and non-Hausdorff obstruction

The stabilization paradigm does not extend without qualification to non-Hausdorff étale groupoids. "Inverse semigroup actions on groupoids" develops actions by partial equivalences, saturated Fell bundles, and actions on $C^*$33-algebras by Hilbert bimodules, and concludes that the Packer–Raeburn Stabilisation Trick does not generalise to non-Hausdorff groupoids (Buss et al., 2014).

The main obstruction theorem states that if $C^*$34 is an étale groupoid with Hausdorff unit space, locally Hausdorff and locally quasi-compact, but with non-Hausdorff arrow space, and if $C^*$35 is a $C^*$36-algebra with $C^*$37, then there is no continuous (twisted) action of $C^*$38 by automorphisms on $C^*$39 that induces the left translation action of $C^*$40 on $C^*$41 (Buss et al., 2014). The explanation given is that continuity of a genuine action by automorphisms forces continuity properties on transported sections over bisections, while the non-Hausdorff arrow space produces inseparable points that force discontinuities.

An explicit counterexample is constructed from a group bundle over $C^*$42 with trivial isotropy except at $C^*$43, where the isotropy is $C^*$44, yielding a non-Hausdorff arrow space with inseparable points $C^*$45 and $C^*$46 (Buss et al., 2014). The model algebra is

$C^*$47

and one obtains a twisted inverse semigroup action by partial automorphisms whose section algebra is $C^*$48 (Buss et al., 2014). However, there is no way to convert this into a genuine untwisted groupoid action by automorphisms, even after stabilization.

By contrast, the same paper notes that for Hausdorff locally compact groupoids, Fell bundles are equivalent, after stabilization, to ordinary actions by automorphisms (Buss et al., 2014). The failure in the non-Hausdorff case therefore marks a genuine boundary of the Packer–Raeburn philosophy. A plausible implication is that in non-Hausdorff settings, Fell bundles and inverse semigroup actions are not technical substitutes for automorphic actions but the correct native framework.

7. Uses and conceptual significance

The Packer–Raeburn trick functions as a reduction principle. In Suzuki’s work on simplicity and tracial weights for non-unital reduced crossed products, the theorem is used to reduce twisted reduced crossed products to untwisted ones after stabilization (Suzuki, 2021). For a twisted action $C^*$49, one stabilizes by $C^*$50, passes to the untwisted action $C^*$51 produced by the Packer–Raeburn theorem, applies the untwisted arguments there, and transfers the conclusions back using exterior equivalence and the fact that the stabilized isomorphism commutes with subgroup conditional expectations (Suzuki, 2021).

This reduction underlies the paper’s twisted, non-unital versions of simplicity and tracial-weight results. In particular, the reduced twisted crossed product of a twisted action of a discrete $C^*$52-simple group is simple if and only if $C^*$53 has no proper $C^*$54-invariant ideal, under the stated hypothesis that $C^*$55 has a completely full element (Suzuki, 2021). For tracial weights, the sets $C^*$56 are invariant under exterior equivalence, and non-degeneracy passes to the stabilized untwisted system; this allows the classification theorem for proper tracial weights to be deduced from the untwisted case (Suzuki, 2021).

In the Banach and $C^*$57 context, the trick has a structural rather than merely technical role. It shows that twisted $C^*$58-crossed products are stably classified by untwisted data on $C^*$59, and that exterior equivalence yields explicit isometric isomorphisms through the maps $C^*$60 (Delfín et al., 28 Sep 2025). This suggests a stable Morita-type perspective analogous to the $C^*$61-case, though the paper phrases the conclusion in terms of stable isometric isomorphism rather than involutive Morita theory.

Across these settings, the common content of the Packer–Raeburn trick is the replacement of twisted covariance by untwisted covariance on a stabilized coefficient algebra. Where the required compact-operator stabilization and continuity theory are available, the trick transforms a cocycle problem into an ordinary dynamical system. Where they are not, as in non-Hausdorff étale groupoids, the failure of the trick identifies a substantive geometric obstruction rather than a gap in technique (Buss et al., 2014).