arxiv: 2604.07237 · v1 · submitted 2026-04-08 · 🧮 math.OA

Recognition: no theorem link

Generalised diagonal dimension and applications to large-scale geometry

Christos Kitsios

Pith reviewed 2026-05-10 17:46 UTC · model grok-4.3

classification 🧮 math.OA

keywords generalised diagonal dimensiondiagonal dimensionasymptotic dimensionnoncommutative Cartan subalgebrafinite propagation operatorsC*-algebraslarge-scale geometry

0 comments

The pith

The generalised diagonal dimension of a noncommutative Cartan subalgebra equals the asymptotic dimension of the metric space.

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

This paper introduces the generalised diagonal dimension as an extension of the diagonal dimension previously defined by Li, Liao, and Winter. It explains the conditions under which the two dimensions coincide and proves that the generalised version inherits useful permanence properties. The paper also compares this dimension to the nuclear dimension of C*-algebras. Its main result applies the new dimension to large-scale geometry, proving equality with the asymptotic dimension of uniformly locally finite metric spaces via the associated noncommutative Cartan subalgebra in the algebra of finite-propagation operators. This connection links algebraic invariants in operator algebras to geometric properties of metric spaces.

Core claim

We introduce a generalised diagonal dimension. We explain why it extends the diagonal dimension of Li, Liao and Winter and under which conditions they coincide. We prove permanence properties for the generalised diagonal dimension and compare it with the nuclear dimension. We show that the generalised diagonal dimension of a noncommutative Cartan subalgebra in the C*-algebra of finite-propagation operators on a uniformly locally finite metric space is equal to the asymptotic dimension of the space.

What carries the argument

The generalised diagonal dimension, an extension of the Li-Liao-Winter diagonal dimension that preserves permanence properties for use in C*-algebras and large-scale geometry.

If this is right

The generalised diagonal dimension coincides with the original diagonal dimension when the conditions for both are satisfied.
It satisfies permanence properties allowing computations in various constructions of C*-algebras.
Relations to nuclear dimension are established, linking different dimension theories.
The equality with asymptotic dimension equips large-scale geometry with an algebraic tool from operator algebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This provides a method to study asymptotic dimension using C*-algebraic techniques rather than purely geometric ones.
The generalisation may enable applications of diagonal dimension in settings where the original definition does not apply directly.
Future work could investigate whether the generalised diagonal dimension detects other coarse geometric features of metric spaces.

Load-bearing premise

The noncommutative Cartan subalgebra must satisfy specific technical conditions for the generalised diagonal dimension to be defined and equal to the asymptotic dimension.

What would settle it

An example of a uniformly locally finite metric space whose asymptotic dimension does not equal the generalised diagonal dimension of its noncommutative Cartan subalgebra in the finite-propagation operators C*-algebra would disprove the claimed equality.

read the original abstract

In this paper, we introduce a generalised diagonal dimension. We explain why the generalised diagonal dimension extends the notion of diagonal dimension defined by Li, Liao, and Winter, and under which conditions these dimensions coincide. We prove permanence properties for the generalised diagonal dimension and compare it with the nuclear dimension. We investigate applications of the generalised diagonal dimension in large-scale geometry; specifically, we show that the generalised diagonal dimension of a noncommutative Cartan subalgebra in the C*-algebra of finite-propagation operators on a uniformly locally finite metric space is equal to the asymptotic dimension of the space.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper defines a generalised diagonal dimension extending Li-Liao-Winter and proves it equals asymptotic dimension for noncommutative Cartan subalgebras in uniform Roe algebras.

read the letter

The main takeaway is that the paper introduces a generalised diagonal dimension and shows it equals the asymptotic dimension of a uniformly locally finite metric space when applied to a noncommutative Cartan subalgebra inside the C*-algebra of finite-propagation operators. It also spells out how this version extends the earlier Li-Liao-Winter diagonal dimension and when the two coincide. They prove permanence properties and include a comparison to nuclear dimension. The geometric equality comes from the Cartan construction on the uniform Roe algebra, which looks like a direct way to link the invariant to large-scale geometry. The stress-test note finds no internal inconsistency or unsupported step in that chain, so the central claim appears to rest on explicit definitions and derivations rather than circular reasoning. The work stays technical but delivers a concrete new equality that was not in the prior literature. Soft spots are limited. The comparison to nuclear dimension is present but stays high-level and does not seem to drive new results. The equality holds under the technical conditions needed for the Cartan subalgebra, and while the paper claims to verify them, those conditions could restrict the range of examples in practice. The overall scope remains inside operator algebras with a geometric application, so it will mainly interest people already working at that intersection. A reader who knows asymptotic dimension and Cartan subalgebras will see a usable bridge; someone outside that area will find little to take away. The construction is formally grounded enough and the new equality is sharp enough that the paper deserves a serious referee rather than a desk reject. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper introduces a generalised diagonal dimension for C*-algebras. It explains the extension of the Li-Liao-Winter diagonal dimension and the conditions for their coincidence, establishes permanence properties, compares the new dimension to nuclear dimension, and proves that the generalised diagonal dimension of a noncommutative Cartan subalgebra in the C*-algebra of finite-propagation operators on a uniformly locally finite metric space equals the asymptotic dimension of the space.

