Pith. sign in

REVIEW 3 major objections 4 minor 71 references

Quantum Metric Structures on Iwahori-Hecke Algebras

T0 review · 3 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Pith's one-line read For right-angled Coxeter systems, the word-length filtration satisfies the Haagerup-type condition exactly when the generator graph has no induced square, yielding compact quantum metric spaces and convergence as q→1.

desk verdict Solid Haagerup characterization on Hecke algebras, but the propinquity theorem as stated uses a Lip-norm that isn't lower semicontinuous—fixable, but the paper needs revision. read the letter →

arxiv 2508.07857 v1 pith:6BS67TAG submitted 2025-08-11 math.OA math.MGmath.RA

classification math.OAmath.MGmath.RA MSC 20C0846L8720F5520F65
keywords Iwahori–HeckealgebrascompactquantummetricspacesHaagerup-typeconditionright-angledCoxetergroupsword-hyperbolicGromov–HausdorffpropinquityLip-normsSchurmultipliers
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

This paper asks when the Iwahori–Hecke algebra of a Coxeter group can be viewed as a noncommutative metric space, with distance measured through the word-length operator $D_S=\sum_{n\in\mathbb{N}} nP_n$. For finite-rank right-angled Coxeter systems, the answer is governed by one combinatorial feature: the graph connecting commuting generators must contain no induced square. When it does not, the canonical filtration satisfies the Haagerup-type estimate and the algebra becomes a compact quantum metric space; when it does, no uniform estimate of that kind exists. The paper also proves that, as the deformation parameter $q$ approaches $1$, these deformed metric spaces converge to the reduced group $C^*$-algebra with its word-length metric in the quantum Gromov–Hausdorff propinquity.

What carries the argument

The load-bearing structure is the canonical word-length filtration: finite-dimensional subspaces $C_q^{(n)}[W]$ spanned by $\{T_w^{(q)}: |w|\le n\}$, the associated projections $\chi_n$ and $P_n$ onto length-$n$ vectors in $\ell^2(W)$, and the Dirac operator $D_S=\sum_n nP_n$. The central estimate is the Haagerup-type bound $\|P_i x P_j\|\le K C_q\|x\delta_e\|_2$ for $x\in\chi_n(C_q[W])$. Its proof rests on two items: a decomposition of each basis element into creation, annihilation, and diagonal operators indexed by cliques (Proposition 3.9), and a uniform bound on a counting function $R_{x,y}(i)$ that counts such decompositions (Lemma 3.7), obtained from word-hyperbolicity of the Coxeter g

What would settle it

Compute the counting function $R_{x,y}(i)$ from Lemma 3.7 for a square-free right-angled Coxeter system and find a family with $R_{x,y}(i)\to\infty$ as $i\to\infty$; that would falsify the uniform bound and Theorem 3.6(1). Alternatively, exhibit a square-free right-angled system whose canonical Lip-norm $L_S^{(q)}$ fails to metrizes the weak-$*$ topology on the state space, directly contradicting Theorem 3.11.

Watch

Extended reading notes

Core claim

