Pith. sign in

REVIEW 6 minor 47 references

Spectral Invariance and Gevrey Regularity for Groups with strongly subexponential growth

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

Pith's one-line read Groups of strong subexponential growth admit inverse-closed Gevrey operator algebras with matching K-theory.

desk verdict Solid Gevrey-scale inverse-closed algebra for intermediate-growth groups; the growth hypothesis is explicit and the abstract inversion does not need it. read the letter →

arxiv 2607.03074 v1 pith:BLC5CJTE submitted 2026-07-03 math.OA

classification math.OA MSC 22D1546H3546L8946L05
keywords strongsubexponentialgrowthweightGevreyregularityspectralinvarianceq-pseudofunctionalgebranoncommutativeWienerlemmarelativerapiddecayGrigorchukgroup
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 shows that when a unimodular locally compact group grows slower than any exponential of order less than one, subexponential weights produce a usable smooth algebra of convolution operators. Compactly supported kernels share the same spectrum (or spectral radius, when self-adjoint) in the weighted group algebra, the ordinary group algebra, the q-pseudofunction algebra, and both the full and reduced group C*-algebras. Inside the unitized q-pseudofunction algebra the authors build a Gevrey-Beurling Fréchet algebra by controlling iterated commutators with the length function; they prove it is inverse-closed and that the inclusion induces a topological K-theory isomorphism. Consequently any convolution operator whose kernel decays faster than every subexponential weight, once invertible in the q-pseudofunction algebra, has an inverse that remains inside the same Gevrey algebra and obeys explicit seminorm bounds. A relative version for pairs of finitely generated groups works with Schreier lengths and recovers ordinary theory when the subgroup is normal; the whole package applies to the Grigorchuk group and is stable under products with polynomial-growth groups and under compact extensions.

What carries the argument

The closed derivation δ_ℓ given by commutators with multiplication by the length function, together with the resulting Gevrey-Beurling seminorms of order 1/β on B(L^q(G)). These seminorms convert subexponential decay of kernels into factorial control of iterated commutators and feed the abstract norm-controlled inversion theorem that yields the noncommutative Wiener lemma.

What would settle it

Exhibit a unimodular group whose volume growth is bounded by exp(c R^γ) for every γ larger than the weight exponent β, yet some invertible convolution operator with Gevrey kernel has inverse outside the Gevrey-Beurling operator algebra, or show that the K-theory map fails to be bijective on that group.

Watch

Extended reading notes

Core claim

For unimodular groups satisfying the strong subexponential growth condition (SG_β), the intersection of the unitized q-pseudofunction algebra with the operator-algebraic Gevrey-Beurling class of order 1/β (defined by factorial growth of commutators with the length operator) is inverse-closed, dense, and holomorphically closed; its inclusion therefore induces an isomorphism in topological K-theory. Convolution operators with kernels in the corresponding weighted Gevrey-Beurling space inherit the same property: invertibility forces the inverse back into the algebra with quantitative Gevrey estimates.

Load-bearing premise

The group’s volume balls must grow no faster than a subexponential of order at most the weight exponent; if growth is only slightly faster, the continuous embedding of the Gevrey space into weighted L1 fails and density is lost.

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 / 6 minor

Summary. The paper develops spectral invariance and Gevrey-type regularity for convolution operators on locally compact groups with strong subexponential volume growth, using subexponential weights ω_s(x)=exp(s ℓ(x)^eta) for 0<eta<1. For compactly generated unimodular groups with volume growth bounded by exp(c R^γ) (γ<1), Theorem 3.3 establishes spectral comparison for compactly supported functions across L^{1}(G;ω_s), L^{1}(G), C*_r(G) and C*(G), with spectral-radius identities for Hermitian elements also involving PF*_q(G). For unimodular groups satisfying (SG_eta), it constructs the Gevrey-Beurling algebra A_{q,eta}(G)=^PF_q(G)igcap G^{(1/eta)}(B(L^q(G))) associated to the length commutator derivation δ_ℓ, proves it is inverse-closed in the unitized q-pseudofunction algebra (Theorem 4.10, a quantitative noncommutative Wiener lemma), and shows the inclusion induces a topological K-theory isomorphism (Corollary 4.12). As an application, inverses of convolution operators with kernels in the weighted Gevrey-Beurling space S^ heta_q(G) remain in A_{q,eta}(G) with explicit seminorm bounds (Theorem 4.14). A relative theory for pairs (G,H) via Schreier lengths and quasi-regular representations yields an analogous inverse-closed algebra (Theorem 6.8), reducing to the ordinary theory when H is normal. Examples cover the Grigorchuk group, products with polynomial-growth groups, and compact extensions.

