Pith. sign in

REVIEW 7 minor 49 references

Gevrey Regularity and Compact Quantum Metric Spaces for $L^p$-Group Algebras

T0 review · 0 major / 7 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A subexponential rapid-decay property yields compact quantum metrics on Lp-group algebras for intermediate-growth groups.

desk verdict Solid extension of rapid-decay quantum metrics to intermediate-growth groups via a clean Gevrey-scale property; the main Rieffel argument checks out. read the letter →

arxiv 2607.03107 v1 pith:E5GVJIL2 submitted 2026-07-03 math.FA math.OA

Lin Chen , Qin Wang This is my paper · ORCID
classification math.FAmath.OA MSC 46H1546H3546L8958B3443A15
keywords GevreyregularitycompactquantummetricspacesLp-groupalgebrasrapiddecayspectraltriplesintermediategrowthGrigorchukgroupRieffelcriterion
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper defines a beta-Gevrey version of rapid decay for countable discrete groups, written (GRD)beta,p. Instead of the usual polynomial bound on how group elements of length R act by convolution on lp, it only asks for a control factor whose logarithm grows slower than R to the power beta. That weaker condition still lets the authors build strongly dense-core beta-Gevrey regular Lp-spectral triples from proper length functions. Using Rieffel’s total-boundedness criterion, they prove that the associated Gevrey seminorms produce genuine metrics on the state space of the reduced Lp-group algebra that recover the weak-star topology. The construction therefore supplies compact quantum metric spaces for groups that fail classical rapid decay, notably the first Grigorchuk group and other groups of intermediate growth.

What carries the argument

The beta-Gevrey lp-rapid decay property (GRD)beta,p: for functions supported in balls of radius R the operator norm of left-regular convolution on lp is controlled by the lp-norm times a factor F(R) with log F(R)=o(R^beta). Combined with Gevrey factorial estimates on iterated commutators, this property supplies the uniform tail decay needed for Rieffel’s total-boundedness criterion.

What would settle it

Exhibit a countable discrete group whose ball growth satisfies log |BR| = Theta(R^beta) (or larger) for every beta in (0,1], or whose convolution norms on some lp violate every o(R^beta) control function, and check that the associated Gevrey unit ball fails to be totally bounded in the quotient of the reduced Lp-algebra.

Watch

Extended reading notes

Core claim

Whenever a countable discrete group satisfies the beta-Gevrey lp-rapid decay property (GRD)beta,p with respect to a proper length function, the Gevrey seminorm coming from the multiplication operator by that length function turns the reduced Lp-group algebra into a compact quantum metric space: the Monge–Kantorovich distance it defines on the Banach-algebra state space metrizes the weak-star topology.

Load-bearing premise

The control function that appears in the definition of beta-Gevrey rapid decay must grow more slowly than any positive multiple of R to the power beta; if that logarithmic o-condition fails, the uniform tail estimates collapse and Rieffel’s criterion no longer applies.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 7 minor

Summary. The paper introduces the β-Gevrey ℓp-rapid decay property (GRD)β,p for countable discrete groups (0<β≤1, 1≤p<∞), a subexponential analogue of classical rapid decay in which the operator-norm control of finitely supported convolutions is allowed to grow as exp(o(R^β)). After establishing permanence properties (subgroups, finite-index extensions, direct products, comparison with (RD)p, volume-growth criteria, and amenability implications), the authors define strongly dense-core β-Gevrey regular Lp-spectral triples and verify the definition for two families: the classical differential operator on C(T) acting on Lp(T), and the length-multiplication operator Dℓ on the reduced Lp-group algebra Fpr(G). The main theorem (Theorem 5.6 / Theorem C) shows that, whenever G satisfies (GRD)β,p, the associated Gevrey seminorm Leta,C produces, via Rieffel’s criterion, a metric on the Banach-algebra state space S(Fpr(G)) that metrizes the weak-* topology. Consequently the Lp-spectral triple is strongly β-metric, yielding compact quantum metric structures for groups of intermediate growth (e.g., the first Grigorchuk group) that lie outside the classical rapid-decay regime.

Significance. The work supplies a clean analytic bridge between subexponential volume growth and compact quantum metric structures on Lp-operator algebras. By replacing polynomial control with the Gevrey scale exp(o(R^β)), it extends the constructions of Antonescu–Christensen, Ozawa–Rieffel and Christ–Rieffel beyond groups of polynomial growth or classical RD, while remaining compatible with the Lp-spectral triples of Delfín–Farsi–Packer. The permanence results for (GRD)β,p and the explicit verification that the length spectral triple is strongly dense-core Gevrey regular are carefully written and appear reusable. The application to the Grigorchuk group (via Bartholdi’s growth bound) is a concrete illustration that the framework reaches genuinely new examples. The proofs rely only on standard interpolation, closed-derivation estimates and Rieffel’s abstract criterion; no hidden parameters or circular definitions appear.

