pith. sign in

arxiv: 2509.10822 · v2 · submitted 2025-09-13 · 🧮 math.OA · math.FA

Actions of Fell bundles

Erik B\'edos , Roberto Conti This is my paper

Pith reviewed 2026-05-18 17:20 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords Fell bundlesHilbert bundlesbundle actionspositive definite mapsGelfand-Raikov theoremC*-correspondencescross-sectional C*-algebrasdiscrete groups
0
0 comments X

The pith

Actions of Fell bundles over discrete groups on Hilbert bundles connect to positive definite bundle maps, yielding a Gelfand-Raikov type theorem in the unital case.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines actions of Fell bundles over discrete groups acting on Hilbert bundles and presents many examples. It establishes a connection between these actions and positive definite bundle maps between Fell bundles. In the unital case this connection produces a Gelfand-Raikov type theorem. The same actions are used to construct C*-correspondences over the cross-sectional C*-algebras of the Fell bundles. A reader would care because the construction supplies a new way to handle representations and algebraic relations for bundled structures in operator algebras.

Core claim

Actions of Fell bundles over discrete groups on Hilbert bundles are introduced and studied, with many examples presented. The actions connect to positive definite bundle maps between Fell bundles, and in the unital case this yields a Gelfand-Raikov type theorem. The actions are further employed to construct C*-correspondences over cross-sectional C*-algebras of Fell bundles.

What carries the argument

The action of a Fell bundle on a Hilbert bundle, which generalizes ordinary group actions and supplies the link to positive definite bundle maps.

If this is right

  • The actions produce C*-correspondences over the cross-sectional C*-algebras of the underlying Fell bundles.
  • Positive definite bundle maps arise directly from the defined actions.
  • A Gelfand-Raikov type theorem holds for representations of unital Fell bundles.
  • The framework applies to a range of examples of Fell bundles over discrete groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The construction could extend to continuous groups and thereby reach more dynamical systems.
  • The resulting C*-correspondences may help compare Morita equivalence classes of algebras built from different bundles.
  • The positive definite map connection might yield new invariants for classifying representations of bundle algebras.

Load-bearing premise

The defined actions exist with enough generality that their link to positive definite bundle maps supports a Gelfand-Raikov type theorem in the unital case.

What would settle it

A concrete unital Fell bundle together with a Hilbert bundle where an action exists but produces no positive definite map satisfying the conditions of the Gelfand-Raikov type theorem.

read the original abstract

We introduce and study actions of Fell bundles over discrete groups on Hilbert bundles. Many examples of such actions are presented. We discuss the connection with positive definite bundle maps between Fell bundles, culminating in the unital case in a Gelfand-Raikov type theorem. We also use these actions to construct C*-correspondences over cross-sectional C*-algebras of Fell bundles.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper introduces and studies actions of Fell bundles over discrete groups on Hilbert bundles. Many examples of such actions are presented. It discusses the connection with positive definite bundle maps between Fell bundles, culminating in the unital case in a Gelfand-Raikov type theorem. The actions are also used to construct C*-correspondences over cross-sectional C*-algebras of Fell bundles.

Significance. If the results hold, this provides a new framework for actions of Fell bundles on Hilbert bundles, linking them to positive definite bundle maps and yielding a Gelfand-Raikov-type theorem via adaptation of standard representation arguments (using the unit section as cyclic vector). The explicit cocycle definitions, direct consistency verifications in the examples section, and the C*-correspondence construction via algebraic tensor product completion with action-induced inner product are strengths. This could advance representation theory and correspondence constructions in the setting of Fell bundles and their cross-sectional C*-algebras.

minor comments (3)
  1. In the examples section, expand the direct verification of cocycle conditions and compatibility with bundle operations to include at least one fully worked computation for a non-trivial example, aiding readability.
  2. In the discussion of the unital case, explicitly state how the unit section supplies the cyclic vector when adapting the standard Gelfand-Raikov argument to the bundle setting.
  3. Clarify whether the C*-correspondence construction requires any additional saturation or continuity assumptions beyond the discreteness of the group, even if the answer is negative.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition of the new framework for actions of Fell bundles on Hilbert bundles, the links to positive definite bundle maps, the Gelfand-Raikov-type theorem, and the C*-correspondence construction. We appreciate the recommendation for minor revision and will incorporate any suggested improvements.

Circularity Check

0 steps flagged

No significant circularity; definitions and adaptations are self-contained

full rationale

The manuscript introduces actions of Fell bundles on Hilbert bundles via explicit cocycle conditions and bundle compatibility, verifies them directly in examples, constructs the link to positive definite bundle maps pointwise on fibers, adapts the standard Gelfand-Raikov argument using the unit section for the unital case, and obtains C*-correspondences by completing the algebraic tensor product with the induced inner product. These steps rely on the paper's own definitions and external standard techniques rather than reducing to fitted inputs, self-citations, or renamings. The derivation chain is independent and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be extracted or verified from the provided information.

