Pith. sign in

REVIEW 4 minor 1 cited by

Isomorphism rigidity of uniform Roe algebras over arbitrary uniformly locally finite coarse spaces

T0 review · 0 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read Every C*-algebra isomorphism between uniform Roe algebras forces the underlying coarse spaces to be bijectively coarsely equivalent, with no extra geometric assumptions.

desk verdict Settles the isomorphism rigidity problem for uniform Roe algebras over all uniformly locally finite coarse spaces, with a proof that holds up under scrutiny. read the letter →

arxiv 2607.15096 v1 pith:Q24T3JGH submitted 2026-07-16 math.OA

Teng Zhang This is my paper · ORCID
classification math.OA MSC 46L0546L8551F30
keywords uniformRoealgebracoarsespacebijectiveequivalenceC*-algebrarigidityrandomdiagonalunitaryfinitepavingcomponentsspatialimplementation
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

Uniform Roe algebras are C*-algebras built from the large-scale geometry of a space. This paper proves the rigidity direction: if two such algebras are isomorphic as C*-algebras, the underlying coarse spaces must be bijectively coarsely equivalent. Earlier results needed extra hypotheses such as property A, metrizability, or countably generated coarse structures; this argument removes all of them. The proof does not rely on ghost-operator compactness or property A. Instead, it randomizes diagonal unitaries to force uniform lower bounds on the matrix coefficients of the implementing unitary, then uses finite paving to extract controlled maps and ultimately a bijection.

What carries the argument

The two load-bearing tools are (1) a random diagonal-unitary lemma, which states that if a unitary conjugates the atomic diagonal algebra into a uniform Roe algebra, then the maximum coefficient in each row and column is bounded below by a positive constant—proved by fourth-moment estimates and a norm-approximation contradiction; and (2) a finite double l1-paving lemma, which partitions any relation with bounded row and column weights into finitely many classes in which cross terms are uniformly small. This paving step detects entourages from matrix coefficients above a fixed threshold. The final bijection step invokes an infinite-index paving theorem for zero-diagonal operators to make cert

What would settle it

Construct a unitary U:ℓ2(X)→ℓ2(Y) such that U ℓ∞(X) U* is contained in a uniform Roe algebra C_u^*(Y,F) but inf_{y∈Y} sup_{x∈X} |⟨U δ_x, δ_y⟩| = 0; this would contradict Lemma 4.2 and collapse the coefficient estimates. Alternatively, exhibit any pair of uniformly locally finite coarse spaces whose uniform Roe algebras are isomorphic but which are not bijectively coarsely equivalent.

Watch

Extended reading notes

Core claim

The paper establishes Theorem 1.2: for uniformly locally finite coarse spaces (X,E) and (Y,F), any C*-algebra isomorphism C_u^*(X,E) ≅ C_u^*(Y,F) implies that (X,E) and (Y,F) are bijectively coarsely equivalent. The proof first identifies the closed socle of a uniform Roe algebra as the c0-direct sum of compact-operator algebras over coarse components, which gives spatial implementation by a unitary that permutes component summands. A random diagonal-unitary argument then produces two-sided uniform lower bounds on the largest matrix entries of that unitary. A finite double l1-paving lemma converts these bounds into controlled maps, and a final paving theorem for zero-diagonal operators upgra

Load-bearing premise

The final upgrade from a coarse equivalence to a bijective coarse equivalence depends on extending the finite-dimensional matrix paving theorem to zero-diagonal operators on arbitrary, possibly uncountable index sets, for both self-adjoint and non-self-adjoint operators; if that infinite-index paving theorem failed, the argument would only produce a coarse equivalence, not a bijective one.

Editorial extensions

If this is right

  • Isomorphism rigidity holds unconditionally for uniformly locally finite coarse spaces: no property A, ghost-compactness, metrizability, or countable-generation hypothesis is needed.
  • The abstract uniform Roe algebra, without its distinguished canonical diagonal, determines the underlying coarse space up to bijective coarse equivalence.
  • Every C*-algebra isomorphism between such algebras is spatially implemented by a unitary that permutes the coarse-component summands.
  • The proof yields a concrete coarse equivalence consisting of controlled maps f and g with both composites close to the identity, and then a bijection close to f.
  • If the two uniform Roe algebras are isomorphic, then the spaces have the same coarse components in a bijective correspondence.