minor comments (7)
  1. Abstract and Introduction: the phrase “two class of examples” should be “two classes of examples”.
  2. Definition 2.4 and subsequent statements: the control function is required to satisfy log F(R)=o(R^β); it would help the reader if the authors briefly recall that this is equivalent to F(R)≤exp(εR^β) for every ε>0 and all large R, since that form is used in the tail estimate (5.6).
  3. Proposition 3.6: the exponent 1-2/p appears after combining (3.1) and (3.2); a one-line remark that the same argument yields the dual statement for 1<p<2 via duality would make the range of p more transparent.
  4. Theorem 4.8: the identification Dom(D)=W1,p(T) is standard, but a short pointer to the precise reference (or a one-line verification of closedness) would improve self-containment.
  5. Proof of Theorem 5.6, Step 2: the constant cℓ:=infg eq e ℓ(g) is positive because ℓ is proper and vanishes only at the identity; this is used repeatedly and could be stated once at the beginning of the step.
  6. Section 6: the citation to Bartholdi’s growth bound for the Grigorchuk group is correct, but the numerical value α≈0.767 is approximate; either give the exact reference expression or note that any α<β works.
  7. Throughout: several typographical inconsistencies appear (“comp act”, “SP ACES”, missing spaces after commas in displayed formulae). A careful copy-edit pass would remove them.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: (GRD) is an independent hypothesis that supplies operator-norm control; Gevrey tails and Rieffel total-boundedness convert it into a metric without self-definition or fitted parameters.

full rationale

The central claim (Theorem 5.6 / Theorem C) is that if a countable discrete group G satisfies the newly defined property (GRD)β,p with respect to a proper length function ℓ, then the Gevrey seminorm Leta,C associated with the length spectral triple (Fpr(G),ℓp(G),Dℓ) induces a Monge–Kantorovich metric that metrizes the weak-* topology on the state space. The property (GRD)β,p is introduced in Definition 2.4 as an independent analytic hypothesis (log F(R)=o(R^β) controlling the left-regular representation on balls). Section 3 establishes its basic permanence properties and shows, via volume-growth comparisons (Propositions 3.3–3.7, Remark 3.4), that it holds for the concrete classes later used as examples (polynomial growth, intermediate growth of the Grigorchuk group via Bartholdi’s bound, classical RD, SD). The spectral-triple constructions (Theorems 4.8–4.9) verify dense-core Gevrey regularity by direct commutator estimates that do not presuppose the metric conclusion. The proof of Theorem 5.6 then applies Rieffel’s abstract criterion (Theorem 5.4, cited from [45]) by converting the (GRD) control plus Gevrey factorial bounds into uniform total boundedness of the unit ball in the quotient Fpr(G)/C1 (Steps 2–4). No parameter is fitted to data and then re-used as a prediction; no uniqueness theorem is imported from the authors’ prior work to force the choice of seminorm; and the only self-citations ([11] and the present definitions) are non-load-bearing. The derivation is therefore self-contained against its stated hypotheses and external classical inputs (Young, Rieffel, length-function geometry).

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

The central claim rests on standard Banach-space and operator-algebra facts plus the newly introduced (GRD) control condition. No free parameters are fitted to data; the only numerical constants that appear are those forced by length-function inequalities or by the choice of Gevrey order.

assumptions (4)
  • standard math Rieffel’s criterion (Theorem 1.8 of [45]): total boundedness of the unit ball of a seminorm in the quotient by its kernel implies that the associated Monge–Kantorovich metric metrizes the weak-* topology on the state space.
    Invoked verbatim in Step 5 of the proof of Theorem 5.6.
  • domain assumption A proper length function on a countable discrete group has finite balls BR and satisfies the triangle inequality and inversion symmetry.
    Used throughout Definitions 2.3–2.4 and in the construction of Dℓ.
  • standard math The left regular representation λ p of ℓ^{1}(G) on ℓ p(G) is a contractive algebra homomorphism, and Fpr(G) is its norm closure.
    Standard fact recalled in Section 2 and used to define the ambient Banach algebra.
  • ad hoc to paper log F(R)=o(R^β) for the control function of (GRD)β,p.
    Part of the definition of the new property; the entire tail estimate in Theorem 5.6 collapses without it.
