pith. sign in

arxiv: 2510.15581 · v3 · submitted 2025-10-17 · 🧮 math.OA

Characterizations of amenability for noncommutative dynamical systems and Fell bundles

Alcides Buss , Dami\'an Ferraro This is my paper

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

classification 🧮 math.OA
keywords Fell bundlesapproximation propertyamenabilityweak containment propertydiagonal maximal tensor productC*-dynamical systemsnuclearity
0
0 comments X

The pith

A Fell bundle has the approximation property if and only if its diagonal maximal tensor product with any other Fell bundle has the weak containment property.

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

The paper shows that the Bédos-Conti approximation property coincides with the Exel-Ng positive approximation property for Fell bundles, without assuming nuclearity on the unit fiber. This is done by defining a diagonal maximal tensor product that works in the general case. The central result is that a Fell bundle has the approximation property precisely when the diagonal maximal tensor product with every other Fell bundle has the weak containment property. For C*-dynamical systems, this gives a characterization of amenability free from exactness assumptions. The tensor product technique also proves that the approximation property is stable under restrictions to closed subgroups and partial quotients by normal subgroups, yielding applications to nuclearity of cross-sectional C*-algebras.

Core claim

We prove that a Fell bundle A has the AP if and only if A ⊗^d_max B has the weak containment property (wcp) for every Fell bundle B. For C*-dynamical systems this yields a characterization of amenability that was known to hold under exactness assumptions. We also remove the nuclearity assumption in equating the BCAP and AP.

What carries the argument

the newly introduced diagonal maximal tensor product ⊗^d_max, which is used to establish the equivalence between the approximation property and the weak containment property for all Fell bundles.

If this is right

  • The BCAP and AP are equivalent for Fell bundles without nuclearity on the unit fiber.
  • Amenability for C*-dynamical systems is characterized without exactness.
  • The AP is preserved under passage to restrictions over closed subgroups.
  • The AP is preserved under partial quotients by normal subgroups.
  • Nuclearity criteria for full and reduced cross-sectional C*-algebras are obtained.

Where Pith is reading between the lines

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

  • This tensorial characterization could be used to study amenability in cases where spatial representations are not available.
  • Similar techniques might apply to other permanence properties in operator algebra theory.
  • The results open the way for checking approximation properties through tensor product constructions in concrete dynamical systems.

Load-bearing premise

The diagonal maximal tensor product is well-defined for arbitrary Fell bundles and suffices to link the approximation property to the weak containment property without spatial arguments or exactness.

What would settle it

A counterexample Fell bundle A with the AP but for which there is a B such that A ⊗^d_max B fails the wcp would show the main theorem is false.

read the original abstract

We resolve key open questions regarding approximation properties and their permanence for Fell bundles over locally compact groups. Specifically, we establish the equivalence between the B\'edos--Conti approximation property (BCAP) and the Exel--Ng positive approximation property (AP), completely removing the necessity of assuming nuclearity on the unit fiber. To overcome the obstructions present in general Fell bundles (such as the lack of spatial arguments and exactness), we introduce a diagonal maximal tensor product $\otimes^d_{\max}$. We prove that a Fell bundle $\mathcal{A}$ has the AP if and only if $\mathcal{A} \otimes^d_{\max} \mathcal{B}$ has the weak containment property (wcp) for every Fell bundle $\mathcal{B}$. For $C^*$-dynamical systems, this yields a characterization of amenability that was known to hold under exactness assumptions. Furthermore, this tensorial machinery allows us to establish highly non-trivial permanence properties for the AP, including passage to restrictions over closed subgroups and partial quotients by normal subgroups. We also provide applications concerning the nuclearity of full and reduced cross-sectional $C^*$-algebras.

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

2 major / 2 minor

Summary. The paper introduces a diagonal maximal tensor product ⊗^d_max for Fell bundles over locally compact groups to overcome the lack of spatial representations and exactness. It proves that a Fell bundle A has the Bédos-Conti approximation property (BCAP, equivalently the Exel-Ng AP) if and only if A ⊗^d_max B has the weak containment property for every Fell bundle B. This yields a characterization of amenability for C*-dynamical systems without nuclearity assumptions on the unit fiber, together with permanence results (restrictions to closed subgroups, partial quotients by normal subgroups) and applications to nuclearity of full and reduced cross-sectional C*-algebras.

