Definition

Let GG be a . A Fell bundle B=(Bs)sG\mathcal B=(B_s)_{s\in G} is a Banach bundle over GG with continuous operations

Bs×BtBst,BsBs1,bb,B_s\times B_t\longrightarrow B_{st},\qquad B_s\longrightarrow B_{s^{-1}},\quad b\longmapsto b^*,

that are associative and involutive, satisfy bcbc\lVert bc\rVert\leq\lVert b\rVert\lVert c\rVert, bb=b2\lVert b^*b\rVert=\lVert b\rVert^2, and make bbb^*b positive in the BeB_e. The bundle axioms also require the usual fiberwise linearity and continuity. Thus each BsB_s behaves as a homogeneous component, while BeB_e is the unit fiber. Multiplication and involution link different fibers without identifying them, so the total space need not itself be a CC^*-algebra.

Cross-sectional algebras

Compactly supported continuous sections form a convolution *-algebra. After choosing a left , its operations are

(fg)(s)=Gf(t)g(t1s)dt,f(s)=Δ(s1)f(s1),(f*g)(s)=\int_G f(t)g(t^{-1}s)\,dt,\qquad f^*(s)=\Delta(s^{-1})f(s^{-1})^*,

where Δ\Delta is the modular function. Completing this algebra in the universal norm gives the full cross-sectional algebra C(B)C^*(\mathcal B); the gives Cr(B)C_r^*(\mathcal B). These constructions extend full and Exel, Chapters 16–17.

Examples and saturation

For a (A,G,α)(A,G,\alpha), take Bs=AB_s=A as and define

(a,s)(b,t)=(aαs(b),st),(a,s)=(αs1(a),s1).(a,s)(b,t)=(a\alpha_s(b),st),\qquad (a,s)^*=(\alpha_{s^{-1}}(a^*),s^{-1}).

Its cross-sectional algebras are the ordinary crossed products of the action. Fell bundles also encode partial actions and graded CC^*-algebras.

A Fell bundle is saturated when span(BsBt)=Bst\overline{\operatorname{span}}(B_sB_t)=B_{st} for every s,ts,t. Saturation is an additional property in the convention used here. Some older sources build it into “CC^*-algebraic bundle,” so hypotheses should be compared before importing a theorem.

References
  1. Ruy Exel, Partial Dynamical Systems, Fell Bundles and Applications, Mathematical Surveys and Monographs 224, American Mathematical Society, 2017. AMS record. Relevant: Chapters 16–20 on Fell bundles and their cross-sectional algebras.
  2. J. M. G. Fell and Robert S. Doran, Representations of -Algebras, Locally Compact Groups, and Banach -Algebraic Bundles, Volumes 1–2, Academic Press, 1988. Volume 1 publisher record. Relevant: the axioms and representation theory of Banach *-algebraic bundles.