Metrics on $C^{\ast}$-algebras of \'Etale groupoids from length functions

Arnab Chattopadhyay; Md Amir Hossain; Soumalya Joardar

REVIEW 2 major objections 3 minor 18 references

Metrics on $C^{\ast}$-algebras of \'Etale groupoids from length functions

T0 review · 2 major / 3 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read Length functions bound the state-space fibres of groupoid algebras

desk verdict Good groupoid-level extension of Rieffel/Long–Wu, but Proposition 2.16 is overbroad (trivial groupoid counterexample) and needs revision. read the letter →

arxiv 2504.13530 v1 pith:S6BVTMSO submitted 2025-04-18 math.OA

Arnab Chattopadhyay , Md Amir Hossain , Soumalya Joardar This is my paper · ORCID

classification math.OA MSC 46L8722A2246L0546L30

keywords étalegroupoidstransformationlengthfunctionsrapiddecaypropertyreducedgroupoidC*-algebrasquantummetricspacesstateLipschitzseminorms

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 a continuous length function on an étale groupoid with compact unit space gives a Dirac-type operator, and hence a pseudo-metric on the state space of the reduced groupoid $C^*$-algebra via the usual Lipschitz-seminorm formula. Because every function on the unit space lies in the kernel of the associated seminorms, the metric collapses along the subalgebra $C(G^{(0)})$: the state space splits into fibres $S_\eta$ indexed by probability measures on the unit space, with infinite distance between different fibres. The main result is that for a transformation groupoid $\Gamma\ltimes X$, a continuous proper length function with rapid decay makes every fibre $S_\eta$ a genuine metric space of uniformly finite diameter. When $X$ is finite, the fibre metric metrizes the weak-$*$ topology for every $k>p$, so the pair $(C^*_r(G),L^k_\ell)$ is a quasi-compact quantum metric space. This matters because it extends compact-quantum-metric-space constructions from reduced group $C^*$-algebras to the larger setting of reduced groupoid $C^*$-algebras.

What carries the argument

The machinery is the sequence of higher derivations $\Delta^k$ built from the length function. On the Hilbert module $L^2(G)$, $\ell$ acts by pointwise multiplication; writing $\Delta(f)=[M_\ell,\lambda(f)]$, one obtains the exact identity $\Delta^k(f)(\xi)(\gamma)=\sum_{\beta\in G^{s(\gamma)}}(\ell(\gamma)-\ell(\beta))^k\,f(\gamma\beta^{-1})\,\xi(\beta)$. This identity converts operator-norm bounds on $\Delta^k(f)$ into weighted $\ell^2$-estimates over fibres and, combined with properness of $\ell$ and the rapid decay inequality, yields the comparison $\|f\|_{2,p,\ell}\le \alpha L^k_\ell(f)$ for functions vanishing on $G^{(0)}$. The second load-bearing device is the total-boundedness criterion of Lemma 2.10: if the set of functions with $L^k_\ell(f)\le1$ and $f|_{G^{(0)}}\equiv0$ is totally bounded in the reduced norm, then the metric on each fibre induces the weak-$*$ topology. Proposition 2.16 shows this set is totally bounded exactly when $X$ is finite.

What would settle it

A transformation groupoid $\Gamma\ltimes X$ with compact $X$, a continuous proper length function $\ell$ satisfying the rapid decay inequality, and some $k>p$ for which a fibre $S_\eta$ has infinite diameter under $\rho_{L^k_\ell}$—or, for finite $X$, for which $\rho_{L^k_\ell}$ fails to induce the weak-$*$ topology—would directly refute the main theorem.

Watch

Extended reading notes

Core claim

