Pith. sign in

REVIEW 3 major objections 6 minor 2 cited by

Strict comparison in reduced group $C^*$-algebras

T0 review · 3 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read This paper proves strict comparison for the reduced group C*-algebras of free groups with two or more generators, settling an open problem from the late 1990s, and extends the result to a broad class of acylindrically hyperbolic groups…

desk verdict Settles the 25-year-old strict comparison problem for C*_r(F_n) with a genuinely new method; the one contested step is a fixable technical lemma in the appendix. read the letter →

arxiv 2412.06031 v4 pith:GP3MMCQB submitted 2024-12-08 math.OA math.FAmath.GRmath.LO

Tattwamasi Amrutam , David Gao , Srivatsav Kunnawalkam Elayavalli , Gregory Patchell This is my paper · ORCID
classification math.OAmath.FAmath.GRmath.LO MSC 46L0520F6522D2546L35
keywords strictcomparisonreducedgroupC*-algebrafreegroupsacylindricallyhyperbolicrapiddecaypropertyselflessCuntzsemigroupJiang–Sualgebra
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 proves that the reduced group $C^*$-algebras of the non-abelian free groups, $C^*_r(\mathbb{F}_n)$ for $n \geq 2$, have strict comparison, a property that has been open since the late 1990s. Strict comparison means the unique trace completely decides when one positive element is Cuntz-subequivalent to another, making the trace a complete invariant for the natural order on the algebra. The authors obtain this by proving a stronger structural property called selflessness, and they extend it to every finitely generated acylindrically hyperbolic group with trivial finite radical and the rapid decay property. The method is group-theoretic: it builds retraction homomorphisms from $G * \mathbb{Z}$ to $G$ with subexponential distortion, then uses rapid decay to turn them into an embedding of $C^*_r(G * \mathbb{Z})$ into an ultrapower of $C^*_r(G)$. From that embedding, strict comparison, uniqueness of Jiang–Su embeddings, and the full Cuntz semigroup computation $\mathrm{Cu}(C^*_r(\mathbb{F}_2)) = \mathbb{N} \sqcup [0,\infty]$ all follow.

What carries the argument

The load-bearing mechanism is a group-level strengthening the paper calls selflessness (Definition 3.1), modeled on the C*-algebraic selflessness of [59] and on a quantitative word-collapse lemma of [46]. A finitely generated group $(G,X)$ is selfless if, for every radius $n$, there is an epimorphism $\varphi_n: G * \langle a \rangle \to G$ that fixes $G$, is injective on the ball of radius $n$ in the generating set $X \cup \{a\}$, and expands the ball by at most a subexponential factor. When $G$ also has the rapid decay property — the operator norm of a finitely supported group-ring element is polynomially bounded by its $\ell^2$-norm and its support radius — selflessness implies that $G * \mathbb{Z}$ is existentially $C^*$-residually-$G$ (Theorem 3.5), which then produces the injective ultrapower embedding. For acylindrically hyperbolic $G$ with trivial finite radical, the maps $\varphi_n$ are built from a hyperbolically embedded copy of $\mathbb{F}_2$, with the conjugate elements $b^n a b^{-n}$ playing the role of a free generator, and the non-collapse of words is certified by the quantitative admissible path lemma (Theorem A.4), a polynomial-constant version of the admissible path lemma of [72] proved in Appendix A.

What would settle it

A direct falsification would be a group satisfying the hypotheses of Theorem B whose reduced C*-algebra lacks strict comparison: two positive elements $a,b$ with $d_\tau(a) < d_\tau(b)$ but $a$ not Cuntz-subequivalent to $b$. A sharper test attacks the proof's geometric lemma: in a concrete acylindrically hyperbolic group, compute the bounded-projection constants of the axis family and search for a word $h_1 g^{n_1} \cdots h_k g^{n_k} = e$ with all exponents below the paper's degree-6 bound; finding such a word would invalidate Theorem A.4.

Watch

Extended reading notes

Core claim

The paper's central claim has two layers. Theorem A states that for every $n \geq 2$, the reduced group $C^*$-algebra of the free group $\mathbb{F}_n$ is selfless in the sense of [59], hence has strict comparison. Theorem B states the same for every finitely generated acylindrically hyperbolic group $G$ with trivial finite radical and the rapid decay property. The proof reduces selflessness to an embedding statement: if $G * \mathbb{Z}$ is existentially $C^*$-residually-$G$ — meaning finite pieces of the group ring of the free product can be approximately pushed into $G$ without increasing the reduced operator norm — then $C^*_r(G * \mathbb{Z})$ embeds injectively into an ultrapower of $C^*_r(G)$ extending the diagonal inclusion, and a theorem of [59] converts that embedding into strict comparison. The free group case is handled by explicit retractions from $G * \mathbb{Z}$ to $G$; the acylindrically hyperbolic case uses a hyperbolically embedded copy of $\mathbb{F}_2$ inside $G$ and a quantitative admissible path lemma to control word collapse.