Significance. If correct, the results supply a usable substitute for classical rapid-decay smooth subalgebras precisely when polynomial growth fails, i.e., for intermediate-growth groups such as Grigorchuk. The Gevrey-Beurling operator algebra A_{q,eta}(G) is inverse-closed, holomorphically closed and K-theoretically equivalent to ^PF_q(G), furnishing a natural domain for cyclic cocycles and higher-index constructions on groups outside the RD regime. The quantitative inversion estimates and the relative pair theory further enlarge the toolkit; stability under products and compact extensions makes the framework immediately applicable. The chain of estimates (Hölder embedding under (SG_eta), closedness of δ_ℓ, factorial bounds via maximisation of u^k exp(-s u^eta), and Gröchenig-Klotz norm-controlled inversion) is self-contained and standard, so the contribution is both technically solid and conceptually timely for noncommutative geometry and operator algebras.

minor comments (6)
  1. Throughout the manuscript (title, abstract, headings, and body) there are numerous spacing and rendering artefacts (e.g., “INV ARIANCE”, “STRONGL Y”, “opertor”, “sufficient”, “Gevrey-Beurling type space”, missing spaces after punctuation). These should be cleaned systematically before publication.
  2. Notation for the growth exponent oscillates between γ (volume growth) and eta (weight exponent) and occasionally appears as control characters in the source; a single consistent pair of symbols, introduced once in Definition 2.2 / 4.2, would improve readability.
  3. In the proof of Theorem 3.3 the appeal to quasi-symmetry of subexponentially growing groups is cited as [34, Prop. 3]; a one-sentence reminder of the precise statement would help readers who do not have that reference at hand.
  4. Lemma 4.1 and Remark 2.4 assert Fréchet-algebra structures; while the arguments are standard, an explicit reference to the projective-limit topology (or a short verification that the countable family of seminorms is directed) would make the text self-contained for non-specialists.
  5. Section 7 lists interesting open problems; it would be useful to indicate which of them are expected to follow by the same methods versus those that require genuinely new ideas (e.g., intrinsic membership of iterated commutators in PF_q(G)).
  6. In Example 6.11 the claim that the relative condition is “substantially weaker” is clear, but a short quantitative comparison of the two Fréchet topologies (or an explicit function that lies in S^ heta_{1,H} but not in the ordinary S^ heta_1) would make the distinction sharper.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: inverse-closedness and Gevrey estimates follow from stated growth hypotheses plus independent abstract Banach-algebra inversion, without self-definition or fitted recovery of targets.

full rationale

The derivation chain is self-contained and non-circular. Subexponential weights ω_s = exp(s ℓ^eta) are defined from the length function (Def. 2.1); strong subexponential growth (SG_eta) is an explicit volume hypothesis (Def. 4.2) used only to embed S^∞_q(G) into weighted L^{1} algebras (Lemma 4.3) and to obtain density of A_{q,eta}(G) in ^PF_q(G) (Lemma 4.11). Iterated commutators δ_ℓ^k(λ_q(f)) are controlled by elementary maximisation of u^k exp(-s u^eta) yielding the factorial bound of Prop. 4.8; inverse-closedness of the Gevrey-Beurling class then follows from the external Gröchenig–Klotz norm-controlled inversion theorem applied to the closed derivation δ_ℓ (Prop. 4.9 o Thm. 4.10), which does not require (SG_eta). Spectral comparison for compactly supported functions (Thm. 3.3) uses Barnes–Hulanicki plus known quasi-symmetry of subexponential-growth groups. Relative theory likewise reduces to the same abstract inversion on the Schreier length. Examples (Grigorchuk via Bartholdi’s independent upper bound, products, compact extensions) verify the growth hypothesis externally. No target spectral radius, Gevrey seminorm or K-theory class is used to define an input that is later recovered; self-citations are absent or non-load-bearing background. Score 0 is therefore warranted.

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

