Definition
Fell bundle
A bundle over a group whose fibers multiply and take adjoints like the homogeneous pieces of a C*-algebra.
Definition
Let be a locally compact group. A Fell bundle is a Banach bundle over with continuous operations
that are associative and involutive, satisfy , , and make positive in the -algebra . The bundle axioms also require the usual fiberwise linearity and continuity. Thus each behaves as a homogeneous component, while is the unit fiber. Multiplication and involution link different fibers without identifying them, so the total space need not itself be a -algebra.
Cross-sectional algebras
Compactly supported continuous sections form a convolution -algebra. After choosing a left Haar measure, its operations are
where is the modular function. Completing this algebra in the universal norm gives the full cross-sectional algebra ; the regular representation gives . These constructions extend full and reduced crossed products Exel, Chapters 16–17.
Examples and saturation
For a -dynamical system , take as Banach spaces and define
Its cross-sectional algebras are the ordinary crossed products of the action. Fell bundles also encode partial actions and graded -algebras.
A Fell bundle is saturated when for every . Saturation is an additional property in the convention used here. Some older sources build it into “-algebraic bundle,” so hypotheses should be compared before importing a theorem.
References
- 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.
- 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.