Load-bearing premise

The proof for the whole family of acylindrically hyperbolic groups rests on a geometric estimate taken from a known result rather than proved here, asserting that certain infinite lines in the group's action uniformly shadow geodesics with error bounded by a fixed polynomial; if that estimate fails, the non-collapse of words that carries the proof is no longer guaranteed.

Editorial extensions

If this is right

  • For every $n \geq 2$, $C^*_r(\mathbb{F}_n)$ has strict comparison, settling an open question that had been recorded in the literature since the late 1990s.
  • For every group covered by Theorem B, the Jiang–Su algebra embeds unitally into $C^*_r(G)$, and the embedding is unique up to approximate unitary equivalence (Theorem C).
  • The Cuntz semigroup of $C^*_r(\mathbb{F}_2)$ is fully computed as $\mathbb{N} \sqcup [0,\infty]$ (Theorem D), and analogous computations hold for every exact acylindrically hyperbolic group with trivial finite radical and rapid decay.
  • Stable rank one for the reduced $C^*$-algebras of these groups is recovered by a new route.
  • Selflessness, and hence strict comparison, is not confined to rapid decay groups: the paper shows $C^*_r(\mathbb{F}_2 * \mathrm{SL}_3(\mathbb{Z}))$ is selfless even though the group fails rapid decay.

Reading between the lines

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

  • Remark 3.6 in the paper notes that full injectivity of the retraction maps can be relaxed to a subexponential fiber bound; testing whether this relaxation suffices for strict comparison in groups without rapid decay, such as higher-rank lattices, is a direct next question.
  • The reduction to an embedding of $C^*_r(G * \mathbb{Z})$ into an ultrapower gives a common criterion that could be checked for other families of groups, for example those with proximal boundary actions mentioned in the paper's footnotes, potentially separating group-theoretic rapid decay from C*-algebraic selflessness.
  • Because the constants in the quantitative admissible path lemma are tracked as a degree-6 polynomial in the word length of the loxodromic element, the method suggests explicit quantitative questions about how large a ball must be inspected to witness Cuntz subequivalence in terms of the gap between traces.
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 / 6 minor

Summary. The paper proves that for every n ≥ 2 the reduced group C*-algebra of the free group F_n has strict comparison. The main theorem, Theorem B, asserts that if G is a finitely generated acylindrically hyperbolic group with trivial finite radical and the rapid decay property, then C*_r(G) is selfless in the sense of Robert and hence has strict comparison. The proof introduces a quantitative group-theoretic selflessness property (Definition 3.1), proves it for free products (Proposition 3.2) and for acylindrically hyperbolic groups (Theorem 3.3), and then, using rapid decay, proves that G*Z is existentially C*-residually-G (Theorem 3.5). This yields an embedding of C*_r(G*Z) into an ultrapower of C*_r(G), and Robert's theorem [59] converts this into selflessness and strict comparison. Several applications are drawn, including uniqueness of Jiang-Su embeddings and full Cuntz semigroup computations.

Significance. Assuming the quantitative contraction bound in Appendix A can be supplied, this is a major breakthrough: strict comparison for C*_r(F_n) resolves a problem open since Dykema-Rørdam and listed by Robert and in the recent problem set [62]. The proof is modular and opens a promising route from geometric group theory to C*-regularity. The free-product case has a self-contained proof, and the paper provides a wealth of new examples. The applications to Cuntz semigroup computations and unique Z-embeddings are concrete and well motivated.