The central result (Theorem 3.6) is an equivalence. Let $(W,S)$ be a finite-rank right-angled Coxeter system and let $\Gamma$ be the graph with vertex set $S$ and edges between commuting generators. The canonical word-length filtration of $C_q[W]$ satisfies the Haagerup-type condition — there is $K$ with $\|P_i x P_j\| \le K C_q \|x\delta_e\|_2$ for all $i,j,n\in\mathbb{N}$ and $x\in\chi_n(C_q[W])$ — if and only if $\Gamma$ contains no induced square. In the square-free case, the same estimate feeds the criterion of [56] to produce a compact quantum metric space structure on $C^*_{r,q}(W)$ with Lip-norm $L_S^{(q)}(x)=\|[D_S,x]\|$ (Theorem 3.11). Theorem 4.9 then shows that $(C^*_{r,q}(W),L_S

Load-bearing premise

The whole result depends on the uniform combinatorial bound of Lemma 3.7: in a square-free right-angled Coxeter group, the number of ways a pair of group elements can be decomposed at any length scale is bounded by a constant independent of the pair and the scale; if that bound fails, the Haagerup-type estimate and the compact quantum metric structure collapse.

Editorial extensions

If this is right

  • For every finite-rank right-angled Coxeter system whose generator graph has no induced square, $C^*_{r,q}(W)$ is a compact quantum metric space for every $q>0$ (Theorem 3.11).
  • For graph containing an induced square, the canonical filtration fails the Haagerup-type condition for all multi-parameters $q$, so this particular metric construction is impossible (Theorem 3.6(2)).
  • The continuous deformation statement is explicit: $(C^*_{r,q}(W), L_S^{(q)}) \to (C^*_r(W), L_S^{(1)})$ in propinquity as $q \to 1$, with no finite-dimensional approximation device (Theorem 4.9).
  • The uniform constant depends on $q$ only through the clique products $C_q$, and the proof establishes total boundedness uniformly over compact parameter sets (Proposition 3.12), which is what makes the convergence proof work.
  • Word-hyperbolicity of the underlying Coxeter group is exactly the geometric input that supplies the uniform counting bound, so the square-free condition is what converts the filtration into a genuine metric structure.

Reading between the lines

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

  • The iff characterization suggests a broader principle the authors leave implicit: for general Coxeter systems the canonical filtration should satisfy the Haagerup-type condition precisely when the Coxeter group is word-hyperbolic; the right-angled no-induced-square case is the sharp instance of that heuristic.
  • Since right-angled Hecke C*-algebras are amalgamated free products of subalgebras, the failure for induced squares gives an explicit counterexample to preservation of the Haagerup-type condition under arbitrary amalgamated free products, while preservation may hold when amalgamating over finite-dimensional subalgebras.
  • One can test whether the no-go for induced squares is a feature of the word-length filtration rather than of the algebra: alternative filtrations or weighted Dirac operators might still make $C^*_{r,q}(W)$ a compact quantum metric space in the square-containing case.
  • The Schur-multiplier strategy for convergence at $q=1$ does not directly transfer to convergence between two non-trivial deformations, because the multipliers do not preserve $C^*_{r,q}(W)$ for $q\ne 1$; modifying this family is a concrete next step.
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

3 major / 4 minor

Summary. The paper studies quantum metric structures on Iwahori–Hecke algebras C_q[W] attached to finite-rank right-angled Coxeter systems. After recalling Ozawa–Rieffel's Haagerup-type condition and a generator decomposition from Caspers–Klisse–Larsen, it proves Theorem 3.6: the canonical word-length filtration satisfies the Haagerup-type estimate with constant C_q if and only if the commuting graph Γ contains no induced square. The positive direction uses a counting estimate (Lemma 3.7) together with word hyperbolicity via Moussong's theorem; the negative direction is an explicit induced-square counterexample. Theorem 3.11 then produces compact quantum metric spaces (C*_{r,q}(W), L_S^{(q)}) for no-induced-square systems. In Section 4 the authors construct bridges using Schur multipliers m_κ coming from the positive definite functions κ^{|·|}, and prove Theorem 4.9: as q→1 these spaces converge in Latrémolière's propinquity to the reduced group C*-algebra with its word-length Lip-norm. The final section discusses open questions and possible extensions.

Significance. If correct, Theorem 3.6 gives a sharp combinatorial characterization of the Haagerup-type condition in the right-angled Hecke setting and provides a systematic class of compact quantum metric structures for q-deformations beyond group algebras. The proof strategy is modular: the geometric counting input is isolated from the algebraic generator decomposition, and the negative direction is an explicit, checkable counterexample. The reliance on Proposition 3.9 from [15] and on Ozawa–Rieffel machinery is not circular; those are independent published results. Theorem 4.9, once the category-theoretic defect noted below is repaired, would be a valuable continuity result in propinquity that avoids finite-dimensional approximations. The paper is clearly organized and appropriately situated in the literature.

major comments (3)
  1. [Lemma 3.7] The assertion that L_S^{(q)} is 'straightforward to verify' lower semi-continuous is false as stated. Definition 2.4(2) requires the sublevel sets {L ≤ r} to be norm-closed in sa(C*_{r,q}(W)). But L_S^{(q)} takes the value +∞ outside the algebraic subspace C_q[W], which is not norm-closed in C*_{r,q}(W); hence the sublevel sets are not closed. Concretely, for W = D_∞ (right-angled with Γ empty), C_1[W] corresponds to finite trigonometric polynomials in a commutative realization, and a sequence of polynomials with uniformly bounded derivative can converge uniformly to a non-polynomial Lipschitz function, for which the defined Lip-norm is ∞. Thus (C*_{r,q}(W), L_S^{(q)}) is not, as written, a Leibniz quantum compact metric space, and Theorem 4.9 is not a statement about Latrémolière's propinquity. This is load-bearing for Theorem C, though it does not affect Theorems 3.6 or 3.11. The repai
  2. [Proposition 4.11] The proof of Lemma 3.7 is too compressed for a result on which Theorem 3.6(1) depends. Starting from Moussong's hyperbolicity inequality, the manuscript jumps to bounds such as |v_1^{-1}v_1'| ≤ #S + δ and then asserts that 'using u = w_1 w_2 y' yields R_{x,y}(i) ≤ (#Cliq(Γ))^2 R^4. It is not shown in detail why the word-length constraints force the relevant geodesic quadruples to satisfy the hyperbolicity estimate with these particular quantities, nor why the product of four ball-counts controls all components of the tuple independently of i, x, y. Since the constant K in Lemma 3.7 is precisely the uniform constant used in the Cauchy–Schwarz estimate following (3.6), this omission is load-bearing. Please expand the proof with the intermediate steps and the counting argument.
  3. [Proposition 4.11] The proof uses the step 'By Proposition 3.12 and the structure of the Schur multipliers, we may choose 0 < κ < 1 such that sup_{x∈B} ||x − m_κ(x)|| < ε/2', where B is the union of totally bounded sets over a compact parameter set. This uniformity is not automatic from pointwise convergence m_κ(x)→x. It requires a finite ε-net argument together with the contractivity of the completely positive maps m_κ, and should be written out. The same applies to the subsequent choice of i0, which depends on the explicit decay of F(q_i,1). These compactness steps are load-bearing for the uniform estimate in Proposition 4.11 and hence for the convergence claim in Theorem 4.9.
minor comments (4)
  1. [Throughout] The notation oscillates between C_q[W] and C_q[W], and the running title reads 'IW AHORI–HECKE ALGEBRAS' with an extra space. These should be standardized.
  2. [Proof of Theorem 3.6, around (3.6)] The symbol x is used both for an element of C_q[W] and for a group element in the reindexing ('X_{x∈W:|x|=n}'). This makes the displayed sums hard to parse; please use a different letter for the group element.
  3. [Lemma 4.6] In the displayed formula, the subscripts K0, K1, K2 should be Γ0, Γ1, Γ2. As typeset they are undefined and obscure the otherwise clear argument.
  4. [Abstract and Theorem 3.6(2)] Part (2) states the failure with K∥xδ_e∥_2, while part (1) and the abstract include the factor C_q. This is not an error, but the asymmetry in the formulation may confuse readers; a brief sentence explaining that the lower bound in the counterexample is independent of q would help.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the central Haagerup-type characterization is built from independent inputs (Moussong hyperbolicity, the Ozawa–Rieffel criterion, and a published generator decomposition); the only self-citation is load-bearing but not circular. A possible lower-semicontinuity gap affects Theorem 4.9 as a correctness issue, not circularity.

full rationale

The main derivation chain is not circular. Theorem 3.6(1) reduces to Lemma 3.7, a counting estimate whose bound comes from word-hyperbolicity via Moussong's theorem (Theorem 2.1), and to Proposition 3.9, the generator decomposition imported from the first author's earlier work [15]. Proposition 3.9 is a parameter-free structural statement with stated assumptions that do not include the Haagerup-type estimate being proved; it is an independent published input, not a restatement of the target inequality. The necessity direction Theorem 3.6(2) is a direct explicit counterexample sequence and does not rely on the sufficiency argument. Theorem 3.11 is an application of the Ozawa–Rieffel criterion [56] once the Haagerup-type condition is established. Theorem 4.9 is proved by constructing a bridge and estimating its reach using Schur multipliers, Proposition 3.12, and Proposition 4.7; no fitted parameter is renamed as a prediction, and no quantity is defined in terms of the claimed convergence. The self-citation to [15] is real evidence by the standards above. One non-circular correctness concern should be flagged: the paper states in Section 4.2, just before Question 4.8, that 'It is straightforward to verify that L(q)_S is lower semi-continuous and satisfies the Leibniz property'. Since dom(L(q)_S)=C_q[W] is not norm-closed in C*_{r,q}(W), the sublevel sets of the +infinity extension are not automatically closed; this appears to require a proof and may fail. That is a gap in the application of Latrémolière's propinquity framework for Theorem 4.9, but it is not a circularity: it does not mean the theorem is assumed as an input. Overall, no circular step reduces the claimed results to their own assumptions; at most there is minor self-citation plus a separate rigor issue.

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

The paper's central claim rests on standard results in quantum metric geometry ([56]), hyperbolicity of Coxeter groups (Moussong), the graph-product decomposition from [15], and positive definite functions/Schur multipliers. There are no fitted free parameters and no invented entities. The only notable input from the authors' own prior work is the decomposition Proposition 3.9, which is treated as an external theorem.

assumptions (6)
  • standard math Ozawa-Rieffel criterion: a filtration satisfying the Haagerup-type condition, together with a faithful trace, yields a compact quantum metric space via the Lip-norm from the Dirac operator.
    Invoked in Section 3.2 to move from Theorem 3.6 to Theorem 3.11.
  • standard math Moussong's theorem: for finite rank Coxeter systems, word-hyperbolicity is equivalent to absence of Z x Z subgroups; for right-angled systems this is equivalent to the graph Gamma containing no induced square.
    Used in Lemma 3.7 to obtain hyperbolicity of W when Gamma has no induced square.
  • domain assumption The graph-product decomposition of T_w^{(q)} into creation, diagonal, and annihilation operators from [15, Proposition 2.6].
    The central estimate in Theorem 3.6 depends on this decomposition; it is quoted from the first author's earlier work and not reproved in the present paper.
  • standard math The map w maps to kappa^{|w|} is positive definite on Coxeter groups, and the associated Schur multiplier m_kappa is a unital completely positive map.
    Used in Section 4.1 for the continuity theorem, citing [10] and Schoenberg's theorem.
  • standard math Latremoliere's propinquity is bounded above by the length of a single bridge, as stated in Remark 4.4.
    The proof of Theorem 4.9 reduces propinquity to reach estimates for the bridge with pivot 1.
  • domain assumption The Coxeter system is finite rank, right-angled, with multi-parameter q taking positive real values; q_s = q_t whenever s,t are conjugate.
    Defines the setting of Theorems 3.6, 3.11, and 4.9, and the trace tau_q.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantum Metric Structures on Iwahori-Hecke Algebras." pith.science (2026). https://pith.science/paper/6BS67TAG

@misc{pith2026250807857,
  author       = {Pith},
  title        = {Pith review of: Quantum Metric Structures on Iwahori-Hecke Algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6BS67TAG}},
  note         = {Machine review of arXiv:2508.07857}
}
abstract