pith-pipeline@v0.9.0 · 5568 in / 1268 out tokens · 37770 ms · 2026-05-18T17:20:52.616530+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    Abadie, D

    F. Abadie, D. Ferraro: Equivalence of Fell bundles over groups.J. Operator Theory81(2019), 273–319

    work page 2019

  2. [2]

    Abadie, A

    F. Abadie, A. Buss, D. Ferraro: Morita enveloping Fell bundles.Bull. Braz. Math. Soc. (N.S.)50 (2019), 3–35

    work page 2019

  3. [3]

    Abadie, A

    F. Abadie, A. Buss, D. Ferraro: Amenability and approximation properties for partial actions and Fell bundles.Bull. Braz. Math. Soc. (N.S.)53(2022), 173–227

    work page 2022

  4. [4]

    B´ edos, R

    E. B´ edos, R. Conti: On discrete twisted C˚-dynamical systems, Hilbert C ˚-modules and regularity. M¨ unster J. Math.5(2012), 183–208

    work page 2012

  5. [5]

    B´ edos, R

    E. B´ edos, R. Conti: Fourier series and twisted C ˚-crossed products,J. Fourier Anal. Appl.21 (2015), 32–75

    work page 2015

  6. [6]

    B´ edos, R

    E. B´ edos, R. Conti: On the Fourier-Stieltjes algebra of a C ˚-dynamical system.Internat. J. Math. 27(2016), no. 6, Paper No. 1650050, 50 pp

    work page 2016

  7. [7]

    B´ edos, R

    E. B´ edos, R. Conti: Positive definiteness and Fell bundles over discrete groups.Math. Z.311(2025), no. 1, Paper No. 9, 26 pp. 45

    work page 2025

  8. [8]

    B´ edos, R

    E. B´ edos, R. Conti: Actions of Fell bundles, II: Tensor products and Fourier-Stieltjes algebras. In preparation

    work page

  9. [9]

    Bekka, P

    B. Bekka, P. de la Harpe: Unitary representations of groups, duals, and characters. Math. Surveys Monogr.,250. American Mathematical Society, Providence, RI, 2020

    work page 2020

  10. [10]

    Brown, N

    N.P. Brown, N. Ozawa: C ˚-algebras and finite-dimensional approximations.Graduate Studies in Mathematics,88. American Mathematical Society, Providence, RI, 2008

    work page 2008

  11. [11]

    A. Buss, S. Echterhoff, R. Willett: Injectivity, crossed products, and amenable group actions.K- theory in algebra, analysis and topology, 105–137. Contemp. Math.,749, Amer. Math. Soc., Provi- dence, RI, 2020

    work page 2020

  12. [12]

    A. Buss, S. Echterhoff, R. Willett: Amenability and weak containment for actions of locally compact groups onC ˚-algebras.Mem. Amer. Math. Soc.301(2024), no. 1513, v+88 pp

    work page 2024

  13. [13]

    A. Buss, D. Ferraro, C. F. Sehnem: Nuclearity for partial crossed products by exact discrete groups. J. Operator Theory88(2022), 83–115

    work page 2022

  14. [14]

    A. Buss, B. Kwa´ sniewski, A. McKee, A. Skalski: Fourier-Stieltjes category for twisted groupoid actions, Preprint (2024), arXiv:2405.15653

    work page arXiv 2024

  15. [15]

    Combes: Crossed products and Morita equivalence.Proc

    F. Combes: Crossed products and Morita equivalence.Proc. London Math. Soc.49(1984), 289–306

    work page 1984

  16. [16]

    de Canni` ere, U

    J. de Canni` ere, U. Haagerup: Multipliers of the Fourier algebras of some simple Lie groups and their discrete subgroups.Amer. J. Math.107(1985), 455–500

    work page 1985

  17. [17]

    Echterhoff, S

    S. Echterhoff, S. Kaliszewski, J. Quigg, I. Raeburn: Naturality and induced representations.Bull. Austral. Math. Soc61(2000), 415–438

    work page 2000

  18. [18]

    Echterhoff, S

    S. Echterhoff, S. Kaliszewski, J. Quigg, I. Raeburn: A categorical approach to imprimivity theorems for C˚-dynamical systems.Mem. Amer. Math. Soc.180(2006), no. 850, viii+169 pp

    work page 2006

  19. [19]

    Exel: Amenability for Fell bundles.J

    R. Exel: Amenability for Fell bundles.J. Reine Angew. Math.492(1997), 41–73

    work page 1997

  20. [20]

    Exel: Partial dynamical systems, Fell bundles and applications

    R. Exel: Partial dynamical systems, Fell bundles and applications. Mathematical Surveys and Monographs,224, American Mathematical Society, Providence, RI, 2017

    work page 2017

  21. [21]

    J. M. G. Fell, R. S. Doran: Representations of˚-Algebras, Locally Compact Groups, and Banach ˚-Algebraic Bundles. Vol. 1: Basic representation theory of groups and algebras. Academic Press, Inc., 1988

    work page 1988

  22. [22]

    J. M. G. Fell, R. S. Doran: Representations of˚-Algebras, Locally Compact Groups, and Banach ˚-Algebraic Bundles. Vol. 2: Banach˚-Algebraic Bundles, Induced Representations, and the Gen- eralized Mackey Analysis. Academic Press Inc., 1988

    work page 1988

  23. [23]

    Haagerup: On the dual weights for crossed products of von Neumann algebras

    U. Haagerup: On the dual weights for crossed products of von Neumann algebras. II. Application of operator-valued weights.Math. Scand.43(1978/79), 119–140

    work page 1978

  24. [24]

    He: Herz-Schur multipliers of Fell bundles and the nuclearity of the fullC ˚-algebra.Int

    W. He: Herz-Schur multipliers of Fell bundles and the nuclearity of the fullC ˚-algebra.Int. J. The- oretical and Applied Math.7(2021), 17–29

    work page 2021

  25. [25]

    W. He, I.G. Todorov, L. Turowska: Completely compact Herz-Schur multipliers of dynamical sys- tems.J. Fourier Anal. Appl.28(2022), Paper No. 47, 25 pp

    work page 2022

  26. [26]

    Kaniuth, A.T

    E. Kaniuth, A.T. Lau: Fourier and Fourier-Stieltjes algebras on locally compact grroups. Mathe- matical Surveys and Monographs,231, American Mathematical Society, Providence, RI, 2018. 46

    work page 2018

  27. [27]

    G. G. Kasparov: EquivariantKK-theory and the Novikov conjecture.Invent. Math.91(1988), 147–201

    work page 1988

  28. [28]

    G. G. Kasparov:K-theory, groupC ˚-algebras, and higher signatures (conspectus), inNovikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach, 1993), 101–146, London Math. Soc. Lecture Note Ser., 226, Cambridge Univ. Press, Cambridge

    work page 1993

  29. [29]

    Lance:Hilbert C ˚-modules

    E.C. Lance:Hilbert C ˚-modules. A toolkit for operator algebraists. London Mathematical Society Lecture Note Series,210, Cambridge University Press, Cambridge, 1995

    work page 1995

  30. [30]

    Leung, C.-K

    C.-K. Leung, C.-K. Ng: Property (T) and strong property (T) for unitalC ˚-algebras.J. Funct. Anal. 256(2009), 3055–3070

    work page 2009

  31. [31]

    Lin: Bounded module maps and pure completely positive maps.J

    H. Lin: Bounded module maps and pure completely positive maps.J. Operator Theory26(1991), 121–138

    work page 1991

  32. [32]

    McKee, I

    A. McKee, I. G. Todorov, L. Turowska: Herz-Schur multipliers of dynamical systems.Adv. Math. 331(2018), 387–438

    work page 2018

  33. [33]

    McKee, A

    A. McKee, A. Skalski, I. G. Todorov, L. Turowska: Positive Herz-Schur multipliers and approxima- tion properties of crossed products.Math. Proc. Cambridge Philos. Soc.165(2018), 511–532

    work page 2018

  34. [34]

    McKee, L

    A. McKee, L. Turowska: Exactness and SOAP of crossed products via Herz-Schur multipliers. J. Math. Anal. Appl.496(2021), no. 2, Paper No. 124812, 16 pp

    work page 2021

  35. [35]

    McKee, R

    A. McKee, R. Pourshahami, I. G. Todorov, L. Turowska: Central and convolution Herz-Schur multipliers.New York J. Math.28(2022), 1–43

    work page 2022

  36. [36]

    van Neerven:Functional Analysis

    J. van Neerven:Functional Analysis. Cambridge University Press, Cambridge, 2022

    work page 2022

  37. [37]

    Ozawa, Y

    N. Ozawa, Y. Suzuki: On characterizations of amenableC ˚-dynamical systems and new examples. Selecta Math. (N.S.),27(2021), Paper No. 92, 29 pp

    work page 2021

  38. [38]

    W. L. Paschke: Inner product modules overB ˚-algebras.Trans. Amer. Math. Soc.182(1973), 443–468

    work page 1973

  39. [39]

    Paulsen: Completely bounded maps and operator algebras

    V. Paulsen: Completely bounded maps and operator algebras. Cambridge University Press, Cam- bridge, 2002

    work page 2002

  40. [40]

    Pisier: Similarity problems and completely bounded maps, 2nd edn

    G. Pisier: Similarity problems and completely bounded maps, 2nd edn. Lect. Notes in Math., vol. 1618, Springer, Berlin, 2001

    work page 2001

  41. [41]

    Pisier: Introduction to operator space theory

    G. Pisier: Introduction to operator space theory. London Math. Soc. Lect. Notes Series, vol. 294, Cambridge University Press, Cambridge, 2003

    work page 2003

  42. [42]

    A. G. Ravnanger: On Fourier and Fourier-Stieltjes algebras ofC ˚-dynamical systems.Math. Scand. 131(2025), 293–319. 47

    work page 2025