pith. sign in

arxiv: 2607.01681 · v1 · pith:BFVOLH3Unew · submitted 2026-07-02 · 🧮 math.OA

How to approximate the flat spectral triple of a quantum torus by fuzzy tori : a twisted tale

Frederic Latremoliere This is my paper

Pith reviewed 2026-07-03 02:19 UTC · model grok-4.3

classification 🧮 math.OA
keywords spectral propinquitytwisted spectral triplesfuzzy toriquantum torusDirac triplediscrete calculusnoncommutative geometryC*-algebras
0
0 comments X

The pith

Fuzzy tori equipped with discrete calculus converge to the flat Dirac triple on the torus via an extended spectral propinquity.

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

The paper proves that finite-dimensional fuzzy tori can approximate the flat spectral triple of the quantum torus at the differential level. It does this by defining twisted spectral triples whose twist is a linear map acting as a discretized Riesz transform, which handles the non-locality of discrete calculus that prevents the standard Leibniz rule. The spectral propinquity is then extended to this new setting with possibly unbounded twists. This extension allows showing that the fuzzy tori converge to the standard flat Dirac triple while their twists converge to the identity, all within the C*-algebra category. A sympathetic reader cares because this offers a way to obtain rigorous finite models for quantum geometry without leaving the usual algebraic setting.

Core claim

We prove that the classical and the quantum flat torus can be rigorously approximated at a differential level by finite-dimensional fuzzy tori within the framework of the spectral propinquity. Standard attempts are obstructed by the non-locality of discrete calculus and failure of the Leibniz rule. We introduce a relaxed notion of a twisted spectral triple where the twist is a linear map acting as a discretized Riesz transform that encapsulates the non-locality of the discrete world. By extending the spectral propinquity to this generalized setting of twisted spectral triples with possibly unbounded twists, we prove that fuzzy tori equipped with their natural discrete calculus converge to th

What carries the argument

Twisted spectral triple with a linear twist map as discretized Riesz transform, together with the extension of the spectral propinquity to such triples with unbounded twists.

If this is right

  • The flat Dirac triple on the torus is the limit of a sequence of fuzzy tori in the extended propinquity.
  • The twists on the fuzzy tori converge to the identity map in the appropriate topology.
  • Finite fuzzy tori provide differential approximations to both classical and quantum tori while remaining C*-algebras.
  • The non-locality of discrete calculus is captured by the linear twist without abandoning the C*-algebraic framework.

Where Pith is reading between the lines

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

  • This construction may extend to other discretizations in noncommutative geometry where the Leibniz rule fails.
  • Sequences of fuzzy tori could be used to numerically approximate spectral properties of the quantum torus.
  • The extended propinquity might metrize convergence for other relaxed commutator conditions in discrete models.

Load-bearing premise

The linear twist map suffices to capture the non-locality of the discrete calculus so that the extended propinquity can still measure convergence to the continuous Dirac triple.

What would settle it

A sequence of fuzzy tori where the distance to the flat Dirac triple in the extended spectral propinquity stays bounded away from zero as the dimension grows.

read the original abstract

We prove that the classical and the quantum flat torus can be rigorously approximated at a differential level by finite-dimensional fuzzy tori within the framework of the spectral propinquity. Standard attempts to establish this convergence are traditionally obstructed by the intrinsic non-locality of discrete calculus and the subsequent failure of the Leibniz rule. While contemporary alternatives such as spectral truncations circumvent this issue by abandoning $C^*$-algebras in favor of operator systems, we instead preserve the $C^*$-algebraic category by generalizing the commutator formula. To this end, we introduce a relaxed notion of a twisted spectral triple where the twist is a linear map acting as a discretized Riesz transform that encapsulates the non-locality of the discrete world. By extending the spectral propinquity to this generalized setting of twisted spectral triples with possibly unbounded twists, we prove that fuzzy tori equipped with their natural discrete calculus converge to the standard flat Dirac triple on the torus, while the underlying twists converge to the identity.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to prove that fuzzy tori equipped with their natural discrete calculus converge to the standard flat Dirac spectral triple on the torus (and that the underlying twists converge to the identity) inside an extension of the spectral propinquity to twisted spectral triples, where the twist is a linear map acting as a discretized Riesz transform. This construction is introduced to accommodate the non-locality of discrete calculus while remaining inside the C*-algebra category, avoiding the need to pass to operator systems.