Significance. If the central equality and permanence results hold, the work provides a concrete bridge between noncommutative dimension theory and large-scale geometry via uniform Roe algebras and Cartan subalgebras. This allows asymptotic dimension to be recovered as a C*-algebraic invariant, which may enable new techniques from operator algebras to be applied to coarse geometric questions. The explicit comparison with nuclear dimension and the permanence properties add to the dimension-theory toolkit.

minor comments (2)

[§2] §2 (Definition of generalised diagonal dimension): the notation for the extension could be clarified by explicitly contrasting the new covering conditions with those in Li-Liao-Winter to avoid reader confusion about which properties are preserved by construction.
[§6] §6 (Proof of the equality with asymptotic dimension): the appeal to the noncommutative Cartan subalgebra structure in the uniform Roe algebra is central; a short paragraph recalling the precise technical conditions used from the Cartan theory would improve readability for geometric readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, assessment of significance, and recommendation for minor revision. No specific major comments were listed in the report, so we have no points requiring detailed rebuttal or explanation. We will incorporate any minor editorial or typographical corrections in the revised version.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper introduces the generalised diagonal dimension by explicit definition, proves its extension of the Li-Liao-Winter diagonal dimension under stated conditions where the two coincide, establishes permanence properties independently, and derives the equality to asymptotic dimension as a theorem via the noncommutative Cartan subalgebra construction inside the uniform Roe algebra of finite-propagation operators. No load-bearing step reduces by construction to a self-definition, a fitted input renamed as prediction, or a self-citation chain; the central geometric equality is a derived result rather than tautological, and the derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 1 invented entities

Abstract-only review; no explicit free parameters, background axioms, or invented entities beyond the new dimension itself are visible. The generalised diagonal dimension functions as the central new object whose properties are asserted.

invented entities (1)

generalised diagonal dimension no independent evidence
purpose: Extend the diagonal dimension of Li-Liao-Winter to a broader class of C*-algebras while preserving permanence properties
Introduced in the paper as the central new concept whose definition and applications are developed.

pith-pipeline@v0.9.0 · 5379 in / 1318 out tokens · 60814 ms · 2026-05-10T17:46:55.222138+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

34 extracted references · 2 canonical work pages

[1]

Baudier, Bruno M

Florent P. Baudier, Bruno M. Braga, Ilijas Farah, Ana Khukhro, Alessandro Vignati, and Rufus Willett,Uniform Roe algebras of uniformly locally finite metric spaces are rigid, In- ventiones Mathematicae230(2022), no. 3, 1071–1100

2022
[2]

Braga, Yeong Chyuan Chung, and Kang Li,Coarse Baum–Connes conjecture and rigidity for Roe algebras, Journal of Functional Analysis279(2020), no

Bruno M. Braga, Yeong Chyuan Chung, and Kang Li,Coarse Baum–Connes conjecture and rigidity for Roe algebras, Journal of Functional Analysis279(2020), no. 9, 20

2020
[3]

Braga, Ilijas Farah, and Alessandro Vignati,Embeddings of uniform Roe algebras, Communications in Mathematical Physics377(2020), no

Bruno M. Braga, Ilijas Farah, and Alessandro Vignati,Embeddings of uniform Roe algebras, Communications in Mathematical Physics377(2020), no. 3, 1853–1882

2020
[4]

,Uniform Roe coronas, Advances in Mathematics389(2021), 35

2021
[5]

1, 301–337

,General uniform Roe algebra rigidity, Annales de l’Institut Fourier72(2022), no. 1, 301–337

2022
[6]

Braga and Alessandro Vignati,A Gelfand-type duality for coarse metric spaces with property A, IMRN

Bruno M. Braga and Alessandro Vignati,A Gelfand-type duality for coarse metric spaces with property A, IMRN. International Mathematics Research Notices2023(2023), no. 11, 9799–9843

2023
[7]

Ruy Exel,Noncommutative Cartan subalgebras of C ∗-algebras, The New York Journal of Mathematics17(2011), 331–382

2011
[8]

Volume 2: Asymptotic invariants of infinite groups, London Mathematical Society Lecture Note Series, vol

Mikhael Gromov,Geometric group theory. Volume 2: Asymptotic invariants of infinite groups, London Mathematical Society Lecture Note Series, vol. 182, Cambridge: Cambridge University Press, 1993

1993
[9]

1–2, 785–829

Erik Guentner, Rufus Willett, and Guoliang Yu,Dynamic asymptotic dimension: relation to dynamics, topology, coarse geometry, and C ∗-algebras, Mathematische Annalen367(2017), no. 1–2, 785–829

2017
[10]

Nigel Higson and John Roe,Analytic K-homology, Oxford Mathematical Monographs, Ox- ford: Oxford University Press, 2000

2000
[11]

1, 85–97

Nigel Higson, John Roe, and Guoliang Yu,A coarse Mayer–Vietoris principle, Mathematical Proceedings of the Cambridge Philosophical Society114(1993), no. 1, 85–97