major comments (3)
  1. [Appendix A, proof of Theorem A.4] The claim that the family X of quasi-axes of conjugates of a fixed loxodromic element is (mu,epsilon)-contracting with respect to all (lambda,0)-quasi-geodesics, with mu and epsilon bounded by a quadratic Q3(lambda), is asserted by reference to Lemma A.1 and the proof of [10, Corollary 3.4] but no derivation is given. This bound is load-bearing: the subsequent estimates C_{lambda,0}=O(|g|_S^3), D=O(|g|_S^5), and the final degree-6 polynomial P all depend on Q3 being quadratic. If the contraction constants grow only polynomially with larger degree, or worse exponentially in lambda, Theorem A.4 is not established, and with it the injectivity of phi_N in Theorem 3.3 and hence Theorem B collapse. The appendix must provide an explicit proof or a precise quotation of the quadratic dependence.
  2. [Theorem 3.3] The application of Theorem A.4 is stated for h1,...,hm in B_S(|g_n|^{1/2}_S), with the conclusion h1 g^{k1} ... hm g^{km} != e, but Theorem A.4 requires each h_i not in E(g). In the word arising from the proposed normal form, the endpoint factors h1 and hm may be the identity, and after free reduction some h_i could also become identity. The proof therefore needs a preliminary step that eliminates identity factors and combines adjacent powers of g before applying Theorem A.4. Without this reduction, the asserted injectivity of phi_N on B_{S union {z}}(N) is not justified. This is a fixable gap, but it is central to the proof of Theorem B.
  3. [Section 3.3, Corollary 3.8] The final step from the embedding of C*_r(G*Z) into C*_r(G)_U to strict comparison depends entirely on Robert's [59, Theorem 2.6], which is an unpublished preprint. The manuscript should state this dependence explicitly and quote the theorem so that the reader can verify that its hypotheses are met. This is an external dependency rather than an internal inconsistency, but it is load-bearing for the main result.
minor comments (6)
  1. [Theorem 3.3] The displayed definition of phi_N has subscripts and superscripts swapped: as printed it writes phi_N(z) = g_{P(D(4CN^2+1))}^{2CN^2}, whereas the surrounding estimates require phi_N(z) = g_{2CN^2}^{P(D(4CN^2+1))}.
  2. [Theorem 3.3] The phrase 'for all n ≥ 1 2 C2D' is garbled; it should probably be 'for all n ≥ max(1, 2 C^2 D)'. The symbol C is also used for the word-length quasi-equivalence constant and for the stable length constant in Theorem A.4; these should be distinguished.
  3. [Appendix A] The family of quasi-axes is denoted X, the same symbol as the hyperbolic space X; this makes the statement that X is contracting confusing. A script or fraktur symbol for the family would help.
  4. [Appendix A, proof of Theorem A.4] The displayed formula 'lambda = tau(g)d(go,o)' should be 'lambda = d(go,o)/tau(g)'. The conclusion lambda = O(|g|_S) is still correct because tau(g) is fixed in Theorem A.4, but the displayed equation is dimensionally wrong.
  5. [Remark 3.6] The function g(n) used for subexponential growth conflicts with the use of g for group elements; one of these should be renamed.
  6. [Theorem D] Writing Cu(C*_r(F_2)) = N ⊔ [0,∞] requires a brief explanation that the second component is the strictly positive part of the lower-semicontinuous affine functions on the singleton trace space; otherwise the notation [0,∞] is ambiguous.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central derivation is independent, with only external and non-self-citational dependencies.

full rationale

The derivation chain is: (i) the group-level property in Definition 3.1 is proved directly for free products (Proposition 3.2) and for acylindrically hyperbolic groups with trivial finite radical (Theorem 3.3), using the quantitative admissible path theorem (Theorem A.4); (ii) selflessness plus rapid decay gives existential C*-residualness (Theorem 3.5) by adapting the Louder-Magee norm-control argument; (iii) this gives the embedding C*_r(G*Z) into C*_r(G)_U (Proposition 3.7); and (iv) Robert's Theorem 2.6 converts that embedding into C*-algebraic selflessness and strict comparison (Corollary 3.8). No fitted parameter is later renamed as a prediction, and no definition of the conclusion is used as a premise. The group-level 'selfless' notion in Definition 3.1 is not Robert's C*-algebraic selflessness; the paper proves the former from group geometry and only then invokes Robert's external theorem for the latter. The quantitative contraction bound inside Theorem A.4 is asserted by reference to the proof of [10, Corollary 3.4] rather than derived in full, but that is reliance on an external prior geometric result, not a same-author citation and not an ansatz equivalent to the target theorem; if that bound failed, the proof would have a correctness gap, not a circularity. Similarly, the dependence on Robert's preprint [59, Theorem 2.6] is external independent support; even if that preprint were incorrect, the issue would be correctness, not circularity. No self-citation is load-bearing; reference [43] appears only as historical motivation. Accordingly, no circular step can be exhibited from the paper's own equations or citation chain.

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

