pith. sign in

arxiv: 2606.27230 · v1 · pith:W2ODE4TGnew · submitted 2026-06-25 · 🧮 math.FA · math.OA

On some p-approximation properties of exact discrete groups and ell^p uniform Roe algebras

Yeong Chyuan Chung This is my paper

Pith reviewed 2026-06-26 02:10 UTC · model grok-4.3

classification 🧮 math.FA math.OA
keywords ℓ^p uniform Roe algebrasproperty Aexact discrete groupsp-nuclearityp-ITAPapproximation propertiescoarse geometryp-operator spaces
0
0 comments X

The pith

Property A implies p-nuclearity of the ℓ^p uniform Roe algebra for discrete spaces with bounded geometry.

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

The paper proves that if a discrete metric space X has bounded geometry and satisfies property A, then its ℓ^p uniform Roe algebra B^p_u(X) is p-nuclear for every p in (1, ∞). The case p=1 holds unconditionally, with B^1_u(X) always 1-nuclear. It defines the p-invariant translation approximation property (p-ITAP) for groups and its operator-space version, showing that for exact groups the p-operator ITAP matches the p-approximation property of An-Lee-Ruan. Exactness of discrete groups is then characterized by approximation properties of their ℓ^p uniform Roe algebras when coefficients come from p-operator spaces.

Core claim

For a discrete metric space X with bounded geometry, property A implies p-nuclearity of the ℓ^p uniform Roe algebra B^p_u(X) for every p ∈ (1, ∞), while B^1_u(X) is always 1-nuclear. The p-operator ITAP is equivalent to the p-approximation property for exact groups, and exactness of discrete groups is characterized in terms of their ℓ^p uniform Roe algebras with coefficients in p-operator spaces.

What carries the argument

The ℓ^p uniform Roe algebra B^p_u(X) together with the p-invariant translation approximation property (p-ITAP) and its p-operator version, which detect nuclearity and exactness via approximation.

If this is right

  • Exactness of a discrete group can be detected from approximation properties of its ℓ^p uniform Roe algebras with p-operator space coefficients.
  • For exact groups the p-approximation property of An-Lee-Ruan holds exactly when the p-operator ITAP holds.
  • B^1_u(X) is 1-nuclear for every discrete metric space X with bounded geometry, independent of property A.
  • The p-ITAP generalizes the 2-ITAP and connects to existing approximation properties in the p-setting.

Where Pith is reading between the lines

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

  • The results suggest that exactness and nuclearity properties may be uniformly detectable across different p-norms in Roe algebras.
  • This could allow testing exactness of groups by checking coefficient approximations in ℓ^p Roe algebras rather than directly in group representations.
  • Links between property A and p-nuclearity might extend to other coarse invariants that control algebraic properties beyond the classical p=2 case.

Load-bearing premise

The discrete metric space X must have bounded geometry for the uniform Roe algebra to be defined and for the implication from property A to p-nuclearity to apply.

What would settle it

A discrete metric space with bounded geometry that has property A but whose B^p_u(X) fails to be p-nuclear for some fixed p in (1, ∞).

read the original abstract

We study $p$-approximation properties of $\ell^p$ uniform Roe algebras and their connections to coarse geometry and group theory. For a discrete metric space $X$ with bounded geometry, we prove that property A implies $p$-nuclearity of the $\ell^p$ uniform Roe algebra $B^p_u(X)$ for every $p\in(1,\infty)$, while $B^1_u(X)$ is always 1-nuclear. We introduce the $p$-invariant translation approximation property ($p$-ITAP) for discrete groups, generalizing the 2-ITAP of Roe. We also introduce the $p$-operator ITAP. For exact groups, we show that the $p$-operator ITAP is equivalent to the $p$-approximation property of An-Lee-Ruan. We also characterize exactness of discrete groups in terms of their $\ell^p$ uniform Roe algebras with coefficients in $p$-operator spaces.

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 manuscript proves that property A for a discrete metric space X with bounded geometry implies p-nuclearity of the ℓ^p uniform Roe algebra B^p_u(X) for every p ∈ (1,∞), while B^1_u(X) is always 1-nuclear. It introduces the p-invariant translation approximation property (p-ITAP) and the p-operator ITAP for discrete groups; for exact groups the p-operator ITAP is shown equivalent to the p-approximation property of An-Lee-Ruan. Exactness of discrete groups is characterized in terms of their ℓ^p uniform Roe algebras with coefficients in p-operator spaces.