invented entities (2)
  • (GRD)β,p property
    purpose: Provides the precise subexponential operator-norm control needed to close the Gevrey tail estimates for intermediate-growth groups.
    Defined in Definition 2.4; no independent experimental or computational verification is offered beyond the abstract permanence results.
  • strongly dense-core eta-Gevrey regular Lp-spectral triple
    purpose: Supplies a dense subalgebra on which all iterated commutators with D satisfy Gevrey factorial bounds, allowing the seminorm Leta,C to be defined.
    Introduced in Definition 4.7; verified for two concrete classes (circle and group length operators) but not independently measured outside the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gevrey Regularity and Compact Quantum Metric Spaces for $L^p$-Group Algebras." pith.science (2026). https://pith.science/paper/E5GVJIL2

@misc{pith2026260703107,
  author       = {Pith},
  title        = {Pith review of: Gevrey Regularity and Compact Quantum Metric Spaces for $L^p$-Group Algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E5GVJIL2}},
  note         = {Machine review of arXiv:2607.03107}
}
read the original abstract

We introduce the beta-Gevrey lp-rapid decay property (GRD){beta,p}, for 0 < beta <= 1 and 1 <= p < infinity, for countable discrete groups. This property is a subexponential analogue of classical rapid decay, in which polynomial control is replaced by logarithmic subexponential control of order o(R^beta). We establish basic results for (GRD){beta,p}. We then apply this framework to compact quantum metric structures on reduced Lp-group algebras. We introduce strongly dense-core beta-Gevrey regular lp-spectral triples and give two classes of examples. For countable discrete groups satisfying (GRD)_{beta,p}, we prove, using Rieffel's criterion, that the corresponding Gevrey seminorms induce metrics on the Banach-algebra state space which metrize the weak-* topology. This yields compact quantum metric space structures in settings beyond classical rapid decay, including groups of intermediate growth such as the first Grigorchuk group.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