Significance. If the central convergence result and the metric properties of the extended propinquity hold, the work supplies a C*-algebraic route to finite-dimensional approximations of the differential structure on quantum tori. The introduction of relaxed twisted spectral triples with possibly unbounded linear twists and the corresponding extension of the propinquity constitute the main technical novelty; these tools could be useful for other discrete-to-continuous limits in noncommutative geometry that must preserve the Leibniz rule only up to a controlled twist.

major comments (2)
  1. [Abstract / introduction] The abstract asserts a proof of convergence inside the extended propinquity, yet the provided text supplies neither the explicit definition of the extended distance nor the estimates establishing that the sequence of twisted triples is Cauchy. Without these, it is impossible to verify that the relaxed commutator formula with the linear twist indeed yields a metric that metrizes the claimed limit.
  2. [Definition of relaxed twisted spectral triple] The weakest assumption identified in the reader's report—the claim that the discretized Riesz-transform twist is sufficient to capture non-locality while still allowing the propinquity to recover the classical Dirac triple—requires a concrete check that the twist map converges to the identity in the appropriate operator norm and that the resulting distance is independent of auxiliary choices in the discretization.
minor comments (2)
  1. Notation for the linear twist map and the relaxed commutator should be introduced with a displayed equation early in the text rather than only in prose.
  2. The manuscript should include a short comparison table or diagram contrasting the new relaxed twisted triple with both ordinary spectral triples and the operator-system truncations mentioned in the introduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying gaps in the presentation of the extended propinquity and its convergence properties. We address each major comment below and will revise the manuscript to supply the requested details.

read point-by-point responses

  1. Referee: [Abstract / introduction] The abstract asserts a proof of convergence inside the extended propinquity, yet the provided text supplies neither the explicit definition of the extended distance nor the estimates establishing that the sequence of twisted triples is Cauchy. Without these, it is impossible to verify that the relaxed commutator formula with the linear twist indeed yields a metric that metrizes the claimed limit.

    Authors: The referee is correct that the current version of the manuscript does not contain an explicit definition of the extended distance or the Cauchy estimates. We will add these in the revised manuscript: a precise definition of the extended spectral propinquity for relaxed twisted triples (including the relaxed commutator formula) will be inserted as a new subsection, and the estimates establishing that the sequence is Cauchy (together with the verification that the distance metrizes the claimed limit) will be supplied in the main convergence theorem. revision: yes

  2. Referee: [Definition of relaxed twisted spectral triple] The weakest assumption identified in the reader's report—the claim that the discretized Riesz-transform twist is sufficient to capture non-locality while still allowing the propinquity to recover the classical Dirac triple—requires a concrete check that the twist map converges to the identity in the appropriate operator norm and that the resulting distance is independent of auxiliary choices in the discretization.

    Authors: We agree that explicit verification is needed. In the revision we will add a proposition establishing norm-convergence of the discretized Riesz-transform twist to the identity and a remark (or short argument) showing that the resulting propinquity distance is independent of the auxiliary discretization choices, up to bounded equivalence of the underlying seminorms. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper introduces a new relaxed notion of twisted spectral triples with a linear twist map and extends the spectral propinquity framework to prove convergence of fuzzy tori to the flat Dirac triple. This is a direct mathematical construction and proof within the present work; no target result is obtained by fitting parameters to data, renaming known patterns, or reducing via self-citation chains to unverified prior claims by the same author. The derivation chain is self-contained against external benchmarks in noncommutative geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 1 invented entities

Review performed on abstract only; free parameters, axioms, and invented entities cannot be audited in detail.

invented entities (1)
  • twisted spectral triple no independent evidence
    purpose: Generalize spectral triples to accommodate non-local discrete calculus via a linear twist map
    Introduced to relax the Leibniz rule while remaining in the C*-category