Significance. If the stated implications and equivalences hold, the work supplies a direct p-generalization of the p=2 theory of uniform Roe algebras and approximation properties, linking coarse geometry, exactness, and nuclearity in the setting of p-operator spaces. The characterizations of exactness via these algebras constitute a concrete extension that may be used in subsequent work on non-Hilbertian operator-algebraic invariants.

minor comments (3)
  1. [Abstract] The abstract asserts multiple implications and equivalences without indicating the sections in which the proofs appear; adding one-sentence pointers to the relevant theorems would improve navigation.
  2. Notation for the p-operator ITAP and the coefficient algebras should be introduced with a short displayed definition or reference to the precise operator-space tensor product used, to avoid ambiguity when the reader reaches the equivalence statements.
  3. The bounded-geometry hypothesis is stated for the property-A implication but should be repeated explicitly in the statement of the nuclearity theorem for B^p_u(X) to make the logical dependence transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our results on p-nuclearity of ℓ^p uniform Roe algebras, the introduction of p-ITAP and p-operator ITAP, and the characterizations of exactness. We appreciate the positive assessment of significance and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper states one-directional implications (property A implies p-nuclearity of B^p_u(X) for p in (1,∞) under bounded geometry) and equivalences (p-operator ITAP equivalent to p-approximation property for exact groups) that are conditioned on standard assumptions and definitions. No quoted step reduces a claimed prediction or result to a self-definition, fitted input, or self-citation chain by construction. The central claims remain independent of the paper's own fitted quantities or renamings.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract only; the paper relies on standard background definitions of uniform Roe algebras, nuclearity, and exact groups from prior literature. No free parameters or invented physical entities are mentioned. The new p-ITAP is a definition rather than an entity.

axioms (1)
  • domain assumption Discrete metric spaces with bounded geometry admit well-defined ℓ^p uniform Roe algebras B^p_u(X)
    Explicitly stated as the setting for the central implication in the abstract.

pith-pipeline@v0.9.1-grok · 5694 in / 1403 out tokens · 31938 ms · 2026-06-26T02:10:54.856649+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