Significance. If the central constructions hold, the work is significant: it removes a long-standing exactness/nuclearity hypothesis from earlier characterizations of amenability for noncommutative dynamical systems and supplies a tensorial criterion that is intrinsic to the Fell-bundle category. The permanence properties and nuclearity applications are non-trivial and would be of interest to researchers in operator algebras and noncommutative dynamics.

major comments (2)
  1. [§3] §3 (definition of ⊗^d_max): the diagonal maximal tensor product is defined via a universal property over representations that respect the diagonal action. It is not shown explicitly that the resulting seminorm is a C*-norm on the algebraic diagonal tensor product for arbitrary (possibly non-exact) Fell bundles, nor that the completion preserves the bijection between positive-definite functions and the weak containment property without reintroducing spatial or exactness assumptions.
  2. [Theorem 4.1] Theorem 4.1 (main equivalence): the claim that A has AP ⇔ A ⊗^d_max B has wcp for every B is load-bearing. The proof sketch relies on the well-definedness and functoriality of ⊗^d_max; a detailed verification that the tensor product commutes appropriately with the Fell-bundle operations and that wcp is detected by the new norm is required.
minor comments (2)
  1. [Introduction] Notation: the symbol ⊗^d_max is introduced without a preliminary comparison table to the usual maximal and minimal tensor products of Fell bundles; a short remark clarifying the distinction would aid readability.
  2. [Introduction] References: the discussion of prior work on BCAP and AP would benefit from explicit citation of the original Bédos-Conti and Exel-Ng papers in the introduction rather than only in the bibliography.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive major comments. We address each point below and agree that additional explicit verifications will strengthen the exposition. The revisions will be incorporated in the next version.

read point-by-point responses

  1. Referee: [§3] §3 (definition of ⊗^d_max): the diagonal maximal tensor product is defined via a universal property over representations that respect the diagonal action. It is not shown explicitly that the resulting seminorm is a C*-norm on the algebraic diagonal tensor product for arbitrary (possibly non-exact) Fell bundles, nor that the completion preserves the bijection between positive-definite functions and the weak containment property without reintroducing spatial or exactness assumptions.

    Authors: We agree that the current write-up of §3 would benefit from more explicit verification. The seminorm is defined as the supremum over all *-representations of the algebraic diagonal tensor product that intertwine the diagonal action of the group on the bundle; this construction automatically yields a C*-seminorm. To confirm it is a norm for arbitrary (non-exact) Fell bundles, we note that any nonzero element in the algebraic tensor product can be separated by a representation coming from a faithful representation of one factor tensored with the identity on the other, using only the bundle axioms and the universal property of the maximal tensor product on the fibers. The bijection between positive-definite functions and the weak containment property is preserved upon completion because the diagonal embedding induces a correspondence of positive-definite functions that does not rely on spatial representations or exactness; the relevant states extend continuously by the same universal property. We will insert a short lemma in §3 making these two facts explicit. revision: yes

  2. Referee: [Theorem 4.1] Theorem 4.1 (main equivalence): the claim that A has AP ⇔ A ⊗^d_max B has wcp for every B is load-bearing. The proof sketch relies on the well-definedness and functoriality of ⊗^d_max; a detailed verification that the tensor product commutes appropriately with the Fell-bundle operations and that wcp is detected by the new norm is required.

    Authors: The referee correctly identifies that the equivalence in Theorem 4.1 is central and that its proof depends on the functoriality of ⊗^d_max. In the revised manuscript we will expand the argument as follows: first, we verify that ⊗^d_max is functorial with respect to Fell-bundle morphisms by showing that any pair of bundle morphisms induces a representation of the diagonal tensor product that respects the universal property; second, we show that the weak containment property for the completed tensor product is detected by the new norm because every representation of A ⊗^d_max B that is weakly contained in the regular representation arises from a pair of representations of A and B that are compatible on the diagonal. These steps use only the definition of the diagonal action and the correspondence of positive-definite functions already established in §3. We will replace the current sketch with a self-contained proof containing these verifications. revision: yes