pith-pipeline@v0.9.1-grok · 5700 in / 1091 out tokens · 20814 ms · 2026-07-03T02:19:36.785302+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 23 canonical work pages · 7 internal anchors

  1. [1]

    Aguilar, F

    K. Aguilar, F. Latrémolière, and T. Rainone,Bunce-deddens algebras as quantum gromov-hausorff distance limits of circle algebras, Integral Equations Operator Theory94(2022), no. 1, Paper no. 2, 42pp, ArXiv: 2008.07676

    work page arXiv 2022

  2. [2]

    Barrett,Matrix geometries and fuzzy spaces as finite spectral triples, J

    J. Barrett,Matrix geometries and fuzzy spaces as finite spectral triples, J. Math. Phys.56(2015), no. 8, 082301, 25pp

    2015

  3. [3]

    Bratteli and D

    O. Bratteli and D. Robinson,Operator algebras and quantum statistical mechanics i, Springer-Verlag, 1979

    1979

  4. [4]

    Connes,C*–algèbres et géométrie differentielle, C

    A. Connes,C*–algèbres et géométrie differentielle, C. R. de l’Academie des Sciences de Paris (1980), no. series A-B, 290

    1980

  5. [5]

    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

    1989

  6. [6]

    ,Noncommutative geometry, Academic Press, San Diego, 1994

    1994

  7. [7]

    Connes and H

    A. Connes and H. Moscovici,Type III and spectral triples, Traces in Geometry, Number Theory and Quantum Fields, Aspects of Math., vol. E38, Springer-Verlag, 2008, p. 51–71

    2008

  8. [8]

    Farsi, T

    C. Farsi, T . Landry, N. Larsen, and J. Packer,Spectral triples for noncommutative solenoids via length functions and inductive limits, (2022), 35 pages, ArXiv: 2212.07470

    work page arXiv 2022

  9. [9]

    Farsi; F

    C. Farsi; F. Latrémolière; J. Packer,Convergence of inductive sequences of spectral triples for the spectral propinquity, Adv. Math.437(2024), paper 109442, 59 pp., arXiv:2301.00274

    work page arXiv 2024

  10. [10]

    ,Spectral triples on noncommutative solenoids from the standard spectral triples on quantum tori, Proc. Amer. Math. Soc.Accepted(2024), 14 pages, arXiv:2403.16323

    work page arXiv 2024

  11. [11]

    Gaudillot Estrada and W

    Y. Gaudillot Estrada and W. D. van Suijkelom,Convergence of spectral truncations for compact metric groups, (2023), 9, ArXiv: 2110.14733

    work page arXiv 2023

  12. [12]

    Gromov,Metric structures for Riemannian and non-Riemannian spaces, Progress in Mathematics, Birkhäuser, 1999

    M. Gromov,Metric structures for Riemannian and non-Riemannian spaces, Progress in Mathematics, Birkhäuser, 1999

    1999

  13. [13]

    Hausdorff,Grundzüge der Mengenlehre, Verlag Von Veit und Comp., 1914

    F. Hausdorff,Grundzüge der Mengenlehre, Verlag Von Veit und Comp., 1914

    1914

  14. [14]

    Kaad and D

    J. Kaad and D. Kyed,The quantum metric structure of quantum SU(2), vol. 18, EMS Press, 2025

    2025

  15. [15]

    A twisted spectral triple for quantum SU(2)

    J. Kaad and R. Senior,A twisted spectral triple for quantum su(2), J. Geom. Phys.62(2012), no. 4, 731—739, ArXiv: arXiv:1109.2326

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  16. [16]

    Kato,Perturbation theory for linear operators, Springer, 1995

    T. Kato,Perturbation theory for linear operators, Springer, 1995

    1995

  17. [17]

    Kerr,Matricial quantum Gromov-Hausdorff distance, J

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

    work page arXiv 2003

  18. [18]

    Kerr and H

    D. Kerr and H. Li,On Gromov–Hausdorff convergence of operator metric spaces, J. Operator Theory1(2009), no. 1, 83–109

    2009

  19. [19]

    Kimura,Noncommutative gauge theories on fuzzy sphere and fuzzy torus from matrix model, Nuclear Phys

    Y. Kimura,Noncommutative gauge theories on fuzzy sphere and fuzzy torus from matrix model, Nuclear Phys. B604(2001), no. 1–2, 121–147. 43

    2001

  20. [20]

    Landry, M

    T. Landry, M. Lapidus, and F. Latrémolière,Metric approximations of the spectral triple on the Sierpinki gasket and other fractals, Adv. Math.385(2021), Paper No. 107771, 43 pp

    2021

  21. [21]

    Latrémolière,Continuity of the spectrum of dirac operators of spectral triples for the spectral propinquity, Math

    F. Latrémolière,Continuity of the spectrum of dirac operators of spectral triples for the spectral propinquity, Math. Ann.389(2024), no. 1, 765–817., ArXiv: 2112.11000

    work page arXiv 2024

  22. [22]

    Latrémolière,Approximation of the quantum tori by finite quantum tori for the quantum Gromov- Hausdorff distance, J

    F. Latrémolière,Approximation of the quantum tori by finite quantum tori for the quantum Gromov- Hausdorff distance, J. Funct. Anal.223(2005), 365–395, math.OA/0310214

    work page arXiv 2005

  23. [23]

    Convergence of Fuzzy Tori and Quantum Tori for the quantum Gromov-Hausdorff Propinquity: an explicit approach

    ,Convergence of fuzzy tori and quantum tori for the quantum Gromov–Hausdorff propinquity: an explicit approach., Münster J. Math.8(2015), no. 1, 57–98, arXiv: math/1312.0069

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  24. [24]

    ,The dual Gromov–Hausdorff propinquity, J. Math. Pures Appl.103(2015), no. 2, 303–351, arXiv: 1311.0104

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  25. [25]

    ,The quantum Gromov-Hausdorff propinquity, Trans. Amer. Math. Soc.368(2016), no. 1, 365–411

    2016

  26. [26]

    ,A compactness theorem for the dual Gromov-Hausdorff propinquity, Indiana Univ. Math. J.66 (2017), no. 5, 1707–1753, arXiv: 1501.06121

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  27. [27]

    ,The triangle inequality and the dual Gromov-Hausdorff propinquity, Indiana Univ. Math. J.66 (2017), no. 1, 297–313, arXiv: 1404.6633

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  28. [28]

    ,Convergence of spectral triples on fuzzy tori to spectral triples on quantum tori, Comm. Math. Phys. 388(2021), no. 2, 1049–1128, arXiv: 2102.03729

    work page arXiv 2021

  29. [29]

    ,The dual-modular Gromov-Hausdorff propinquity and completeness, J. Noncomm. Geometry115 (2021), no. 1, 347–398

    2021

  30. [30]

    Math.404(2022), Paper No

    ,The Gromov-Hausdorff propinquity for metric spectral triples, Adv. Math.404(2022), Paper No. 108393, 56

    2022

  31. [31]

    Noncommutative Solenoids and the Gromov-Hausdorff Propinquity

    F. Latrémolière and J. Packer,Noncommutative solenoids and the Gromov-Hausdorff propinquity, Proc. Amer. Math. Soc.145(2017), no. 5, 1179–1195, arXiv: 1601.02707

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  32. [32]

    Noncommutative Solenoids

    ,Noncommutative solenoids, New York J. Math.24A(2018), 155–191, arXiv: 1110.6227

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  33. [33]

    Marcolli M

    M. Marcolli M. Greenfield and K. Teh,Twisted spectral triples and quantum statistical mechanics systems, p-Adic Numbers Ultrametric Anal. Appl.6(2014), no. 2, 81—104

    2014

  34. [34]

    W. D. van Suijlekom M. Leimbach,Gromov–hausdorff convergence of spectral truncations for tori, (2023), ArXiv:2302.07877

    work page arXiv 2023

  35. [35]

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

    work page arXiv 1998

  36. [36]

    Math.4(1999), 559–600, math.OA/9906151

    ,Metrics on state spaces, Doc. Math.4(1999), 559–600, math.OA/9906151

    work page arXiv 1999

  37. [37]

    ,Gromov-Hausdorff distance for quantum metric spaces, Mem. Amer. Math. Soc.168(2004), no. 796, 1–65, math.OA/0011063

    work page arXiv 2004

  38. [38]

    Schreivogl and H

    P. Schreivogl and H. Steinacker,Generalized fuzzy torus and its modular properties, SIGMA9(2013), no. 060, 23 pages

    2013

  39. [39]

    van Suijlekom,A generalization of K-theory to operator systems, Submitted (2024), 19 pages, ArXiv: 2409.02773

    W. van Suijlekom,A generalization of K-theory to operator systems, Submitted (2024), 19 pages, ArXiv: 2409.02773

    work page arXiv 2024

  40. [40]

    ,Higher K-groups for operator systems, Submitted (2024), 14 pages, ArXiv:2411.02981

    work page arXiv 2024

  41. [41]

    W. D. van Suijlekom,Gromov-hausdorff convergence of state spaces for spectral truncations, J. Geom. Phys. 162(2021), 104075, ArXiv: 2005.08544

    work page arXiv 2021

  42. [42]

    Zeller-Meier,Produits croisés d’une C*-algèbre par un groupe d’ Automorphismes, J

    G. Zeller-Meier,Produits croisés d’une C*-algèbre par un groupe d’ Automorphismes, J. Math. pures et appl. 47(1968), no. 2, 101–239. Email address:frederic@math.du.edu URL:http://www.math.du.edu/~frederic DEPARTMENT OFMATHEMATICS, UNIVERSITY OFDENVER, DENVERCO 80208

    1968