The central claim is that for a transformation groupoid $G=\Gamma\ltimes X$ with $X$ compact, a continuous proper length function $\ell$ satisfying the rapid decay property controls the reduced norm through the higher commutators of the multiplication-by-$\ell$ operator. For every integer $k>p$, where $p$ is the growth exponent in the rapid decay inequality $\|f\|_{\rm red}\le C\|f\|_{2,p,\ell}$, each fibre $S_\eta$ of the state space of $C^*_r(G)$ has finite diameter under the metric $\rho_{L^k_\ell}$, and the diameter is bounded uniformly over all probability measures $\eta$ on $X$. When $X$ is finite, the unit ball of $L^k_\ell$ in the fibre is totally bounded, so $\rho_{L^k_\ell}$ metrizes the weak-$*$ topology on each $S_\eta$, and $(C^*_r(G),L^k_\ell)$ is a quasi-compact quantum metric space for all $k>p$. In the general étale case the construction gives only a pseudo-metric: states over different points of the unit space lie at infinite distance. The proof runs through an exact formula for $\Delta^k(f)$ as a weighted convolution whose weights are powers of length differences.

Load-bearing premise

The load-bearing assumption is the rapid decay inequality $\|f\|_{\rm red}\le C\|f\|_{2,p,\ell}$, which is imported from the cited literature and not demonstrated for any concrete example here; if it fails, the finite-diameter and metrizability conclusions do not follow, and the proof also needs $\ell$ to be proper so the weighted norm comparison can be reduced to finite subsets of the group.

Editorial extensions

If this is right

For any transformation groupoid with compact unit space and a continuous proper length function with rapid decay, each fibre $S_\eta$ of the state space becomes a metric space with one diameter bound valid for every $\eta$.
When the unit space is finite, the pair $(C^*_r(G),L^k_\ell)$ is a quasi-compact quantum metric space for every $k>p$; in particular the metric recovers the weak-$*$ topology on each fibre.
When the unit space is infinite, the unit ball $L'_1$ is not totally bounded, so the sufficient condition for metrizability used in the paper fails; whether $\rho_{L^k_\ell}$ still metrizes the fibre topology is left open.
The distance between states supported on different unit-space measures is infinite for every $k$, so the pseudo-metric can never metrize the full state-space topology when the unit space has more than one point.
The construction supplies a uniform route to quantum metric data on groupoid $C^*$-algebras, not just group $C^*$-algebras, whenever the rapid decay inequality is available.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If rapid decay and the length-comparison estimate of Lemma 2.14 can be verified for a wider class of étale groupoids, the uniform finite-diameter conclusion would carry over unchanged; the proof does not otherwise use the transformation-groupoid structure after those estimates are in place.
The dichotomy drawn by the finite- versus infinite-unit-space result suggests that for infinite $X$ one should look for a different seminorm, perhaps one whose kernel is smaller than $C(X)$ or one that also weighs the base space, before asking for a genuine quantum metric on the whole state space.
A natural testable case is $\mathbb{Z}^d\ltimes X$ with a word-length function: computing the rapid-decay constant explicitly would either exhibit the theorem's hypotheses in action or show the need for additional assumptions.
Finite fibre diameter and weak-$*$ metrizability may be independent for infinite $X$, so the two properties can be studied separately.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Two things to know. First, this paper does a genuine service: it carries the Rieffel/Long–Wu metric program from group C*-algebras to reduced C*-algebras of étale groupoids, and the main positive results—finite diameter of each fibre of the state space under a rapid-decay length function, and metrization of the fibre weak-* topology when the unit space is finite—look correct. The identification of C(G0) as the kernel of the natural seminorms, and the resulting fibre decomposition of the state space, is the right way to handle the obstruction.

Second, there is a real flaw in Proposition 2.16, and the authors seem aware of it. The statement is an "if and only if" claiming L'_1 is totally bounded exactly when X is finite. That is false as stated. Take Γ = {e} acting on an infinite compact Hausdorff space X. Then G = X, ℓ ≡ 0 is a proper length function, rapid decay holds with C = 1, and L'_1 = {0} is totally bounded even though X is infinite. The proof tacitly needs a finite Γ' not containing e, so the argument breaks for trivial Γ. Remark 2.18 even says the sufficient condition is not necessary, which undercuts the proposition. The positive direction—X finite implies total boundedness—is what Corollary 2.17 needs, and that direction appears sound, so the main metrization result survives.