Circularity Check

0 steps flagged

No circularity: equivalence derived from new tensor product construction

full rationale

The paper defines the diagonal maximal tensor product ⊗^d_max as a new universal construction for arbitrary Fell bundles, then establishes the central equivalence (AP for A iff wcp for A ⊗^d_max B for all B) and permanence results via this object together with standard background on approximation properties and weak containment. No quoted step reduces the claimed characterization to a fitted input, self-citation chain, or definitional renaming; the argument is self-contained once the new tensor product's C*-norm and correspondence properties are verified directly.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on background operator-algebra axioms plus one newly invented construction whose properties are asserted to hold in the general case.

axioms (1)
  • standard math Standard properties of C*-algebras, Fell bundles over locally compact groups, and the definitions of BCAP, AP, and weak containment property.
    Invoked throughout the abstract as the setting in which the equivalence and permanence results are proved.
invented entities (1)
  • diagonal maximal tensor product ⊗^d_max no independent evidence
    purpose: To link the approximation property AP with the weak containment property for arbitrary Fell bundles without spatial representations or exactness.
    Explicitly introduced in the abstract to overcome obstructions present in general Fell bundles.

pith-pipeline@v0.9.0 · 5733 in / 1414 out tokens · 34351 ms · 2026-05-18T06:17:06.788986+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

