pith. sign in

arxiv: 2412.07994 · v2 · submitted 2024-12-11 · 🧮 math.OA · math.FA· math.GR· math.KT· math.PR

The rapid decay property for pairs of discrete groups

Indira Chatterji , Benjamin Zarka This is my paper

Pith reviewed 2026-05-23 07:51 UTC · model grok-4.3

classification 🧮 math.OA math.FAmath.GRmath.KTmath.PR
keywords rapid decay propertygroup pairsK-theoryreduced group C*-algebrarandom walksdiscrete groupsspectral injections
0
0 comments X

The pith

Generalizing rapid decay to pairs of groups yields K-theory isomorphisms and random walk bounds.

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

The paper extends the rapid decay property from single groups to pairs (G,H) where H is a finitely generated subgroup of G. The extension applies in cases where H itself lacks rapid decay. It produces isomorphisms in K-theory of the associated reduced C*-algebras and establishes lower bounds on the return probability to H for symmetric random walks on G. A sympathetic reader would care because the new property supplies comparison tools for operator algebras when single-group conditions fail.

Core claim

The rapid decay property for the pair (G,H) is defined so that it controls decay relative to H, implies relatively spectral injections into the reduced group C*-algebra, permits K-theory isomorphisms, and supplies a lower bound on the return probability to H under symmetric random walks on G.

What carries the argument

The rapid decay property for the pair (G,H), a condition on decay rates of functions on G measured against the subgroup H.

Load-bearing premise

That a non-trivial generalization of rapid decay to pairs exists which is not reducible to the single-group case and which supports the stated K-theory isomorphisms and random walk bounds.

What would settle it

A concrete pair (G,H) satisfying the generalized rapid decay property for which either the predicted K-theory isomorphism fails or the lower bound on random walk return probability to H does not hold.

read the original abstract

We generalize the notion of rapid decay property for a group $G$ to pairs of groups $(G,H)$ where $H$ is a finitely generated subgroup of $G$, where typically the subgroup $H$ does not have rapid decay. We deduce some isomorphisms in $K$-theory, and investigate relatively spectral injections in the reduced group $C^*$-algebra. Rapid decay property for the pair $(G,H)$ also gives a lower bound for the probability of return to $H$ of symmetric random walks on $G$.

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

Summary. The paper generalizes the rapid decay property from a single discrete group G to a pair (G, H) where H is a finitely generated subgroup of G (typically without rapid decay itself). It claims this yields K-theory isomorphisms, results on relatively spectral injections into the reduced group C*-algebra, and a lower bound on the return probability to H for symmetric random walks on G.

Significance. If the generalization is non-trivial, internally consistent, and yields verifiable K-theory isomorphisms without reducing to the single-group case, the work could extend tools from geometric group theory and operator algebras to relative settings. The random-walk bound is a concrete, falsifiable consequence that strengthens the claim.

minor comments (1)
  1. The abstract states the generalization and its consequences but supplies no definitions, derivations, or verification steps for the pair-wise rapid decay property, making it impossible to assess whether the K-theory deductions follow or whether the construction is independent of the single-group case.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript. The report accurately captures the main results on generalizing rapid decay to pairs (G, H). Below we address the implicit concern regarding whether the generalization is non-trivial and yields new K-theory isomorphisms without reducing to the single-group case.

read point-by-point responses

  1. Referee: If the generalization is non-trivial, internally consistent, and yields verifiable K-theory isomorphisms without reducing to the single-group case, the work could extend tools from geometric group theory and operator algebras to relative settings. The random-walk bound is a concrete, falsifiable consequence that strengthens the claim.

    Authors: The generalization is non-trivial: when H has no rapid decay but (G, H) does, the resulting K-theory isomorphisms (Theorem 4.2) and relatively spectral injections (Proposition 3.5) are unavailable from the single-group rapid decay of G alone. Internal consistency follows from the length-function axioms and the proofs in Sections 3–4, which reduce to the classical case only when H = {e}. The lower bound on return probabilities (Theorem 5.3) is derived directly from the pair property and is independent of rapid decay for H; explicit examples appear in Section 6 where H is a non-RD subgroup of a hyperbolic group G. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper generalizes the rapid decay property from single groups to pairs (G,H) using standard external group-theoretic definitions and constructions. No derivation step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the K-theory isomorphisms and random-walk bounds are presented as consequences of the new definition without internal reduction to inputs. The work is self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. Standard discrete-group and C*-algebra background is presupposed.

