arxiv: 2604.26345 · v1 · submitted 2026-04-29 · 🧮 math.OA · math.FA

Recognition: unknown

Crossed product functors associated to ell^p-pseudofunctions

Adam Skalski, Ebrahim Samei, Jacek Krajczok, Timo Siebenand

Pith reviewed 2026-05-07 12:44 UTC · model grok-4.3

classification 🧮 math.OA math.FA

keywords crossed productsC*-algebrasℓ^p-pseudofunctionsexotic completionsdynamical systemsBanach algebrasoperator algebras

0 comments

The pith

ℓ^p-pseudofunctions define crossed product functors whose algebras are isomorphic independent of Hilbert space representation

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

The paper shows that ℓ^p-pseudofunctions, which create exotic group C*-algebra completions, can be used to build crossed product functors for general C*-dynamical systems. The construction begins with Banach algebras formed from operators acting on Hilbert-valued ℓ^p-spaces. These algebras initially appear to depend on the chosen Hilbert space representation of the C*-algebra, but the authors prove they are isomorphic, with the isomorphism constant depending only on p. This independence makes the C*-envelopes isometrically isomorphic and ensures the crossed product functors are well-behaved. The result extends the group case and shows that certain non-amenable actions produce exotic crossed product completions.

Core claim

The Banach algebras related to operators acting on Hilbert valued ℓ^p-spaces are isomorphic with the isomorphism constant depending only on p, regardless of the choice of Hilbert space representation of the underlying C*-algebra. As a result, their C*-envelopes are isometrically isomorphic. This allows the construction of well-behaved crossed product functors using ℓ^p-pseudofunctions that generalize the group case, and shows that for certain non-amenable actions the resulting crossed product completions are exotic.

What carries the argument

The Banach algebras of operators on Hilbert-valued ℓ^p-spaces, which the authors prove are independent of the Hilbert space representation up to a p-dependent isomorphism constant.

If this is right

The crossed product functors are well-behaved according to the criteria of Buss, Echterhoff and Willett.
The construction generalizes the earlier one studied in the group case.
The C*-envelopes of the algebras are isometrically isomorphic.
For certain non-amenable actions, the crossed product completions are exotic.

Where Pith is reading between the lines

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

The result could be tested by applying the functors to concrete examples of non-amenable group actions to observe the exotic completions directly.
The family of functors parameterized by p may provide new ways to distinguish dynamical systems that are not captured by the standard reduced or maximal crossed products.
The representation-independence proof might adapt to other Banach space valued constructions in the study of exotic C*-completions.

Load-bearing premise

That the Banach algebras defined via operators on Hilbert-valued ℓ^p-spaces are isomorphic independently of the choice of Hilbert space representation of the underlying C*-algebra, with the isomorphism constant depending only on p.

What would settle it

Finding a C*-algebra with two different Hilbert space representations such that the corresponding Banach algebras from the ℓ^p-pseudofunctions are not isomorphic.

read the original abstract

We show that the $\ell^p$-pseudofunctions, which were recently shown to lead to exotic completions of group $C^*$-algebras by Wiersma and the second named author, can be used to construct well-behaved crossed product functors in the sense of Buss, Echterhoff and Willett. The construction proceeds via introducing certain Banach algebras, related to operators acting on Hilbert valued $\ell^p$-spaces, which a priori depend on the choice of a Hilbert space representation of the underlying C*-algebra. We prove that, in fact, the resulting algebras are isomorphic (with the isomorphism constant depending only on $p$), and hence their C*-envelopes are isometrically isomorphic. This, in particular, means that the construction genuinely generalises the one studied earlier in the group case. The tools we develop allow us to show that for certain non-amenable actions, the resulting crossed product completions must indeed be exotic.

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.

Desk Editor's Note private letter to a colleague

The paper gives a clean, representation-independent construction of crossed-product functors from ℓ^p-pseudofunctions that genuinely extends the group case.

read the letter