Reading between the lines

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

  • The same random diagonal-unitary mechanism may extend to other operator algebras that contain the full atomic diagonal and whose norm closure controls matrix supports, suggesting rigidity could hold for broader classes of Roe-like algebras.
  • A testable corollary is that every automorphism of a uniform Roe algebra is spatially implemented and determines a bijective coarse self-equivalence of the underlying space; this could be checked by examining whether the resulting bijection can be chosen to be the implementing unitary's canonical permutation.
  • The quantitative constants in the coefficient bounds could likely be made effective, yielding explicit paving constants in terms of the uniform local finiteness degree and the norm of the isomorphism.
  • A natural next probe is stable isomorphism or Morita equivalence rigidity in the same full generality, since the present method targets isomorphisms and may require additional coarse-cardinality hypotheses for stable equivalence.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper proves Theorem 1.2: for uniformly locally finite coarse spaces (X,E) and (Y,F), every C*-algebra isomorphism between the uniform Roe algebras C_u^*(X,E) and C_u^*(Y,F) forces (X,E) and (Y,F) to be bijectively coarsely equivalent. The proof has four main steps: (1) an intrinsic identification of the socle as the c0-direct sum of compact-operator algebras on coarse components, yielding spatial implementation of the isomorphism; (2) a random diagonal-unitary fourth-moment lemma giving uniform lower bounds on the rows and columns of the implementing unitary; (3) a finite double-ℓ1-paving lemma used to show that the resulting finite-to-one maps are controlled and are mutual coarse inverses; and (4) an upgrade of this coarse equivalence to a bijective one using an infinite-index Kadison–Singer/MSS paving lemma and a Hall/Cantor–Bernstein matching argument. I read the proof in detail, including the external lemmas; the argument is internally coherent and the cited theorems are applicable.

Significance. If correct, this completely resolves the isomorphism rigidity problem for uniform Roe algebras over arbitrary uniformly locally finite coarse spaces, removing the property A, ghost-compactness, metrizability, and countable-generation hypotheses that were present in earlier work. The method is genuinely novel: rather than localizing individual rank-one images, it randomizes the whole atomic diagonal, and the fourth-moment estimate in Lemma 4.2 is elegant and robust. The paper is careful with nonseparable index sets and uncountable coarse structures. In particular, the most delicate external step—the infinite-index extension of MSS paving in Lemma 7.1—is valid: the compactness/finite-intersection argument works because each defining condition depends on only finitely many coloring coordinates, and the finite-dimensional MSS theorem is dimension-independent; the non-self-adjoint case via common refinement also checks out. I found no circularity and no unstated boundedness or separability assumptions. The proof is a genuine advance and is written to be checkable; external tools (Kadison–Singer/MSS, Kőnig/Hall, Tonelli) are explicitly identified.

minor comments (4)
  1. [Throughout, esp. Sections 2 and 4] The symbol E is used both for the coarse structure (e.g., Definition 2.1) and for expectation (e.g., Lemma 4.1 and equation (4.5)). This is a readability issue; using \mathbb{E} for expectation would remove ambiguity.
  2. [Proposition 7.3] The definition of the continuous function h with h(0)=0 and h(t)=t^{-1/2} on [α²/4,1] is terse. It would help to specify the behavior on [0,α²/4] explicitly, for example by linear interpolation, so that continuity is immediate.
  3. [Proposition 3.2] The argument that the closed span of the vectors η_i is all of ℓ2(σ(C)) is compressed. A one-sentence nondegeneracy argument—if ζ were orthogonal to every η_i, then Φ(k)ζ=0 for all k∈K(ℓ2(C)), contradicting essentialness—would make the spatial implementation fully transparent.
  4. [Lemma 7.2] The Cantor–Bernstein matching construction is standard, but the text would be easier to follow if it explicitly stated that I∞ is the union of the I_n and that σ is well defined because I∖I∞⊆ψ(J).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity — the proof is self-contained and does not reduce to its inputs.

full rationale