The other soft spot is Lemma 2.14. The proof is compressed at exactly the estimate where the constant α is defined; the displayed expression with (1+ℓ(g,x)^{-1})^{2k} does not obviously follow from the preceding line, and the dependence of α on n is not clarified. The inequality is plausible and probably repairable along the lines of [7, Lemma 3.3], but a referee should ask for a clean proof.

The paper is honest about its scope: it imports rapid decay from [16] and does not prove it for new examples, which is fine for a structural result. The citation pattern is clean. The central claims are not circular; the seminorms are defined from the data and the theorems are conditional.

Bottom line: this is a worthwhile contribution for people working on compact quantum metric spaces from groupoid C*-algebras. It deserves a serious referee. I would send it to review with the expectation of a revision that fixes Proposition 2.16 and fills the gap in Lemma 2.14.

Referee Report

2 major / 3 minor

Summary. The paper introduces, for an étale groupoid G with compact unit space and a continuous length function ℓ, the seminorms L^k_ℓ(a) = ||[M_ℓ, ·]^k(a)|| on C_c(G), extended by +∞. Proposition 2.6 identifies the kernel of L^k_ℓ as C(G(0)), so the induced pseudo-metric on S(C*_r(G)) decomposes into fibres S_η indexed by states on C(G(0)). The main results are for transformation groupoids Γ⋉X with X compact: Proposition 2.15 shows, under a rapid-decay hypothesis on ℓ, that each fibre has finite diameter, uniformly in η; Proposition 2.16 characterizes total boundedness of the set L'_1 by finiteness of X; Corollary 2.17 concludes that for finite X, (C*_r(G), L^k_ℓ) is a quasi-compact quantum metric space for every integer k>p.

Significance. This is a natural extension of the Ozawa–Rieffel and Long–Wu program from group C*-algebras to groupoid C*-algebras. The treatment of the large kernel C(X) through quasi-Lip-norms and the fibre decomposition of the state space is a sensible adaptation of Rieffel's framework, and the use of the groupoid rapid-decay property from [16] is appropriate. The main finite-X theorem is interesting and, if the proofs below are completed, gives a new class of quasi-compact quantum metric spaces. The paper is clearly organized, and the standard steps (adjointability of Δ^k(f), the kernel computation, and the uniform diameter bound) are mostly transparent. The proofs are not machine-checked, but the argument is largely standard. However, one stated characterization is false as written and one key lemma has a compressed proof; both need attention.

major comments (2)

[Proposition 2.16] The 'only if' direction of Proposition 2.16 is false as stated. When Γ is the trivial group acting on an infinite compact Hausdorff space X, the groupoid is G = X, ℓ ≡ 0 is a proper length function, and G has rapid decay with C = 1. Proposition 2.6 gives Δ^k(f) = 0 for every f ∈ C_c(G) = C(X), so L'_1 = {0}, which is totally bounded although X is infinite. The proof's first step requires a finite subset Γ' ⊆ Γ not containing the identity; such a subset does not exist for Γ = {e}. The proposition should be corrected by adding a nontriviality hypothesis (e.g., Γ ≠ {e}) or by deleting the 'only if' claim. The finite-X direction used in Corollary 2.17 is unaffected.
[Lemma 2.14] The proof of Lemma 2.14 is too compressed at the point where it must control the sum over g with ℓ(g,x) ≤ n. The displayed inequality for ℓ(g,x) ≥ n does not by itself yield the stated bound for all g ∈ Γ_n \ {e}; one needs to prove that min_{g ∈ Γ_n \ {e}, x ∈ X} ℓ(g,x) > 0 and then justify the displayed constant α, which involves ℓ(g,x)^{-1}. The phrase 'by similar estimation as in [7, Lemma 3.3]' hides exactly the step that makes the lemma work. Since Lemma 2.14 is used in Proposition 2.15 and in the converse direction of Proposition 2.16, this gap must be filled with a complete argument.

minor comments (3)