The main point is that the authors build Banach algebras of operators on Hilbert-valued ℓ^p-spaces and then prove these algebras are isomorphic for any two representations of the underlying C*-algebra, with the isomorphism constant depending only on p. This makes the associated crossed-product functors well-defined in the Buss-Echterhoff-Willett sense and shows their C*-envelopes are canonically isomorphic, so the whole thing properly generalizes the earlier group work by Wiersma and Samei. They also check the functoriality axioms directly and use the setup to exhibit exotic completions for selected non-amenable actions by comparing universal properties. The argument relies on explicit norm estimates and a direct comparison map that is shown to be bijective with controlled norm; the stress-test note confirms no hidden dependence on the representation or circular appeal to amenability. That part looks solid and is the real technical contribution. The exoticness result is limited to certain actions rather than all non-amenable ones, which is a natural scope limitation rather than a flaw. The proofs are technical but appear to rest on concrete comparisons instead of abstract existence claims. This is work for people already inside operator algebras and C*-dynamical systems who track exotic completions and non-amenable actions. A reader who needs explicit functors or wants to see how the group-case techniques lift will find the independence result useful. The paper is coherent on its own terms and the central claims are grounded enough to merit referee time, even if the broader impact stays inside the subfield. I would send it for peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript constructs crossed product functors from ℓ^p-pseudofunctions by defining Banach algebras of operators acting on Hilbert-valued ℓ^p-spaces. These algebras a priori depend on the choice of Hilbert space representation of the underlying C*-algebra. The authors prove that the algebras are isomorphic via an explicit comparison map with norm controlled by a constant depending only on p (independent of the representation), implying that the associated C*-envelopes are isometrically isomorphic. This generalizes the earlier group-case construction. The same estimates are applied to verify the Buss–Echterhoff–Willett functoriality axioms and to exhibit exoticness for selected non-amenable actions by comparing universal properties.

Significance. If the central claims hold, the work supplies a representation-independent generalization of exotic group C*-algebra completions to the crossed-product setting, with explicit norm estimates and a direct bijective comparison map between any two representations. The reuse of these estimates both to confirm the functor axioms and to produce concrete exotic examples for non-amenable actions constitutes a clear technical strength.

minor comments (2)

The statement of the main isomorphism theorem (likely in §3 or §4) would benefit from an explicit sentence reminding the reader that the controlling constant depends only on p and not on the representation; this would make the independence claim immediately visible.
A short paragraph comparing the p=2 case with the classical reduced crossed product (perhaps in the introduction) would help readers see precisely where the new construction diverges from the familiar one.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful and accurate summary of the manuscript, as well as for recognizing the technical contributions of the explicit comparison maps, norm estimates independent of the Hilbert space representation, and the verification of the Buss–Echterhoff–Willett axioms. We are pleased that the work is viewed as a natural generalization of the group case with concrete exotic examples. We will incorporate any minor revisions suggested for clarity or presentation in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via explicit estimates

full rationale

The paper proves the key isomorphism of the Banach algebras (with p-dependent constant independent of Hilbert space representation) using direct comparison maps and norm estimates between any two representations, then reuses those to verify functoriality and exoticness. The citation to Wiersma-Samei supplies only background on the group-case exotic completions and is not load-bearing for the new isomorphism or crossed-product claims. No step reduces by construction to a fitted input, self-definition, or prior self-citation chain; the argument is externally falsifiable via the stated estimates and does not invoke uniqueness theorems or ansatzes from overlapping authors.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only: no explicit free parameters, ad-hoc axioms, or new invented entities are introduced; the work relies on standard concepts from C*-algebras, Banach algebras, and crossed products.

pith-pipeline@v0.9.0 · 5474 in / 1226 out tokens · 45652 ms · 2026-05-07T12:44:03.076068+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

45 extracted references · 2 canonical work pages

[1]

B.\,Anderson-Sackaney, T.\,de Laat, E.\, Samei and M.\,Wiersma, Entropies and Poisson boundaries of random walks on groups with rapid decay, Trans.\,Amer.\,Math.\,Soc., to appear, available at arXiv:2410.19689

work page arXiv
[2]

B.\,Anderson-Sackaney, T.\,de Laat, E.\, Samei and M.\,Wiersma, Furstenberg discretization with moment control, in preparation
[3]

Engel and T

P.Antonini, A.Buss, A. Engel and T. Siebenand, Strong Novikov conjecture for low degree cohomology and exotic group C^* -algebras , Trans.\,Amer.\,Math.\,Soc.\ 374 (2021), no.\,7, 5071--5093

2021
[4]

K-Theory 1 (2016), no

P.\,Baum, E.\,Guentner and R.\,Willett, Expanders, exact crossed products, and the Baum-Connes conjecture , Ann. K-Theory 1 (2016), no. 2, 155--208