Iwahori-Hecke algebras are $q$-deformations of group algebras of Coxeter groups. In this article, we initiate a systematic study of quantum metric structures on Iwahori-Hecke algebras by establishing that, for finite rank right-angled Coxeter systems, the canonical filtrations of the corresponding Iwahori-Hecke algebras satisfy the Haagerup-type condition introduced by Ozawa and Rieffel if and only if the Coxeter diagram's complement contains no induced squares. As a consequence, these algebras naturally inherit compact quantum metric space structures in the sense of Rieffel. Additionally, we investigate continuity phenomena in this framework by demonstrating that, as the deformation parameter $q$ approaches $1$, the deformed Iwahori-Hecke algebras converge to the group algebra of the Coxeter group in Latr\'emoli\`ere's quantum Gromov-Hausdorff propinquity.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

71 extracted references · 71 canonical work pages

  1. [15]

    Caspers, M

    M. Caspers, M. Klisse, N.S. Larsen, Graph product Khintchine inequalities and Hecke C ∗-algebras: Haagerup inequalities, (non)simplicity, nuclearity and exactness , J. Funct. Anal. 280 (2021), no. 1, Paper No. 108795, 41 pp

  2. [1]

    Aguilar, M

    K. Aguilar, M. Hartglass, D. Penneys, Compact quantum metric spaces from free graph algebras , Internat. J. Math. 33 (2022), no. 10-11, Paper No. 2250073, 23 pp. QUANTUM METRIC STRUCTURES ON IW AHORI–HECKE ALGEBRAS 25

  3. [2]

    Aguilar, J

    K. Aguilar, J. Kaad, D. Kyed, The Podle´ s spheres converge to the sphere, Comm. Math. Phys. 392 (2022), no. 3, 1029–1061

  4. [3]

    Austad, A

    A. Austad, A. Kyed, Quantum metrics from length functions on quantum groups , arXiv preprint arXiv:2503.01501 (2025)

  5. [4]

    Avitzour, Free products of C∗-algebras, Trans

    D. Avitzour, Free products of C∗-algebras, Trans. Amer. Math. Soc. 271 (1982), no. 2, 423–435

  6. [5]

    P. Baum, A. Connes, N. Higson, Classifying space for proper actions and K - theory of group C ∗-algebras, C∗- algebras: 1943-1993 (San Antonio, TX, 1993), 240–291, Contemp. Math., 167, Amer. Math. Soc., Providence, RI, 1994

  7. [6]

    Bernstein, Le “centre” de Bernstein, Representations of reductive groups over a local field , 1–32, Travaux en Cours, Hermann, Paris, 1984

    J. Bernstein, Le “centre” de Bernstein, Representations of reductive groups over a local field , 1–32, Travaux en Cours, Hermann, Paris, 1984

  8. [7]

    Bj¨ orner, F

    A. Bj¨ orner, F. Brenti,Combinatorics of Coxeter groups , Graduate Texts in Mathematics, 231. Springer, New York, 2005. xiv+363 pp