[Proposition 2.16 / Corollary 2.17] The statement of Proposition 2.16 says 'for some k ≥ 1', but the proof of the finite-X direction requires k ≥ k_0 = ⌊p⌋ + 1, and Corollary 2.17 needs every k > p. The authors should state the stronger, actually proved version: for every integer k > p, total boundedness holds iff X is finite (with the nontriviality correction above).
[Definition 2.11 and Lemma 2.14] There are small typographical issues: 'etale' appears without the accent in Definition 2.11, and the notation Γ n in Lemma 2.14 should be Γ_n throughout. The displayed definition of α in Lemma 2.14 should be introduced with a sentence explaining the role of ℓ(g,x)^{-1}; currently the reader has to reverse-engineer it.
[Examples] All main results are conditional on the rapid-decay hypothesis imported from [16]. The paper would be strengthened by at least one concrete nontrivial transformation groupoid for which the hypothesis is verified; as written, the reader cannot tell how broad the class of examples is.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation is conditional on explicit hypotheses (proper length function, rapid decay), and no fitted parameter or self-citation is masquerading as a prediction.

full rationale

The paper's derivations are self-contained relative to its stated assumptions. The seminorms L^k_ℓ (Definition 2.11) are constructed directly from a given length function and the reduced norm; the fact that their kernel contains C(X) is proved in Proposition 2.6, not assumed. Lemma 2.14 is a norm comparison using properness of ℓ, Proposition 2.15 combines that comparison with the rapid decay hypothesis, and Proposition 2.16 adapts Rieffel's and Long-Wu's total-boundedness arguments; Corollary 2.17 then follows immediately. There is no parameter fitted to data, no conclusion built into a definition, and no instance where a 'predicted' quantity equals an input by construction. The rapid decay property is explicitly an imported hypothesis from [16] for the theorem statements, not a consequence derived from the target result, and the authors do not claim to establish rapid decay for the examples. Citations to [7], [11], and [12] are standard external tools used as lemmas, not self-referential uniqueness theorems. Even the possible gap in the converse direction of Proposition 2.16 noted by a skeptical reader concerns the truth of an 'only if' statement, not circularity, and Corollary 2.17 relies only on the finite-X direction. No circular step is present.

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

