Pith. sign in

REVIEW 2 minor 43 references

Noncommutative protori and inductive spectral triples

T0 review · 0 major / 2 minor · reviewed 2026-06-29 · grok-4.3

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

Pith's one-line read Noncommutative protori formed as inductive limits of noncommutative tori admit explicit Elliott invariants and compatible spectral triples.

desk verdict This paper defines noncommutative protori as inductive limits of NC tori and claims explicit Elliott invariants plus spectral triples for listed embedding classes. read the letter →

arxiv 2605.26049 v1 pith:46AENEVV submitted 2026-05-25 math.OA

Remus Floricel , Patrick Melanson This is my paper · ORCID
classification math.OA
keywords noncommutativetoriinductivelimitsElliottinvariantsspectraltriplesK-theoryC*-algebrasclassificationprotori
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper defines noncommutative protori as inductive limits of higher-dimensional noncommutative tori. It computes the Elliott invariants for broad classes of unital and nonunital systems built from toric maps, Morita-corner embeddings, dimension-changing embeddings, and proper embeddings. For the resulting simple limits the ordered K-groups, trace cone, scale, and projection scale are determined explicitly. This supplies concrete classification criteria. Compatible spectral triples and locally compact spectral triples are constructed on the limits via Fourier- and Morita-compatible Dirac structures.

What carries the argument

Inductive systems of noncommutative tori formed by toric maps, Morita-corner embeddings, and related classes, which preserve data allowing explicit computation of K-groups and traces.

What would settle it

An explicit computation showing that the ordered K-group or trace cone of a simple limit built from one of the listed embeddings differs from the description given in the paper.

Watch

Extended reading notes

Core claim

We study inductive limits of higher-dimensional noncommutative tori, which we call noncommutative protori. We compute the Elliott invariants for broad classes of unital and nonunital systems, including toric maps, Morita-corner embeddings, and dimension-changing and proper embeddings. For the resulting simple limits we determine explicitly the ordered K-groups, trace cone, scale, and projection scale, yielding concrete classification criteria. We also construct compatible spectral triples and locally compact spectral triples on these limits via Fourier- and Morita-compatible Dirac structures.

Load-bearing premise

The inductive systems are formed via the listed classes of embeddings that preserve the structures needed for explicit K-group and trace computations.

Editorial extensions

If this is right

  • The ordered K-groups of the simple limits are determined explicitly from the embeddings.
  • The trace cone, scale, and projection scale are computed explicitly for these limits.
  • Classification of the simple noncommutative protori reduces to matching these explicit invariants.
  • Compatible spectral triples exist on the limits and are constructed from Fourier- and Morita-compatible Dirac structures.

Reading between the lines

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

  • The explicit invariants may extend classification results to additional classes of inductive limits in operator algebras.
  • The constructed spectral triples could support definitions of Dirac operators or metrics on noncommutative protori.
  • Dimension-changing embeddings may link these constructions to other inductive systems in noncommutative geometry.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The manuscript introduces noncommutative protori as inductive limits of higher-dimensional noncommutative tori. It computes the Elliott invariants for broad classes of unital and nonunital inductive systems, including toric maps, Morita-corner embeddings, dimension-changing embeddings, and proper embeddings. For the resulting simple limits, the ordered K-groups, trace cone, scale, and projection scale are determined explicitly, yielding concrete classification criteria. The paper also constructs compatible spectral triples and locally compact spectral triples on these limits using Fourier- and Morita-compatible Dirac structures.

Significance. If the explicit determinations of the invariants hold, the work supplies concrete classification criteria for a family of C*-algebras arising as inductive limits, advancing the Elliott program in this setting. The construction of spectral triples provides a direct link to noncommutative geometry. The explicitness for the listed classes of embeddings is a notable strength when the preservation of computability is verified.

minor comments (2)
  1. Clarify the precise conditions under which each class of embeddings (toric, Morita-corner, dimension-changing, proper) induces maps that preserve the structures needed for closed-form K-group and trace computations; a dedicated statement or lemma summarizing these preservation properties would improve readability.
  2. Ensure consistent notation for the inductive systems and the resulting protori across sections; define all embedding classes explicitly before their use in computations.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation of minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained

full rationale

The paper defines noncommutative protori as inductive limits of higher-dimensional noncommutative tori and computes their Elliott invariants (ordered K-groups, trace cone, scale, projection scale) explicitly for specified classes of embeddings (toric maps, Morita-corner, dimension-changing, proper). These computations rely on the preservation of algebraic and topological structures under the listed embeddings, which are external to the target invariants rather than defined in terms of them. No equations or claims reduce a prediction to a fitted parameter by construction, and no load-bearing step is justified solely by self-citation whose content is itself unverified. The construction of compatible spectral triples via Fourier- and Morita-compatible Dirac structures follows similarly from the inductive system data. The derivation chain is therefore independent of its outputs.

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

Abstract only; no free parameters, axioms, or invented entities are identifiable.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Noncommutative protori and inductive spectral triples." pith.science (2026). https://pith.science/paper/46AENEVV

@misc{pith2026260526049,
  author       = {Pith},
  title        = {Pith review of: Noncommutative protori and inductive spectral triples},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/46AENEVV}},
  note         = {Machine review of arXiv:2605.26049}
}
abstract

We study inductive limits of higher-dimensional noncommutative tori, which we call noncommutative protori. We compute the Elliott invariants for broad classes of unital and nonunital systems, including toric maps, Morita-corner embeddings, and dimension-changing and proper embeddings. For the resulting simple limits we determine explicitly the ordered $K$-groups, trace cone, scale, and projection scale, yielding concrete classification criteria. We also construct compatible spectral triples and locally compact spectral triples on these limits via Fourier- and Morita-compatible Dirac structures.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 3 canonical work pages

  1. [1]

    Antonini, D

    P. Antonini, D. Guido, T. Isola, and A. Rubin,A note on twisted crossed products and spectral triples, J. Geom. Phys.180(2022), Paper No. 104640, 25

    2022

  2. [2]

    Scand.69(1991), no

    Bruce Blackadar, Marius D˘ ad˘ arlat, and Mikael Rørdam,The real rank of inductive limitC∗-algebras, Math. Scand.69(1991), no. 2, 211–216 (1992)

    1991

  3. [3]

    Recent advances in operator algebras (Orl´ eans, 1992)

    Etienne Blanchard,Tensor products ofC(X)-algebras overC(X), Ast´ erisque232(1995), 81–92. Recent advances in operator algebras (Orl´ eans, 1992)

    1995

  4. [4]

    A. L. Carey, V. Gayral, A. Rennie, and F. A. Sukochev,Integration on locally compact noncommutative spaces, J. Funct. Anal.263(2012), no. 2, 383–414

    2012

  5. [5]

    A. L. Carey, V. Gayral, J. Phillips, A. Rennie, and F. A. Sukochev,Spectral flow for nonunital spectral triples, Canad. J. Math.67(2015), no. 4, 759–794

    2015

  6. [6]

    Rieffel,Yang-Mills for noncommutative two-tori, Operator algebras and mathe- matical physics (Iowa City, Iowa, 1985), Contemp

    Alain Connes and Marc A. Rieffel,Yang-Mills for noncommutative two-tori, Operator algebras and mathe- matical physics (Iowa City, Iowa, 1985), Contemp. Math., vol. 62, Amer. Math. Soc., Providence, RI, 1987, pp. 237–266

    1985

  7. [7]

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

    1994

  8. [8]

    Alain Connes and Michel Dubois-Violette,Noncommutative finite-dimensional manifolds. I. Spherical man- ifolds and related examples, Comm. Math. Phys.230(2002), no. 3, 539–579

    2002