The paper introduces a new group-theoretic definition, 'selfless groups' (Definition 3.1), but this is a property, not a postulated entity such as a particle or force. No new mathematical objects with independent existence are invented. No parameters fitted to data; all constants arise from geometry.

assumptions (5)
  • domain assumption Rapid decay property holds for the groups covered by Theorem B (hyperbolic groups, free products with RD, mapping class groups, graph products, hierarchically hyperbolic groups).
    Explicit hypothesis of Theorem B. For F_n, RD is Haagerup's theorem [35].
  • domain assumption Every finitely generated acylindrically hyperbolic group with trivial finite radical contains a hyperbolically embedded F2 (Dahmani-Guirardel-Osin [22, Theorem 6.14]).
    Used in Theorem 3.3 to obtain the loxodromic elements g_n and quasi-isometric word-length comparison.
  • domain assumption Robert's theorem [59, Theorem 2.6] converts an injective *-homomorphism from C*_r(G) * C*_r(Z) into C*_r(G)_U extending the diagonal into selflessness and strict comparison of C*_r(G).
    External result from a preprint; used in Corollary 3.8 without proof.
  • standard math The admissible path lemma [72, Corollary 3.4] and the contraction property used in its proof [10, Corollary 3.4] are valid, and their constants can be tracked polynomially in λ.
    The core geometric input for Theorem A.4; the paper tracks constants but relies on the original qualitative statements and proof methods.
  • standard math For any infinite group G, the free product G*Z is C*-simple (de la Harpe-Préaux [23]).
    Used in Corollary 3.8 to guarantee that the *-homomorphism from C*_r(G*Z) is automatically injective.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Strict comparison in reduced group $C^*$-algebras." pith.science (2026). https://pith.science/paper/GP3MMCQB

@misc{pith2026241206031,
  author       = {Pith},
  title        = {Pith review of: Strict comparison in reduced group $C^*$-algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GP3MMCQB}},
  note         = {Machine review of arXiv:2412.06031}
}
abstract

We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups, including hyperbolic groups, free products, mapping class groups, right-angled Artin groups etc., we have $C^*_r(G)$ have strict comparison. This work also has several applications in the theory of $C^*$-algebras including: resolving Leonel Robert's selflessness problem for $C^*_r(G)$; uniqueness of embeddings of the Jiang-Su algebra $\mathcal{Z}$ up to approximate unitary equivalence into $C^*_r(G)$; full computations of the Cuntz semigroup of $C^*_r(G)$ and future directions in the $C^*$-classification program.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Extensions of pure C*-algebras

    math.OA 2025-06 conditional novelty 8.0 of 10

    Pureness of C*-algebras is preserved under extensions: an algebra is pure iff every closed ideal and its quotient are pure.

  2. Lie ideals in properly infinite C*-algebras

    math.OA 2024-12 accept novelty 7.0 of 10

    Every Lie ideal in a unital, properly infinite C*-algebra is commutator equivalent to a unique two-sided ideal, and the same uniqueness holds in von Neumann algebras without a commutative summand.

Reference graph

Works this paper leans on

72 extracted references · 64 canonical work pages · cited by 2 Pith papers

  1. [59]

    Selfless C*-algebras

    Leonel Robert. Selfless C*-algebras.arXiv preprint arXiv:2309.14188, 2023

    work page Pith review arXiv 2023

  2. [62]

    Nuclear C*-algebras: 95 questions, in preparation

    Christopher Schafhauser, Aaron Tikuisis, and Stuart White. Nuclear C*-algebras: 95 questions, in preparation

    work page

  3. [1]

    S. Adams. Boundary amenability for word hyperbolic groups and an application to smooth dynamics of simple groups. Topology, 33(4):765–783, 1994

    work page 1994

  4. [2]

    C*-algebras of stable rank one and their Cuntz semigroups.Duke Math

    Ramon Antoine, Francesc Perera, Leonel Robert, and Hannes Thiel. C*-algebras of stable rank one and their Cuntz semigroups.Duke Math. J., 171(1):33–99, 2022

    work page 2022

  5. [3]

    Tensor products and regularity properties of Cuntz semi- groups

    Ramon Antoine, Francesc Perera, and Hannes Thiel. Tensor products and regularity properties of Cuntz semi- groups. Mem. Amer. Math. Soc., 251(1199):viii–191, 2018

    work page 2018

  6. [4]

    Pure C*-algebras

    Ramon Antoine, Francesc Perera, Hannes Thiel, and Eduard Vilalta. Pure C*-algebras. arXiv preprint arXiv:2406.11052, 2024

    arXiv 2024

  7. [5]

    Free products of C*-algebras.Trans

    Daniel Avitzour. Free products of C*-algebras.Trans. Amer. Math. Soc., 271(2):423–435, 1982

    work page 1982

  8. [6]

    Hierarchically hyperbolic spaces II: Combination theorems and the distance formula.Pacific J

    Jason Behrstock, Mark Hagen, and Alessandro Sisto. Hierarchically hyperbolic spaces II: Combination theorems and the distance formula.Pacific J. Math., 299(2):257–338, 2019

    work page 2019