The results are conditional on the hypotheses stated in the theorems: étale groupoid with compact unit space, continuous proper length function, and rapid decay. These are domain assumptions, not fitted parameters. The rapid decay constants C,p are inputs, not chosen by the authors. No new physical or mathematical entities are introduced; the 'quasi-Lip-norm' and 'quasi-compact quantum metric space' are definitions rather than postulated objects. The main external mathematical facts used are standard (Banach-Alaoglu, Riesz representation, Rieffel's propositions).

assumptions (5)

domain assumption Rapid decay property: there exist C,p>0 with ||f||_red ≤ C||f||_{2,p,ℓ} for f∈Cc(G) (Definition 2.13).
Used in Proposition 2.15, Proposition 2.16, and Corollary 2.17; existence is assumed from [16], not proved here.
domain assumption G is étale with compact Hausdorff unit space G(0); for transformation groupoids, X compact and Γ discrete.
Throughout; ensures unital Cc(G), identity E∈Cc(G), and C(X) embeds in C*_r(G).
domain assumption ℓ is a continuous proper length function satisfying ℓ(x)=0 iff x∈G(0), symmetry, and subadditivity (Definition 2.2).
Used in every lemma; properness gives finite Γ_n covers of level sets, continuity gives boundedness on finite sets.
standard math Rieffel's results [11,12] on metrics on state spaces are correct and apply to quasi-seminorms with totally bounded L'_1.
Lemma 2.10 and Proposition 2.15 quote [11, Prop 1.4, Thm 1.8] and [12, Prop 2.2] to convert norm estimates into metric-topology conclusions.
standard math Riesz representation identifies states on C(X) with probability measures on X.
Used in the decomposition S(C*_r(G))=∪_{η∈M(X)} S_η; standard background.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Metrics on $C^{\ast}$-algebras of \'Etale groupoids from length functions." pith.science (2026). https://pith.science/paper/S6BVTMSO

@misc{pith2026250413530,
  author       = {Pith},
  title        = {Pith review of: Metrics on $C^\ast$-algebras of \'Etale groupoids from length functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/S6BVTMSO}},
  note         = {Machine review of arXiv:2504.13530}
}

abstract

We show that for an \'etale groupoid with compact unit space, the natural Dirac type operator from a continuous length function produces a natural pseudo-metric on the state space of the corresponding reduced $C^{\ast}$-algebra. For a transformation groupoid with a continuous, proper length function with rapid decay, the state space decomposes into genuine metric spaces with a uniform finite diameter fibred over the state space of the compact unit space. Moreover, when the unit space of the transformation groupoid has finitely many points, the metric on each fibre metrizes the weak*-topology.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 16 canonical work pages

[16]

Weygandt

A. Weygandt. Rapid decay for principal ´ etale groupoid s. New York J. Math. , 30:956–978,

work page
[1]

Brown and N

N.P. Brown and N. Ozawa. C ∗-algebras and Finite-dimensional Approximations . Grad- uate Studies in Mathematics. American Mathematical Soc., 2 008. ISBN 9780821872505. URL https://books.google.co.in/books?id=F_kjj0teG2IC

work page
[2]

A. Connes. Compact metric spaces, Fredholm modules, and hyperﬁniteness. Ergodic Theory Dynam. Systems , 9(2):207–220, 1989. ISSN 0143-3857,1469-4417. doi: 10.1 017/ S0143385700004934. URL https://doi.org/10.1017/S0143385700004934

doi:10.1017/s0143385700004934 1989
[3]

Kyed and J

D. Kyed and J. Kaad. The quantum metric structure of quantum SU(2) , volume 18. European Mathematical Society Publishing House, Switzerl and, 2025. ISBN 978-3-98547- 091-4

work page 2025
[4]

Kyed and R

D. Kyed and R. Nest. Finiteness of metrics on state spaces . Bulletin of the London Math- ematical Society , 56(1):288–295, 2024. doi: https://doi.org/10.1112/blm s.12930. URL https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/blms.12930

work page doi:10.1112/blm 2024
[5]

Latr´ emoli` ere

F. Latr´ emoli` ere. The quantum Gromov-Hausdorﬀ propinquity. Trans. Amer. Math. Soc. , 368:365 – 411, 2016. URL https://doi.org/10.1090/tran/6334

doi:10.1090/tran/6334 2016
[6]

Latr´ emoli` ere

F. Latr´ emoli` ere. The Gromov-Hausdorﬀ propinquity for metric spectral triples. Advances in Mathematics, 2018. URL https://api.semanticscholar.org/CorpusID:119161930

work page 2018
[7]

Long and W

B. Long and W. Wu. Twisted Group C ∗-Algebras as Compact Quantum Met- ric Spaces. Results Math. , 71(3-4):911–931, 2017. ISSN 1422-6383,1420-9012. doi: 10.1007/s00025-016-0562-7. URL https://doi.org/10.1007/s00025-016-0562-7

work page doi:10.1007/s00025-016-0562-7 2017

Show all 18 references

[8]

Ozawa and M

N. Ozawa and M. A. Rieﬀel. Hyperbolic Group C ∗-Algebras and Free-Product C ∗- Algebras as Compact Quantum Metric Spaces. Canadian Journal of Mathematics , 57 (5):1056–1079, 2005. doi: 10.4153/CJM-2005-040-0

2005 doi
[9]

Quaegebeur and M

J. Quaegebeur and M. Sabbe. Isometric coactions of compa ct quantum groups on compact quantum metric spaces. Proceedings - Mathematical Sciences , 122:351 – 373, 2010. URL https://api.semanticscholar.org/CorpusID:119168337

2010
[10]

J. Renault. A Groupoid Approach to C ∗-Algebras. Lecture Notes in Math- ematics. Springer Berlin Heidelberg, 2006. ISBN 978354039 2187. URL https://books.google.co.in/books?id=e_Z6CwAAQBAJ

2006
[11]

M. A. Rieﬀel. Metrics on states from actions of compact gr oups. Doc. Math., 3:215–229,
[12]

M. A. Rieﬀel. Metrics on State Spaces. Doc. Math. , 4:559–600, 1999. ISSN 1431- 0635,1431-0643

1999
[13]

M. A. Rieﬀel. Group C ∗-algebras as compact quantum metric spaces. Doc. Math. , 7: 605–651, 2002. ISSN 1431-0635,1431-0643

2002
[14]

M.A. Rieﬀel. Gromov-Hausdorﬀ Distance for Quantum Metr ic Spaces. Memoirs of the American Mathematical Society , 168, 2000. doi: 10.1090/memo/0796. 14 A. CHATTOPADHYAY, MD A. HOSSAIN, AND S. JOARDAR

doi
[15]

A. Sims, G. Szab´ o, and D. Williams. Operator Algebras and Dynamics: Groupoids, Crossed Products, and Rokhlin Dimension . Advanced Courses in Mathematics - CRM Barcelona. Springer International Publishing, 2020. ISBN 9783030397135. URL https://books.google.co.in/books?id=BdfsDwAAQBAJ

2020
[17]

Williams

D.P. Williams. A Tool Kit for Groupoid C ∗ -Algebras. Mathematical Surveys and Monographs. American Mathematical Society, 2019. ISBN 978 1470451332. URL https://books.google.co.in/books?id=5q6xDwAAQBAJ. (A. Chattopadhyay) Indian Institute of Science Education And Research Kolk...

2019
[1998]

ISSN 1431-0635,1431-0643

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.

[1] [16]

Weygandt

A. Weygandt. Rapid decay for principal ´ etale groupoid s. New York J. Math. , 30:956–978,

work page

[2] [1]

Brown and N

N.P. Brown and N. Ozawa. C ∗-algebras and Finite-dimensional Approximations . Grad- uate Studies in Mathematics. American Mathematical Soc., 2 008. ISBN 9780821872505. URL https://books.google.co.in/books?id=F_kjj0teG2IC

work page

[3] [2]

A. Connes. Compact metric spaces, Fredholm modules, and hyperﬁniteness. Ergodic Theory Dynam. Systems , 9(2):207–220, 1989. ISSN 0143-3857,1469-4417. doi: 10.1 017/ S0143385700004934. URL https://doi.org/10.1017/S0143385700004934

doi:10.1017/s0143385700004934 1989

[4] [3]

Kyed and J

D. Kyed and J. Kaad. The quantum metric structure of quantum SU(2) , volume 18. European Mathematical Society Publishing House, Switzerl and, 2025. ISBN 978-3-98547- 091-4

work page 2025

[5] [4]

Kyed and R

D. Kyed and R. Nest. Finiteness of metrics on state spaces . Bulletin of the London Math- ematical Society , 56(1):288–295, 2024. doi: https://doi.org/10.1112/blm s.12930. URL https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/blms.12930

work page doi:10.1112/blm 2024

[6] [5]

Latr´ emoli` ere

F. Latr´ emoli` ere. The quantum Gromov-Hausdorﬀ propinquity. Trans. Amer. Math. Soc. , 368:365 – 411, 2016. URL https://doi.org/10.1090/tran/6334

doi:10.1090/tran/6334 2016

[7] [6]

Latr´ emoli` ere

F. Latr´ emoli` ere. The Gromov-Hausdorﬀ propinquity for metric spectral triples. Advances in Mathematics, 2018. URL https://api.semanticscholar.org/CorpusID:119161930

work page 2018

[8] [7]

Long and W

B. Long and W. Wu. Twisted Group C ∗-Algebras as Compact Quantum Met- ric Spaces. Results Math. , 71(3-4):911–931, 2017. ISSN 1422-6383,1420-9012. doi: 10.1007/s00025-016-0562-7. URL https://doi.org/10.1007/s00025-016-0562-7

work page doi:10.1007/s00025-016-0562-7 2017