Show all 43 references
  1. [9]

    ,Noncommutative finite dimensional manifolds. II. Moduli space and structure of noncommutative 3-spheres, Comm. Math. Phys.281(2008), no. 1, 23–127

    2008

  2. [10]

    Press, Baltimore, MD, 2011, pp

    Alain Connes and Paula Tretkoff,The Gauss-Bonnet theorem for the noncommutative two torus, Non- commutative geometry, arithmetic, and related topics, Johns Hopkins Univ. Press, Baltimore, MD, 2011, pp. 141–158

    2011

  3. [11]

    Operator Theory56(2006), no

    Erik Christensen and Cristina Ivan,Spectral triples for AFC ∗-algebras and metrics on the Cantor set, J. Operator Theory56(2006), no. 1, 17–46

    2006

  4. [12]

    Loring,A universal multicoefficient theorem for the Kasparov groups, Duke Math

    Marius Dadarlat and Terry A. Loring,A universal multicoefficient theorem for the Kasparov groups, Duke Math. J.84(1996), no. 2, 355–377

    1996

  5. [13]

    G. A. Elliott,On theK-theory of theC ∗-algebra generated by a projective representation of a torsion-free discrete abelian group, Operator algebras and group representations, Vol. I (Neptun, 1980), Monogr. Stud. Math., vol. 17, Pitman, Boston, MA, 1984, pp. 157–184

    1980

  6. [14]

    Elliott and David E

    George A. Elliott and David E. Evans,The structure of the irrational rotationC ∗-algebra, Ann. of Math. (2)138(1993), no. 3, 477–501

    1993

  7. [15]

    Elliott,On the classification ofC ∗-algebras of real rank zero, J

    George A. Elliott,On the classification ofC ∗-algebras of real rank zero, J. Reine Angew. Math.443(1993), 179–219

    1993

  8. [16]

    Elliott and Hanfeng Li,Strong Morita equivalence of higher-dimensional noncommutative tori

    George A. Elliott and Hanfeng Li,Strong Morita equivalence of higher-dimensional noncommutative tori. II, Math. Ann.341(2008), no. 4, 825–844

    2008

  9. [17]

    ,Morita equivalence of smooth noncommutative tori, Acta Math.199(2007), no. 1, 1–27

    2007

  10. [18]

    Larsen, and Judith Packer,Spectral triples for noncommutative solenoids and a Wiener’s lemma, J

    Carla Farsi, Therese Landry, Nadia S. Larsen, and Judith Packer,Spectral triples for noncommutative solenoids and a Wiener’s lemma, J. Noncommut. Geom.18(2024), no. 4, 1415–1452

    2024

  11. [19]

    Carla Farsi, Fr´ ed´ eric Latr´ emoli` ere, and Judith Packer,Spectral triples on noncommutative solenoids from the standard spectral triples on quantum tori, Proc. Amer. Math. Soc.154(2026), no. 2, 641–655

    2026

  12. [20]

    Noncom- mut

    Farzad Fathizadeh and Masoud Khalkhali,Scalar curvature for the noncommutative two torus, J. Noncom- mut. Geom.7(2013), no. 4, 1145–1183

    2013

  13. [21]

    Remus Floricel and Asghar Ghorbanpour,On inductive limit spectral triples, Proc. Amer. Math. Soc.147 (2019), no. 8, 3611–3619

    2019

  14. [22]

    Guihua Gong, Huaxin Lin, and Zhuang Niu,A review of the Elliott program of classification of simple amenableC ∗-algebras(2023), available atarXiv:2311.14238[math.OA]

    2023

  15. [23]

    Guihua Gong and Huaxin Lin,On classification of non-unital amenable simpleC ∗-algebras, III, Stably projectionlessC ∗-algebras(2021), available atarXiv:2112.14003[math.OA]

    2021

  16. [24]

    Morris,Weight andc, J

    Karl Heinrich Hofmann and Sidney A. Morris,Weight andc, J. Pure Appl. Algebra68(1990), no. 1-2, 181–194. Special issue in honor of B. Banaschewski

    1990

  17. [25]

    Hofmann and Sidney A

    Karl H. Hofmann and Sidney A. Morris,The structure of compact groups, Second revised and augmented edition, De Gruyter Studies in Mathematics, vol. 25, Walter de Gruyter & Co., Berlin, 2006

    2006

  18. [26]

    Reine Angew

    Hanfeng Li,Strong Morita equivalence of higher-dimensional noncommutative tori, J. Reine Angew. Math. 576(2004), 167–180

    2004

  19. [27]

    Huaxin Lin,Classification of homomorphisms and dynamical systems, Trans. Amer. Math. Soc.359(2007), no. 2, 859–895. NONCOMMUTATIVE PROTORI AND INDUCTIVE SPECTRAL TRIPLES 55

    2007

  20. [28]

    Z.263(2009), no

    ,The range of approximate unitary equivalence classes of homomorphisms from AH-algebras, Math. Z.263(2009), no. 4, 903–922

    2009

  21. [29]

    Math.24A(2018), 155– 191

    Fr´ ed´ eric Latr´ emoli` ere and Judith Packer,Noncommutative solenoids, New York J. Math.24A(2018), 155– 191

    2018

  22. [30]

    Noncommut

    Varghese Mathai and Jonathan Rosenberg,A noncommutative sigma-model, J. Noncommut. Geom.5(2011), no. 2, 265–294

    2011

  23. [31]

    ,The Riemann-Roch theorem on higher dimensional complex noncommutative tori, J. Geom. Phys. 147(2020), 103534, 9

    2020

  24. [32]

    Christopher Phillips,Every simple higher dimensional noncommutative torus is an AT algebra(2006), available atarXiv:math/0609783[math.OA]

    N. Christopher Phillips,Every simple higher dimensional noncommutative torus is an AT algebra(2006), available atarXiv:math/0609783[math.OA]

    2006 arXiv

  25. [33]

    Pimsner and D

    M. Pimsner and D. Voiculescu,Exact sequences forK-groups and Ext-groups of certain cross-productC ∗- algebras, J. Operator Theory4(1980), no. 1, 93–118

    1980

  26. [34]

    Rennie,Smoothness and locality for nonunital spectral triples,K-Theory28(2003), no

    A. Rennie,Smoothness and locality for nonunital spectral triples,K-Theory28(2003), no. 2, 127–165

    2003

  27. [35]

    Rieffel,C ∗-algebras associated with irrational rotations, Pacific J

    Marc A. Rieffel,C ∗-algebras associated with irrational rotations, Pacific J. Math.93(1981), no. 2, 415–429

    1981

  28. [36]

    ,Projective modules over higher-dimensional noncommutative tori, Canad. J. Math.40(1988), no. 2, 257–338

    1988

  29. [37]

    Math., vol

    ,Noncommutative tori—a case study of noncommutative differentiable manifolds, Geometric and topological invariants of elliptic operators (Brunswick, ME, 1988), Contemp. Math., vol. 105, Amer. Math. Soc., Providence, RI, 1990, pp. 191–211

    1988

  30. [38]

    Rieffel and Albert Schwarz,Morita equivalence of multidimensional noncommutative tori, Internat

    Marc A. Rieffel and Albert Schwarz,Morita equivalence of multidimensional noncommutative tori, Internat. J. Math.10(1999), no. 2, 289–299

    1999

  31. [39]

    Rieffel,GroupC ∗-algebras as compact quantum metric spaces, Doc

    Marc A. Rieffel,GroupC ∗-algebras as compact quantum metric spaces, Doc. Math.7(2002), 605–651

    2002

  32. [40]

    Joseph Slawny,On factor representations and theC ∗-algebra of canonical commutation relations, Comm. Math. Phys.24(1972), 151–170

    1972

  33. [41]

    Toms and Wilhelm Winter,Strongly self-absorbingC ∗-algebras, Trans

    Andrew S. Toms and Wilhelm Winter,Strongly self-absorbingC ∗-algebras, Trans. Amer. Math. Soc.359 (2007), no. 8, 3999–4029

    2007

  34. [42]

    ,Z-stable ASH algebras, Canad. J. Math.60(2008), no. 3, 703–720

    2008

  35. [43]

    Williams,Crossed products ofC ∗-algebras, Mathematical Surveys and Monographs, vol

    Dana P. Williams,Crossed products ofC ∗-algebras, Mathematical Surveys and Monographs, vol. 134, Amer- ican Mathematical Society, Providence, RI, 2007. University of Regina, Department of Mathematics and Statistics, Regina, SK, Canada Email address:Remus.Floricel@uregina.ca Un...

    2007

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.