65 extracted references · 1 canonical work pages

  1. [1]

    An, J.-J

    G. An, J.-J. Lee, and Z.-J. Ruan. Onp-approximation properties forp-operator spaces.J. Funct. Anal., 259:933–974, 2010

    2010

  2. [2]

    G. An, L. Li, and R. Liu. Frame approximation and embedding forp-operator spaces.Acta Math. Sinica (Chin. Ser.), 60(1):123–132, 2017

    2017

  3. [3]

    Austad, E

    A. Austad, E. Ortega, and M. Palmstrøm. Polynomial growth and property RDp for étale groupoids with applications toK-theory.J. Noncommut. Geom., 19(2):601–645, 2025

    2025

  4. [4]

    Benyamini and J

    Y. Benyamini and J. Lindenstrauss.Geometric Nonlinear Functional Analysis, Volume 1, volume 48 ofAmerican Mathematical Society Colloquium Publica- tions. American Mathematical Society, 2000

    2000

  5. [5]

    Brodzki and G.A

    J. Brodzki and G.A. Niblo. Approximation properties for discrete groups. In B. Bojarski, A.S. Mishchenko, E.V. Troitsky, and A. Weber, editors,C ∗- algebras and Elliptic Theory, Trends in Mathematics, pages 23–35. Birkhäuser, 2006

    2006

  6. [6]

    Brown and N

    N.P. Brown and N. Ozawa.C∗-algebras and finite-dimensional approximations, volume 88 ofGraduate Studies in Mathematics. American Mathematical Soci- ety, Providence, RI, 2008

    2008

  7. [7]

    Y.C. Chung. Morita equivalence of twoℓp Roe-type algebras.J. Noncommut. Geom., 19(3):1069–1088, 2025

    2025

  8. [8]

    Chung and X

    Y.C. Chung and X. Du. Ideal structure ofℓp uniform Roe algebras.Preprint,

  9. [9]

    Chung and K

    Y.C. Chung and K. Li. Rigidity ofℓp Roe-type algebras.Bull. Lond. Math. Soc., 50(6):1056–1070, 2018

    2018

  10. [10]

    Chung and K

    Y.C. Chung and K. Li. Structure andK-theory ofℓp uniform Roe algebras.J. Noncommut. Geom., 15(2):581–614, 2021

    2021

  11. [11]

    Cowling and U

    M. Cowling and U. Haagerup. Completely bounded multipliers of the Fourier algebra of a simple lie group of real rank one.Invent. Math., 96:507–549, 1989

    1989

  12. [12]

    Dales, N.J

    H.G. Dales, N.J. Laustsen, T. Oikhberg, and V.G. Troitsky. Multi-norms and Banach lattices.Dissertationes Math., 524:1–115, 2017. p-APPROXIMATION PROPERTIES OF EXACT GROUPS 29

    2017

  13. [13]

    Daws.p-operator spaces and Figà-Talamanca-Herz algebras.J

    M. Daws.p-operator spaces and Figà-Talamanca-Herz algebras.J. Operator Theory, 63(1):47–83, 2010

    2010

  14. [14]

    Daws and N

    M. Daws and N. Spronk. On convoluters onL p-spaces.Studia Math., 245(1):15–31, 2019

    2019

  15. [15]

    de Cannière and U

    J. de Cannière and U. Haagerup. Multipliers of the Fourier algebra of some simple Lie groups and their discrete subgroups.Amer. J. Math., 107(2):455– 500, 1984

    1984

  16. [16]

    Defant and K

    A. Defant and K. Floret.Tensor Norms and Operator Ideals. Number 176 in North-Holland Mathematics Studies. North-Holland Publishing Co., 1993

    1993

  17. [17]

    Effros, J

    E.G. Effros, J. Kraus, and Z.-J. Ruan. On two quantized tensor products. In R. Herman and B. Tanbay, editors,Operator Algebras, Mathematical Physics, and Low Dimensional Topology, volume 5 ofResearch Notes in Mathematics, pages 125–145. A K Peters/CRC Press, 1993

    1993

  18. [18]

    E.M. Elkiær. Symmetrized pseudofunction algebras fromL p-representations and amenability of locally compact groups.Expo. Math., 43(4):125685, 2025

    2025

  19. [19]

    Elkiær and S

    E.M. Elkiær and S. Pooya. Property (T) for Banach algebras.J. Operator Theory, 94(2):403–426, 2024

    2024

  20. [20]

    Faraut and K

    J. Faraut and K. Harzallah. Distances hilbertiennes invariantes sur un espace homogène.Ann. Inst. Fourier (Grenoble), 24(3):171–217, 1974

    1974

  21. [21]

    Figà-Talamanca

    A. Figà-Talamanca. Translation invariant operators inL p.Duke Math. J., 32(3):495–501, 1965

    1965

  22. [22]

    Gardella

    E. Gardella. A modern look at algebras of operators onLp-spaces.Expo. Math., 39:420–453, 2021

    2021

  23. [23]

    Gardella and H

    E. Gardella and H. Thiel. Group algebras acting onLp-spaces.J. Fourier Anal. Appl., 21(6):1310–1343, 2015

    2015

  24. [24]

    Gardella and H

    E. Gardella and H. Thiel. Representations ofp-convolution algebras onL q- spaces.Trans. Amer. Math. Soc., 371(3):2207–2236, 2019

    2019

  25. [25]

    Gardella and H

    E. Gardella and H. Thiel. Isomorphisms of algebras of convolution operators. Ann. Sci. Éc. Norm. Supér., 55:1433–1471, 2022

    2022

  26. [26]

    E.GuentnerandJ.Kaminker.ExactnessandtheNovikovconjecture.Topology, 41(2):411–418, 2002

    2002

  27. [27]

    Haagerup and J

    U. Haagerup and J. Kraus. Approximation properties for groupC∗-algebras and group von Neumann algebras.Trans. Amer. Math. Soc., 344(2):667–699, 1994

    1994

  28. [28]

    C. Herz. The theory ofp-spaces with an application to convolution operators. Trans. Amer. Math. Soc., 154:69–82, 1971

    1971

  29. [29]

    C. Herz. Harmonic synthesis for subgroups.Ann. Inst. Fourier (Grenoble), 23(3):91–123, 1973

    1973

  30. [30]

    Higson and J

    N. Higson and J. Roe. Amenable group actions and the Novikov conjecture.J. Reine Angew. Math., 519:143–153, 2000

    2000

  31. [31]

    Jolissaint

    P. Jolissaint. Rapidly decreasing functions in reducedC∗-algebras of groups. Trans. Amer. Math. Soc., 317(1):167–196, 1990

    1990

  32. [32]

    Jolissaint

    P. Jolissaint. A characterization of completely bounded multipliers of Fourier algebras.Colloq. Math., 63:311–313, 1992

    1992

  33. [33]

    Katsura and O

    T. Katsura and O. Uuye. On the invariant uniform Roe algebra.J. Operator Theory, 72(2):549–556, 2014

    2014

  34. [34]

    J. Kraus. The slice map problem and approximation properties.J. Funct. Anal., 102(1):116–155, 1991

    1991

  35. [35]

    S. Kwapień. On operators factorizable throughLp space.Bull. Soc. Math. France Mèm., 31-32:215–225, 1972

    1972

  36. [36]

    Lee.Onp-operator spaces and their applications

    J.-J. Lee.Onp-operator spaces and their applications. PhD thesis, University of Illinois at Urbana-Champaign, 2010. 30 YEONG CHYUAN CHUNG

    2010

  37. [37]

    J.-J. Lee. ConditionsC p,C ′ p, andC ′′ p forp-operator spaces.Oper. Matrices, 8(4):1079–1093, 2014

    2014

  38. [38]

    J.-J. Lee. Hahn-Banach type extension theorems onp-operator spaces.Oper. Matrices, 9(3):675–685, 2015

    2015

  39. [39]

    K. Li, Z. Wang, and J. Zhang. A quasi-local characterisation ofLp-Roe alge- bras.J. Math. Anal. Appl., 474(2):1213–1237, 2019

    2019

  40. [40]

    Liao and G

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

    Pith/arXiv arXiv 2017

  41. [41]

    Liu and J

    Y. Liu and J. Zhang.Bp r (Fn)has no nontrivial idempotents.Bull. Aust. Math. Soc., 108(1):142–149, 2023

    2023

  42. [42]

    Le Merdy

    C. Le Merdy. Factorization ofp-completely bounded multilinear maps.Pacific J. Math., 172(1):187–213, 1996

    1996

  43. [43]

    Le Merdy

    C. Le Merdy. Representation of a quotient of a subalgebra ofB(X).Math. Proc. Cambridge Philos. Soc., 119(1):83–90, 1996

    1996

  44. [44]

    T. Miao. Predual of the multiplier algebra ofAp(G)and amenability.Canad.. J. Math., 56(2):344–355, 2004

    2004

  45. [45]

    Neufang and V

    M. Neufang and V. Runde. Column and row operator spaces overQSLp-spaces and their use in abstract harmonic analysis.J. Math. Anal. Appl., 349(1):21– 29, 2009

    2009

  46. [46]

    N. Ozawa. Amenable actions and exactness for discrete groups.C. R. Math. Acad. Sci. Paris, 330:691–695, 2000

    2000

  47. [47]

    Pisier.Similarity problems and completely bounded maps, volume 1618 of Lecture Notes in Mathematics

    G. Pisier.Similarity problems and completely bounded maps, volume 1618 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, second, expanded edi- tion, 2001

    2001

  48. [48]

    Roe.Lectures on coarse geometry, volume 31 ofUniversity Lecture Series

    J. Roe.Lectures on coarse geometry, volume 31 ofUniversity Lecture Series. American Mathematical Society, 2003

    2003

  49. [49]

    Roe and R

    J. Roe and R. Willett. Ghostbusting and property A.J. Funct. Anal., 266(3):1674–1684, 2014

    2014

  50. [50]

    V. Runde. Representations of locally compact groups onQSL p-spaces and ap-analog of the Fourier-Stieltjes algebra.Pacific J. Math., 221(2):379–397, 2005

    2005

  51. [51]

    H. Sako. Finite-dimensional approximation properties for uniform Roe alge- bras.J. Lond. Math. Soc. (2), 102(2):623–644, 2020

    2020

  52. [52]

    Schoenberg

    I.J. Schoenberg. Metric spaces and positive definite functions.Trans. Amer. Math. Soc., 44:522–536, 1938

    1938

  53. [53]

    Skandalis, J.-L

    G. Skandalis, J.-L. Tu, and G. Yu. The coarse Baum-Connes conjecture and groupoids.Topology, 41(4):807–834, 2002

    2002

  54. [54]

    R.R. Smith. Completely contractive factorizations ofC∗-algebras.J. Funct. Anal., 64(3):330–337, 1985

    1985

  55. [55]

    Uuye and J

    O. Uuye and J. Zacharias. The Fubini product and its applications.Bull. Malays. Math. Sci. Soc., 43:4041–4061, 2020

    2020

  56. [56]

    I. Vergara. Thep-approximation property for simple Lie groups with finite center.J. Funct. Anal., 273(11):3463–3503, 2017

    2017

  57. [57]

    I. Vergara. An invitation to weak amenability, after Cowling and Haagerup. Preprint, 2024. arXiv:2404.05513

    arXiv 2024

  58. [58]

    Špakula and R

    J. Špakula and R. Willett. A metric approach to limit operators.Trans. Amer. Math. Soc., 369(1):263–308, 2017

    2017

  59. [59]

    Špakula and J

    J. Špakula and J. Zhang. Quasi-locality and property A.J. Funct. Anal., 278(1):108299, 2020

    2020

  60. [60]

    Wang.p-nuclearity of reduced groupLp-operator algebras.Pacific J

    Z. Wang.p-nuclearity of reduced groupLp-operator algebras.Pacific J. Math., 342(2):427–440, 2026. p-APPROXIMATION PROPERTIES OF EXACT GROUPS 31

    2026

  61. [61]

    Wang and S

    Z. Wang and S. Zhu.p-nuclearity ofL p-operator crossed products.Israel J. Math., 2025. doi: 10.1007/s11856-025-2849-4

    work page doi:10.1007/s11856-025-2849-4 2025

  62. [62]

    G. Yu. The coarse Baum-Connes conjecture for spaces which admit a uniform embedding into Hilbert space.Invent. Math., 139(1):201–240, 2000

    2000

  63. [63]

    Zacharias

    J. Zacharias. On the invariant translation approximation property for discrete groups.Proc. Amer. Math. Soc., 134(7):1909–1916, 2006

    1909

  64. [64]

    J. Zhang. Extreme cases of limit operator theory on metric spaces.Integr. Equ. Oper. Theory, 90:73, 2018

    2018

  65. [65]

    Zhao and Z

    Y.F. Zhao and Z. Dong.p-mapping spaces forp-operator spaces onLp spaces. Illinois J. Math., 58(4):1071–1091, 2014. School of Mathematics, Jilin University, Changchun 130012, Jilin, P. R. China Email address:chungyc@jlu.edu.cn

    2014