The derivation chain does not assume the target theorem or any equivalent reformulation. Theorem 1.2 is proved by constructing a bijective coarse equivalence from an arbitrary C*-algebra isomorphism: Proposition 3.2 implements the isomorphism spatially using the intrinsically defined socle; Lemma 4.2 derives a uniform coefficient lower bound via random diagonal unitaries and a fourth-moment estimate, without fitting any parameter to the desired conclusion; Lemma 5.1 is a purely combinatorial finite paving lemma; Propositions 6.1–6.4 and 7.3 then turn the derived coefficient bounds into controlled maps and a bijection. The only external inputs are standard theorems (Kadison–Singer/MSS paving, Kőnig’s edge-coloring, Hall’s theorem, Tonelli) that are not results of the present paper and do not encode the rigidity conclusion. Lemma 7.1, the extension of MSS paving to arbitrary index sets and non-self-adjoint operators, is proved in the text by a compactness/FIP argument and a real/imaginary common refinement; it is not imported from the author’s prior work and is not equivalent to the theorem. There are no self-citations that are load-bearing, no fitted quantity is renamed as a prediction, and no known result is merely relabeled. Thus I find no circular step.

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

No fitted parameters or invented entities. The central claim rests on standard coarse geometry and C*-algebra facts plus one deep external theorem (Kadison–Singer/MSS paving). None of the axioms assumes the target theorem.

assumptions (7)
  • standard math Kadison–Singer paving theorem (finite-dimensional self-adjoint case), from Marcus–Spielman–Srivastava (MSS15)
    Used in Lemma 7.1; the paper extends it to arbitrary index sets and non-self-adjoint operators. This is a deep external theorem, not proved in the paper.
  • standard math Kőnig's line-coloring theorem for bipartite graphs of maximum degree d
    Used in Lemma 2.3 to decompose entourages into d matchings.
  • standard math Finite Hall marriage theorem and matching version of Cantor–Bernstein
    Used in Lemma 7.2 to construct a bijection from an invertible locally finite matrix.
  • standard math Tonelli/Fubini for nonnegative series and expectations
    Used in Lemma 4.2 to interchange sums and integrals in the fourth-moment estimate.
  • standard math Tychonoff compactness / finite intersection property for products of finite sets
    Used in Lemmas 2.3, 5.1, 7.1, 7.2 to pass from finite to arbitrary index sets.
  • domain assumption Uniform local finiteness of the coarse structures
    The theorem is stated for uniformly locally finite coarse spaces; this bounds sections of entourages and is used throughout (e.g., Lemma 2.2, section bounds in §6–7).
  • standard math Standard C*-algebraic facts about minimal projections, socles, and spatial implementation of isomorphisms of K(H)
    Used in Proposition 3.2 to make the isomorphism spatially implemented.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Isomorphism rigidity of uniform Roe algebras over arbitrary uniformly locally finite coarse spaces." pith.science (2026). https://pith.science/paper/Q24T3JGH

@misc{pith2026260715096,
  author       = {Pith},
  title        = {Pith review of: Isomorphism rigidity of uniform Roe algebras over arbitrary uniformly locally finite coarse spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q24T3JGH}},
  note         = {Machine review of arXiv:2607.15096}
}
abstract

Let $(X,\mathcal E)$ and $(Y,\mathcal F)$ be uniformly locally finite coarse spaces. We prove that every $C^*$-algebra isomorphism $C_u^*(X,\mathcal E)\cong C_u^*(Y,\mathcal F)$ forces $(X,\mathcal E)$ and $(Y,\mathcal F)$ to be bijectively coarsely equivalent. This completely resolves the isomorphism rigidity problem for uniform Roe algebras over arbitrary uniformly locally finite coarse spaces.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. On the embedding rigidity problem for uniformly locally finite coarse spaces

    math.OA 2026-07 accept novelty 8.0 of 10

    C_u^*(X) can be a hereditary corner of C_u^*(Y) with no coarse embedding X→Y; sparse compact-ghost targets restore injective coarse embeddability.

Reference graph

Works this paper leans on