1993
[12]

Ana Khukhro, Kang Li, Federico Vigolo, and Jiawen Zhang,On the structure of asymptotic expanders, Advances in Mathematics393(2021), 35, Id/No. 108073

2021
[13]

1, 63–85

Eberhard Kirchberg and Wilhelm Winter,Covering dimension and quasidiagonality, Inter- national Journal of Mathematics15(2004), no. 1, 63–85

2004
[14]

thesis, Georg- August-Universit¨ at G¨ ottingen, 2026

Christos Kitsios,Generalised diagonal dimension and roe-like algebras, Ph.D. thesis, Georg- August-Universit¨ at G¨ ottingen, 2026

2026
[15]

Alexander Kumjian,On C ∗-diagonals, Canadian Journal of Mathematics38(1986), 969– 1008

1986
[16]

12, 8697–8724

Bartosz Kosma Kwa´ sniewski and Ralf Meyer,Noncommutative Cartan C∗-subalgebras, Trans- action of the American Mathematical Society373(2020), no. 12, 8697–8724

2020
[17]

Kang Li, Hung-Chang Liao, and Wilhelm Winter,The diagonal dimension of sub-C ∗-algebras, 2023, Preprint, arXiv:2303.16762

work page arXiv 2023
[18]

International Mathematics Research Notices2023(2023), no

Kang Li, J´ an ˇSpakula, and Jiawen Zhang,Measured asymptotic expanders and rigidity for Roe algebras, IMRN. International Mathematics Research Notices2023(2023), no. 17, 15102– 15154

2023
[19]

Diego Mart´ ınez and Federico Vigolo,Roe algebras of coarse spaces via coarse geometric mod- ules, 2023, Preprint, arXiv:2312.08907

work page arXiv 2023
[20]

,C ∗-rigidity of bounded geometry metric spaces, Publications Math´ ematiques141 (2025), 333–348

2025
[21]

Nowak and Guoliang Yu,Large scale geometry, 2nd edition ed., EMS Textbooks in Mathematics, Berlin: European Mathematical Society (EMS), 2023

Piotr W. Nowak and Guoliang Yu,Large scale geometry, 2nd edition ed., EMS Textbooks in Mathematics, Berlin: European Mathematical Society (EMS), 2023

2023
[22]

Jean Renault,Cartan subalgebras in C ∗-algebras, Irish Mathematical Society Bulletin61 (2008), 29–63

2008
[23]

1, 87–113

John Roe,An index theorem on open manifolds I, Journal of Differential Geometry27(1988), no. 1, 87–113

1988
[24]

1, 115–136

,An index theorem on open manifolds II, Journal of Differential Geometry27(1988), no. 1, 115–136. 28 CHRISTOS KITSIOS

1988
[25]

497, Providence, RI: American Mathematical Society (AMS), 1993

,Coarse cohomology and index theory on complete Riemannian manifolds, Memoirs of the American Mathematical Society, vol. 497, Providence, RI: American Mathematical Society (AMS), 1993

1993
[26]

90, Providence, RI: American Mathematical Society (AMS), 1996

,Index theory, coarse geometry, and topology on manifolds, Regional Conference Series in Mathematics, vol. 90, Providence, RI: American Mathematical Society (AMS), 1996

1996
[27]

31, Providence, RI: American Mathematical Society (AMS), 2003

,Lectures on coarse geometry, University Lecture Series, vol. 31, Providence, RI: American Mathematical Society (AMS), 2003

2003
[28]

Hiroki Sako,Property A and the operator norm localization property for discrete metric spaces, Journal f¨ ur die Reine und Angewandte Mathematik690(2014), 207–216

2014
[29]

J´ anˇSpakula and Rufus Willett,On rigidity of Roe algebras, Advances in Mathematics249 (2013), 289–310

2013
[30]

3, 949–989

Sturart White and Rufus Willett,Cartan subalgebras in uniform Roe algebras, Groups, Ge- ometry, and Dynamics14(2020), no. 3, 949–989

2020
[31]

by CRC Press, 2009, p

Rufus Willett,Some notes on property A, Limits of graphs in group theory and computer science, Lausanne: EPFL Press/distr. by CRC Press, 2009, p. 191–284

2009
[32]

189, Cambridge: Cambridge University Press, 2020

Rufus Willett and Guoliang Yu,Higher index theory, Cambridge Studies in Advanced Math- ematics, vol. 189, Cambridge: Cambridge University Press, 2020

2020
[33]

1, 311–324

Wilhelm Winter and Joachim Zacharias,Completely positive maps of order zero, M¨ unster Journal of Mathematics2(2009), no. 1, 311–324

2009
[34]

2, 461–498

,The nuclear dimension of C ∗-algebras, Advances in Mathematics224(2010), no. 2, 461–498. Mathematisches Institut, Georg-August-Universit¨at G ¨ottingen, Bunsenstr. 3-5, 37073 G¨ottingen, Germany. Email address:christos.kitsios@uni-goettingen.de

2010