The results rest on standard Banach-algebra and representation theory plus the domain-specific growth and unimodularity hypotheses needed to control weighted convolutions and embeddings. No free numerical parameters are fitted; eta is an input exponent constrained by the group’s growth. The new algebras are defined constructions, not postulated physical entities.

assumptions (5)
  • standard math Barnes-Hulanicki theorem: spectral radius equality for a dense *-subalgebra of self-adjoints implies full spectral equality under a faithful representation.
    Invoked in the proof of Theorem 3.3 to pass from radius equality to spectrum equality for compactly supported functions.
  • domain assumption Groups of subexponential growth are quasi-symmetric (Palma) and amenable, so C*(G) ≅ C*_r(G).
    Used in Theorem 3.3 to identify spectra across L1, C*_r and C*.
  • standard math Norm-controlled inversion for Dales-Davie algebras when the combinatorial coefficients A_m o 0 (Gröchenig-Klotz).
    Abstract engine of Proposition 4.9 that yields the quantitative Gevrey inversion estimate.
  • domain assumption G is unimodular and satisfies the strong subexponential growth condition (SG_eta) with respect to a proper locally bounded length function.
    Standing hypothesis for all embedding, density and K-theory statements in Section 4.
  • domain assumption Spectral interpolation for the triple (L1(G), PF*_q(G), C*_r(G)) when 1 < q < 2 (Samei-Wiersma).
    Gives spectral-radius equality for Hermitian compactly supported functions in Theorem 3.3.
invented entities (2)
  • Gevrey-Beurling operator algebra A_{q,eta}(G)
    purpose: Dense Fréchet subalgebra of the unitized q-pseudofunction algebra that is inverse-closed and holomorphically closed, providing a smooth domain for K-theory and cyclic cocycles under subexponential growth.
    Defined as the intersection of ^PF_q(G) with the operator-algebraic Gevrey class of order 1/eta associated with the length commutator; its properties are proved rather than postulated.
  • Relative Gevrey-Beurling algebra A_{q,eta}(G;H) for pairs
    purpose: Captures Gevrey regularity controlled only by the Schreier-graph length on G/H, strictly weaker than the global condition when H is non-normal.
    Constructed via the quasi-regular representation and the relative weight ω_H; reduces to the ordinary theory when H is normal.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spectral Invariance and Gevrey Regularity for Groups with strongly subexponential growth." pith.science (2026). https://pith.science/paper/BLC5CJTE

@misc{pith2026260703074,
  author       = {Pith},
  title        = {Pith review of: Spectral Invariance and Gevrey Regularity for Groups with strongly subexponential growth},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BLC5CJTE}},
  note         = {Machine review of arXiv:2607.03074}
}
abstract

We study spectral invariance and Gevrey regularity for convolution operators with kernels in suitable weighted function spaces on locally compact groups equipped with a locally bounded length function $\ell$. The main analytic scale is given by the subexponential weights. For groups whose volume growth is bounded above by $e^{R^\gamma}$ for some $0<\gamma<1$, we establish spectral comparison result for compactly supported functions. For compactly supported Hermitian functions, we prove spectral radius invariance across the symmetric $q$-pseudofunction $*$-algebra, the weighted and unweighted group algebras, and the full and reduced group $C^*$-algebras. For unimodular groups satisfying strong subexponential growth of exponent at most $\beta$, we construct a Gevrey-Beurling operator algebra inside the unitized $q$-pseudofunction algebra. We prove that this algebra is inverse-closed and that its inclusion induces an isomorphism in topological $K$-theory. The inverse-closedness theorem may be viewed as a quantitative Gevrey-type noncommutative Wiener lemma. As an application, we show that whenever a convolution operators with kernels in the corresponding weighted Gevrey-Beurling space is invertible in the unitized $q$-pseudofunction algebra, then its inverse belongs to the same Gevrey-Beurling operator algebra and satisfies explicit Gevrey seminorm estimates. We also develop a relative theory for pairs of finitely generated groups using Schreier graph lengths and quasi-regular representations. This provides a subexponential analogue of rapid decay for group pairs, when subgroup is normal, it reduces to the usual theory on the quotient. The framework can apply to intermediate-growth examples, including the Grigorchuk group, and is stable under products with polynomial growth groups and under compact extensions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