2016
[5]

F.F.\,Bonsall and J.\,Duncan, ``Complete normed algebras,'' Ergebnisse der Mathematik und ihrer Grenzgebiete 80, Springer-Verlag, New York-Heidelberg, 1973

1973
[6]

Bader, T

U. Bader, T. Gelander, N. Monod, A fixed point theorem for L^1 spaces , Invent. Math. 189 (2012), no. 1, 143–148

2012
[7]

Bowen, Random walks on random coset spaces with applications to Furstenberg entropy , Invent

L. Bowen, Random walks on random coset spaces with applications to Furstenberg entropy , Invent. Math. 196 (2014), no. 2, 485--510

2014
[8]

Bowen, Y

L. Bowen, Y. Hartman, O. Tamuz, Property (T) and the Furstenberg entropy of nonsingular actions , Proc. Amer. Math. Soc. 144 (2016), no. 1, 31--39

2016
[9]

Conti, The Fourier-Stieltjes algebra of a C ^* -dynamical system , Int

E.\,B\'edos and R. Conti, The Fourier-Stieltjes algebra of a C ^* -dynamical system , Int. J. Math. 27, 1650050 (2016)

2016
[10]

Bekka, Spectral rigidity of group actions on homogeneous spaces , Handbook of group actions

B. Bekka, Spectral rigidity of group actions on homogeneous spaces , Handbook of group actions. Vol. IV, 563-622, Adv. Lect. Math. (ALM), 41, Int. Press, Somerville, MA, 2018

2018
[11]

J.\,Brieussel and T.\,Zheng, Furstenberg entropy spectra of stationary actions of semisimple Lie groups , preprint, 2024, available at hal-04385080

2024
[12]

N. P. Brown and E. P. Guentner, New C ^* -completions of discrete groups and related spaces , Bull. Lond. Math. Soc. 45 (2013), no.\,6, 1181--1193

2013
[13]

N. P. Brown and N. Ozawa, `` C ^* -algebras and finite-dimensional approximations'', Graduate Studies in Mathematics 88. American Mathematical Society, 2008

2008
[14]

740 (2018), 111-–159

A.\,Buss, S.\,Echterhoff and R.\,Willett, Exotic crossed products and the Baum-Connes conjecture , J.\,Reine Angew.\,Math. 740 (2018), 111-–159

2018
[15]

J.A.\,Ch\'avez-Domínguez,
[16]

Wahrscheinlichkeitstheor

S.\,Chevet, Sur certains produits tensoriels topologiques d’espaces de Banach , Z. Wahrscheinlichkeitstheor. Verw. Geb. 11 (1969), 120--138

1969
[17]

American Mathematical Society, Providence, RI, 1996

K.R.\,Davidson, ``C*-algebras by example'', volume 6 of Fields Institute Monographs. American Mathematical Society, Providence, RI, 1996

1996
[18]

J.Diestel, H.Jarchow and A.Tonge, ``Absolutely summing operators,'' Cambridge Studies in Advanced Mathematics. 43. Cambridge Univ. Press (1995)

1995
[19]

R. G. Douglas and P. Nowak, Hilbert C ^* -modules and amenable actions ,
[20]

Feldman and C

J. Feldman and C. C. Moore, Ergodic equivalence relations, cohomology, and von Neumann algebras. II , Trans. Amer. Math. Soc. 234 (1977), 325--359

1977
[21]

F. P. Greenleaf, `` Invariant Means on Topological Groups and Their Applications,'' Van Nostrand Math. Stud. 16, Van Nostrand Reinhold, New York, 1969

1969
[22]

Furstenberg, A Poisson formula for semi-simple Lie groups, Ann

H. Furstenberg, A Poisson formula for semi-simple Lie groups, Ann. of Math. (2) 77 (1963), 335--386

1963
[23]

Furstenberg, Noncommuting random products, Trans

H. Furstenberg, Noncommuting random products, Trans. Amer. Math. Soc. 108 (1963), 377--428

1963
[24]

Furstenberg, Poisson boundaries and envelopes of discrete groups, Bull

H. Furstenberg, Poisson boundaries and envelopes of discrete groups, Bull. Amer. Math. Soc. 73 (1967), 350--356

1967
[25]