49 extracted references · 6 linked inside Pith

  1. [1]

    R. A. Adams and J. J. F. Fournier, Sobolev Spaces, 2nd ed., Pure and Applied Mathematics, Vol. 140, Elsevier/Academic Press, Amsterdam, 2003. 17

    2003

  2. [2]

    Antonescu, E

    C. Antonescu, E. Christensen, Metrics on group C∗-algebras and a noncommutative Arzel `a- Ascoli theorem, J. Funct. Anal., 214(2), 247–259, (2004). 2, 28

    2004

  3. [3]

    Arhancet, Classical harmonic analysis viewed through the prism of noncommutative ge- ometry, preprint (2024), arXiv:2409.07750v2 [math.F A] 16

    C. Arhancet, Classical harmonic analysis viewed through the prism of noncommutative ge- ometry, preprint (2024), arXiv:2409.07750v2 [math.F A] 16

    arXiv 2024

  4. [4]

    Arhancet, C

    C. Arhancet, C. Kriegler, Riesz Transforms, Hodge-Dirac Operators and Functional Calculus for Multipliers. In: Lecture Notes in Mathematics, vol. 2304, p. 2022. Springer, Cham (2022). 16

    2022

  5. [5]

    Austad, J

    A. Austad, J. Kaad, D. Kyed, Quantum metrics on crossed products with groups of polyno- mial growth, Trans. Am. Math. Soc. 378(3), 1939–1973, (2025). 2

    1939

  6. [6]

    Bartholdi, The growth of Grigorchuk’s torsion group, Int

    L. Bartholdi, The growth of Grigorchuk’s torsion group, Int. Math. Res. Notices, 1998(20), 1049-1054, (1998). 28

    1998

  7. [7]

    Bhowmick, C

    J. Bhowmick, C. Voigt, J. Zacharias, Compact quantum metric spaces from quantum groups of rapid decay, J. Noncommut. Geom. 9 (2015), 1175–1200. 2

    2015

  8. [8]

    D. P. Blecher, N. C. Phillips, Lp-operator algebras with approximate identities, I, Pacific J. Math., 303(2), 401–457 (2019). 21

    2019

Show all 49 references
  1. [9]

    A. P. Calderón, Intermediate spaces and interpolation, the complex method, Studia Math., 24, 113–190, (1964). 10

    1964

  2. [10]

    Chatterji, Introduction to the Rapid Decay property, Contemporary Mathematics, 691, 53-72, (2017)

    I. Chatterji, Introduction to the Rapid Decay property, Contemporary Mathematics, 691, 53-72, (2017). 1

    2017

  3. [11]

    L. Chen, Q. Wang, Spectral Invariance and Gevrey Regularity for Groups with strongly subexponential growth, preprint. 3

  4. [12]

    Y. Choi, E. Gardella, and H. Thiel, Rigidity results for Lp-operator algebras and applications, Adv. Math., 452, 109747, (2024). 2

    2024

  5. [13]

    Christ, M

    M. Christ, M. A. Rieffel, Nilpotent group C∗-algebras as compact quantum metric spaces, Canad. Math. Bull., 60(1), 77–94, (2017). 2, 28

    2017

  6. [14]

    Connes, Compact metric spaces, Fredholm modules, and hyperfiniteness, Ergodic Theory Dyn

    A. Connes, Compact metric spaces, Fredholm modules, and hyperfiniteness, Ergodic Theory Dyn. Syst., 9(2), 207–220, (1989). 1, 2

    1989

  7. [15]

    H. G. Dales, A. M. Davie, Quasianalytic Banach function algebras, J. Functional Analysis, 13(1), 28-50, (1973). 2

    1973

  8. [16]

    Dasgupta, M

    A. Dasgupta, M. Ruzhansky, Gevrey functions and ultradistributions on compact Lie groups and homogeneous spaces, Bull. Sci. Math., 138, 756-782, (2014). 3

    2014

  9. [17]

    Delfín, C

    A. Delfín, C. Farsi, J. Packer, Lp-spectral Triples and p-Quantum Compact Metric Spaces, J. Fourier Anal. Appl., 32(10), (2026). 3, 14, 21, 28

    2026

  10. [18]

    K. J. Engel, R. Nagel, One-parameter semigroups for linear evolution equations. Graduate Texts in Mathematics, 194. Springer-Verlag, New York, 2000. 16

    2000

  11. [19]

    Gardella, A modern look at algebras of operators on Lp-spaces., Expo

    E. Gardella, A modern look at algebras of operators on Lp-spaces., Expo. Math. 39 (2021), 3, 420–453. 2

    2021

  12. [20]

    Gardella, H

    E. Gardella, H. Thiel: Group algebras acting on Lp-spaces, J. Fourier Anal. Appl., 21, 1310– 1343, (2015). 2

    2015

  13. [21]

    Gardella, H

    E. Gardella, H. Thiel, Representations of p-convolution algebras on Lq-spaces. Trans. Amer. Math. Soc., 371(3), 2207–2236, (2019). 2

    2019

  14. [22]

    Garncarek, Mini-course: property of rapid decay

    L. Garncarek, Mini-course: property of rapid decay. arXiv:1603.06730 [math. F A]. 1

    arXiv

  15. [23]

    Gevrey, Sur la nature analitique des solutions des equations aux dérivées partielle, Premier mémoire

    M. Gevrey, Sur la nature analitique des solutions des equations aux dérivées partielle, Premier mémoire. Ann. Ec. Norm. Sup. Paris 1918, 35, 129-190. 2

    1918

  16. [24]

    J. M. Gracia-Bondía, J. C. Várilly , H. Figueroa, Elements of noncommutative geometry, Birkhäuser Advanced Texts: Basler Lehrbücher [Birkhäuser Advanced Texts: Basel Text- books], Birkhäuser Boston Inc., Boston, MA, 2001. 15

    2001

  17. [25]

    R. I. Grigorchuk, Degrees of growth of finitely generated groups and the theory of invariant means, Izv. Akad. Nauk. SSSR Ser. Mat., 48(5), 939-985, (1984). 2, 27

    1984

  18. [26]

    Gröchenig, A

    K. Gröchenig, A. Klotz. Noncommutative approximation: Inverse-closed subalgebras and off-diagonal decay of matrices. Constructive Approximation, 32, 429-446, (2010). 2, 3

    2010

  19. [27]

    Gröchenig, A

    K. Gröchenig, A. Klotz, Norm-controlled inversion in smooth Banach algebras, I., Journal of the London Mathematical Society, 88(1), 49-64, (2013). 2 30 LIN CHEN ∗ AND QIN W ANG

    2013

  20. [28]

    Gröchenig, A

    K. Gröchenig, A. Klotz, Norm-controlled inversion in smooth Banach algebras, II, Math. Nachr., 287(8-9), 917-937, (2014). 2

    2014

  21. [29]

    Gröchenig, M

    K. Gröchenig, M. Leinert. Symmetry and inverse-closedness of matrix algebras and functional calculus for infinite matrices., Trans. Amer. Math. Soc., 358(6), 2695-2711 (electronic), (2006). 2

    2006

  22. [30]

    Gröchenig, M

    K. Gröchenig, M. Leinert, Wiener lemma for twisted convolution and Gabor frames, J. Amer. Math. Soc., 17, 1-18, (2004). 2

    2004

  23. [31]

    Haagerup, An example of a non nuclear C∗-algebra, which has the metric approximation property, Invent

    U. Haagerup, An example of a non nuclear C∗-algebra, which has the metric approximation property, Invent. Math., 50(3), 279-293, (1978/79). 1

    1978

  24. [32]

    C. S. Herz, The theory of p-spaces with an application to convolution operators. Trans. Am. Math. Soc., 154, 69–82, (1971). 2

    1971

  25. [33]

    Jolissaint, Rapidly decreasing functions in reduced C∗-algebras of groups, Trans

    P. Jolissaint, Rapidly decreasing functions in reduced C∗-algebras of groups, Trans. Amer. Math. Soc., 317(1), 167-196, (1990). 1, 8, 12

    1990

  26. [34]

    Jolissaint, K-theory of reduced C∗-algebras and rapidly decreasing functions on groups, K-Theory, 2(6), 723-735, (1989)

    P. Jolissaint, K-theory of reduced C∗-algebras and rapidly decreasing functions on groups, K-Theory, 2(6), 723-735, (1989). 1

    1989

  27. [35]

    Klotz, Inverse closed ultradifferential subalgebras, Journal of Mathematical Analysis and Applications, 409(2), 615-629, (2014)

    A. Klotz, Inverse closed ultradifferential subalgebras, Journal of Mathematical Analysis and Applications, 409(2), 615-629, (2014). 2, 3

    2014

  28. [36]

    Latrémolière, The Gromov-Hausdorff propinquity for metric spectral triples, Adv

    F. Latrémolière, The Gromov-Hausdorff propinquity for metric spectral triples, Adv. Math., 404, 108393, (2022). 1, 14

    2022

  29. [37]

    Latrémolière, , The quantum Gromov-Hausdorff propinquity,Trans.Amer

    F. Latrémolière, , The quantum Gromov-Hausdorff propinquity,Trans.Amer. Math.Soc., 368 (2016),pp. 365–411. 1

    2016

  30. [38]

    Li, Order-unit quantum Gromov-Hausdorff distance, J

    H. Li, Order-unit quantum Gromov-Hausdorff distance, J. Funct. Anal., 231, 312–360, (2006). 1

    2006

  31. [39]

    B. Liao, G. Yu, K-theory of group Banach algebras and Banach property RD. 2017. arXiv: 1708.01982 [math.F A]. 3, 7, 8, 9

    2017 arXiv

  32. [40]

    B. Long, W. Wu, Twisted group C∗-algebras as compact quantum metric spaces. Results Math. 71(3–4), 911–931 (2017) 2

    2017

  33. [41]

    Ozawa, M

    N. Ozawa, M. A. Rieffel, Hyperbolic group C∗- algebras and free-product C∗-algebras as compact quantum metric spaces, Can. J. Math., 57(5), 1056–1079, (2005). 1, 28

    2005

  34. [42]

    N. C. Phillips, Analogs of Cuntz algebras on Lp spaces. preprint (2012), arXiv: 1201.4196[math.F A]2

    2012 arXiv

  35. [43]

    N. C. Phillips, Crossed products of Lp operator algebras and the K-theory of Cuntz algebras on Lp spaces, (2013). arXiv:1309.6406 [math.F A] 2

    2013 arXiv

  36. [44]

    N. C. Phillips, Simplicity of UHF and Cuntz algebras on Lp spaces, (2013), arXiv:1309.0115 [math.F A]2

    2013 arXiv

  37. [45]

    M. A. Rieffel, Metrics on states from actions of compact groups, Doc. Math., 3, 215–229, (1998). 1, 5, 21, 22

    1998

  38. [46]

    M. A. Rieffel, Metrics on state spaces, Doc. Math., 4, 559–600 (1999). 1

    1999

  39. [47]

    M. A. Rieffel, Gromov-Hausdorff distance for quantum metric spaces, Mem. Amer. Math. Soc., 168 (2004), pp. 1–65. Appendix 1 by Hanfeng Li. 1

    2004

  40. [48]

    M. A. Rieffel, Group C∗-algebras as compact quantum metric spaces, Doc. Math., 7, 605–651, (2002). 1, 18

    2002

  41. [49]

    K. E. Srivatsav, P. Gregory, T. Lizzy, Some remarks on decay in countable groups and amalgamated free products, arXiv:2509.08754. 3, 7, 8, 28 Department of Mathematics and Statistics, Suzhou University of Technology, Suzhou, 215500, P. R. China Email address : linchen198112@16...

    arXiv

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.