47 extracted references · 4 linked inside Pith

  1. [1]

    Austad, E

    A. Austad, E. Ortega, M. Palmstrom, K-theory invariance of Lp-operator algebras associated with étale groupoids of strong subexponential growth, Doc. Math., (2026). 37

  2. [2]

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

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

  3. [3]

    Bekka, P

    B. Bekka, P. de La Harpe, A. Valette. Kazhdan’s property (T ). Cambridge university press, 2008. 28

  4. [4]

    Blackadar, J

    B. Blackadar, J. Cuntz, Differential Banach algebra norms and smooth subalgebras of C ∗-algebras, J. Oper. Theory, 26, 255–282, (1991). 2

  5. [5]

    A. Buss, P. Karmakar, Rapid decay and localizability for Fell bundles over étale groupoids, arXiv:2604.23907, 2026. 37

  6. [6]

    Chatterji, C

    I. Chatterji, C. Pittet, L. Saloff-Coste, Connected Lie groups and property RD, Duke Math. J., 137(3), 511-536, (2007). 28

  7. [7]

    Chatterji, B

    I. Chatterji, B. Zarka, The rapid decay property for pairs of discrete groups, arXiv:2412.07994, 2024. 4, 28

  8. [8]

    Connes and H

    A. Connes and H. Moscovici, Cyclic cohomology, the Novikov conjecture and hyper- bolic groups, Topology, 29(3), 345-388, (1990). 3, 28

