On operator Connes-amenability of the Fourier-Stieltjes algebra
Pith reviewed 2026-05-16 22:11 UTC · model grok-4.3
The pith
B(G) is not operator Connes-amenable for non-compact groups with property (T) and finite almost periodic compactification or for discrete groups without the factorization property.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that B(G) is not operator Connes-amenable when G is a non-compact locally compact group with property (T) and finite almost periodic compactification, or when G is a discrete group without the factorization property.
What carries the argument
The obstruction is the non-existence of an operator-space virtual diagonal for the dual of B(G), enforced by the rigidity of property (T) or the absence of the factorization property.
If this is right
- B(G) is operator Connes-amenable for some non-amenable groups and fails to be so for other non-amenable groups.
- The operator Connes-amenability of B(G) depends on finer group invariants than amenability alone.
- The listed group conditions are sufficient to destroy any possible operator-space virtual diagonal for B(G)*.
Where Pith is reading between the lines
- A full group-theoretic characterization of when B(G) is operator Connes-amenable may now be approachable by combining the positive and negative examples.
- The results suggest testing whether every discrete group with the factorization property yields an operator Connes-amenable B(G).
Load-bearing premise
The standard definitions of operator Connes-amenability for B(G) interact with property (T) and the factorization property exactly as required to produce the stated obstruction.
What would settle it
An explicit construction of an operator-space virtual diagonal in B(G)* for a concrete non-compact group with property (T), such as a higher-rank lattice, would refute the claim.
read the original abstract
Runde and Spronk showed in 2004 that there are non-amenable groups $G$, including $\mathbb F_2$, {whose Fourier-Stieltjes algebra, $B(G)$,} is operator Connes-amenable. This result was surprising since the measure algebra $M(G)$ is Connes-amenable if and only if $G$ is amenable, which might lead one to guess that $B(G)$ should be operator Connes-amenable if and only if $G$ is amenable. This leads to the question: for which groups $G$ is $B(G)$ operator Connes-amenable? We make progress on this problem by {exhibiting} the first examples of groups {for which $B(G)$ is not operator Connes-amenable}. More specifically, we show that $B(G)$ is not operator Connes-amenable when $G$ is a non-compact locally compact group with property (T) and finite almost periodic compactification, or when $G$ is a discrete group without the factorization property.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to exhibit the first examples of groups G for which the Fourier-Stieltjes algebra B(G) fails to be operator Connes-amenable: specifically, non-compact locally compact groups with property (T) and finite almost periodic compactification, and discrete groups lacking the factorization property. This contrasts with the 2004 Runde-Spronk result that B(G) can be operator Connes-amenable for certain non-amenable groups such as the free group on two generators.
Significance. If the derivations hold, the result is significant because it supplies concrete, falsifiable classes of groups where operator Connes-amenability of B(G) fails, thereby sharpening the boundary between the amenable and non-amenable cases for this algebra. The argument rests on standard operator-space module actions and virtual-diagonal characterizations already present in the literature, together with the cited group-theoretic hypotheses; the manuscript therefore supplies a useful negative complement to the 2004 positive examples.
major comments (2)
- [§3] §3, Theorem 3.2: the reduction from the absence of a virtual diagonal for the operator B(G)-bimodule to the non-existence of a factorization property (or to property (T) plus finite AP-compactification) is stated as a direct consequence of the 2004 characterization, but the precise identification of the relevant operator-space module actions for B(G) is not re-derived; an explicit verification that the canonical actions coincide with those in Runde-Spronk would strengthen the claim.
- [§4] §4, Corollary 4.1: the argument that discrete groups without the factorization property yield non-operator-Connes-amenable B(G) appears to invoke an external result on the non-existence of certain completely bounded maps; the manuscript should confirm that this external result applies verbatim to the operator-space setting used here rather than only to the Banach-space setting.
minor comments (3)
- [§2] The term 'finite almost periodic compactification' is used without a local definition or pointer to a standard reference in the preliminaries; a one-sentence reminder would improve readability.
- [§3] Notation for the operator-space projective tensor product and the associated module actions is introduced in §2 but occasionally reused without re-statement in later proofs; consistent cross-referencing would help.
- [References] The reference list contains the 2004 Runde-Spronk paper but omits the precise page range or theorem number that is invoked in the proofs; adding these details would facilitate verification.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive assessment, and recommendation of minor revision. The comments help clarify the exposition, and we have revised the manuscript accordingly.
read point-by-point responses
-
Referee: [§3] §3, Theorem 3.2: the reduction from the absence of a virtual diagonal for the operator B(G)-bimodule to the non-existence of a factorization property (or to property (T) plus finite AP-compactification) is stated as a direct consequence of the 2004 characterization, but the precise identification of the relevant operator-space module actions for B(G) is not re-derived; an explicit verification that the canonical actions coincide with those in Runde-Spronk would strengthen the claim.
Authors: We agree that an explicit verification strengthens the claim. In the revised manuscript we have added a short paragraph immediately after Theorem 3.2 that recalls the canonical operator B(G)-bimodule actions from Runde-Spronk (2004) and verifies that they coincide exactly with the actions employed in our argument. This makes the reduction fully self-contained. revision: yes
-
Referee: [§4] §4, Corollary 4.1: the argument that discrete groups without the factorization property yield non-operator-Connes-amenable B(G) appears to invoke an external result on the non-existence of certain completely bounded maps; the manuscript should confirm that this external result applies verbatim to the operator-space setting used here rather than only to the Banach-space setting.
Authors: The cited external result is already formulated for completely bounded maps. We have inserted a clarifying sentence in the proof of Corollary 4.1 stating that the maps under consideration are completely bounded with respect to the operator-space structure on B(G), so the result applies verbatim in the present setting. revision: yes
Circularity Check
No significant circularity
full rationale
The paper extends the 2004 Runde-Spronk result by exhibiting concrete new classes of groups (non-compact lc groups with property (T) and finite almost periodic compactification, or discrete groups lacking the factorization property) for which B(G) fails operator Connes-amenability. The argument rests on standard operator-space module actions, virtual-diagonal characterizations, and the interaction of these with the listed group properties exactly as required by existing literature. No step reduces a claim to a fitted parameter, self-referential definition, or unverified self-citation chain; the 2004 citation supplies background contrast rather than load-bearing justification for the new non-amenability statements. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard definitions of the Fourier-Stieltjes algebra B(G), operator Connes-amenability, Kazhdan's property (T), almost periodic compactification, and the factorization property for groups.
Reference graph
Works this paper leans on
-
[1]
Arsac.Sur l’espace de Banach engendr´ e par les coefficients d’une repr´ esentations unitaire
G. Arsac.Sur l’espace de Banach engendr´ e par les coefficients d’une repr´ esentations unitaire. Publ. D´ ep. Math. (Lyon) 13 (1976), 1–101
work page 1976
-
[2]
Bekka,On the full C*-algebras of arithmetic groups and the congruence subgroup problem
M.B. Bekka,On the full C*-algebras of arithmetic groups and the congruence subgroup problem. Forum Math. 11 (1999), no. 6, 705–715
work page 1999
-
[3]
M.B. Bekka, Bachir, P. de la Harpe and A. Valette,Kazhdan’s property (T). New Math. Monogr., 11, Cambridge University Press, Cambridge, 2008. 12 VOLKER RUNDE, NICO SPRONK, AND MATTHEW WIERSMA
work page 2008
-
[4]
M.B. Bekka, A.T. Lau, G. Schlichting,On invariant subalgebras of the Fourier-Stieltjes algebra of a locally compact group
-
[5]
Brown,Invariant means and finite representation theory of C*-algebras
N.P. Brown,Invariant means and finite representation theory of C*-algebras. Mem. Amer. Math. Soc. 184 (2006), no. 865
work page 2006
-
[6]
M. Burger and S. Mozes,Groups acting on trees: from local to global structure, Inst. Hautes´Etudes Sci. Publ. Math. 92 (2000), 113–150 (2001)
work page 2000
-
[7]
P.-E. Caprace and B. R´ emy,Simplicity and superrigidity of twin building lattices. Invent. Math. 176 (2009), no. 1, 169–221
work page 2009
-
[8]
Ciobotaru,A unified proof of the Howe-Moore property
C. Ciobotaru,A unified proof of the Howe-Moore property. J. Lie Theory 25 (2015), no. 1, 65–89
work page 2015
-
[9]
Ciobotaru,Strong transitivity, the Moufang condition and the Howe-Moore property
C. Ciobotaru,Strong transitivity, the Moufang condition and the Howe-Moore property. Transform. Groups 30 (2025), no. 1, 165–185
work page 2025
-
[10]
Connes,On the cohomology of operator algebras
A. Connes,On the cohomology of operator algebras. J. Funct. Anal. 28, 248–253 (1978)
work page 1978
-
[11]
Y. de Cornulier,Finitely presentable, non-Hopfian groups with Kazhdan’s property (T) and infinite outer automorphism group. Proc. Amer. Math. Soc. 135 (2007), 951–959
work page 2007
- [12]
-
[13]
P.Eymard,L’alg` ebre de Fourier d’un groupe localement compact. Bull. Soc. Math. France 92, 181–236 (1964)
work page 1964
-
[14]
B.E. Forrest, V. Runde,Amenability and weak amenability of the Fourier algebra, Math Z. 250 (2005), no. 4, 731–744
work page 2005
-
[15]
M. Gromov,Hyperbolic groups. InEssays in group theory, Math. Sci. Res. Inst. Publ. 8, Springer-Verlag, New York 1987, 75–263
work page 1987
-
[16]
R.E. Howe and C.C. Moore,Asymptotic properties of unitary representations. J. Funct. Anal. 32 (1979), no. 1, 72–96
work page 1979
-
[17]
Johnson,Cohomology in Banach algebras
B.E. Johnson,Cohomology in Banach algebras. Mem. Amer. Math. Soc., No. 127 American Mathemat- ical Society, Providence, RI, 1972
work page 1972
-
[18]
Johnson,Non-amenability of the Fourier algebra of a compact group
B.E. Johnson,Non-amenability of the Fourier algebra of a compact group. J. London Math. Soc. (2) 50 (1994), no. 2, 361–374
work page 1994
-
[19]
E. Kaniuth and A.T.-M. Lau,Fourier and Fourier-Stieltjes algebras on locally compact groups. Math. Surveys Monogr., 231 American Mathematical Society, Providence, RI, 2018
work page 2018
-
[20]
Kirchberg,Discrete groups with Kazhdan’s property T and factorization property are residually finite
E. Kirchberg,Discrete groups with Kazhdan’s property T and factorization property are residually finite. Math. Ann., 299(3):551–563, 1994
work page 1994
-
[21]
Mal’cev,On isomorphic matrix representations of infinite groups
A. Mal’cev,On isomorphic matrix representations of infinite groups. Mat. Sb. (N.S.) 8 (50) (1940), 405–422
work page 1940
-
[22]
Y. Ollivier and D.T. Wise,Kazhdan groups with infinite outer automorphism group. Trans. Amer. Math. Soc. 359 (2007), no. 5, 1959–1976
work page 2007
-
[23]
Oppenheim,Property (T) for groups acting on affine buildings
I. Oppenheim,Property (T) for groups acting on affine buildings. Pre-print, see arXiv:2410.05716
-
[24]
Ozawa,About the QWEP conjecture, Internat
N. Ozawa,About the QWEP conjecture, Internat. J. Math. 15 (2004), no. 5, 501–530
work page 2004
-
[25]
Raghunathan,Torsion in cocompact lattices in coverings ofSpin(2, n)
M.S. Raghunathan,Torsion in cocompact lattices in coverings ofSpin(2, n). Math. Ann. 266 (1984), 403–419
work page 1984
-
[26]
Rothman,The von Neumann kernel and minimally almost periodic groups
S. Rothman,The von Neumann kernel and minimally almost periodic groups. Trans. Amer. Math. Soc. 259 (1980), no. 2, 401–421
work page 1980
-
[27]
Ruan,The operator amenability ofA(G)
Z.-J. Ruan,The operator amenability ofA(G). Amer. J. Math. 117 (1995), no. 6, 1449–1474
work page 1995
-
[28]
Runde,Amenability for dual Banach algebras, Stud
V. Runde,Amenability for dual Banach algebras, Stud. Math. 148 (2001), 47–66
work page 2001
-
[29]
Runde,Connes-amenability and normal, virtual diagonals for measure algebras
V. Runde,Connes-amenability and normal, virtual diagonals for measure algebras. II, Bull. Austral. Math. Soc. 68 (2003), no. 2, 325–328
work page 2003
-
[30]
V. Runde,Dual Banach algebras: Connes-amenability, normal, virtual diagonals, and injectivity of the predual bimodule. Math. Scand. 95, 124–144 (2004)
work page 2004
-
[31]
Runde,A Connes-amenable, dual Banach algebra need not have a normal, virtual diagonal
V. Runde,A Connes-amenable, dual Banach algebra need not have a normal, virtual diagonal. Trans. Amer. Math. Soc. 358 (2006), no. 1, 391–402
work page 2006
-
[32]
Runde,Amenable Banach algebras
V. Runde,Amenable Banach algebras. Springer Monogr. Math. Springer-Verlag, New York, 2020
work page 2020
-
[33]
V. Runde and N. Spronk,Operator amenability of Fourier-Stieltjes algebras. Math. Proc. Cambridge Philos. Soc. 136 (2004), no. 3, 675–686
work page 2004
-
[34]
V. Runde and F. Uygul,Connes-amenability of Fourier-Stieltjes algebras. Bull. Lond. Math. Soc. 47 (2015), no. 4, 555–564. ON OPERATOR CONNES-AMENABILITY OF THE FOURIER-STIELTJES ALGEBRA 13
work page 2015
-
[35]
Spronk,On operator amenability of Fourier-Stieltjes algebras
N. Spronk,On operator amenability of Fourier-Stieltjes algebras. Bull. Sci. Math. 158 (2020), 102823, 16 pp
work page 2020
-
[36]
Thom,Examples of hyperlinear groups without factorization propertyGroups Geom
A. Thom,Examples of hyperlinear groups without factorization propertyGroups Geom. Dyn. 4 (2010), no. 1, 195–208
work page 2010
-
[37]
Wiersma,Kirchberg’s factorization property for locally compact groups
M. Wiersma,Kirchberg’s factorization property for locally compact groups. J. Funct. Anal. 282 (2022), no. 5, Paper No. 109308, 20 pp. Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, AB, Canada Email address:vrunde@ualberta.ca Department of Pure Mathematics, University of W aterloo, W aterloo, ON, Canada Email address:...
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.