Schatten properties of commutators on metric spaces
Pith reviewed 2026-05-23 17:14 UTC · model grok-4.3
The pith
Commutators of singular integrals and multipliers belong to Schatten classes S^p on metric spaces precisely when the multiplier satisfies Besov, Sobolev, or constancy conditions depending on p and dimension.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In the framework of (quasi-)metric measure spaces, the commutator [b,T] lies in S^p if and only if b belongs to a suitable Besov space when p exceeds the dimension d; [b,T] lies in S^p if and only if b is constant when p is at most d; and [b,T] lies in the weak Schatten class S^{d,∞} if and only if b belongs to a first-order Sobolev space when p equals d. The first part requires only the existence of appropriate singular integrals, while the latter two require a complete doubling metric space supporting a Poincaré inequality, relying on companion characterizations of constants and Sobolev spaces.
What carries the argument
The three-part equivalence relating Schatten membership of the commutator [b,T] directly to Besov, constancy, or Sobolev regularity of the multiplier b.
Load-bearing premise
A complete doubling metric space supporting a suitable Poincaré inequality is required to obtain the constancy and Sobolev characterizations when p is at most the dimension.
What would settle it
A non-constant function b on a complete doubling Poincaré space such that the commutator [b,T] belongs to S^p for some p at most d would falsify the claim.
read the original abstract
We characterise the Schatten class $S^p$ properties of commutators $[b,T]$ of singular integrals and pointwise multipliers in a general framework of (quasi-)metric measure spaces. This covers, unifies, and extends a range of previous results in different special cases. As in the classical results on $\mathbb R^d$, the characterisation has three parts: (1) For $p>d$, we have $[b,T]\in S^p$ if and only if $b$ is in a suitable Besov (or fractional Sobolev) space. (2) For $p\leq d$, we have $[b,T]\in S^p$ if and only if $b$ is constant. (3) For $p=d$, we have $[b,T]\in S^{d,\infty}$ (a weak-type Schatten class) if and only if $b$ is in a first-order Sobolev space. Result (1) extends to all spaces of homogeneous type as long as there are appropriate singular integrals, but for the more delicate properties (2) and (3), we assume a complete doubling metric space supporting a suitable Poincar\'e inequality, which is still very general. These latter results depend on new characterisations of constant functions and Sobolev spaces over such spaces obtained in a companion paper of the author with R. Korte. Even when specialised to various concrete domains considered earlier, the present results extend ones available in the literature by covering a larger class of operators with minimal kernel assumptions, removing a-priori assumptions on the pointwise multiplier $b$, and allowing Schatten classes on the weighted spaces $L^2(w)$ with an arbitrary Muckenhoupt weight $w\in A_2$. Even on $\mathbb R^d$, such weighted results were previously known for a few special operators $T$ only, and on all other domains, they are completely new.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript characterizes the Schatten class S^p properties of commutators [b,T] of singular integrals and pointwise multipliers on (quasi-)metric measure spaces. It asserts a three-part characterization: (1) for p > d, [b,T] ∈ S^p iff b belongs to a suitable Besov/fractional Sobolev space, holding on spaces of homogeneous type under kernel assumptions on T; (2) for p ≤ d, [b,T] ∈ S^p iff b is constant; (3) for p = d, [b,T] ∈ S^{d,∞} iff b ∈ W^{1,2}. Parts (2) and (3) require complete doubling metric spaces supporting a Poincaré inequality and depend on new characterizations of constants and Sobolev spaces from a companion paper with R. Korte. The results extend prior work by allowing minimal kernel assumptions, no a-priori conditions on b, and arbitrary A_2 weights on L^2(w).
Significance. If the claims hold, the work unifies and extends classical Euclidean commutator Schatten results to general (quasi-)metric spaces, including weighted settings previously known only for special operators on R^d. The minimal-assumption framework for part (1) on homogeneous-type spaces and the new weighted results on other domains represent a genuine advance in the field.
major comments (2)
- [Abstract] Abstract: The 'only if' directions in (2) and (3) for p ≤ d rest entirely on characterizations of constant functions and Sobolev spaces proved in the companion paper with Korte. These directions are load-bearing for the full three-part characterization, yet no independent derivation, sketch, or self-contained argument appears in the manuscript, rendering the central claims for the delicate regimes unverifiable from the present text alone.
- [Abstract] Abstract (and the statement of the main theorem): While part (1) is asserted to extend to all spaces of homogeneous type under appropriate kernel assumptions on T, the precise kernel conditions and the definition of the Besov space in the general setting are not detailed here; this is load-bearing for verifying the extension beyond the Euclidean case.
minor comments (1)
- [Abstract] The abstract uses 'd' without explicit definition in the provided text; clarify whether d is the doubling dimension or a fixed parameter in the statement of the three parts.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive assessment of the significance of our work. We address the major comments point by point below, indicating the revisions we will make.
read point-by-point responses
-
Referee: [Abstract] Abstract: The 'only if' directions in (2) and (3) for p ≤ d rest entirely on characterizations of constant functions and Sobolev spaces proved in the companion paper with Korte. These directions are load-bearing for the full three-part characterization, yet no independent derivation, sketch, or self-contained argument appears in the manuscript, rendering the central claims for the delicate regimes unverifiable from the present text alone.
Authors: We agree that the 'only if' directions rely on the characterizations proved in the companion paper. The manuscript already states this dependency explicitly. To improve verifiability, we will add a short subsection (or appendix) that recalls the precise statements of the relevant characterizations of constants and Sobolev spaces from the companion work, together with a brief indication of the main ideas used in their proofs. The full proofs will remain in the companion paper, as they constitute independent substantial results, but this addition will make the present manuscript self-contained for the purpose of following the commutator arguments. revision: yes
-
Referee: [Abstract] Abstract (and the statement of the main theorem): While part (1) is asserted to extend to all spaces of homogeneous type under appropriate kernel assumptions on T, the precise kernel conditions and the definition of the Besov space in the general setting are not detailed here; this is load-bearing for verifying the extension beyond the Euclidean case.
Authors: The abstract is intentionally concise. The full manuscript states the kernel assumptions in Section 2 (standard size, Hölder smoothness, and cancellation conditions adapted to the quasi-metric doubling setting) and defines the relevant Besov space via the Hajłasz-type characterization in Definition 3.1 (or the equivalent heat-kernel formulation when available). The main theorem is stated with these hypotheses made explicit. We will revise the abstract to include a short clause referencing these standard kernel conditions and the Besov-space definition used in the general setting. revision: yes
Circularity Check
Central claims for p≤d rest on companion paper characterizations via self-citation
specific steps
-
self citation load bearing
[Abstract]
"These latter results depend on new characterisations of constant functions and Sobolev spaces over such spaces obtained in a companion paper of the author with R. Korte."
The 'only if' directions ([b,T]∈S^p iff b constant for p≤d; [b,T]∈S^{d,∞} iff b∈W^{1,2} for p=d) are asserted to hold only on spaces with Poincaré inequality and rest entirely on these characterizations from the overlapping-author companion paper, without independent derivation or non-self citation in the present manuscript.
full rationale
Part (1) for p>d is derived under kernel assumptions on spaces of homogeneous type and appears independent. Parts (2) and (3) for p≤d explicitly state dependence on new characterizations of constants and Sobolev spaces from the companion paper by the same author (with Korte), with no derivation or external verification supplied here. This matches self-citation load-bearing for the 'only if' directions, but the overall paper still contains independent extensions to weighted spaces and broader operators, so the circularity is partial rather than total.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Existence of appropriate singular integrals on the space of homogeneous type
- domain assumption Complete doubling metric space supporting a suitable Poincaré inequality
Forward citations
Cited by 1 Pith paper
-
$A_\infty$-invariance of oscillatory norms, and Schatten characterisations of commutators
An extension of a commutator Schatten-norm framework via A_∞-equivalent measures recovers critical-index results for Bessel-Riesz transforms through real analysis and simplifies the non-critical case to classical Beso...
Reference graph
Works this paper leans on
-
[1]
B. K. Alpert. A class of bases in L2 for the sparse representation of integral operators. SIAM J. Math. Anal. , 24(1):246–262, 1993
work page 1993
-
[2]
P. Auscher and T. Hyt¨ onen. Orthonormal bases of regular wavelets in spaces of homogeneous type. Appl. Comput. Harmon. Anal. , 34(2):266–296, 2013
work page 2013
-
[3]
F. Baudoin, M. Bonnefont, and N. Garofalo. A sub-Riemannian curvature-dimension inequal- ity, volume doubling property and the Poincar´ e inequality. Math. Ann. , 358(3-4):833–860, 2014
work page 2014
-
[4]
J. Bergh and J. L¨ ofstr¨ om. Interpolation spaces. An introduction , volume No. 223 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, Berlin-New York, 1976
work page 1976
-
[5]
A. Bj¨ orn and J. Bj¨ orn. Sharp Besov capacity estimates for annuli in metric spaces with doubling measures. Math. Z., 305(3):Paper No. 41, 26, 2023
work page 2023
-
[6]
M. Bonk and E. Saksman. Sobolev spaces and hyperbolic fillings. J. Reine Angew. Math. , 737:161–187, 2018
work page 2018
-
[7]
M. Bramanti and M. C. Cerutti. Commutators of singular integrals on homogeneous spaces. Boll. Un. Mat. Ital. B (7) , 10(4):843–883, 1996
work page 1996
-
[8]
J. T. Campbell, R. L. Jones, K. Reinhold, and M. Wierdl. Oscillation and variation for the Hilbert transform. Duke Math. J. , 105(1):59–83, 2000
work page 2000
-
[9]
J. T. Campbell, R. L. Jones, K. Reinhold, and M. Wierdl. Oscillation and variation for singular integrals in higher dimensions. Trans. Amer. Math. Soc., 355(5):2115–2137, 2003
work page 2003
-
[10]
A. J. Castro and T. Z. Szarek. Calder´ on-Zygmund operators in the Bessel setting for all possible type indices. Acta Math. Sin. (Engl. Ser.) , 30(4):637–648, 2014. 76 TUOMAS HYT ¨ONEN
work page 2014
- [11]
-
[12]
J. Cheeger. Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal., 9(3):428–517, 1999
work page 1999
-
[13]
M. Christ. Lectures on singular integral operators, volume 77 of CBMS Regional Conference Series in Mathematics . Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1990
work page 1990
-
[14]
M. Christ. A T (b) theorem with remarks on analytic capacity and the Cauchy integral.Colloq. Math., 60/61(2):601–628, 1990
work page 1990
-
[15]
R. R. Coifman and G. Weiss. Analyse harmonique non-commutative sur certains espaces homog` enes, volume Vol. 242 of Lecture Notes in Mathematics . Springer-Verlag, Berlin-New York, 1971. ´Etude de certaines int´ egrales singuli` eres
work page 1971
-
[16]
A. Connes. Noncommutative geometry. Academic Press, Inc., San Diego, CA, 1994
work page 1994
- [17]
-
[18]
L. Dalenc and Y. Ou. Upper bound for multi-parameter iterated commutators. Publ. Mat., 60(1):191–220, 2016
work page 2016
-
[19]
Z. Fan, M. Lacey, and J. Li. Schatten classes and commutators of Riesz transform on Heisen- berg group and applications. J. Fourier Anal. Appl. , 29(2):Paper No. 17, 28, 2023
work page 2023
-
[20]
Z. Fan, M. Lacey, J. Li, M. N. Vempati, and B. D. Wick. Besov space, Schatten classes, and commutators of Riesz transforms associated with the Neumann Laplacian. Michigan Math. J., 75(1):199–224, 2025
work page 2025
- [21]
-
[22]
Z. Fan, J. Li, E. McDonald, F. Sukochev, and D. Zanin. Endpoint weak Schatten class esti- mates and trace formula for commutators of Riesz transforms with multipliers on Heisenberg groups. J. Funct. Anal., 286(1):Paper No. 110188, 72, 2024
work page 2024
- [23]
-
[24]
Z. Fan, Z. Wei, Y. Zhai, and H. Zhang. Schatten class property of commutators of singular integrals on homogeneous type spaces: the infinite measure case, 2024. In preparation
work page 2024
-
[25]
T. Figiel. Singular integral operators: a martingale approach. In Geometry of Banach spaces (Strobl, 1989), volume 158 of London Math. Soc. Lecture Note Ser., pages 95–110. Cambridge Univ. Press, Cambridge, 1990
work page 1989
-
[26]
B. Franchi, P. Haj lasz, and P. Koskela. Definitions of Sobolev classes on metric spaces. Ann. Inst. Fourier (Grenoble), 49(6):1903–1924, 1999
work page 1903
-
[27]
R. L. Frank. A characterization of ˙W 1,p(Rd). Pure Appl. Funct. Anal. , 9(1):53–68, 2024
work page 2024
-
[28]
R. L. Frank, F. Sukochev, and D. Zanin. Asymptotics of singular values for quantum deriva- tives. Trans. Amer. Math. Soc., 376(3):2047–2088, 2023
work page 2047
-
[29]
R. L. Frank, F. Sukochev, and D. Zanin. Endpoint Schatten class properties of commutators. Adv. Math., 450:Paper No. 109738, 53, 2024
work page 2024
- [30]
-
[31]
A. Gogatishvili, P. Koskela, and N. Shanmugalingam. Interpolation properties of Besov spaces defined on metric spaces. Math. Nachr., 283(2):215–231, 2010
work page 2010
- [32]
-
[33]
Z. Gong, J. Li, and B. D. Wick. Besov spaces, Schatten classes and weighted versions of the quantised derivative. Anal. Math., 49(4):971–1006, 2023
work page 2023
-
[34]
A. Grau de la Herr´ an and T. Hyt¨ onen. Dyadic representation and boundedness of nonho- mogeneous Calder´ on-Zygmund operators with mild kernel regularity. Michigan Math. J. , 67(4):757–786, 2018
work page 2018
- [35]
-
[36]
P. Haj lasz and P. Koskela. Sobolev met Poincar´ e.Mem. Amer. Math. Soc. , 145(688):x+101, 2000
work page 2000
- [37]
-
[38]
J. Heinonen, P. Koskela, N. Shanmugalingam, and J. T. Tyson. Sobolev spaces on metric measure spaces, volume 27 of New Mathematical Monographs. Cambridge University Press, Cambridge, 2015. An approach based on upper gradients
work page 2015
- [39]
-
[40]
I. Holmes and B. D. Wick. Two weight inequalities for iterated commutators with Calder´ on- Zygmund operators. J. Operator Theory, 79(1):33–54, 2018
work page 2018
- [41]
- [42]
- [43]
- [44]
-
[45]
T. Hyt¨ onen and A. Kairema. Systems of dyadic cubes in a doubling metric space. Colloq. Math., 126(1):1–33, 2012
work page 2012
-
[46]
T. Hyt¨ onen and R. Korte. Characterisations of Sobolev spaces and constant functions over metric spaces, 2025. Preprint, arXiv:2508.07801
-
[47]
T. Hyt¨ onen and H. Martikainen. Non-homogeneousT b theorem and random dyadic cubes on metric measure spaces. J. Geom. Anal., 22(4):1071–1107, 2012
work page 2012
-
[48]
T. Hyt¨ onen and O. Tapiola. Almost Lipschitz-continuous wavelets in metric spaces via a new randomization of dyadic cubes. J. Approx. Theory, 185:12–30, 2014
work page 2014
-
[49]
T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. II. Probabilistic methods and operator theory, volume 67 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Springer, Cham, 2017
work page 2017
-
[50]
T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. III. Harmonic analysis and spectral theory , volume 76 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Springer, Cham, 2023
work page 2023
-
[51]
S. Janson and T. H. Wolff. Schatten classes and commutators of singular integral operators. Ark. Mat., 20(2):301–310, 1982
work page 1982
-
[52]
S. Keith. A differentiable structure for metric measure spaces. Adv. Math., 183(2):271–315, 2004
work page 2004
-
[53]
S. Keith and X. Zhong. The Poincar´ e inequality is an open ended condition. Ann. of Math. (2), 167(2):575–599, 2008
work page 2008
-
[54]
N. J. Korevaar and R. M. Schoen. Sobolev spaces and harmonic maps for metric space targets. Comm. Anal. Geom., 1(3-4):561–659, 1993
work page 1993
-
[55]
S. G. Krantz and S.-Y. Li. Boundedness and compactness of integral operators on spaces of homogeneous type and applications. I. J. Math. Anal. Appl. , 258(2):629–641, 2001
work page 2001
-
[56]
S. G. Krantz and S.-Y. Li. Boundedness and compactness of integral operators on spaces of homogeneous type and applications. II. J. Math. Anal. Appl. , 258(2):642–657, 2001
work page 2001
-
[57]
P. Kr´ ee. Interpolation d’espaces vectoriels qui ne sont ni norm´ es, ni complets. Applications. Ann. Inst. Fourier (Grenoble) , 17:137–174, 1967
work page 1967
-
[58]
T. J. Laakso. Ahlfors Q-regular spaces with arbitrary Q > 1 admitting weak Poincar´ e in- equality. Geom. Funct. Anal., 10(1):111–123, 2000
work page 2000
- [59]
- [60]
- [61]
-
[62]
A. K. Lerner. A pointwise estimate for the local sharp maximal function with applications to singular integrals. Bull. Lond. Math. Soc. , 42(5):843–856, 2010
work page 2010
-
[63]
A. K. Lerner, S. Ombrosi, and I. P. Rivera-R´ ıos. Commutators of singular integrals revisited. Bull. Lond. Math. Soc. , 51(1):107–119, 2019
work page 2019
-
[64]
J. Li, X. Xiong, and F. Yang. Schatten properties of Calder´ on-Zygmund singular integral commutator on stratified Lie groups. J. Math. Pures Appl. (9) , 188:73–113, 2024. 78 TUOMAS HYT ¨ONEN
work page 2024
-
[65]
S. Lord, E. McDonald, F. Sukochev, and D. Zanin. Quantum differentiability of essentially bounded functions on Euclidean space. J. Funct. Anal., 273(7):2353–2387, 2017
work page 2017
-
[66]
C. Merucci. Interpolation dans Cω(H). C. R. Acad. Sci. Paris S´ er. A-B, 274:A1163–A1166, 1972
work page 1972
-
[67]
F. Nazarov, A. Reznikov, and A. Volberg. The proof of A2 conjecture in a geometrically doubling metric space. Indiana Univ. Math. J. , 62(5):1503–1533, 2013
work page 2013
-
[68]
F. Nazarov, S. Treil, and A. Volberg. The T b-theorem on non-homogeneous spaces. Acta Math., 190(2):151–239, 2003
work page 2003
-
[69]
V. V. Peller. Hankel operators of class Sp and their applications (rational approxima- tion, Gaussian processes, the problem of majorization of operators). Mat. Sb. (N.S.) , 113(155)(4(12)):538–581, 637, 1980
work page 1980
-
[70]
S. Petermichl. Dyadic shifts and a logarithmic estimate for Hankel operators with matrix symbol. C. R. Acad. Sci. Paris S´ er. I Math., 330(6):455–460, 2000
work page 2000
-
[71]
S. Petermichl. The sharp bound for the Hilbert transform on weighted Lebesgue spaces in terms of the classical Ap characteristic. Amer. J. Math. , 129(5):1355–1375, 2007
work page 2007
-
[72]
S. Petermichl, S. Treil, and A. Volberg. Why the Riesz transforms are averages of the dyadic shifts? In Proceedings of the 6th International Conference on Harmonic Analysis and Partial Differential Equations (El Escorial, 2000) , pages 209–228, 2002
work page 2000
-
[73]
S. Pott and M. P. Smith. Paraproducts and Hankel operators of Schatten class via p-John- Nirenberg theorem. J. Funct. Anal., 217(1):38–78, 2004
work page 2004
-
[74]
R. Rochberg and S. Semmes. A decomposition theorem for BMO and applications. J. Funct. Anal., 67(2):228–263, 1986
work page 1986
-
[75]
R. Rochberg and S. Semmes. End point results for estimates of singular values of singular integral operators. In Contributions to operator theory and its applications (Mesa, AZ, 1987), volume 35 of Oper. Theory Adv. Appl. , pages 217–231. Birkh¨ auser, Basel, 1988
work page 1987
-
[76]
R. Rochberg and S. Semmes. Nearly weakly orthonormal sequences, singular value estimates, and Calderon-Zygmund operators. J. Funct. Anal., 86(2):237–306, 1989
work page 1989
-
[77]
N. Shanmugalingam. Newtonian spaces: an extension of Sobolev spaces to metric measure spaces. Rev. Mat. Iberoamericana, 16(2):243–279, 2000
work page 2000
-
[78]
J.-O. Str¨ omberg and A. Torchinsky.Weighted Hardy spaces, volume 1381 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1989
work page 1989
-
[79]
S. Treil. Mixed A2-A∞ estimates of the non-homogeneous vector square function with matrix weights. Proc. Amer. Math. Soc. , 151(8):3381–3389, 2023
work page 2023
-
[80]
Z. Wei. Commutators of martingale paraproducts and singular integrals in the noncommu- tative setting, 2024. Th` ese de doctorat, Universit´ e Bourgogne Franche-Comt´ e and Harbin Institute of Technology, theses.hal.science/tel-04798809v1
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.