Show all 47 references
  1. [9]

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

  2. [10]

    Dasgupta and M

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

  3. [11]

    Derighetti, Convolution Operators on Groups, Lecture Notes of the Unione Matem- atica Italiana, vol.11, Springer, Heidelberg, 2011, UMI, Bologna

    A. Derighetti, Convolution Operators on Groups, Lecture Notes of the Unione Matem- atica Italiana, vol.11, Springer, Heidelberg, 2011, UMI, Bologna. 6

  4. [12]

    Fendler, K

    G. Fendler, K. Gröchenig, M. Leinert, J. Ludwig, C. Molitor-Braun, Weighted group algebras on groups of polynomial growth, Math. Z. 245(4), 791-821, (2003). 10

  5. [13]

    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

  6. [14]

    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). 26

  7. [15]

    K. Gröchenig, Wienerr lemma: theme and variations, an introduction to spectral in- variance and its applications, In Four Short Courses on Harmonic Analysis: Wavelets, Frames, Time Frequency Methods, and Applications to Signal and Image Analysis, edited by P. Massopust and B. ...

  8. [16]

    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, 21

  9. [17]

    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, 13, 21

  10. [18]

    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, 13, 21, 22 SPECTRAL INV ARIANCE AND GEVREY REGULARITY 39

  11. [19]

    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

  12. [20]

    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

  13. [21]

    Guivarc’h, Croissance polynomiale et périodes des fonctions harmoniques, Bull

    Y. Guivarc’h, Croissance polynomiale et périodes des fonctions harmoniques, Bull. Soc. Math. France, 101, 333-379, (1973). 26

  14. [22]

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

    U. Haagerup, An example of a non nuclear C ∗-algebra which has the metric approx- imation property, Invent. Math., 50, 279–293, (1978). 28

  15. [23]

    Hulanicki, On the spectrum of convolution operators on groups with polynomial growth, Invent

    A. Hulanicki, On the spectrum of convolution operators on groups with polynomial growth, Invent. Math., 17, 135-142, (1972). 10

  16. [24]

    J. W. Jenkins, Growth of connected locally compact groups, Journal of Functional Analysis, 12(1), 113-127, (1973). 26

  17. [25]

    Ji and L

    R. Ji and L. B. Schweitzer, Spectral invariance of smooth crossed products, and rapid decay locally compact groups, K-Theory, 10(3) 283-305, (1996)

  18. [26]

    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). 3

  19. [27]

    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). 3, 28

  20. [28]

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

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

  21. [29]

    Lafforgue, K-théorie bivariante pour les algèbres de Banach et conjecture de Baum- Connes, Inventiones Mathematicae, 149(1), 1-95, (2002)

    V. Lafforgue, K-théorie bivariante pour les algèbres de Banach et conjecture de Baum- Connes, Inventiones Mathematicae, 149(1), 1-95, (2002). 3, 28

  22. [30]

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

  23. [31]

    Losert, On the structure of groups with polynomial growth, Math

    V. Losert, On the structure of groups with polynomial growth, Math. Z., 195(1), 109-117, (1987). 9

  24. [32]

    Losert, On the structure of groups with polynomial growth

    V. Losert, On the structure of groups with polynomial growth. II., J. London Math. Soc., 63(3), 640-654, (2001). 9

  25. [33]

    Mineyev, G

    I. Mineyev, G. Yu, The Baum-Connes conjecture for hyperbolic groups, Inventiones mathematicae, 149(1), 97-122, (2002). 28

  26. [34]

    Palma, Quasi-symmetric group algebras and C ∗-completions of Hecke algebras, in: Operator Al-gebra and Dynamics, in: Springer Proc

    R. Palma, Quasi-symmetric group algebras and C ∗-completions of Hecke algebras, in: Operator Al-gebra and Dynamics, in: Springer Proc. Math. Stat., vol.58, Springer, Heidelberg, 2013, pp.253-271. 9, 12

  27. [35]

    Piazza and T

    P. Piazza and T. Schick, Rho-classes, index theory and Stolz’ positive scalar curvature sequence, Journal of Topology, 7(4), 965-1004, (2014). 25

  28. [36]

    Poguntke, Nilpotente Liesche Gruppen haben symmetrische Gruppenalgebren, Math

    D. Poguntke, Nilpotente Liesche Gruppen haben symmetrische Gruppenalgebren, Math. Ann., 227, 51-59, (1977). 9

  29. [37]

    non-positively curved

    M. Puschnigg, Local cyclic homology of group Banach algebras of “non-positively curved” discrete groups, arXiv:2306.00746, 2023. 25

  30. [38]

    Pytlik, Symbolic calculus on weighted group algebras, Studia Math., 73(2), 169- 176, (1982)

    T. Pytlik, Symbolic calculus on weighted group algebras, Studia Math., 73(2), 169- 176, (1982). 9

  31. [39]

    Rodino, Linear Partial Differential Operators in Gevrey Spaces, World Scientific,

    L. Rodino, Linear Partial Differential Operators in Gevrey Spaces, World Scientific,

  32. [40]

    Samei, V

    E. Samei, V. Shepelska, Norm-Controlled inversion in weighted convolution algebras., J Fourier Anal Appl., 25, 3018–3044, (2019). 14

  33. [41]

    Samei, M

    E. Samei, M. Wiersma, Quasi-Hermitian locally compact groups are amenable, Ad- vances in Mathematics, 359, 106897, (2020). 7, 9, 10, 11, 12

  34. [42]

    L. B. Schweitzer, A short proof that Mn(A) is local if A is local and Fréchet, Internat J. Math., 3(4), 581–589, (1992). 2, 25

  35. [43]

    J. A. Siddiqi, Inverse-closed Carleman algebras of infinitely differentiable functions, Proc. Amer. Math. Soc., 109(2), 357-367, (1990). 7 40 LIN CHEN ∗ AND QIN W ANG

  36. [44]

    Stoiber, Spectral continuity for étale groupoids with the rapid decay property, arXiv:2509.24145, 2025

    T. Stoiber, Spectral continuity for étale groupoids with the rapid decay property, arXiv:2509.24145, 2025. 37

  37. [45]

    A. Valette. An Introduction to the Baum-Connes Conjecture. With an Appendix by G. Mislin. From notes taken by I. Chatterji. Lectures Notes in Mathematics, ETH ZÄurich, BirkhÄauser. 25

  38. [46]

    Willett, G

    R. Willett, G. Yu, Higher Index Theory. Cambridge University Press, (2020). 25

  39. [47]

    Z. Xie, G. Yu, Higher rho invariants and the moduli space of positive scalar curvature metrics, Adv. Math., 307, 1046-1069, (2017). 25 Department of Mathematics and Statistics, Suzhou University of Technol- ogy, Suzhou, 215500, P. R. China Email address : linchen198112@163.com...

Pith tools

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