Recognition: unknown
Noncommutative Geometry, Spectral Asymptotics, and Semiclassical Analysis
Pith reviewed 2026-05-10 08:50 UTC · model grok-4.3
The pith
Semiclassical Weyl laws and Connes integration formulas are obtained for a large class of spectral triples by removing dimension and regularity restrictions and replacing the prior Tauberian condition with a weaker Condition (W).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We combine various techniques from functional analysis and spectral theory to obtain semiclassical Weyl laws and extensions of Connes' integration formula for a large class of noncommutative manifolds (i.e., spectral triples). These results generalize and simplify recent results of McDonald-Sukochev-Zanin. In particular, all the regularity assumptions and restrictions on dimension there are removed in our approach. Moreover, the Tauberian condition used by McDonald-Sukochev-Zanin is replaced by a weaker spectral theoretic condition, called Condition (W).
Load-bearing premise
Condition (W) holds for the spectral triples under consideration, and the Tauberian conditions that imply Condition (W) are satisfied in the listed examples (Dirichlet/Neumann problems, Riemannian manifolds, quantum tori, sub-Riemannian manifolds).
read the original abstract
Semiclassical analysis and noncommutative geometry are two pillars of quantum theory. It's only recently that bridges between them have been emerging. In this monograph, we combine various techniques from functional analysis and spectral theory to obtain semiclassical Weyl laws and extensions of Connes' integration formula for a large class of noncommutative manifolds (i.e., spectral triples). These results generalize and simplify recent results of McDonald-Sukochev-Zanin. In particular, all the regularity assumptions and restrictions on dimension there are removed in our approach. Moreover, the Tauberian condition used by McDonald-Sukochev-Zanin is replaced by a weaker spectral theoretic condition, called Condition (W). That condition holds in fairly greater generality and significantly open the scope of applicability of the main results. We also give Tauberian conditions that imply Condition (W). These Tauberian conditions are easier to check in practice than the Tauberian condition of McDonald-Sukochev-Zanin and are satisfied in numerous examples. The need for these conditions was highlighted by Alain Connes in an online seminar. The main results of this memoire are illustrated by semiclassical Weyl's laws and integration formulas in the following settings: (i) Dirichlet and Neumann problems on Euclidean domains with smooth boundaries; (ii) closed Riemannian manifolds; (iii) open manifolds with conformally cusp metrics of finite volume; (iv) quantum tori; and (v) sub-Riemannian manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to combine techniques from functional analysis and spectral theory to derive semiclassical Weyl laws and extensions of Connes' integration formula for spectral triples. It introduces Condition (W) as a weaker replacement for the Tauberian condition used by McDonald-Sukochev-Zanin, removes all regularity assumptions and dimension restrictions, provides easier Tauberian conditions implying Condition (W), and demonstrates the results in five specific settings: Dirichlet and Neumann problems on Euclidean domains with smooth boundaries, closed Riemannian manifolds, open manifolds with conformally cusp metrics of finite volume, quantum tori, and sub-Riemannian manifolds.
Significance. If the central results hold, this paper makes a substantial contribution by significantly expanding the class of noncommutative manifolds for which these asymptotic formulas apply. The introduction of Condition (W) and the associated Tauberian conditions that are easier to verify represent a technical improvement over prior work. The explicit applications to a wide range of examples, including those highlighted by Connes, add practical value and could facilitate further research in noncommutative geometry and semiclassical analysis.
minor comments (3)
- [Abstract] Abstract: The claim that Condition (W) 'holds in fairly greater generality' would be strengthened by a one-sentence indication of the precise classes of spectral triples for which it is verified beyond the five examples.
- [Introduction] Introduction: The reference to Alain Connes' online seminar highlighting the need for these conditions should include a specific citation or link if available.
- [Examples] Examples: In each of the five illustrative settings, the verification that the provided Tauberian conditions imply Condition (W) should be explicitly cross-referenced to the statement of the main theorems.
Simulated Author's Rebuttal
We thank the referee for their careful reading and positive assessment of our manuscript. Their summary accurately reflects the scope and contributions of the work, including the removal of dimension and regularity restrictions, the introduction of the weaker Condition (W), and the applications to the listed geometric settings. We are pleased that the referee recognizes the technical improvements over prior results and the practical value of the examples.
Circularity Check
No significant circularity
full rationale
The paper defines Condition (W) as a new, weaker spectral-theoretic hypothesis that replaces the Tauberian condition of McDonald-Sukochev-Zanin, then proves that several easier-to-check Tauberian conditions imply (W) and verifies that these hold in the listed classes of examples (Riemannian manifolds, quantum tori, etc.). All main results (semiclassical Weyl laws and Connes-type integration formulas) are derived from standard functional-analysis and spectral-theory arguments under (W); no equation or claim reduces by construction to a fitted parameter, self-definition, or self-citation chain. The argument structure is a straightforward chain of implications with independent content.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard properties and definitions of spectral triples from noncommutative geometry
Reference graph
Works this paper leans on
-
[1]
Cam- bridge Studies in Advanced Mathematics, xviii+746 pp
Agrachev, A; Barilari, D.; Boscain, U.:A Comprehensive introduction to sub-Riemannian geometry. Cam- bridge Studies in Advanced Mathematics, xviii+746 pp. (2019)
2019
-
[2]
Agranovich, M.S.:On a mixed Poincar´ e-Steklov type spectral problem in a Lipschitz domain. Russ. J. Math. Phys.13(2006) 239–244
2006
-
[3]
Agranovich, M.S.; Amosov, B.A.:Estimates fors-numbers, and spectral asymptotics for integral operators of potential type on nonsmooth surfaces. Funct. Anal. Appl.30(1996), no. 2, 75–89
1996
-
[4]
Andreev, A.S.:An estimate of the remainder in the spectral asymptotics of pseudodijferential operators of negative order. Funct. Anal. Appl.20(1986), 124–125
1986
-
[5]
Andreev, A.S.:Asymptotics of the spectrum of a compact pseudodifferential operators in a Euclidean domain. Math. USSR Sb.65(1990), 205–228
1990
-
[6]
PreprintarXiv:2201.12060, 47 pp
Androulidakis, I; Mohsen, O; Yuncken, R.:A pseudodifferential calculus for maximally hypoelliptic operators and the Helffer-Nourrigat conjecture. PreprintarXiv:2201.12060, 47 pp
-
[7]
Atiyah, M.F.; Singer, I.M.:The index of elliptic operators. I. Ann. Math87(1968), 484–530
1968
-
[8]
Baaj, S.; Julg, P.:Th´ eorie bivariante de Kasparov et op´ erateurs non born´ es dans lesC?-modules hilbertiens. C.R. Acad. Sc. Paris S´ er. I Math.293(1983), 875–878
1983
-
[9]
Baaj, S.:Calcul pseudo-diff´ erentiel et produits crois´ es deC∗-alg´ ebres. I, II. C. R. Acad. Sc. Paris, s´ er. I,307 (1988), 581–586, 663–666
1988
-
[10]
B¨ ar, C.:The Dirac operator on hyperbolic manifolds of finite volume. J. Diff. Geom.54(2000), 439–488. The
2000
-
[11]
Bahouri, H.; Barilari, D.; Gallagher, I.; L´ eautaud, M.:Spectral summability for the quartic oscillator with applications to the Engel group. J. Spectr. Theory13(2023), 623–706
2023
-
[12]
Battisti, U.; Seiler, J.:Boundary value problems with Atiyah-Patodi-Singer type conditions and spectral triples. J. Noncommut. Geom.11(2017), 887–917
2017
-
[13]
Annals of Mathematics Studies, 119, Princeton University Press, Princeton, NJ, 1988
Beals, R.; Greiner, P.:Calculus on Heisenberg manifolds. Annals of Mathematics Studies, 119, Princeton University Press, Princeton, NJ, 1988
1988
-
[14]
Beals, R.; Greiner, P.C.; Stanton, N.K.:The heat equation on a CR manifold. J. Differential Geom.20 (1984), no. 2, 343–387
1984
-
[15]
Sub-Riemannian geometry, pp
Bella¨ ıche, A.:The tangent space in sub-Riemannian geometry. Sub-Riemannian geometry, pp. 1–78, Progr. Math. 144, Birkh¨ auser, Basel, 1996
1996
-
[16]
Ben Arous, G.:D´ eveloppement asymptotique du noyau de la chaleur hypoelliptique sur la diagonale. Ann. Inst. Fourier39(1989), no. 1, 73–99
1989
-
[17]
Springer-Verlag, Berlin, 1992
Berline, N.; Getzler, E.; Vergne, M.:Heat kernels and Dirac operators. Springer-Verlag, Berlin, 1992
1992
-
[18]
Ast´ erisque265(2000), 115 pp
Biquard, O.:M´ etriques d’Einstein asymptotiquement sym´ etriques. Ast´ erisque265(2000), 115 pp
2000
-
[19]
Birman, M.S.; Koplienko, L.S.; Solomyak, M.Z.:Estimates of the spectrum of a difference of fractional powers of selfadjoint operators. Izv. Vyssh. Uchebn. Zaved. Matematika,3(154) (1975), 3–10 (Russian). Russian Math. (Iz. VUZ),19(3) (1975), 1–6 (English)
1975
-
[20]
Problemy Mat
Birman, M.S.; Solomyak, M.Z.:Double Stieltjes operator integrals(Russian). Problemy Mat. Fiz. No. 1, Izdat. Leningrad Univ., 1966, pp. 33–67
1966
-
[21]
non-smooth
Birman, M.Sh.; Solomyak, M.Z.:The leading term of the spectral asymptotics for “non-smooth” elliptic problems. Funct. Anal. Appl.4(1970), 265–275
1970
-
[22]
Birman, M.Sh.; Solomyak, M.Z.:Spectral asymptotics of nonsmooth elliptic operators. I. Trudy Moskov. Mat. Obshch.27(1972), 3–52 (Russian). Trans. Moscow Math. Soc.27(1972), 1–52 (1975) (English)
1972
-
[23]
III(Russian)
Birman, M.S.; Solomyak, M.Z.:Double Stieltjes operator integrals. III(Russian). Problemy Mat. Fiz. No. ˙6, Izdat. Leningrad. Univ., 1973, pp. 27–53
1973
-
[24]
Izdanie Inst
Birman, M.Sh., Solomyak, M.Z.:Quantitative analysis in Sobolev imbedding theorems and applications to spectral theory. Izdanie Inst. Mat. Akad. Nauk Ukrain. SSR, Kiev, 1974 (Russian). American Mathematical Society Translations, Series 2, 114. American Mathematical Society, Providence, R.I., 1980
1974
-
[25]
Nauk 32(1977), no
Birman, M.Sh., Solomyak, M.Z.:Estimates for the singular numbers of integral operators.Uspehi Mat. Nauk 32(1977), no. 1(193), 17–84, 271
1977
-
[26]
Vestnik Leningrad
Birman, M.S.; Solomyak, M.Z.:Asymptotic behavior of the spectrum of pseudodifferential operators with anisotropically homogeneous symbols. Vestnik Leningrad. Univ.13, no. 3 (1977), 13–21 (Russian). Vestn. Leningr. Univ., Math.10(1982), 237–247 (English). 105
1977
-
[27]
Birman, M.S.; Solomyak, M.Z.:Asymptotic behavior of the spectrum of pseudodifferential operators with anisotropically homogeneous symbols. II. Vestnik Leningrad. Univ. Mat. Mekh. Astronom. 13, no. 3 (1979), 5–10 (Russian). Vestn. Leningr. Univ., Math.12(1980), 155–161 (English)
1979
-
[28]
Birman, M.S., Solomyak, M.Z.:Asymptotics of the spectrum of variational problems on solutions of elliptic equations. Sib. Math J.20(1979), 1–15
1979
-
[29]
Reidel, Boston, MA, 1987
Birman, M.Sh., Solomyak, M.Z.:Spectral theory of self-adjoint operators in Hilbert space, D. Reidel, Boston, MA, 1987
1987
-
[30]
Estimates for number of bound states as function- theoretical problem.Spectral theory of operators (Novgorod, 1989), 1–54
Birman M.Sh., Solomyak M.Z.:Schr¨ odinger operator. Estimates for number of bound states as function- theoretical problem.Spectral theory of operators (Novgorod, 1989), 1–54. Amer. Math. Soc. Transl. Ser. 2, 150, Amer. Math. Soc., Providence, RI, 1992
1989
-
[31]
Birman, M.S.; Solomyak, M.Z.:Estimates for the difference of fractional powers of selfadjoint operators under unbounded perturbations. J. Sov. Math.61, no. 2 (1992), 2018–2035
1992
-
[32]
Birman, M.S.; Solomyak, M.Z.:Operator integration, perturbations and commutators. J. Math. Sci.63(1993), 129–148
1993
-
[33]
Birman, M.S.; Solomyak, M.Z.:Double operator integrals in a Hilbert space. Int. Eq. Oper. Th.47(2) (2003), 131–168
2003
-
[34]
Birman, M.S.; Yafaev, D.R.:Asymptotic behavior of the spectrum of the scattering matrix. J. Sov. Math.25 (1984), 793–814
1984
-
[35]
SpringerBriefs in Math- ematics
Bramanti, M.:An Invitation to hypoelliptic operators and H¨ ormander’s vector fields. SpringerBriefs in Math- ematics. Springer International Publishing, New York, 2014
2014
-
[36]
Braverman, M.:The semi-classical Weyl law on complete manifolds. Proc. Amer. Math. Soc. (2025), doi:10.1090/proc/17571
-
[37]
Springer Monographs in Mathematics
Bonfiglioli, A.; Lanconelli, E.; Uguzzoni, F.:Stratified Lie groups and potential theory for their sub- Laplacians. Springer Monographs in Mathematics. Springer, Berlin (2007)
2007
-
[38]
154, American Mathematical Society, Providence, RI, 2009
ˇCap, A.; Slov´ ak, J.:Parabolic Geometries I: Background and General Theory.Mathematical Surveys and Monographs vol. 154, American Mathematical Society, Providence, RI, 2009
2009
-
[39]
Carey, A.; Phillips, J.:Unbounded Fredholm modules and spectral flow. Can. J. Math.50(4) (1998), 673–718
1998
-
[40]
Carey, A.L.; Phillips, J.; Sukochev, F.A.:On Unboundedp-summable Fredholm modules. Adv. Math.151 (2000), 140–163
2000
-
[41]
Carleman, T.:Propri´ et´ es asymptotiques des fonctions fondamentales des membranes vibrantes. Skand. Ma- tent. Kongress (1934)
1934
-
[42]
Cheeger, J.:On the Hodge theory of Riemannian pseudomanifolds. Proc. Sympos. Pure Math., Vol. 36, pp. 91–146, Amer. Math. Soc., Providence, RI, 1980
1980
-
[43]
General results
Choi, W.; Ponge, R.:Privileged coordinates and nilpotent approximation for Carnot manifolds, I. General results. J. Dyn. Control Syst.25(2019), 109–157
2019
-
[44]
Carnot coordinates
Choi, W.; Ponge, R.:Privileged coordinates and nilpotent approximation for Carnot manifolds, II. Carnot coordinates. J. Dyn. Control Syst.25(2019), 631–670
2019
-
[45]
Differential Geom
Choi, W.; Ponge, R.:Tangent maps and tangent groupoid for Carnot manifolds. Differential Geom. Appl. 62(2019), 136–183
2019
-
[46]
Colbois, B.; Girouard, A.; Gordon, C. ; Sher, D.:Some recent developments on the Steklov eigenvalue problem. Rev. Mat. Complut .37, (2024), 1–161 . https://doi.org/10.1007/s13163-023-00480-3
-
[47]
le cas non int´ egrable
Colin de Verdi` ere, Y.:Spectre conjoint d’op´ erateurs pseudo-differentiels qui commutent I. le cas non int´ egrable. Duke Math. J.46(1979), 169–182
1979
-
[48]
Duke Math
Colin de Verdi` ere, Y.; Hillairet, L.; Tr´ elat, E.:Spectral asymptotics for sub-Riemannian Laplacians, I: Quantum ergodicity and quantum limits in the 3-dimensional contact case. Duke Math. J.167(1) (2018), 109–174
2018
-
[49]
Annales Henri Lebesgue4(2021), 897–971
Colin de Verdi` ere, Y.; Hillairet, L.; Tr´ elat, E.:Small-time asymptotics of hypoelliptic heat kernels near the diagonal, nilpotentization and related results. Annales Henri Lebesgue4(2021), 897–971
2021
-
[50]
Preprint arXiv:2212.02920, 98 pp
Colin de Verdi` ere, Y.; Hillairet, L.; Tr´ elat, E.:Spectral asymptotics for sub-Riemannian Laplacians. Preprint arXiv:2212.02920, 98 pp
-
[51]
Connes, A.:C*-alg` ebres et g´ eom´ etrie differentielle. C. R. Acad. Sc. Paris, s´ er. A,290(1980), 599–604
1980
-
[52]
Connes, A.:The action functional in non-commutative geometry. Comm. Math. Phys.117(1988), 673–683
1988
-
[53]
Academic Press, Inc., San Diego, CA, 1994
Connes, A.:Noncommutative geometry. Academic Press, Inc., San Diego, CA, 1994
1994
-
[54]
Connes, A.:Heat expansion and zeta function. Ann. Funct. Anal.15(2024), no. 3, Paper No. 59, 13 pp
2024
-
[55]
Colloquium Publica- tions, Vol
Connes, A.; Marcolli, M.:Noncommutative Geometry, Quantum Fields and Motives. Colloquium Publica- tions, Vol. 55, American Mathematical Society, 2008
2008
-
[56]
Connes, A.; Moscovici, H.:The local index formula in noncommutative geometry. Geom. Funct. Anal.5 (1995), 174–243
1995
-
[57]
Connes, A.; Moscovici, H.:Type III and spectral triples.Traces in Geometry, Number Theory and Quantum Fields, Aspects of MathematicsE38, Vieweg Verlag 2008, 57–71
2008
-
[58]
Ergodic Theory and Dynamical Systems39(2019), 2481–2506
Connes, A.; McDonald, E.; Sukochev, F.; Zanin, D.:Conformal trace theorem for Julia sets of quadratic polynomials. Ergodic Theory and Dynamical Systems39(2019), 2481–2506
2019
-
[59]
Connes, A.; Moscovici, H.:Transgression du caract` ere de Chern et cohomologie cyclique. C.R. Acad. Sc. Paris S´ er. I Math.303(1986), 913–918. 106
1986
-
[60]
Connes, A.; Moscovici, H.:The UV prolate spectrum matches the zeros of zeta. Proc. Natl. Acad. Sci. USA 119(2022), no. 22
2022
-
[61]
Connes, A.; Sukochev, F.; Zanin, D.:Trace theorem for quasi-Fuchsian groups. Mat. Sb.,208(2017), 59–90
2017
-
[62]
and Yuncken, R.:A groupoid approach to the Wodzicki residue
Couchet, N. and Yuncken, R.:A groupoid approach to the Wodzicki residue. J. Funct. Anal.286(2024), Paper No. 110268
2024
-
[63]
Studia Math.113(2) (1995), 109–125
Cupala, W.:The upper bound of the number of eigenvalues for a class of perturbed Dirichlet forms. Studia Math.113(2) (1995), 109–125
1995
-
[64]
Cwikel, M.:Weak type estimates for singular values and the number of bound states of Schr¨ odinger operators. Ann. of Math. (2), 106(1):93–100, 1977
1977
- [65]
-
[66]
Pseudodifferential Operators (Oberwolfach, 1986), Lecture Notes in Math., vol
Dauge, M.; Robert, D.:Weyl’s formula for a class of pseudodifferential operators with negative order on L2(Rn). Pseudodifferential Operators (Oberwolfach, 1986), Lecture Notes in Math., vol. 1256, Springer- Verlag, 1987, pp. 91–122
1986
-
[67]
Dave, S., Haller, S.:The heat asymptotics on filtered manifolds. J. Geom. Anal.30(2020), 337–389
2020
-
[68]
Dave, S., Haller, S.:Graded hypoellipticity of BGG sequences. Ann. Glob. Anal. Geom.62(2022), 721–789
2022
-
[69]
Dixmier, J.:Existence de traces non normales. C. R. Acad. Sci. Paris S´ er. A–B262(1966), A1107–A1108
1966
-
[70]
Duistermaat, J.J., Guillemin, V.W.:The spectrum of positive elliptic operators and periodic bicharacteristics. Invent. Math.29(1975), 39–79
1975
-
[71]
Dykema, K; Figiel, T.; Weiss, G.; Wodzicki, M.:Commutator structure of operator ideals. Adv. Math.185 (2004), 1–79
2004
-
[72]
Pacific J
Fack, T.; Kosaki, H.:Generalizeds-numbers ofτ-measurable operators. Pacific J. Math.123(1986), 269–300
1986
-
[73]
Fan, K.:Maximum properties and inequalities for the eigenvalues of completely continuous operators. Proc. Nat. Acad. Sci. U.S.A.37(1951), 760–766
1951
-
[74]
Fathizadeh, F., Khalkhali, M.:Weyl ˜Os law and Connes ˜O trace theorem for noncommutative two tori.Lett. Math. Phys.103(2013), 1–18
2013
-
[75]
Fermanian Kammerer, C.; Fischer, V.:Quantum evolution and sub-Laplacian operators on groups of Heisen- berg type. J. Spectr. Theory11(3) (2021), 1313–1367
2021
-
[76]
PreprintarXiv:2101.07027, 50 pp
Fischer, V.:Semiclassical analysis on compact nilmanifolds. PreprintarXiv:2101.07027, 50 pp
-
[77]
Fischer, V.:Asymptotics and zeta functions on nilmanifolds. J. Math. Pures Appl.160(2022), 1–28
2022
-
[78]
Fischer, V.; Mikkelsen, S.:Semiclassical functional calculus on nilpotent Lie groups and their compact nilmanifolds. Anal. Math. Phys.15, 60 (2025)
2025
-
[79]
Progress in Mathematics, 314
Fischer, V.; Ruzhansky, M.:Quantization on nilpotent Lie groups. Progress in Mathematics, 314. Birkh¨ auser/Springer, 2016
2016
-
[80]
Mat.13(1975), 161–207
Folland, G.Subelliptic estimates and function spaces on nilpotent Lie groups.Ark. Mat.13(1975), 161–207
1975
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.