Weyl's laws and Connes' Trace Theorem for operator-valued pseudo-differential operators
Pith reviewed 2026-05-20 02:54 UTC · model grok-4.3
The pith
Operator-valued pseudo-differential operators of negative order obey Weyl laws that compute the noncommutative integral directly from their principal symbols.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For operator-valued classical pseudo-differential operators of negative order with symbols valued in a semifinite von Neumann algebra M with normal semifinite faithful trace, the residue at s=0 of the localized zeta function equals the noncommutative integral of the principal symbol, and the eigenvalue counting function satisfies a Weyl law whose leading coefficient is likewise given by that symbol integral.
What carries the argument
The localized Riemann zeta function of an operator-valued elliptic pseudo-differential operator, whose residue is determined by the trace of its principal symbol.
Load-bearing premise
The symbols take values in a semifinite von Neumann algebra equipped with a normal semifinite faithful trace, and the operators are either right-compactly supported or elliptic of negative order so that the symbolic calculus and zeta-function residues remain well-defined.
What would settle it
Take a concrete right-compactly supported operator-valued pseudo-differential operator of order -n on a compact manifold, compute the residue of its localized zeta function at zero by spectral methods, and check whether the value equals the integral over the cotangent sphere of the trace of the principal symbol.
read the original abstract
We investigate the spectral asymptotic behavior of operator-valued classical pseudo-differential operators ($\Psi$DOs) for negative order with symbols taking values in a semifinite von Neumann algebran $\mathcal{M}$ equipped with a normal semifinite faithful trace. Within the framework of Connes' noncommutative geometry, we extend Connes' trace theorem to this operator-valued (type II) setting. Our main results are as follows: (i) a symbolic characterization of complex powers for operator-valued elliptic $\Psi$DOs, extending Seeley's classical construction; (ii) a trace formula for localized Riemann $\zeta$-functions that links the spectral residues of operator-valued elliptic operators to their principal symbols, thereby providing an operator-valued extension of the Connes--Wodzicki residue; (iii) Weyl's law for right-compactly supported operator-valued classical $\Psi$DOs of arbitrary negative order, which yields a direct spectral proof of the noncommutative integral that bypasses the use of Dixmier traces; (iv) Weyl's law for operator-valued commutators of certain Fourier multipliers with multiplication operators.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates the spectral asymptotic behavior of operator-valued classical pseudo-differential operators of negative order whose symbols take values in a semifinite von Neumann algebra M equipped with a normal semifinite faithful trace. Within Connes' noncommutative geometry, it extends Connes' trace theorem to this operator-valued (type II) setting. The four main results are: (i) a symbolic characterization of complex powers for operator-valued elliptic PsiDOs extending Seeley's construction; (ii) a trace formula for localized Riemann zeta-functions linking spectral residues of operator-valued elliptic operators to their principal symbols, yielding an operator-valued extension of the Connes-Wodzicki residue; (iii) Weyl's law for right-compactly supported operator-valued classical PsiDOs of arbitrary negative order, providing a direct spectral proof of the noncommutative integral that bypasses Dixmier traces; (iv) Weyl's law for operator-valued commutators of certain Fourier multipliers with multiplication operators.
Significance. If the central claims hold, the work supplies a concrete extension of Connes' trace theorem and Weyl laws to the operator-valued setting with semifinite traces. The use of localized zeta functions to obtain a residue formula directly from the principal symbol, together with the attempt at a Dixmier-trace-free spectral proof of the noncommutative integral, would strengthen the link between spectral asymptotics and symbol calculus in type II von Neumann algebras. The symbolic characterization of complex powers and the commutator result add technical tools that could be useful for further developments in noncommutative geometry.
major comments (1)
- [Abstract, result (iii) and §3–4] Abstract, result (iii) and §3–4: The Weyl law and the identification of the spectral residue with the noncommutative integral are proved only for right-compactly supported symbols. This support condition is used to guarantee that the localized zeta function has a simple pole whose residue equals the integral of the principal symbol against the semifinite trace. For symbols that are merely compactly supported or decay at infinity without right-compact support, the remainder terms arising in the symbolic expansion of the heat kernel or zeta function may fail to be trace-class in the von Neumann algebra sense; consequently the claimed bypass of Dixmier traces does not yet extend to the general case without additional approximation arguments.
minor comments (1)
- [Abstract] Abstract: the word 'algebran' is a typographical error and should read 'algebra'.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We respond to the major comment below, addressing the scope of the support condition in our Weyl law and residue results.
read point-by-point responses
-
Referee: Abstract, result (iii) and §3–4: The Weyl law and the identification of the spectral residue with the noncommutative integral are proved only for right-compactly supported symbols. This support condition is used to guarantee that the localized zeta function has a simple pole whose residue equals the integral of the principal symbol against the semifinite trace. For symbols that are merely compactly supported or decay at infinity without right-compact support, the remainder terms arising in the symbolic expansion of the heat kernel or zeta function may fail to be trace-class in the von Neumann algebra sense; consequently the claimed bypass of Dixmier traces does not yet extend to the general case without additional approximation arguments.
Authors: We appreciate the referee's precise observation on the support hypothesis. The right-compact support condition on the symbols is deliberately imposed in the statements of Theorem 3.1 and the subsequent Weyl law (result (iii)) to ensure that the localized zeta function admits a meromorphic continuation with a simple pole at the expected point and that all remainder terms in the symbolic expansion of the heat kernel (or zeta function) belong to the trace-class ideal relative to the semifinite trace on M. This technical control is what permits the direct identification of the spectral residue with the noncommutative integral of the principal symbol, thereby bypassing Dixmier traces. While the referee correctly notes that the same trace-class property may fail for merely compactly supported symbols or symbols with slower decay at spatial infinity, the right-compact support class already encompasses the operators of primary interest in the operator-valued setting (e.g., those arising from multiplication by compactly supported functions on the right). We will add a clarifying paragraph in the introduction and a remark after Theorem 3.1 explaining the necessity of this hypothesis and indicating that extensions to general compactly supported symbols can be obtained by standard cut-off and approximation arguments; such extensions, however, lie beyond the scope of the present work. revision: partial
Circularity Check
No significant circularity; derivation relies on standard symbolic calculus and zeta-function residues under explicit support assumptions.
full rationale
The paper's core results—symbolic characterization of complex powers, trace formula for localized zeta functions, and Weyl laws for right-compactly supported operator-valued ΨDOs—are presented as extensions of classical constructions (Seeley, Connes-Wodzicki) to the semifinite von Neumann algebra setting. The right-compact support condition is stated explicitly as a hypothesis enabling the residue identification and bypass of Dixmier traces, rather than being smuggled in or defined circularly. No load-bearing step reduces by construction to a self-citation, fitted parameter, or ansatz from prior author work; the claims remain independent of the target noncommutative integral once the support and ellipticity conditions are granted. This is the typical honest outcome for a technical extension paper in operator algebras.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 0.4 … lim t→∞ t^{m/d} μ(t,T M_f) = … integral of |σ(T)^{-m} f|^{d/m} … direct spectral proof of the noncommutative integral that bypasses the use of Dixmier traces
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We extend Connes’ trace theorem to this operator-valued (type II) setting … Weyl’s law for right-compactly supported operator-valued classical ΨDOs of arbitrary negative order
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
M. Atiyah and I. Singer. The index of elliptic operators on compact manifolds.Bull. Amer. Math. Soc., 69 (1963) 422-433
work page 1963
-
[2]
M. Atiyah. Global theory of elliptic operators. In:Proceedings of the International Conference on Functional Analysis and Related Topics, (Tokyo) (1969) pp. 21-30
work page 1969
-
[3]
S. Baaj. Calcul pseudodifférentiel et produits croisés deC ∗-algèbres, I and II.C. R. Acad. Sci. Paris, Ser. I, 307 (1988) 581-586 and 663-666
work page 1988
-
[4]
M.-T. Benameur, A. L. Carey, J. Phillips, A. Rennie, F. Sukochev and K. Wojciechowski. An analytic approach to spectral flow in von Neumann algebras.Analysis, geometry and topology of elliptic operators, (2005) 297–352
work page 2005
-
[5]
M. Benameur and T. Fack. Type II non-commutative geometry. I: Dixmier trace in von Neumann algebras.Adv. Math., 199:1 (2006) 29-87
work page 2006
-
[6]
M.S. Birman, G.E. Karadzhov, and M.Z. Solomyak. Boundedness conditions and spectrum estimates for the oper- atorsb(X)a(D) and their analogs. In:Estimates and Asymptotics for Discrete Spectra of Integral and Differential Equations, Leningrad, 1989-90, Adv. Soviet Math. 7, Amer. Math. Soc., Providence, RI, 1991, pp. 85-106
work page 1989
- [7]
-
[8]
M.S. Birman and M.Z. Solomyak. Estimates for the singular numbers of integral operators.Usp. Mat. Nauk, 32 (193) (1977) 17-84, 1 (Russian),Russ. Math. Surv., 32 (1977), no. 1, 15-89 (English)
work page 1977
-
[9]
M.S. Birman and M.Z. Solomyak. Asymptotic behavior of the spectrum of pseudodifferential operators with anisotropically homogeneous symbols.Vestn. Leningr. Univ., 13 (3) (1977) 13-21 (Russian),Vestn. Leningr. Univ., Math., 10 (1982) 237-247 (English)
work page 1977
-
[10]
M.S. Birman and M.Z. Solomyak. Asymptotic behavior of the spectrum of pseudodifferential operators with anisotropically homogeneous symbols. II.Vestn. Leningr. Univ. Mat. Mekh. Astron., 13 (3) (1979) 5-10 (Russian)
work page 1979
-
[11]
M.S. Birman and M.Z. Solomjak. Asymptotic behavior of the spectrum of variational problems on solutions of elliptic equations.Sibirsk. Mat. Zh., 20 (1979) no. 1, 3-22, 204
work page 1979
-
[12]
M.S. Birman and M.Z. Solomyak. Spectral Theory of Selfadjoint Operators in Hilbert Space.Mathematics and Its Applications (Soviet Series), D. Reidel Publishing Co., Dordrecht, 1987
work page 1987
- [13]
-
[14]
A. L. Carey, J. Phillips, A. Rennie, and F. A. Sukochev. The Hochschild class of the Chern character for semifinite spectral triples.J. Funct. Anal., 213:1 (2004), 111-153
work page 2004
-
[15]
A. L. Carey, J. Phillips, A. Rennie, and F. A. Sukochev. The local index formula in semifinite von Neumann algebras. I: Spectral flow.Adv. Math., 202:2 (2006), 451-516
work page 2006
-
[16]
A. L. Carey, J. Phillips, A. Rennie, and F. A. Sukochev. The local index formula in semifinite von Neumann algebras. II: The even case.Adv. Math., 202:2 (2006), 517-554
work page 2006
- [17]
-
[18]
R. Carmona and J. Lacroix. Spectral Theory of Random OperatorsProbability and Its Applications(1990)
work page 1990
-
[19]
M. Caspers and M. de la Salle. Schur and Fourier multipliers of an amenable group acting on non-commutative Lp-spaces.Tran. Amer. Math. Soc., 367 (2015), no. 10, 6997-7013
work page 2015
-
[20]
J. Conde-Alonso, A. González-Pérez, J. Parcet and E. Tablate. Schur multipliers in Schatten-von Neumann classes. Ann. of Math. (2), 198 (2023), no. 3, 1229-1260
work page 2023
-
[21]
Connes.C ∗-algèbres et géométrie differentielle.C
A. Connes.C ∗-algèbres et géométrie differentielle.C. R. Acad. Sci. Paris, Sér. A, 290 (1980) 599-604
work page 1980
-
[22]
A. Connes. Noncommutative differential geometry.Inst. Hautes Études Sci. Publ. Math., 62 (1985) 257-360
work page 1985
-
[23]
A. Connes. The action functional in non-commutative geometry.Commun. Math. Phys., 117 (1988) 673-683
work page 1988
-
[24]
A. Connes. Noncommutative Geometry. Academic Press, San Diego, 1994
work page 1994
-
[25]
A. Connes. Noncommutative geometry and reality.J. Math. Phys., 36 (11) (1995) 6194-6231
work page 1995
-
[26]
A. Connes. Noncommutative Geometry, the Spectral Standpoint. In: New Spaces in Physics, vol. 2, Cambridge University Press, 2021, pp. 23-84. 82 E. McDonald, X. Xiong and X. Zhang
work page 2021
-
[27]
A. Connes and F. Fathizadeh. The terma 4 in the heat kernel expansion of noncommutative tori.Münster J. Math., 12 (2019) 239-410
work page 2019
- [28]
-
[29]
A. Connes and H. Moscovici. Modular curvature for noncommutative two-tori.J. Am. Math. Soc., 27 (3) (2014) 639-684
work page 2014
- [30]
- [31]
-
[32]
A. Connes and P. Tretkoff. The Gauss-Bonnet theorem for the noncommutative two torus. In: Noncommutative Geometry, Arithmetic, and Related Topics, Johns Hopkins Univ. Press, Baltimore, MD, 2011, pp. 141-158
work page 2011
-
[33]
M. Cotlar. A combinatorial inequality and its applications toL 2-spaces.Rev. Mat. Cuyana, 1 (1955) 41-55 (1956)
work page 1955
-
[34]
M. Cwikel. Weak type estimates for singular values and the number of bound states of Schrödinger operators. Ann. of Math., 106 (1977) 93-100
work page 1977
-
[35]
M. Dauge and D. Robert. Weyl’s formula for a class of pseudodifferential operators with negative order onL2(Rn). In: Pseudodifferential operators (Oberwolfach, 1986),Lecture Notes in Math., 1256, Springer, Berlin, 1987, pp. 91-122
work page 1986
-
[36]
J. Dixmier. Existence de traces non normales.C. R. Acad. Sci. Paris Sér. A-B, 262 (1966) A1107-A1108
work page 1966
-
[37]
Dodds, B.de Pagter, and F.Sukochev
P. Dodds, B.de Pagter, and F.Sukochev. Noncommutative Integration and Operator Theory. Progress in Mathemat- ics, volume 349, Birkhäuser, Cham, Switzerland, 2023
work page 2023
- [38]
- [39]
-
[40]
L. Gao, M. Junge, and E. McDonald. Quantum Euclidean spaces with noncommutative derivatives.J. Noncommut. Geom., 16 (2022) 153-213
work page 2022
- [41]
-
[42]
A.M. González-Pérez, M. Junge, and J. Parcet. Singular integral in quantum Euclidean spaces.Mem. Amer. Math. Soc., 272 (2021) no. 1334, vii+90 pp
work page 2021
-
[43]
A. I. Gusev. Density of states and other spectral invariants of self-adjoint elliptic operators with random coeffi- cients.Mat. Sb.104, 1977, 207–226
work page 1977
-
[44]
H. Ha, G. Lee, and R. Ponge. Pseudodifferential calculus on noncommutative tori, I. Oscillating integrals.Int. J. Math., 30 (8) (2019) 1950033
work page 2019
-
[45]
H. Ha, G. Lee, and R. Ponge. Pseudodifferential calculus on noncommutative tori, II. Main properties.Int. J. Math., 30 (8) (2019) 1950034
work page 2019
-
[46]
N. Higson and J. Roe. Analytic K-homology.Oxford Mathematical Monographs., (2000) pp. xviii+405
work page 2000
- [47]
- [48]
-
[49]
S. Ikehara. An extension of Landau’s theorem in the analytic theory of numbers.J. Math. Phys. Mass. Inst. Tech- nol., 10 (1931) 1-12
work page 1931
- [50]
-
[51]
S. Janson and T.H. Wolff. Schatten classes and commutators of singular integral operators.Ark. Mat., 20 (1982), 301–310
work page 1982
- [52]
-
[53]
J.J. Kohn and L. Nirenberg. An algebra of pseudo-differential operators.Commun. Pure Appl. Math., 18 (1965) 269-305
work page 1965
- [54]
- [55]
-
[56]
G. Leoni. A First Course in Sobolev Spaces, second edition.Graduate Studies in Mathematics, vol. 181, AMS, Providence, RI, 2017
work page 2017
-
[57]
M. Lesch and H. Moscovici. Modular curvature and Morita equivalence.Geom. Funct. Anal., 26 (3) (2016) 818- 873
work page 2016
-
[58]
G. Levitina, F. Sukochev, and D. Zanin. Cwikel estimates revisited.Proc. Lond. Math. Soc., 120 (3) (2020) no. 2, 265-304. Weyl’s laws and Connes’ Trace Theorem forΨDO 83
work page 2020
-
[59]
G. Levitina and A. S. Usachev Pietsch correspondence for symmetric functionals on Calkin operator spaces asso- ciated with semifinite von Neumann algebras.J. Operator Theory89(2023), no. 2, 305–342
work page 2023
-
[60]
G. Levitina and A. S. Usachev, Dixmier-type traces on symmetric spaces associated with semifinite von Neumann algebras.Ann. Funct. Anal.15(2024), no. 2, Paper No. 45, 14 pp
work page 2024
-
[61]
G. Levitina and A. S. Usachev Symmetric functionals on simply generated symmetric spaces.J. Math. Anal. Appl. 546(2025), no. 1, Paper No. 129184, 30 pp
work page 2025
-
[62]
S. Lord, E. McDonald, F. Sukochev, and D. Zanin. Quantum differentiability of essentially bounded functions on Euclidean space.J. Funct. Anal., 273 (2017) 2353-2387
work page 2017
-
[63]
S. Lord, F. Sukochev, and D. Zanin. Singular Traces: Theory and Applications. Walter de Gruyter, vol. 46, 2012
work page 2012
-
[64]
S. Lord, F. Sukochev, and D. Zanin. Advances in Dixmier Traces and Applications. In: Advances in Noncommu- tative Geometry, Springer, 2019, pp. 491-583
work page 2019
-
[65]
S. Lord, F. Sukochev, and D. Zanin. Singular Traces, vol 1. Theory.Walter de Gruyter, vol. 46/1, 2021
work page 2021
-
[66]
E. McDonald and R. Ponge. Cwikel estimates and negative eigenvalues of Schrödinger operators on noncommu- tative tori.J. Math. Phys., 61 (2022) 043503
work page 2022
-
[67]
E. McDonald and R. Ponge. Dixmier trace formulas and negative eigenvalues of Schrödinger operators on curved noncommutative tori.Adv. Math., 412 (2023) 108815
work page 2023
-
[68]
E. McDonald, F. Sukochev, and X. Xiong. Quantum differentiability on quantum tori.Commun. Math. Phys., 371 (2019) 1231-1260
work page 2019
-
[69]
E. McDonald, F. Sukochev, and X. Xiong. Quantum differentiability on noncommutative Euclidean spaces.Com- mun. Math. Phys., 379 (2020) 491-542
work page 2020
-
[70]
E. McDonald, F. Sukochev, and X. Xiong. Quantum differentiability-the analytical perspective. In:Proc. Sympos. Pure Math., 105, AMS, Providence, RI (2023) 257-280
work page 2023
-
[71]
E. McDonald, F. Sukochev, and D. Zanin. AC ∗-algebraic approach to the principal symbol II.Math. Ann., 374 (2019) no. 1-2, 273-322
work page 2019
-
[72]
E. McDonald, F. Sukochev, and D. Zanin. A noncommutative Tauberian theorem and Weyl asymptotics in non- commutative geometry.Lett. Math. Phys., 122 (2022) 77, 45 pp
work page 2022
-
[73]
S. Neuwirth and É. Ricard. Transfer of Fourier multipliers into Schur multipliers and sumsets in a discrete group. Canad. J. Math.63 (2011), 1161-1187
work page 2011
-
[74]
B. de Pagter, F. Sukochev, and H. Witvliet. Double operator integrals.J. Funct. Anal., 192 (2002) 52-111
work page 2002
-
[75]
L. Pastur and A. Figotin. Spectra of Random and Almost-Periodic OperatorsGrundlehren der mathematischen Wissenschaften297 (1992)
work page 1992
-
[76]
Petersen Ergodic Theory.Cambridge studies in Advanced Mathematics2 (1983)
K. Petersen Ergodic Theory.Cambridge studies in Advanced Mathematics2 (1983)
work page 1983
-
[77]
G. Pisier. Similarity problems and completely bounded maps.Springer Lecture Notes. 1618 (1995)
work page 1995
-
[78]
G. Pisier. Noncommutative vector-valuedL p spaces and completelyp-summing maps.Astérisque. 247 (1998), vi+131 pp
work page 1998
-
[79]
G. Pisier and Q. Xu. NoncommutativeL p-spaces. In: Handbook of the Geometry of Banach Spaces, vol. 2, North- Holland, Amsterdam, 2003, pp. 1459-1517
work page 2003
-
[80]
R. Ponge. Heisenberg calculus and spectral theory of hypoelliptic operators on Heisenberg manifolds.Mem. Amer. Math. Soc., 194 (906) viii+134, 2008
work page 2008
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.