Furstenberg, Random walks and discrete subgroups of Lie groups, Advances in Probability and Related Topics, Vol

H. Furstenberg, Random walks and discrete subgroups of Lie groups, Advances in Probability and Related Topics, Vol. 1, Dekker, New York, 1971, pp. 1–63

1971
[26]

Furstenberg, Boundary theory and stochastic processes on homogeneous spaces, in: Harmonic analysis on homogeneous spaces (Proc

H. Furstenberg, Boundary theory and stochastic processes on homogeneous spaces, in: Harmonic analysis on homogeneous spaces (Proc. Sympos. Pure Math., Vol. XXVI, Williams Coll., Williamstown, Mass., 1972), pp. 193--229, Amer. Math. Soc., Providence, RI, 1973

1972
[27]

Furstenberg and E

H. Furstenberg and E. Glasner, Stationary dynamical systems, in: Dynamical numbers -- interplay between dynamical systems and number theory, pp. 1--28, Contemp. Math., Vol. 532, Amer. Math. Soc., Providence, RI, 2010

2010
[28]

Haagerup, An example of a nonnuclear C^* -algebra, which has the metric approximation property, Invent

U. Haagerup, An example of a nonnuclear C^* -algebra, which has the metric approximation property, Invent. Math. 50 (1978/79), 279--293

1978
[29]

Hartman and A

Y. Hartman and A. Yadin. Furstenberg entropy of intersectional invariant random subgroups . Compos. Math. 154 (2018), no.\,10, 2239--2265

2018
[30]

19 (2013), 689--711

S.\,Kaliszewski, M.\,Landstad and J.\,Quigg, Exotic group C ^* -algebras in noncommutative duality, New York J.\,Math. 19 (2013), 689--711

2013
[31]

A toolkit for operator algebraists,'' London Mathematical Society Lecture Note Series, 210

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

1995
[32]

M.\,Matsumura, A characterization of amenability of group actions on C*-algebras , J.\,Operator Theory 72 (2014), no.\,1, 41--47

2014
[33]

G.J.\,Murphy, ``C ^* -algebras and operator theory,'' Academic Press, Inc., Boston, MA, 1990

1990
[34]

Liao and G

B. Liao and G. Yu, K-theory of group Banach algebras and Banach property RD . Preprint, see arXiv:1708.01982v2

work page arXiv
[35]

McKee, A.Skalski, I

A. McKee, A.Skalski, I. G. Todorov and L. Turowska,
[36]

Nevo, The spectral theory of amenable actions and invariants of discrete groups, Geom

A. Nevo, The spectral theory of amenable actions and invariants of discrete groups, Geom. Dedicata 100 (2003), 187--218

2003
[37]

Nevo and M

A. Nevo and M. Sageev, The Poisson boundary of CAT(0) cube complex groups , Groups Geom. Dyn. 7 (2013), 653--695

2013
[38]

Nevo and R.J

A. Nevo and R.J. Zimmer, A structure theorem for actions of semisimple Lie groups, Ann. of Math. (2) 156 (2002), 565--594

2002
[39]

R.Ryan, ``Introduction to tensor products of Banach spaces,'' Springer Monographs in Mathematics, xiv, 225 p. (2002)

2002
[40]

Samei and M

E. Samei and M. Wiersma, Quasi-Hermitian locally compact groups are amenable, Adv. Math. 359 (2020), 106897, 25 pp

2020
[41]

Samei and M

E. Samei and M. Wiersma, Exotic C ^* -algebras of geometric groups , J. Funct. Anal. 286 (2024), no. 2, Paper No. 110228, 32 pp

2024
[42]

Noncommut

Y.Suzuki, Simple equivariant C ^* -algebras whose full and reduced crossed products coincide , J. Noncommut. Geom. 13 (2019), no. 4, 1577–1585

2019
[43]

Wiersma L^p -Fourier and Fourier-Stieltjes algebras for locally compact groups

M. Wiersma L^p -Fourier and Fourier-Stieltjes algebras for locally compact groups. J. Funct. Anal. 269 (2015), no. 12, 3928-3951

2015
[44]

R. J. Zimmer, On the cohomology of ergodic group actions , Israel J. Math. 35 (1980), 289–300. MR0594334

1980
[45]

R. J. Zimmer, Ergodic Theory and Semisimple Groups , Monogr. Math. 81, Birkhäuser, Basel, 1984

1984