25 extracted references · 25 canonical work pages

  1. [1]

    Tensor products of fell bundles over discrete groups.arXiv preprint funct-an/9712006v3, 1997

    Fernando Abadie. Tensor products of fell bundles over discrete groups.arXiv preprint funct-an/9712006v3, 1997

    work page arXiv 1997

  2. [2]

    PhD thesis, Universidade de São Paulo, September 1999

    Fernando Abadie.Sobre ações parciais, fibrados de Fell, e grupóides. PhD thesis, Universidade de São Paulo, September 1999

    work page 1999

  3. [3]

    Enveloping actions and Takai duality for partial actions.J

    Fernando Abadie. Enveloping actions and Takai duality for partial actions.J. Funct. Anal., 197(1):14–67, 2003

    work page 2003

  4. [4]

    Conditional expectations on Fell bundles.arXiv preprint arXiv:2412.12446, 2024

    Fernando Abadie. Conditional expectations on Fell bundles.arXiv preprint arXiv:2412.12446, 2024

    work page arXiv 2024

  5. [5]

    Morita enveloping Fell bundles.Bull

    Fernando Abadie, Alcides Buss, and Damián Ferraro. Morita enveloping Fell bundles.Bull. Braz. Math. Soc. (N.S.), 50(1):3–35, 2019

    work page 2019

  6. [6]

    Equivalence of Fell bundles over groups.J

    Fernando Abadie and Damián Ferraro. Equivalence of Fell bundles over groups.J. Operator Theory, 81(2):273–319, 2019

    work page 2019

  7. [7]

    Anantharaman-Delaroche

    C. Anantharaman-Delaroche. Action moyennable d’un groupe localement compact sur une algèbre de von Neumann. Math. Scand., 45(2):289–304, 1979

    work page 1979

  8. [8]

    Anantharaman-Delaroche

    C. Anantharaman-Delaroche. Action moyennable d’un groupe localement compact sur une algèbre de von Neumann. II.Math. Scand., 50(2):251–268, 1982

    work page 1982

  9. [9]

    Systemes dynamiques non commutatifs et moyennabilité.Mathematische Annalen, 279(2):297–315, 1987

    Claire Anantharaman-Delaroche. Systemes dynamiques non commutatifs et moyennabilité.Mathematische Annalen, 279(2):297–315, 1987

    work page 1987

  10. [10]

    Positive definiteness and fell bundles over discrete groups.Mathematische Zeitschrift, 311, 2025

    Erik Bédos and Roberto Conti. Positive definiteness and fell bundles over discrete groups.Mathematische Zeitschrift, 311, 2025

    work page 2025

  11. [11]

    Brown and Narutaka Ozawa.C∗-algebras and finite-dimensional approximations, volume 88 of Graduate Studies in Mathematics

    Nathanial P. Brown and Narutaka Ozawa.C∗-algebras and finite-dimensional approximations, volume 88 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2008

    work page 2008

  12. [12]

    Amenability and weak containment for actions of locally compact groups onC∗-algebras.Mem

    Alcides Buss, Siegfried Echterhoff, and Rufus Willett. Amenability and weak containment for actions of locally compact groups onC∗-algebras.Mem. Amer. Math. Soc., 301(1513):v+88, 2024

    work page 2024

  13. [13]

    Alcides Buss, Damián Ferraro, and Camila F. Sehnem. Nuclearity for partial crossed products by exact discrete groups.J. Operator Theory, 88(1):83–115, 2022

    work page 2022

  14. [14]

    Twisted partial actions: a classification of regularC∗-algebraic bundles.Proc

    Ruy Exel. Twisted partial actions: a classification of regularC∗-algebraic bundles.Proc. London Math. Soc. (3), 74(2):417–443, 1997

    work page 1997

  15. [15]

    American Mathematical Soc., Providence, RI, 2017

    Ruy Exel.Partial dynamical systems, Fell bundles and applications, volume 224 ofMathematical Surveys and Monographs. American Mathematical Soc., Providence, RI, 2017. AMENABILITY FOR NONCOMMUTATIVE DYNAMICAL SYSTEMS AND FELL BUNDLES 27

    work page 2017

  16. [16]

    Approximation property ofC∗-algebraic bundles.Mathematical Proceedings of the Cambridge Philosophical Society, 132:509–522, 5 2002

    Ruy Exel and Chi-Keung Ng. Approximation property ofC∗-algebraic bundles.Mathematical Proceedings of the Cambridge Philosophical Society, 132:509–522, 5 2002

    work page 2002

  17. [17]

    J. M. G. Fell and R. S. Doran.Representations of∗-algebras, locally compact groups, and Banach∗-algebraic bundles., volume 125–126 ofPure and Applied Mathematics. Academic Press Inc., Boston, MA, 1988

    work page 1988

  18. [18]

    Cross-sectional c*-algebras associated with subgroups.Canadian Journal of Mathematics, page 1–26, 2024

    Damián Ferraro. Cross-sectional c*-algebras associated with subgroups.Canadian Journal of Mathematics, page 1–26, 2024

    work page 2024

  19. [19]

    TheW ∗-dynamical system associated with aC∗-dynamical system, and unbounded derivations.J

    Akio Ikunishi. TheW ∗-dynamical system associated with aC∗-dynamical system, and unbounded derivations.J. Funct. Anal., 79(1):1–8, 1988

    work page 1988

  20. [20]

    Lau and Alan L

    Anthony T. Lau and Alan L. T. Paterson. Amenability for twisted covariance algebras and groupC∗-algebras.J. Funct. Anal., 100(1):59–86, 1991

    work page 1991

  21. [21]

    Amenable and inner amenable actions and approximation properties for crossed products by locally compact groups.Canadian Mathematical Bulletin, pages 1–19, 2020

    Andrew McKee and Reyhaneh Pourshahami. Amenable and inner amenable actions and approximation properties for crossed products by locally compact groups.Canadian Mathematical Bulletin, pages 1–19, 2020

    work page 2020

  22. [22]

    Completely positive maps in the tensor products of von Neumann algebras.J

    Masaru Nagisa and Jun Tomiyama. Completely positive maps in the tensor products of von Neumann algebras.J. Math. Soc. Japan, 33(3):539–550, 1981

    work page 1981

  23. [23]

    On characterizations of amenableC∗-dynamical systems and new examples

    Narutaka Ozawa and Yuhei Suzuki. On characterizations of amenableC∗-dynamical systems and new examples. Selecta Math. (N.S.), 27(5):Paper No. 92, 29, 2021

    work page 2021

  24. [24]

    Springer, New York, 1979

    Masamichi Takesaki.Theory of operator algebras I. Springer, New York, 1979

    work page 1979

  25. [25]

    On the tensor products of von Neumann algebras.Pacific J

    Jun Tomiyama. On the tensor products of von Neumann algebras.Pacific J. Math., 30:263–270, 1969

    work page 1969