REVIEW 3 major objections 4 minor 34 references
A note on commutators on weighted Morrey spaces on spaces of homogeneous type
T0 review · 3 major / 4 minor · reviewed 2026-08-27 · deepseek-v4-flash
Pith's one-line read For Calderón–Zygmund commutators on weighted Morrey spaces over spaces of homogeneous type, the bounded case is exactly $b\in BMO(X)$ and the compact case is exactly $b\in VMO(X)$.
desk verdict Necessity directions are a real extension, but the paper's main theorems hang on an unproved — and likely false — bridge lemma from [12]. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The paper's main objects are the weighted Morrey norm $\|f\|_{L^{p,\kappa}_\omega(X)}=\sup_B (\omega(B)^{-\kappa}\int_B |f|^p\,\omega\,d\mu)^{1/p}$, the Calderón–Zygmund kernel estimates (1.4)–(1.5), and the non-degenerate kernel condition (1.6), which puts a lower bound $|K(x,y)|\gtrsim 1/\mu(B(x,r))$ on some ball in every annulus. The necessity arguments are carried by median values $\alpha_B(b)$, the level at which half the mass of $b$ lies above and half below, which convert mean oscillation into integrals against characteristic functions of half-balls. The compactness sufficiency rests on a criterion (Lemma 4.1) asserting that a subset of $L^{p,\kappa}_\omega(X)$ is totally bounded if it is bounded, vanishes uniformly at infinity, and is uniformly locally equicontinuous; the paper cites this as a small modification of an Euclidean result and uses it to show that $[b,T_\eta]$ is compact for $b\in\mathrm{Lip}_c$.
What would settle it
Test Lemma 4.1 in the Euclidean model case $X=\mathbb{R}$, $d(x,y)=|x-y|$, $\mu=\omega=1$, $p=2$, $\kappa=1/2$: if the family $\{r^{-1/4}\chi_{[0,r]}:r>0\}$ satisfies the three conditions but has no convergent subsequence in $L^{2,1/2}(\mathbb{R})$, the criterion is false and Theorem 1.3(i) is unsupported. Alternatively, test the necessity direction with the Hilbert transform on $\mathbb{R}$ and a real-valued symbol such as $b(x)=|x|^{\alpha}$ with $0<\alpha<1$ (not in BMO): if $[b,H]$ is bounded on $L^{p,\kappa}_\omega$, Theorem 1.2(ii) is false.
Extended reading notes
Core claim
The central claim is Theorem 1.2 and Theorem 1.3: for $p\in(1,\infty)$, $\kappa\in(0,1)$, $\omega\in A_p(X)$, and a Calderón–Zygmund operator $T$ satisfying the non-degenerate condition (1.6), $[b,T]$ is bounded on $L^{p,\kappa}_{\omega}(X)$ if and only if $b\in BMO(X)$, and is compact if and only if $b\in VMO(X)$. The 'if' directions hold for all locally integrable symbols; the 'only if' directions are proved for real-valued symbols. The boundedness half is obtained by splitting the function into a local part controlled by the known weighted estimate and a global part controlled by kernel estimates, the exponential mean-oscillation decay for BMO, and the $A_p$ structure. The compactness half approximates VMO symbols by compactly supported Lipschitz functions and verifies a three-part compactness criterion for the smoothed commutator; the necessity half argues by contradiction: failure of any of the three VMO mean-oscillation conditions produces a sequence of balls for which the commutator images are separated in the weighted Morrey norm.
Load-bearing premise
The load-bearing premise is Lemma 4.1, the compactness criterion: a subset of the weighted Morrey space is relatively compact if it is bounded, vanishes uniformly at infinity, and is uniformly locally equicontinuous; the paper does not supply the promised modification from the Euclidean proof, and the compactness 'if' direction depends on it.
Editorial extensions
If this is right
- On every space of homogeneous type with a doubling measure, weighted Morrey commutator boundedness is characterized by BMO, so the Euclidean and Lie-group results extend to spaces without group structure or Fourier transform.
- Compactness of $[b,T]$ on $L^{p,\kappa}_\omega(X)$ is equivalent to the symbol's mean oscillation dying out at small scales, large scales, and infinity, exactly the three VMO conditions in Lemma 2.4.
- The non-degenerate kernel condition is load-bearing for symbol recovery: without it, the median-value argument cannot force a non-BMO or non-VMO symbol to produce an unbounded or non-compact commutator.
- The three-part compactness criterion offers a reusable recipe: to prove compactness of similar operators, check boundedness, uniform vanishing at infinity, and uniform local equicontinuity.
Reading between the lines
- If Lemma 4.1 fails on a genuine space of homogeneous type, the compactness sufficiency in Theorem 1.3(i) would need a new proof; this is the part of the paper most worth checking before relying on the compactness result. (Editorial inference.)
- The same machinery should give the characterization for two-weight weighted Morrey spaces and for commutators of other singular integrals, such as Riesz transforms on stratified groups, since the proof only uses kernel size, smoothness, the non-degenerate lower bound, and $A_p$ weight geometry; the paper does not state this. (Editorial inference.)
- The real-valued assumption in the necessity halves could likely be removed by treating real and imaginary parts separately, at the cost of tracking constants and median values; the paper leaves this open. (Editorial inference.)
Formalized claims in Lean
-
Claim #1: The central claim is Theorem 1.2 and Theorem 1.3: for $p\in(1,\infty)$, $\kappa\in(0,1)$, $\omega\in A_p(X)$, and a Calderón–Zygmund operator $T$ satisfying the non-degenerate condition (1.6), $[b,T]$ is bounded on $L^{p,\kappa}_{\omega}(X)$ if and only if $b\in BMO(X)$, and is compact if and only if $b\in VMO(X)$. The 'if' directions hold for all locally integrable symbols; the 'only if' directio
/-- @claim 1 The central claim is Theorem 1.2 and Theorem 1.3: for $p\in(1,\infty)$, $\kappa\in(0,1)$, $\omega\in A_p(X)$, and a Calderón–Zygmund operator $T$ satisfying the non-degenerate condition (1.6), $[b,T]$ is bounded on $L^{p,\kappa}_{\omega}(X)$ if and only if $b\in BMO(X)$, and is compact if and only if $b\in VMO(X)$. The 'if' directions hold for all locally integrable symbols; the 'only if' directio -/ def central_claim : Prop :=
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the commutator [b,T] of a Calderón–Zygmund operator on a space of homogeneous type (X,d,μ) and its boundedness and compactness on weighted Morrey spaces L^{p,κ}_ω(X). Theorem 1.2 claims that [b,T] is bounded if and only if b∈BMO(X), and Theorem 1.3 claims that it is compact if and only if b∈VMO(X), under the pointwise non-degeneracy condition (1.6). The sufficiency half of the boundedness theorem is imported from the authors' earlier paper [12]; the necessity half uses median-value arguments together with a product-ball kernel lower bound (3.1). The compactness sufficiency uses approximation by compactly supported Lipschitz functions and a Fréchet–Kolmogorov-type criterion (Lemma 4.1), while the compactness necessity uses contradiction sequences and a VMO characterization proved in the appendix.
Significance. If valid, these results would give a unified if-and-only-if treatment of CZO commutators on weighted Morrey spaces over spaces of homogeneous type, extending known Euclidean and stratified Lie group results. The paper contains genuinely useful material: the VMO characterization in the appendix is proved in detail, and many of the weighted estimates in Sections 3 and 4 are standard and appear to be correct. However, the central necessity directions rest on Lemma 3.2, which is quoted from [12] without proof and is, as stated, false; the compactness sufficiency also relies on Lemma 4.1, which is imported without proof. The advertised theorems are therefore not established as they stand.
major comments (3)
- [Section 3.2, Lemma 3.2] The implication (1.6) ⇒ (3.1) is false, so the necessity directions of Theorems 1.2(ii) and 1.3(ii) are unsupported. On X=R with Lebesgue measure, take K(x,y)=a(|x-y|)/(x-y), where a is a smooth function of log r that is periodic with period 1, equals 1 on intervals such as [n+1/4,n+3/4], and equals 0 on complementary intervals. This kernel satisfies the size and Hölder estimates of Definition 1.1, and the associated multiplier m(log ξ)=∫_0^∞ a(u/ξ) sin(u)/u du is bounded, so T is a Calderón–Zygmund operator. Condition (1.6) holds with, for example, \bar A=8 and c0=8, because every interval [r,8r] contains points where a=1. But (3.1) fails: for two balls of radius r whose centers are separated by Ar with A sufficiently large, the set of distances {|x-y| : x∈B, y∈\tilde B} contains a multiplicative interval of length comfortably larger than 1, hence contains a gap where a=0, so no uniform lower bound |K(x,y)|≳1/μ(B) can hold for all pairs. The proofs of Theorem 1.2(ii) and Lemma 4.4 use exactly this product-ball lower bound on E_j×F_j and on B_j×B_j^k, respectively, so the argument breaks at the central lower-bound step. The theorems can be repaired only by supplying a correct replacement lemma or by adding (3.1) explicitly as a hypothesis.
- [Section 4.1, Lemma 4.1] The compactness criterion is imported from [29] with no proof, and condition (iii) is not stated in a way that allows direct verification: the expression ||f(x)-f_{B(x,r)}||_{L^{p,κ}_ω(X)} must be understood as the global weighted Morrey norm of the mean-oscillation function, but no definition or justification is given that this is the correct analogue of uniform equicontinuity on a space of homogeneous type. Since Theorem 1.3(i) uses precisely this criterion to conclude that [b,T_η]F is relatively compact, the sufficiency half of Theorem 1.3 is not self-contained. A proof, or a precise reference with the Euclidean-to-SHT modification spelled out, should be provided.
- [Lemma 4.4 and Lemma 4.5] There are citation errors that obscure the dependency on the missing kernel lower bound. In the proof of Lemma 4.4, the line 'Using Lemma 4.1, (4.5), (4.6), (2.3), (4.1) and (1.6)' cannot be correct: Lemma 4.1 is the compactness criterion and (1.6) is not the product-ball condition actually needed. The displayed lower bound requires (3.1), not (1.6). Similarly, in the proof of Lemma 4.5, the sentence 'Using (1.6) and (4.16) we know...' should apparently refer to (4.15) and (4.16). These are not merely typographical: they indicate that the proof relies on a kernel condition that the manuscript has not stated or proved.
minor comments (4)
- [Throughout] There are numerous typographical errors and OCR artifacts, including 'charac terizations', 'We show' (capital W in the abstract), 'Buerling', 'sapces', and the stray symbol '/greaterorsimilar'; these should be corrected in a revision.
- [Section 4.1, Lemma 4.1(iii)] The notation f_{B(x,r)} should be defined explicitly, and the norm in which the limit is taken should be stated without ambiguity, since the current display can be read as a global Morrey norm of a function that depends on x through both arguments.
- [Lemma 4.5] The final paragraph of Lemma 4.5 labels the lemma 'Lemma 4.7' at the end of its proof; this is an obvious numbering slip that should be fixed.
- [References] The paper relies heavily on [12] for Lemma 3.1 and Lemma 3.2 and on [29] for Lemma 4.1; since both are listed as 'to appear' or in a less accessible venue, the authors should supply complete publication data or include the necessary arguments in the manuscript.
Circularity Check
No significant circularity: the new necessity arguments are independent, and the cited sufficiency result [12] is an external theorem rather than a re-packaged input.
full rationale
The derivation chain for the genuinely new claims, namely the necessity directions in Theorems 1.2(ii) and 1.3(ii), is not circular: the paper assumes only boundedness or compactness of [b,T], the non-degenerate condition (1.6), and standard facts about BMO, VMO, and A_p weights, and then derives b in BMO or VMO via median-value and kernel lower-bound arguments. The sufficiency direction of Theorem 1.2 is quoted from Lemma 3.1 of [12]; this is a self-citation with overlapping authors (Gong and Li), but it is used as an external theorem with stated hypotheses that do not include the target result, so under the review rules it counts as independent support rather than a circular input. Lemma 3.2 and Lemma 4.1 are cited or adapted from prior work without full proofs; even if those citations are problematic for correctness or completeness, they are not reductions of the conclusion to an equivalent input. No parameter is fitted to a subset of data and then called a prediction, and no quantity is defined in terms of the quantity it is used to derive. The skeptical concerns about Lemma 3.2 and Lemma 4.1 are correctness risks, not circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption The space (X, d, mu) is a space of homogeneous type with quasi-metric constant A0, doubling measure, mu(X)=infinity, and mu({x})=0 for every point x.
- domain assumption The kernel K satisfies the non-degenerate condition (1.6): for each x and r there is y in B(x, A-bar r) \ B(x, r) with |K(x,y)| >= 1/(c0 mu(B(x,r))).
- domain assumption Lemma 3.1 from [12] (Duong-Gong-Kuffner-Li-Wick-Yang) gives boundedness of [b,T] on L^{p,kappa}_omega(X) for b in BMO under the same hypotheses.
- domain assumption Lemma 4.1, the compactness criterion for subsets of L^{p,kappa}_omega(X), is valid in spaces of homogeneous type.
- standard math Known weighted tools hold: John-Nirenberg inequality from [26], reverse Holder and measure comparison estimates from Lemma 2.6, and boundedness of maximal operators from [2] and [23].
Cite this review
Pith. "Pith review of A note on commutators on weighted Morrey spaces on spaces of homogeneous type." pith.science (2026). https://pith.science/paper/Y5KLI73Y
@misc{pith2026200912694,
author = {Pith},
title = {Pith review of: A note on commutators on weighted Morrey spaces on spaces of homogeneous type},
year = {2026},
howpublished = {\url{https://pith.science/paper/Y5KLI73Y}},
note = {Machine review of arXiv:2009.12694}
}
abstract
In this paper we study the boundedness and compactness characterizations of the commutator of Calder\'{o}n-Zygmund operators $T$ on spaces of homogeneous type $(X,d,\mu)$ in the sense of Coifman and Weiss. More precisely, We show that the commutator $[b, T]$ is bounded on weighted Morrey space $L_{\omega}^{p,\kappa}(X)$ ($\kappa\in(0,1), \omega\in A_{p}(X), 1<p<\infty$) if and only if $b$ is in the BMO space. Moreover, the commutator $[b, T]$ is compact on weighted Morrey space $L_{\omega}^{p,\kappa}(X)$ ($\kappa\in(0,1), \omega\in A_{p}(X), 1<p<\infty$) if and only if $b$ is in the VMO space.
Reference graph
Works this paper leans on
-
[12]
X. T. Doung, R. M. Gong, M.-J. S. Kuffner, J. Li, B. D. Wick, a nd D. Y. Yang, Two weight commutators on spaces of homogeneous type and applic ations, to appear in J. Geom. Anal., arXiv:1809.07942v1
-
[29]
S. Mao, L. Sun and H. Wu, Boundedness and compactness for commutators of bilinear Fourier multipliers, Acta Math. Sinica (Chin. Ser.) , 59 (2016), 317–334
work page 2016
-
[1]
D. R. Adams and J. Xiao. Morrey spaces in harmonic analysi s, Ark Mat., 50(2012), 201– 230
work page 2012
-
[2]
H. Arai and T. Mizuhara, Morrey spaces on spaces of homoge neous type and estimates for b and the Cauchy-Szeg¨ o projection, Math. Nachr. , 185 (1997), 5–20
work page 1997
-
[3]
Bloom, A commutator theorem and weighted BMO, Trans
S. Bloom, A commutator theorem and weighted BMO, Trans. Amer. Math. Soc., 292 (1985), 103–122
work page 1985
-
[4]
P. Chen, X. Duong, J. Li and Q.Y. Wu, Compactness of Riesz t ransform commutator on stratified Lie groups, J. Funct. Anal. , 277 (6) (2019), 1639–1676
work page 2019
-
[5]
Y. Chen, Y. Ding and X. Wang, Compactness of commutators f or singular integrals on Morrey spaces, Canad. J. Math. , 64 (2012), 257–281
work page 2012
-
[6]
R. E. Castillo, J. C. Ramos Fern andez, and E. Trousselot, Functions of bounded ( φ, p) mean oscillation, Proyecciones, 27 (2008), 163–177
work page 2008
Show all 34 references
-
[7]
R. R. Coifman and G. Weiss, Analyse harmonique non-commutative sur certains es- paces homog` enes. ´Etude de certaines int´ egrales singuli` eres, Lecture Notes in Math. 242, Springer-Verlag, Berlin, 1971
1971
-
[8]
R. R. Coifman and G. Weiss, Extensions of Hardy spaces and their use in analysis, Bull. Amer. Math. Soc. , 83 (1977), 569–645
1977
-
[9]
Coifman, P.L
R. Coifman, P.L. Lions, Y. Meyer and S. Semmes, Compensat ed compactness and Hardy sapces, J. Math. Pures Appl. , 72 (1993), 247–286
1993
-
[10]
R. R. Coifman, R. Rochberg and G. Weiss, Factorization t heorems for Hardy spaces in several variables, Ann. of Math., (2) 103 (1976), 611–635
1976
-
[11]
D. G. Deng and Y. S. Han, Harmonic analysis on spaces of ho mogeneous type, with a preface by Yves Meyer, Lecture Notes in Math. 1966, Springer -Verlag, Berlin, 2009. Boundedness and compactness of commutators 31
1966
-
[13]
X. T. Duong, H.-Q. Li, J. Li and B. D. Wick, Lower bound for Riesz transform kernels and commutator theorems on stratified nilpotent Lie groups, J. Math. Pures Appl.(9) , 124 (2019), 273–299
2019
-
[14]
X. T. Duong and L. Yan, New function spaces of BMO type, th e John-Nirenberg inequal- ity, interpolation, and applications, Communications on Pure and Applied Mathematics , 58(2005), 1375–1420
2005
-
[15]
D. S. Fan, S. Z. Lu and D. C. Yang. Boundedness of operator s in Morrey spaces on homogeneous spaces and its applications, Acta Math Sinica (N.S.), 14(1998), 625–634
1998
-
[16]
Di Fazio and M
G. Di Fazio and M. A. Ragusa, Commutators and Morrey spac es, Boll. Un. Mat. Ital. A , 5 (7) (1991), 323–332
1991
-
[17]
Z. Fu, R. Gong, E. Pozzi and Q. Wu, Cauchy–Szeg¨ o Commuta tors on Weighted Morrey Spaces, arXiv:2006.10546
2006 arXiv
-
[18]
W. Guo, J. Lian and H. Wu, The unified theory for the necess ity of bounded commutators and applications, to appear in J. Geom. Anal., arXiv:1709.008279v1
-
[19]
Holmes, M
I. Holmes, M. Lacey and B. D. Wick, Commutators in the two -weight setting, Math. Ann., 367 (2017), 51–80
2017
-
[20]
Holmes, S
I. Holmes, S. Petermichl and B. D. Wick, Weighted little bmo and two-weight inequalities for Journ´ e commutators,Anal & PDE, 11 (2018), 1693–1740
2018
-
[21]
Hyt¨ onen, The sharp weighted bound for general Calde r´ on-Zygmund operators,Ann
T. Hyt¨ onen, The sharp weighted bound for general Calde r´ on-Zygmund operators,Ann. of Math., (2) 175 (2012), 1473–1506
2012
-
[22]
Hyt¨ onen, TheLp → Lq boundedness of commutators with applications to the Jacobi an operator, arXiv:1804.11167
T. Hyt¨ onen, TheLp → Lq boundedness of commutators with applications to the Jacobi an operator, arXiv:1804.11167
-
[23]
G. Hu, X. Shi and Q. Zhang, Weighted norm inequalities fo r the maximal singular integral operators on spaces of homogeneous type, J. Math. Anal. Appl. , 336 (1) (2007), 1–17
2007
-
[24]
Lerner, S
A.K. Lerner, S. Ombrosi and I.P. Rivera-R ´ ıos, On point wise and weighted estimates for commutators of Calder´ on-Zygmund operators,Adv. Math., 319 (2017), 153–181
2017
-
[25]
Lerner, S
A.K. Lerner, S. Ombrosi and I.P. Rivera-R ´ ıos, Commutators of singular integrals revisited, Bull. London Math. Soc. , 51 (2019), 107–119
2019
-
[26]
Kronz, Some function spaces on spaces of homogeneous type, Manuscripta Math
M. Kronz, Some function spaces on spaces of homogeneous type, Manuscripta Math. , 106 (2) (2001), 219–248
2001
-
[27]
Komori and S
Y. Komori and S. Shirai, Weighted Morrey spaces and a sin gular integral operator, Math. Nachr., 282 (2009), 219–231
2009
-
[28]
R. A. Mac ´ ıas and C. Segovia, A decomposition into atoms of distributions on spaces of homogeneous type, Adv. Math. , 33 (1979), 271–309. 32 R, Gong, J. Li, E. Pozzi, M. N. Vempati
1979
-
[30]
S. Mao, H. Wu and D. Y. Yang. Boundedness and compactness characterizations of Riesz transform commutators on Morrey spaces in the Bessel settin g, Anal Appl., 17(2019), 145–178
2019
-
[31]
J. Tao, D. C. Yang and D. Y. Yang, Boundedness and compact ness characterizations of Cauchy integral commutators on Morrey spaces, Math Meth Appl Sci., 42(2019), 1631– 1651
2019
-
[32]
J. Tao, D. C. Yang and D. Y. Yang, Buerling-Ahlfors commu tators on weighted Morrey spaces and applications to Beltrami equations, Potential Anal, (2020), doi:10.1007/s11118- 019-09814-7
2020 doi
-
[33]
Uchiyama, On the compactness of operators of Hankel t ype, Tˆ ohoku Math
A. Uchiyama, On the compactness of operators of Hankel t ype, Tˆ ohoku Math. J., 30 (1978), 163–171
1978
-
[34]
T. C. Anderson and W. Damin, Calder´ on-Zygmund operato rs and commutators in spaces of homogeneous type: weighted inequalities, to appe ar in J. of Math Inequalities , arXiv:1401.2061v1. Ruming Gong, School of Mathematical Sciences, Guangzhou Un iversity, Guangzhou, China. E-...
Reviewed August 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.