Pith. sign in

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 →

arxiv 2009.12694 v2 pith:Y5KLI73Y submitted 2020-09-26 math.CA

classification math.CA MSC 42B2043A80
keywords commutatorCalderón-ZygmundoperatorweightedMorreyspaceofhomogeneoustypeBMOVMOcompactnon-degeneratekernelcondition
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes that the commutator $[b,T]$ of a Calderón–Zygmund operator $T$ on a space of homogeneous type is controlled entirely by the symbol $b$. On every weighted Morrey space $L^{p,\kappa}_{\omega}(X)$ with $1

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.)
Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

  1. 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

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted and no new entities are introduced. The main external dependencies are the non-degeneracy hypothesis, the imported one-sided boundedness result [12], and the unproved compactness criterion Lemma 4.1.

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.
    Used throughout Sections 2-5 to define BMO, Ap weights, balls, and to guarantee growth properties such as mu(B(x, lambda r)) comparable to lambda^n mu(B(x,r)).
  • 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))).
    This is an additional hypothesis on T beyond the CZO definition; it is used in Lemma 3.2 and in the lower bounds of Lemma 4.4 for the necessity of BMO and VMO.
  • 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.
    Theorem 1.2(i) is a direct restatement of this imported result; it is not proved in this paper and is authored in part by two of the present authors.
  • domain assumption Lemma 4.1, the compactness criterion for subsets of L^{p,kappa}_omega(X), is valid in spaces of homogeneous type.
    The paper asserts it follows from [29] with a small modification but gives no proof; it is essential for the compactness sufficiency in Theorem 1.3(i).
  • 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].
    These are standard background results invoked in Sections 3 and 4 without proof.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

  1. [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

  2. [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

  3. [1]

    D. R. Adams and J. Xiao. Morrey spaces in harmonic analysi s, Ark Mat., 50(2012), 201– 230

  4. [2]

    Arai and T

    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

  5. [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

  6. [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

  7. [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

  8. [6]

    R. E. Castillo, J. C. Ramos Fern andez, and E. Trousselot, Functions of bounded ( φ, p) mean oscillation, Proyecciones, 27 (2008), 163–177

Show all 34 references
  1. [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

  2. [8]

    R. R. Coifman and G. Weiss, Extensions of Hardy spaces and their use in analysis, Bull. Amer. Math. Soc. , 83 (1977), 569–645

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [17]

    Z. Fu, R. Gong, E. Pozzi and Q. Wu, Cauchy–Szeg¨ o Commuta tors on Weighted Morrey Spaces, arXiv:2006.10546

  11. [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

  12. [19]

    Holmes, M

    I. Holmes, M. Lacey and B. D. Wick, Commutators in the two -weight setting, Math. Ann., 367 (2017), 51–80

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [27]

    Komori and S

    Y. Komori and S. Shirai, Weighted Morrey spaces and a sin gular integral operator, Math. Nachr., 282 (2009), 219–231

  21. [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

  22. [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

  23. [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

  24. [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

  25. [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

  26. [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-...

Pith tools

Reviewed August 27, 2026 · model on record in the stance chip above.