Show all 71 references
  1. [8]

    Borst, M

    M. Borst, M. Caspers, M. Wasilewski, Bimodule coefficients, Riesz transforms on Coxeter groups and strong solidity, Groups Geom. Dyn. 18 (2024), no. 2, 501–549

  2. [9]

    Bourbaki, Lie groups and Lie algebras

    N. Bourbaki, Lie groups and Lie algebras. Chapters 4-6 , Translated from the 1968 French original by Andrew Pressley, Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 2002. xii+300 pp

  3. [10]

    Bo˙ zejko, T

    M. Bo˙ zejko, T. Januszkiewicz, R. Spatzier,Infinite Coxeter groups do not have Kazhdan ’s property, J. Operator Theory 19 (1988), no. 1, 63–67

  4. [11]

    Brown, N

    N. Brown, N. Ozawa, C∗-algebras and finite-dimensional approximations , Graduate Studies in Mathematics,

  5. [12]

    Bump, Hecke algebras, http://sporadic.stanford.edu/bump/ math263/hecke.pdf (2010)

    D. Bump, Hecke algebras, http://sporadic.stanford.edu/bump/ math263/hecke.pdf (2010)

  6. [13]

    Caspers, Absence of Cartan subalgebras for right-angled Hecke von Neumann algebras, Anal

    M. Caspers, Absence of Cartan subalgebras for right-angled Hecke von Neumann algebras, Anal. PDE 13 (2020), no. 1, 1–28

  7. [14]

    Caspers, P

    M. Caspers, P. Fima, Graph products of operator algebras , J. Noncommut. Geom.11(2017), no.1, 367–411

  8. [16]

    Caspers, M

    M. Caspers, M. Klisse, A. Skalski, G. Vos, M. Wasilewski, Relative Haagerup property for arbitrary von Neu- mann algebras, Adv. Math. 421 (2023), Paper No. 109017, 61 pp

  9. [17]

    Caspers, A

    M. Caspers, A. Skalski, M. Wasilewski, On masas in q-deformed von Neumann algebras , Pacific J. Math. 302 (2019), no. 1, 1–21

  10. [18]

    Christ, M

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

  11. [19]

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

    A. Connes, Compact metric spaces, Fredholm modules, and hyperfiniteness, Ergodic Theory Dynam. Systems 9 (1989), no. 2, 207–220

  12. [20]

    Connes, Noncommutative geometry, Academic Press, Inc., San Diego, CA, 1994

    A. Connes, Noncommutative geometry, Academic Press, Inc., San Diego, CA, 1994. xiv+661 pp

  13. [21]

    M. W. Davis, The Geometry and Topology of Coxeter groups, London Mathematical Society Monographs Series,

  14. [22]

    M. W. Davis, J. Dymara, T. Januszkiewicz, B. Okun, Weighted L2-cohomology of Coxeter groups , Geom. Topol. 11 (2007), 47–138

  15. [23]

    Delorme, E

    P. Delorme, E. M. Opdam, The Schwartz algebra of an affine Hecke algebra , J. Reine Angew. Math. 625 (2008), 59–114

  16. [24]

    K. J. Dykema, Free products of hyperfinite von Neumann algebras and free dimension, Duke Math. J. 69 (1993), no. 1, 97–119

  17. [25]

    Dymara, Thin buildings , Geom

    J. Dymara, Thin buildings , Geom. Topol. 10 (2006), 667–694

  18. [26]

    Garncarek, Factoriality of Hecke-von Neumann algebras of right-angled Coxeter groups , J

    L. Garncarek, Factoriality of Hecke-von Neumann algebras of right-angled Coxeter groups , J. Funct. Anal. 270 (2016), no. 3, 1202–1219

  19. [27]

    Gromov, Hyperbolic groups, Essays in group theory, 75–263, Math

    M. Gromov, Hyperbolic groups, Essays in group theory, 75–263, Math. Sci. Res. Inst. Publ., 8, Springer, New York, 1987

  20. [28]

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

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

  21. [29]

    T. J. Haines, R. E. Kottwitz, A. Prasad, Iwahori–Hecke algebras, J. Ramanujan Math. Soc. 25 (2010), no. 2, 113–145

  22. [30]

    Hivert, N

    F. Hivert, N. Thi´ ery,The Hecke group algebra of a Coxeter group and its representation theory , J. Algebra 321 (2009), no. 8, 2230–2258. 26 MARIO KLISSE AND HELENA PEROVI ´C

  23. [31]

    Hivert, A

    F. Hivert, A. Schilling, N. Thi´ ery,The biHecke monoid of a finite Coxeter group and its representations, Algebra Number Theory 7 (2013), no. 3, 595–671

  24. [32]

    xvi+584pp

    Princeton University Press, Princeton, NJ, 2008. xvi+584pp

  25. [33]

    Iwahori, On the structure of a Hecke ring of a Chevalley group over a finite field , J

    N. Iwahori, On the structure of a Hecke ring of a Chevalley group over a finite field , J. Fac. Sci. Univ. Tokyo Sect. I 10 (1964), 215–236

  26. [34]

    Humphreys, Reflection groups and Coxeter groups , Cambridge Stud

    J. Humphreys, Reflection groups and Coxeter groups , Cambridge Stud. Adv. Math., 29 Cambridge University Press, Cambridge, 1990. xii+204 pp

  27. [35]

    Jones, Hecke algebra representations of braid groups and link polynomials , Ann

    V. Jones, Hecke algebra representations of braid groups and link polynomials , Ann. of Math. (2) 126 (1987), no. 2, 335–388

  28. [36]

    Iwahori, H

    N. Iwahori, H. Matsumoto, On some Bruhat decomposition and the structure of the Hecke rings of p-adic Chevalley groups , Inst. Hautes ´Etudes Sci. Publ. Math. No. 25 (1965), 5–48

  29. [37]

    Kazhdan, G

    D. Kazhdan, G. Lusztig, Representations of Coxeter groups and Hecke algebras , Invent. Math. 53 (1979), no. 2, 165–184

  30. [38]

    J. Kaad, D. Kyed, Dynamics of compact quantum metric spaces , Ergodic Theory Dynam. Systems 41 (2021), no. 7, 2069–2109

  31. [39]

    Kerr, Matricial quantum Gromov-Hausdorff distance , J

    D. Kerr, Matricial quantum Gromov-Hausdorff distance , J. Funct. Anal. 205 (2003), no. 1, 132–167

  32. [40]

    Kazhdan, G

    D. Kazhdan, G. Lusztig, Proof of the Deligne-Langlands conjecture for Hecke algebras, Invent. Math. 87 (1987), no. 1, 153–215

  33. [41]

    Klisse, Topological boundaries of connected graphs and Coxeter groups, J

    M. Klisse, Topological boundaries of connected graphs and Coxeter groups, J. Operator Theory 89 (2023), no.2, 429–476

  34. [42]

    D. Kerr, H. Li, On Gromov-Hausdorff convergence for operator metric spaces , J. Operator Theory 62 (2009), no. 1, 83–109

  35. [43]

    Klisse, Universal C ∗-algebras from graph products: structure and applications , arXiv preprint arXiv:2507.12271 (2025)

    M. Klisse, Universal C ∗-algebras from graph products: structure and applications , arXiv preprint arXiv:2507.12271 (2025)

  36. [44]

    Klisse, Simplicity of right-angled Hecke C ∗-algebras, Int

    M. Klisse, Simplicity of right-angled Hecke C ∗-algebras, Int. Math. Res. Not. IMRN(2023), no.8, 6598–6623

  37. [45]

    Latr´ emoli` ere,The dual Gromov-Hausdorff propinquity , J

    F. Latr´ emoli` ere,The dual Gromov-Hausdorff propinquity , J. Math. Pures Appl. (9) 103 (2015), no. 2, 303–351

  38. [46]

    Kumar, Kac-Moody groups, their flag varieties and representation theory , Progr

    S. Kumar, Kac-Moody groups, their flag varieties and representation theory , Progr. Math., 204 Birkh¨ auser Boston, Inc., Boston, MA, 2002, xvi+606 pp

  39. [47]

    Latr´ emoli` ere,The modular Gromov-Hausdorff propinquity , Dissertationes Math

    F. Latr´ emoli` ere,The modular Gromov-Hausdorff propinquity , Dissertationes Math. 544 (2019), 70 pp

  40. [48]

    Latr´ emoli` ere,The quantum Gromov-Hausdorff propinquity , Trans

    F. Latr´ emoli` ere,The quantum Gromov-Hausdorff propinquity , Trans. Amer. Math. Soc. 368 (2016), no. 1, 365–411

  41. [49]

    Li, C∗-algebraic quantum Gromov-Hausdorff distance , arXiv preprint arXivmath/0312003 (2003)

    H. Li, C∗-algebraic quantum Gromov-Hausdorff distance , arXiv preprint arXivmath/0312003 (2003)

  42. [50]

    Latr´ emoli` ere,The Gromov-Hausdorff propinquity for metric spectral triples , Adv

    F. Latr´ emoli` ere,The Gromov-Hausdorff propinquity for metric spectral triples , Adv. Math. 404 (2022), Paper No. 108393, 56 pp

  43. [51]

    Lusztig, Affine Hecke algebras and their graded version , J

    G. Lusztig, Affine Hecke algebras and their graded version , J. Amer. Math. Soc. 2 (1989), no. 3, 599–635

  44. [52]

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

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

  45. [53]

    Moussong, Hyperbolic Coxeter groups, Thesis (Ph.D.)-The Ohio State University

    G. Moussong, Hyperbolic Coxeter groups, Thesis (Ph.D.)-The Ohio State University. 1988, 55 pp

  46. [54]

    Matsumoto, Analyse harmonique dans les syst` emes de Tits bornologiques de type affine , Lecture Notes in Mathematics, Vol

    H. Matsumoto, Analyse harmonique dans les syst` emes de Tits bornologiques de type affine , Lecture Notes in Mathematics, Vol. 590, Springer-Verlag, Berlin-New York, 1977. i+219 pp

  47. [55]

    E. M. Opdam, M. Solleveld, Discrete series characters for affine Hecke algebras and their formal degrees , Acta Math. 205 (2010), no. 1, 105–187

  48. [56]

    E. M. Opdam, On the spectral decomposition of affine Hecke algebras , J. Inst. Math. Jussieu 3 (2004), no. 4, 531–648

  49. [57]

    Radulescu, Random matrices, amalgamated free products and subfactors of the von Neumann algebra of a free group, of noninteger index , Invent

    F. Radulescu, Random matrices, amalgamated free products and subfactors of the von Neumann algebra of a free group, of noninteger index , Invent. Math. 115 (1994), no. 2, 347–389

  50. [58]

    Ozawa, M

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

  51. [59]

    S. Raum, A. Skalski, Factorial multiparameter Hecke von Neumann algebras and representations of groups acting on right-angled buildings , J. Math. Pures Appl. (9) 172 (2023), 265–298

  52. [60]

    S. Raum, A. Skalski, Classifying right-angled Hecke C ∗-algebras via K-theoretic invariants , Adv. Math. 407 (2022), Paper No. 108559, 24 pp

  53. [61]

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

  54. [62]

    R´ emy,Buildings and Kac-Moody groups, buildings, finite geometries and groups , 231–250, Springer Proc

    B. R´ emy,Buildings and Kac-Moody groups, buildings, finite geometries and groups , 231–250, Springer Proc. Math., 10, Springer, New York, 2012

  55. [63]

    M. A. Rieffel, Group C∗-algebras as compact quantum metric spaces , Doc. Math. 7 (2002), 605–651. QUANTUM METRIC STRUCTURES ON IW AHORI–HECKE ALGEBRAS 27

  56. [64]

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

  57. [65]

    Solleveld, On the classification of irreducible representations of affine Hecke algebras with unequal parame- ters, Represent

    M. Solleveld, On the classification of irreducible representations of affine Hecke algebras with unequal parame- ters, Represent. Theory 16 (2012), 1–87

  58. [66]

    Rieffel, Gromov–Hausdorff distance for quantum metric spaces , Mem

    M. Rieffel, Gromov–Hausdorff distance for quantum metric spaces , Mem. Amer. Math. Soc. 168 (2004), no. 796, 1–65

  59. [67]

    Toyota, Zhiyuan Yang, An operator-valued Haagerup inequality for hyperbolic groups , arXiv preprint arXiv:2311.13651 (2023)

    R. Toyota, Zhiyuan Yang, An operator-valued Haagerup inequality for hyperbolic groups , arXiv preprint arXiv:2311.13651 (2023)

  60. [68]

    Solleveld, Topological K -theory of affine Hecke algebras , Ann

    M. Solleveld, Topological K -theory of affine Hecke algebras , Ann. K -Theory 3 (2018), no. 3, 395–460

  61. [69]

    Voiculescu, On the existence of quasicentral approximate units relative to normed ideals, I

    D. Voiculescu, On the existence of quasicentral approximate units relative to normed ideals, I. , J. Funct. Anal. 91 (1990), no. 1, 1–36. KU Leuven, Department of Mathematics, Celestijnenlaan 200B, 3001 Leuven, Belgium Email address : mario.klisse@kuleuven.be Email address : h...

  62. [70]

    Voiculescu, Symmetries of some reduced free product C ∗-algebras, Operator algebras and their connections with topology and ergodic theory (Bu¸ steni, 1983), 556–588

    D. Voiculescu, Symmetries of some reduced free product C ∗-algebras, Operator algebras and their connections with topology and ergodic theory (Bu¸ steni, 1983), 556–588. Lecture Notes in Math., 1132 Springer-Verlag, Berlin, 1985

  63. [88]

    xvi+509 pp

    American Mathematical Society, Providence, RI, 2008. xvi+509 pp

Pith tools

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