18 extracted references · 3 canonical work pages · cited by 1 Pith paper

  1. [1]

    F. P. Baudier, B. M. Braga, I. Farah, A. Khukhro, A. Vignati, and R. Willett, Uniform Roe algebras of uniformly locally finite metric spaces are rigid, Invent. Math. 230 (2022), no. 3, 1071--1100. doi:10.1007/s00222-022-01140-x

    doi:10.1007/s00222-022-01140-x 2022

  2. [2]

    J. A. Bondy and U. S. R. Murty, Graph Theory, Graduate Texts in Mathematics, vol. 244, Springer, London, 2008. https://cs.mcgill.ca/ akroit/math/discrete/Bondy\ Available online

    2008

  3. [3]

    B. M. Braga and I. Farah, On the rigidity of uniform Roe algebras over uniformly locally finite coarse spaces, Trans. Amer. Math. Soc. 374 (2021), no. 2, 1007--1040. doi:10.1090/tran/8180

    doi:10.1090/tran/8180 2021

  4. [4]

    B. M. Braga, I. Farah, and A. Vignati, General uniform Roe algebra rigidity, Ann. Inst. Fourier (Grenoble) 72 (2022), no. 1, 301--337. doi:10.5802/aif.3461

    doi:10.5802/aif.3461 2022

  5. [5]

    B. M. Braga, I. Farah, and A. Vignati, Operator norm localization property for equi-approximable families of projections, J. Noncommut. Geom. 18 (2024), no. 2, 657--680. doi:10.4171/JNCG/555

    doi:10.4171/jncg/555 2024

  6. [6]

    G. B. Folland, Real Analysis: Modern Techniques and Their Applications, 2nd ed., Pure and Applied Mathematics, John Wiley & Sons, New York, 1999

    1999

  7. [7]

    Krutoy, Bijective rigidity of uniform Roe algebras and injectivity of the comparison map, preprint, 2026, arXiv:2602.06720v2

    K. Krutoy, Bijective rigidity of uniform Roe algebras and injectivity of the comparison map, preprint, 2026, arXiv:2602.06720v2. doi:10.48550/arXiv.2602.06720

    doi:10.48550/arxiv.2602.06720 2026

  8. [8]

    A. W. Marcus, D. A. Spielman, and N. Srivastava, Interlacing families II: Mixed characteristic polynomials and the Kadison--Singer problem, Ann. of Math. (2) 182 (2015), no. 1, 327--350. doi:10.4007/annals.2015.182.1.8

    doi:10.4007/annals.2015.182.1.8 2015

Show all 18 references
  1. [9]

    Mart\'inez and F

    D. Mart\'inez and F. Vigolo, A rigidity framework for Roe-like algebras, preprint, 2024, arXiv:2403.13624v4. doi:10.48550/arXiv.2403.13624

    2024 doi arXiv

  2. [10]

    Mart\'inez and F

    D. Mart\'inez and F. Vigolo, C^* -rigidity of bounded geometry metric spaces, Publ. Math. Inst. Hautes \'Etudes Sci. 141 (2025), 333--348. doi:10.1007/s10240-025-00155-3

    2025 doi

  3. [11]

    Mart\'inez and F

    D. Mart\'inez and F. Vigolo, Roe algebras of coarse spaces via coarse geometric modules, J. Noncommut. Geom., published online 6 January 2026. doi:10.4171/JNCG/642

    2026 doi

  4. [12]

    Roe, Lectures on Coarse Geometry, University Lecture Series, vol

    J. Roe, Lectures on Coarse Geometry, University Lecture Series, vol. 31, American Mathematical Society, Providence, RI, 2003. doi:10.1090/ulect/031

    2003 doi

  5. [13]

    Roe and R

    J. Roe and R. Willett, Ghostbusting and property A, J. Funct. Anal. 266 (2014), no. 3, 1674--1684. doi:10.1016/j.jfa.2013.07.004

    2014 doi

  6. [14]

    Sako, Property A and the operator norm localization property for discrete metric spaces, J

    H. Sako, Property A and the operator norm localization property for discrete metric spaces, J. Reine Angew. Math. 690 (2014), 207--216. doi:10.1515/crelle-2012-0065

    2014 doi

  7. [15]

    Skandalis, J.-L

    G. Skandalis, J.-L. Tu, and G. Yu, The coarse Baum--Connes conjecture and groupoids, Topology 41 (2002), no. 4, 807--834. doi:10.1016/S0040-9383(01)00004-0

    2002 doi

  8. [16]

    S pakula and R

    J. S pakula and R. Willett, On rigidity of Roe algebras, Adv. Math. 249 (2013), 289--310. doi:10.1016/j.aim.2013.09.006

    2013 doi

  9. [17]

    Vignati, The rigidity problem for uniform Roe algebras, preprint, 2026, arXiv:2602.01998v1

    A. Vignati, The rigidity problem for uniform Roe algebras, preprint, 2026, arXiv:2602.01998v1. doi:10.48550/arXiv.2602.01998

    2026 doi

  10. [18]

    White and R

    S. White and R. Willett, Cartan subalgebras in uniform Roe algebras, Groups Geom. Dyn. 14 (2020), no. 3, 949--989. doi:10.4171/GGD/570

    2020 doi

Pith tools

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