Show all 72 references
  1. [7]

    Hagen, and Alessandro Sisto

    Jason Behrstock, Mark F. Hagen, and Alessandro Sisto. Hierarchically hyperbolic spaces, I: Curve complexes for cubical groups.Geom. Topol., 21(3):1731–1804, 2017

    2017

  2. [8]

    Behrstock and Yair N

    Jason A. Behrstock and Yair N. Minsky. Centroids and the rapid decay property in mapping class groups.J. Lond. Math. Soc. (2), 84(3):765–784, 2011

    2011

  3. [9]

    Bounded cohomology of subgroups of mapping class groups.Geom

    Mladen Bestvina and Koji Fujiwara. Bounded cohomology of subgroups of mapping class groups.Geom. Topol., 6:69–89, 2002

    2002

  4. [10]

    MladenBestvinaandKojiFujiwara.Acharacterizationofhigherranksymmetricspacesviaboundedcohomology. Geom. Funct. Anal., 19(1):11–40, 2009

    2009

  5. [11]

    Comparison theory for simple C*-algebras

    Bruce Blackadar. Comparison theory for simple C*-algebras. In David E. Evans and Masamichi Takesaki, editors, Operator Algebras and Applications, London Math. Soc. Lecture Note Ser., pages 21–54. Cambridge University Press, 1989

    1989

  6. [12]

    EmmanuelBreuillard, MehrdadKalantar, MatthewKennedy, andNarutakaOzawa.C*-simplicityandtheunique trace property for discrete groups.Publ. Math. Inst. Hautes´Etudes Sci., 126(1):35–71, June 2017. 14 T.AMRUTAM, D. GAO, S. KUNNA W ALKAM ELAYA V ALLI, AND G. PATCHELL

    2017

  7. [13]

    Brown and Andrew S

    Nathanial P. Brown and Andrew S. Toms. Three applications of the cuntz semigroup.International Mathematics Research Notices, 2007:rnm068, 01 2007

    2007

  8. [14]

    Carri´ on, James Gabe, Christopher Schafhauser, Aaron Tikuisis, and Stuart White

    Jos´ e R. Carri´ on, James Gabe, Christopher Schafhauser, Aaron Tikuisis, and Stuart White. Classifying∗- homomorphisms I: Unital simple nuclear C*-algebras.arXiv preprint arXiv:2307.06480, 2023

    2023 arXiv

  9. [15]

    Uniform propertyΓ

    Jorge Castillejos, Samuel Evington, Aaron Tikuisis, and Stuart White. Uniform propertyΓ. Int. Math. Res. Not., 2022(13):9864–9908, 2022

    2022

  10. [16]

    Some geometric groups with rapid decay.Geom

    Indira Chatterji and Kim Ruane. Some geometric groups with rapid decay.Geom. Funct. Anal., 15(2):311–339, 2005

    2005

  11. [17]

    Holt, and Sarah Rees

    Laura Ciobanu, Derek F. Holt, and Sarah Rees. Rapid decay and Baum-Connes for large type Artin groups. Trans. Amer. Math. Soc., 368(9):6103–6129, 2016

    2016

  12. [18]

    Cyclic cohomology, the Novikov conjecture and hyperbolic groups.Topology, 29(3):345–388, 1990

    Alain Connes and Henri Moscovici. Cyclic cohomology, the Novikov conjecture and hyperbolic groups.Topology, 29(3):345–388, 1990

    1990

  13. [19]

    Coward, George A

    Kristofer T. Coward, George A. Elliott, and Cristian Ivanescu. The Cuntz semigroup as an invariant for C*- algebras. J. Reine Angew. Math., 623:161–193, 2008

    2008

  14. [20]

    Dimension functions on simple C*-algebras.Math

    Joachim Cuntz. Dimension functions on simple C*-algebras.Math. Ann., 233(2):145–153, 1978

    1978

  15. [21]

    Toms, and Wilhelm Winter

    Marius Dadarlat, Ilan Hirshberg, Andrew S. Toms, and Wilhelm Winter. The Jiang-Su algebra does not always embed. Math. Res. Lett., 16(1):23–26, 2009

    2009

  16. [22]

    Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces.Mem

    Fran¸ cois Dahmani, Vincent Guirardel, and Denis Osin. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces.Mem. Amer. Math. Soc., 245(1156):1–164, 2017

    2017

  17. [23]

    C ∗-simple groups: amalgamated free products, HNN extensions, and fundamental groups of 3-manifolds.Journal of Topology and Analysis, 03(04):451–489, December 2011

    PIERRE DE LA HARPE and JEAN-PHILIPPE PR´EAUX. C ∗-simple groups: amalgamated free products, HNN extensions, and fundamental groups of 3-manifolds.Journal of Topology and Analysis, 03(04):451–489, December 2011

    2011

  18. [24]

    K¨ ahler groups,R-trees, and holomorphic families of Riemann surfaces.Geom

    Thomas Delzant. K¨ ahler groups,R-trees, and holomorphic families of Riemann surfaces.Geom. Funct. Anal., 26(1):160–187, 2016

    2016

  19. [25]

    Dykema, Uffe Haagerup, and Mikael Rørdam

    Kenneth J. Dykema, Uffe Haagerup, and Mikael Rørdam. The stable rank of some free product C*-algebras. Duke Math. J., 90(1):95–121, 1997

    1997

  20. [26]

    Dykema and Pierre de la Harpe

    Kenneth J. Dykema and Pierre de la Harpe. Some groups whose reduced C*-algebras have stable rank one.J. Math. Pures Appl., 78(6):591–608, 1999

    1999

  21. [27]

    Dykema and Mikael Rørdam

    Kenneth J. Dykema and Mikael Rørdam. Projections in free product C*-algebras.Geom. Funct. Anal., 8(1):1–16, 1998

    1998

  22. [28]

    Dykema and Mikael Rørdam

    Kenneth J. Dykema and Mikael Rørdam. Projections in free product C*-algebras. II.Math. Z., 234(1):103–113, 2000

    2000

  23. [29]

    The modern theory of Cuntz semigroups of C*-algebras.arXiv preprint arXiv:2212.02290, 2022

    Eusebio Gardella and Francesc Perera. The modern theory of Cuntz semigroups of C*-algebras.arXiv preprint arXiv:2212.02290, 2022

    2022 arXiv

  24. [30]

    On invertible elements in reduced C*-algebras of acylindrically hyperbolic groups

    Maria Gerasimova and Denis Osin. On invertible elements in reduced C*-algebras of acylindrically hyperbolic groups. J. Funct. Anal., 279(7), 2020

    2020

  25. [31]

    Springer Science & Business Media, 2013

    Etienne Ghys and Pierre de la Harpe.Sur les groupes hyperboliques d’apr` es Mikhael Gromov, volume 83. Springer Science & Business Media, 2013

    2013

  26. [32]

    A classification of finite simple amenableZ-stable C*-algebras, I: C*-algebras with generalized tracial rank one.C

    Guihua Gong, Huaxin Lin, and Zhuang Niu. A classification of finite simple amenableZ-stable C*-algebras, I: C*-algebras with generalized tracial rank one.C. R. Math. Acad. Sci. Soc. R. Can., 42(3):63–450, 2020

    2020

  27. [33]

    A classification of finite simple amenableZ-stable C∗-algebras, II: C∗-algebras with rational generalized tracial rank one.C

    Guihua Gong, Huaxin Lin, and Zhuang Niu. A classification of finite simple amenableZ-stable C∗-algebras, II: C∗-algebras with rational generalized tracial rank one.C. R. Math. Acad. Sci. Soc. R. Can., 42(4):451–539, 2020

    2020

  28. [34]

    Complete growth functions of hyperbolic groups.Invent

    Rostislav Grigorchuk and Tatiana Nagnibeda. Complete growth functions of hyperbolic groups.Invent. Math., 130(1):159–188, 1997

    1997

  29. [35]

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

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

    1978

  30. [36]

    Quasitraces on exact C*-algebras are traces.C

    Uffe Haagerup. Quasitraces on exact C*-algebras are traces.C. R. Math. Acad. Sci. Soc. R. Can., 36(2-3):67–92, 2014

    2014

  31. [37]

    A new look at C*-simplicity and the unique trace property of a group

    Uffe Haagerup. A new look at C*-simplicity and the unique trace property of a group. InOperator Algebras and Applications: The Abel Symposium 2015, pages 167–176. Springer, 2016

    2015

  32. [38]

    A new application of random matrices:Ext(C ∗ red(F2)) is not a group

    Uffe Haagerup and Steen Thorbjørnsen. A new application of random matrices:Ext(C ∗ red(F2)) is not a group. Ann. of Math. (2), 162(2):711–775, 2005

    2005

  33. [39]

    Groupes hyperboliques, alg` ebres d’op´ erateurs et un th´ eor` eme de Jolissaint.C

    Pierre de la Harpe. Groupes hyperboliques, alg` ebres d’op´ erateurs et un th´ eor` eme de Jolissaint.C. R. Acad. Sci. Paris S´ er. I Math., 307(14):771–774, 1988

    1988

  34. [40]

    Transitivity degrees of countable groups and acylindrical hyperbolicity.Israel J

    Michael Hull and Denis Osin. Transitivity degrees of countable groups and acylindrical hyperbolicity.Israel J. Math., 216(1):307–353, 2016. STRICT COMPARISON IN REDUCED GROUP C∗-ALGEBRAS 15

    2016

  35. [41]

    Rapidly decreasing functions in reduced C*-algebras of groups

    Paul Jolissaint. Rapidly decreasing functions in reduced C*-algebras of groups. Trans. Amer. Math. Soc., 317(1):167–196, 1990

    1990

  36. [42]

    An intrinsic characterization of C*-simplicity.Ann

    Matthew Kennedy. An intrinsic characterization of C*-simplicity.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 53(5):1105– 1119, 2020

    2020

  37. [43]

    Remarks on the diagonal embedding and strong 1-boundedness.Doc

    Srivatsav Kunnawalkam Elayavalli. Remarks on the diagonal embedding and strong 1-boundedness.Doc. Math., 28(3):671–681, 2023

    2023

  38. [44]

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

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

    2000

  39. [45]

    K-th´ eorie bivariante pour les alg` ebres de Banach et conjecture de Baum-Connes.Invent

    Vincent Lafforgue. K-th´ eorie bivariante pour les alg` ebres de Banach et conjecture de Baum-Connes.Invent. Math., 149(1):1–95, 2002

    2002

  40. [46]

    Strongly convergent unitary representations of limit groups.J

    Larsen Louder and Michael Magee. Strongly convergent unitary representations of limit groups.J. Funct. Anal., 288(6):Paper No. 110803, 28, 2025. With an appendix by Will Hide and Magee

    2025

  41. [47]

    Strict comparison and Z-absorption of nuclear C*-algebras

    Hiroki Matui and Yasuhiko Sato. Strict comparison and Z-absorption of nuclear C*-algebras. Acta Math., 209(1):179–196, 2012

    2012

  42. [48]

    Acylindrical hyperbolicity of groups acting on trees.Math

    Ashot Minasyan and Denis Osin. Acylindrical hyperbolicity of groups acting on trees.Math. Ann., 362(3-4):1055– 1105, 2015

    2015

  43. [49]

    F. J. Murray and J. Von Neumann. On rings of operators.Ann. of Math. (2), 37(1):116–229, 1936

    1936

  44. [50]

    Acylindrically hyperbolic groups.Trans

    Denis Osin. Acylindrically hyperbolic groups.Trans. Amer. Math. Soc., 368(2):851–888, 2016

    2016

  45. [51]

    Groups acting acylindrically on hyperbolic spaces

    Denis Osin. Groups acting acylindrically on hyperbolic spaces. InProceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. II. Invited lectures, pages 919–939. World Sci. Publ., Hackensack, NJ, 2018

    2018

  46. [52]

    Proximality and selflessness for group c*-algebras, 2025

    Narutaka Ozawa. Proximality and selflessness for group c*-algebras, 2025

    2025

  47. [53]

    K-groups of reduced crossed products by free groups.J

    Mihai Pimsner and Dan-Virgil Voiculescu. K-groups of reduced crossed products by free groups.J. Operator Theory, 8(1):131–156, 1982

    1982

  48. [54]

    Free-independent sequences in type II1 factors and related problems.Ast´ erisque, 232:187–202, 1995

    Sorin Popa. Free-independent sequences in type II1 factors and related problems.Ast´ erisque, 232:187–202, 1995

    1995

  49. [55]

    Robert T. Powers. Simplicity of the C*-algebra associated with the free group on two generators.Duke Math. J., 42(1):151–156, 1975

    1975

  50. [56]

    Twisted group C*-algebras of acylindrically hyperbolic groups have stable rank one.arXiv preprint arXiv:2403.04649, 2024

    Sven Raum. Twisted group C*-algebras of acylindrically hyperbolic groups have stable rank one.arXiv preprint arXiv:2403.04649, 2024

    2024 arXiv

  51. [57]

    MarcA.Rieffel.DimensionandstablerankintheK-theoryofC*-algebras. Proc. Lond. Math. Soc. (3), 46(2):301– 333, 03 1983

    1983

  52. [58]

    Classification of inductive limits of 1-dimensional NCCW complexes.Adv

    Leonel Robert. Classification of inductive limits of 1-dimensional NCCW complexes.Adv. Math., 231(5):2802– 2836, 2012

    2012

  53. [60]

    The stable and the real rank ofZ-absorbing C*-algebras.Int

    Mikael Rørdam. The stable and the real rank ofZ-absorbing C*-algebras.Int. J. Math., 15(10):1065–1084, 2004

    2004

  54. [61]

    The rapid decay property and centroids in groups.J

    Mark Sapir. The rapid decay property and centroids in groups.J. Topol. Anal., 7(03):513–541, 2015

    2015

  55. [63]

    A quantitative version of the Morse lemma and quasi-isometries fixing the ideal boundary.J

    Vladimir Shchur. A quantitative version of the Morse lemma and quasi-isometries fixing the ideal boundary.J. Funct. Anal., 264(3):815–836, 2013

    2013

  56. [64]

    Lectures in Mathematics ETH Z¨ urich

    Alain Valette.Introduction to the Baum-Connes conjecture. Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag, Basel, 2002. From notes taken by Indira Chatterji, With an appendix by Guido Mislin

    2002

  57. [65]

    Structural properties of reducedc∗-algebras associated with higher-rank lattices, 2025

    Itamar Vigdorovich. Structural properties of reducedc∗-algebras associated with higher-rank lattices, 2025

    2025

  58. [66]

    Symmetries of some reduced free product C*-algebras, operator algebras and their con- nections with topology and ergodic theory.Lecture notes in Math., 1132:556–588, 1985

    Dan-Virgil Voiculescu. Symmetries of some reduced free product C*-algebras, operator algebras and their con- nections with topology and ergodic theory.Lecture notes in Math., 1132:556–588, 1985

    1985

  59. [67]

    Dykema, and Alexandru Nica.Free Random Variables, volume 1 ofCRM Monograph Series

    Dan-Virgil Voiculescu, Kenneth J. Dykema, and Alexandru Nica.Free Random Variables, volume 1 ofCRM Monograph Series. American Mathematical Society, Providence, 1992

    1992

  60. [68]

    Uniform exponential growth for groups with proper product actions on hyperbolic spaces.arXiv preprint arXiv:2307.08400, 2024

    Renxing Wan and Wenyuan Yang. Uniform exponential growth for groups with proper product actions on hyperbolic spaces.arXiv preprint arXiv:2307.08400, 2024

    2024 arXiv

  61. [69]

    Abstract classification theorems for amenable C*-algebras.arXiv preprint arXiv:2307.03782, 2023

    Stuart White. Abstract classification theorems for amenable C*-algebras.arXiv preprint arXiv:2307.03782, 2023

    2023 arXiv

  62. [70]

    Nuclear dimension andZ-stability of pure C*-algebras.Invent

    Wilhelm Winter. Nuclear dimension andZ-stability of pure C*-algebras.Invent. Math., 187(2):259–342, 2012

    2012

  63. [71]

    Structure of nuclear C*-algebras: from quasidiagonality to classification and back again

    Wilhelm Winter. Structure of nuclear C*-algebras: from quasidiagonality to classification and back again. In Proceedings of the International Congress of Mathematicians, pages 1801–1823. World Scientific, 2018

    2018

  64. [72]

    Growth tightness for groups with contracting elements.Math

    Wenyuan Yang. Growth tightness for groups with contracting elements.Math. Proc. Cambridge Philos. Soc., 157(2):297–319, 2014. 16 T.AMRUTAM, D. GAO, S. KUNNA W ALKAM ELAYA V ALLI, AND G. PATCHELL Institute of Mathematics of the Polish Academy of Sciences, Ul. S’niadeckich 8, 00...

    2014

Pith tools

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