pith-pipeline@v0.9.0 · 5615 in / 943 out tokens · 20897 ms · 2026-05-23T07:51:19.315023+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Entropy on Homogeneous Spaces and Classification Results for Subgroups with the Pair Rapid Decay Property

    math.GR 2026-04 unverdicted novelty 7.0

    Asymptotic Shannon entropy on G/H equals the spectral radius c(G,H;μ) for finite-entropy measures, with Rényi rates converging and explicit classifications for subgroups having pair rapid decay or subexponential Loren...

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · cited by 1 Pith paper

  1. [1]

    Kesten’s theorem for invariant random subgroups

    Miklós Abért, Yair Glasner, and Bálint Virág. Kesten’s theorem for invariant random subgroups. Duke Mathematical Journal, 163(3), 2014

    work page 2014

  2. [2]

    On spectral characterizations of amenability

    Claire Anantharaman-Delaroche. On spectral characterizations of amenability. Israel Journal of Mathematics, 137:1–33, 2003

    work page 2003

  3. [3]

    Amenable Groupoids , Monographie de l’Enseignement mathématique, Volume 36, 2000

    Claire Anantharaman-Delaroche and Jean Renault. Amenable Groupoids , Monographie de l’Enseignement mathématique, Volume 36, 2000

    work page 2000

  4. [4]

    The Baum–Connes conjec- ture: an extended survey

    Maria Paula Gomez Aparicio, Pierre Julg, and Alain Valette. The Baum–Connes conjec- ture: an extended survey. In Advances in noncommutative geometry, pages 127–244. Springer, 2019

    work page 2019

  5. [5]

    Kazhdan’s property (T)

    Bachir Bekka, Pierre de La Harpe, and Alain Valette. Kazhdan’s property (T). Cambridge university press, 2008

    work page 2008

  6. [6]

    Spectral theory of self-adjoint operators in Hilbert space , Springer Science & Business Media, volume 5, 2012

    Michael Sh Birman and Michael Z Solomjak. Spectral theory of self-adjoint operators in Hilbert space , Springer Science & Business Media, volume 5, 2012

    work page 2012

  7. [7]

    Quasi-regular representations and rapid decay

    Adrien Boyer. Quasi-regular representations and rapid decay. Potential Analysis, 44(2):355–372, 2016

    work page 2016

  8. [8]

    Introduction to the rapid decay property

    Indira Chatterji. Introduction to the rapid decay property. Contemporary Mathematics, Around Langlands Correspondences, 691:55 – 72, 2017

    work page 2017

  9. [9]

    Distortion in graphs of groups and rapid decay classification of 3-manifold groups

    Indira Chatterji and François Gautero. Distortion in graphs of groups and rapid decay classification of 3-manifold groups. arXiv preprint arXiv:2401.14803, 2016, to appear in Journal of Noncommutative Geometry

    work page arXiv 2016

  10. [10]

    Connected Lie groups and property RD

    Indira Chatterji, Christophe Pittet, and Laurent Saloff-Coste. Connected Lie groups and property RD. Duke Mathematical Journal, 137(3):511 – 536, 2007

    work page 2007

  11. [11]

    Some geometric groups with rapid decay

    Indira Chatterji and Kim Ruane. Some geometric groups with rapid decay. Geometric & Functional Analysis GAFA, 15(2):311–339, 2005

    work page 2005

  12. [12]

    Elementary amenable groups

    Ching Chou. Elementary amenable groups. Illinois Journal of Mathematics, 24(3):396– 407, 1980

    work page 1980

  13. [13]

    Noncommutative geometry

    Alain Connes. Noncommutative geometry. San Diego, 1994

    work page 1994

  14. [14]

    Amenability of schreier graphs and strongly generic algorithms for the conjugacy problem

    Volker Diekert, Alexei G Myasnikov, and Armin Weiß. Amenability of schreier graphs and strongly generic algorithms for the conjugacy problem. Journal of Symbolic Com- putation, 83:147–165, 2017

    work page 2017

  15. [15]

    Relatively hyperbolic groups with rapid decay property

    Cornelia Drutu and Mark Sapir. Relatively hyperbolic groups with rapid decay property. Int. Math. Res. Notices, 19:1181–1194, 2005

    work page 2005

  16. [16]

    Relatively hyperbolic groups

    Benson Farb. Relatively hyperbolic groups. Geometric & Functional Analysis GAFA, 8(5):810–840, 1998

    work page 1998

  17. [17]

    An introduction to amenable groups

    Alejandra Garrido. An introduction to amenable groups. Lecture notes, 2013

    work page 2013

  18. [18]

    Property of rapid decay for extensions of compactly generated groups

    ukasz Garncarek. Property of rapid decay for extensions of compactly generated groups. Publicacions Matemàtiques, pages 301–312, 2015

    work page 2015

  19. [19]

    Degrees of growth of finitely generated groups, and the theory of invariant means

    Rostislav I Grigorchuk. Degrees of growth of finitely generated groups, and the theory of invariant means. Mathematics of the USSR-Izvestiya, 25(2):259, 1985

    work page 1985

  20. [20]

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

    Uffe Haagerup. An example of a non nuclear C*-algebra, which has the metric approximation property. Inventiones mathematicae, 50(3):279–293, 1978

    work page 1978

  21. [21]

    Groupes hyperboliques, alg\`ebres d’opérateurs et un théoreme de Jolissaint

    Pierre de la Harpe. Groupes hyperboliques, alg\`ebres d’opérateurs et un théoreme de Jolissaint. CR Acad. Sci. Paris Sér. I Math, 307(14):771–774, 1988

    work page 1988

  22. [22]

    Topics in geometric group theory

    Pierre de La Harpe. Topics in geometric group theory. University of Chicago Press, 2000

    work page 2000

  23. [23]

    Symmetry and nonsymmetry in the group algebras of discrete groups

    Joe Jenkins. Symmetry and nonsymmetry in the group algebras of discrete groups. Pacific Journal of Mathematics, 32(1):131–145, 1970

    work page 1970

  24. [24]

    Smooth dense subalgebras of reduced group C*-algebras, Schwartz coho- mology of groups, and cyclic cohomology

    Ronghui Ji. Smooth dense subalgebras of reduced group C*-algebras, Schwartz coho- mology of groups, and cyclic cohomology. J. Funct. Anal., 107:1–33, 1992

    work page 1992

  25. [25]

    Rapidly decreasing functions in reduced C*-algebras of groups

    Paul Jolissaint. Rapidly decreasing functions in reduced C*-algebras of groups. Trans- actions of the American Mathematical Society, 317(1):167–196, 1990

    work page 1990

  26. [26]

    Amenability of discrete groups by examples

    Kate Juschenko. Amenability of discrete groups by examples. Current version available at http://www. math. northwestern. edu/juschenk/book. html, 2019

    work page 2019

  27. [27]

    A proof of property (RD) for cocompact lattices of SL(3,R) and SL(3,C)

    Vincent Lafforgue. A proof of property (RD) for cocompact lattices of SL(3,R) and SL(3,C). J. Lie Theory, 10(2):255–267, 2000

    work page 2000

  28. [28]

    K-théorie bivariante pour les alg\`ebres de Banach et conjecture de Baum-Connes

    Vincent Lafforgue. K-théorie bivariante pour les alg\`ebres de Banach et conjecture de Baum-Connes. Inventiones mathematicae, 149(1):1–95, 2002

    work page 2002

  29. [29]

    On locally compact groups with invariant means

    Horst Leptin. On locally compact groups with invariant means. Proceedings of the American Mathematical Society, 19(2):489–494, 1968

    work page 1968

  30. [30]

    Relatively spectral morphisms and applications to K-theory

    Bogdan Nica. Relatively spectral morphisms and applications to K-theory. Journal of Functional Analysis, 255(12):3303–3328, 2008

    work page 2008

  31. [31]

    On operator norms for hyperbolic groups

    Bogdan Nica. On operator norms for hyperbolic groups. Journal of Topology and Analysis (2017)

    work page 2017

  32. [32]

    The rapid decay property and centroids in groups

    Mark Sapir. The rapid decay property and centroids in groups. Journal of Topology and Analysis, 7(03):513–541, 2015

    work page 2015

  33. [33]

    Amenable representations and coefficient subspaces of fourier-stieltjes algebras

    Ross Stokke. Amenable representations and coefficient subspaces of fourier-stieltjes algebras. Mathematica Scandinavica, pages 182–200, 2006

    work page 2006

  34. [34]

    Quasi-hermitian locally compact groups are amenable

    Ebrahim Samei and Matthew Wiersma. Quasi-hermitian locally compact groups are amenable. Advances in Mathematics, 359:106897, 2020

    work page 2020

  35. [35]

    Introduction to the Baum-Connes conjecture

    Alain Valette. Introduction to the Baum-Connes conjecture. Birkhäuser, 2012

    work page 2012

  36. [36]

    Random walks on infinite graphs and groups , volume 138

    Wolfgang Woess. Random walks on infinite graphs and groups , volume 138. Cambridge university press, 2000

    work page 2000

  37. [37]

    Dieudonn\'e (LJAD) , 2023 , https://theses.fr/2023COAZ4057

    Benjamin Zarka, La propri\'et\'e de d\'ecroissance rapide hybride pour les groupes discrets , Laboratoire de Math\'ematiques J.A. Dieudonn\'e (LJAD) , 2023 , https://theses.fr/2023COAZ4057

    work page 2023