Pith. sign in

REVIEW 4 major objections 4 minor 35 references

Commutators of Maximal Operators on Weighted Morrey Spaces

T0 review · 4 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Pith's one-line read Bounded commutators of maximal functions characterize BMO functions on weighted Morrey spaces over spaces of homogeneous type.

desk verdict Plausible extension with genuine new statements, but the proofs contain several load-bearing false inequalities; needs major revision. read the letter →

arxiv 2411.14767 v1 pith:JVR3DBVZ submitted 2024-11-22 math.FA

classification math.FA MSC 42B2543A85
keywords maximalfunctioncommutatorBMOweightedMorreyspaceofhomogeneoustypesharpfractionalMuckenhouptweightdoublingmeasure
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 tries to establish that, on spaces of homogeneous type, the boundedness of maximal-function commutators is exactly what separates BMO functions from more general locally integrable functions. Concretely, it claims that a real-valued locally integrable function $b$ is in BMO with bounded negative part $b^{-}$ if and only if the commutator of the Hardy-Littlewood maximal function (and likewise of the sharp maximal and fractional maximal functions) is bounded on the appropriate weighted Morrey spaces. The equivalence is proved by showing that commutator boundedness is equivalent to a uniform ballwise oscillation condition, a Morrey-space analogue of the classical characterization of BMO. If the claim is right, it extends a Euclidean theory of maximal commutators to metric measure spaces with doubling measures and gives a nonlinear operator-theoretic test for BMO.

What carries the argument

The central object is the commutator $[T,b]f = bTf - T(bf)$, where $T$ is the Hardy-Littlewood maximal function $M_p$, the sharp maximal function $M^{\sharp}$, or the fractional maximal function $M_\gamma$. These operators are studied on weighted Morrey spaces, whose norm is a supremum over balls of a weighted $L^p$ average divided by a power of the weight of the ball. The proofs are carried by three mechanisms: decomposition of $b$ into positive and negative parts with an inequality that controls the difference between $[T,b]$ and $[T,|b|]$; known pointwise domination bounds for maximal commutators; and testing the bounded commutator on characteristic functions, which forces the local oscillation condition. Muckenhoupt $A_p$ and $A_{p,q}$ assumptions on the weight make the weighted Hölder estimates uniform in the ball, so the oscillation condition implies BMO.

What would settle it

Set $X=\mathbb{R}$ with Lebesgue measure and the trivial weight, take the nonnegative BMO function $b(x)=|\log|x||$, and fix the ball $B=(-1,1)$. In the pointwise estimate used in Proposition 4.1, let $t=\varepsilon$ tend to $0$; then the quantity $(1/|B|\int_B |b(y)-b(t)|^{r'}\,dy)^{1/r'}$ grows like $\log(1/\varepsilon)$, while the BMO norm of $b$ stays finite. That directly disproves the estimate on which the sufficiency proof of Theorem 1.3 rests.

Watch

Extended reading notes

Core claim

The central claim is an if-and-only-if characterization. For weights in the appropriate Muckenhoupt classes, the following are equivalent for a real-valued locally integrable $b$ on $(X,d,\mu)$: $b$ belongs to BMO$(X)$ and $b^{-}$ is bounded; the commutator $[M_p,b]$ is bounded on the weighted Morrey space $L^{q,\kappa}_{\omega}(X)$ for $p<q$; and the ballwise quantity $\sup_B \|(b-M_{p,B}b)\chi_B\|_{L^{q,\kappa}_{\omega}(X)}/\|\chi_B\|_{L^{q,\kappa}_{\omega}(X)}$ is finite. The paper states the same three-way equivalence for the sharp maximal commutator on $L^{q,\kappa}_{\omega}(X)$ with $\omega\in A_1$, and for the fractional maximal commutator as a bounded map between $L^{p,\kappa}_{(\omega^p,\omega^q)}(X)$ and $L^{q,\kappa q/p}_{\omega^q}(X)$, with $1/q=1/p-\gamma$. In each case, testing the commutator on characteristic functions yields the oscillation condition, and Muckenhoupt weight conditions convert weighted Hölder integrals back into the unweighted BMO norm.

Load-bearing premise

The sufficiency proof for the sharp-maximal commutator assumes that a BMO function's oscillation around any single point inside a ball is controlled uniformly by the BMO norm, which is false for unbounded BMO functions because BMO only controls oscillation around the ball's average.

Editorial extensions

If this is right

  • On any space of homogeneous type with a doubling measure, boundedness of the Hardy-Littlewood maximal commutator on the weighted Morrey space forces the symbol to be in BMO with bounded negative part, so the operator cannot be bounded for merely locally integrable functions.
  • The maximal commutator theorem gives a converse: the maximal commutator operator is bounded on the weighted Morrey space precisely for BMO symbols, making boundedness of a nonlinear operator a membership test for BMO.
  • The fractional maximal result pins down the exact pair of weighted Morrey spaces, with the exponent on the target space determined by $1/q=1/p-\gamma$, between which a bounded fractional maximal commutator can act.
  • All equivalences pass through a uniform ballwise oscillation condition, so membership in BMO is checked locally, without Fourier analysis or translation invariance.

Reading between the lines

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

  • A natural extension would be to test whether the real-valued assumption can be dropped; the proofs split $b$ into its positive and negative parts, so a complex-valued version would need a different decomposition and is not an immediate corollary.
  • The same test-on-characteristic-functions scheme could be applied to dyadic maximal operators on spaces of homogeneous type; one would then expect dyadic BMO versions of these equivalences.
  • The ballwise oscillation condition is computable from local averages, which suggests it could serve as a numerical indicator for whether a function belongs to BMO on an arbitrary metric measure space.
  • A further question is whether, in the fractional case, the explicit assumption of a bounded negative part can be relaxed to a condition tied to the weight classes, since that assumption enters through a pointwise domination inequality.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper claims characterizations of BMO spaces on spaces of homogeneous type via boundedness of commutators of the Hardy-Littlewood maximal function, the sharp maximal function, and the fractional maximal function on weighted Morrey spaces. Four theorems are stated: Theorem 1.1 for [M_p,b], Theorem 1.2 for the maximal commutator C_b, Theorem 1.3 for [M^#,b], and Theorem 1.4 for [M_γ,b]. The proofs follow a common template: boundedness of the commutator on a weighted Lebesgue space is transferred to a ball-local estimate, which is then converted into a BMO condition by testing on characteristic functions. The paper also proves the reverse implications by deriving BMO bounds and L^∞ bounds for b^- from the assumed Morrey norm inequalities.

Significance. If the results were correct, they would extend a well-known line of Euclidean results (Bastero-Milman-Ruiz, Zhang-Wu) to the general setting of spaces of homogeneous type and weighted Morrey spaces, which is a natural and potentially useful contribution. The paper does clearly place the problem in context and cites the relevant literature. However, the central proofs contain several false assertions that directly affect the main theorems, and at least one condition in Theorem 1.3 is proved in a different form from the one stated. The claimed characterizations therefore are not established by this manuscript. The paper does not contain machine-checked proofs or reproducible code; its main value would be as a genuine extension, but that extension is not demonstrated here.

major comments (4)
  1. [Section 3, Eq. (3.10)] The identities M_p(b f)(t) = ω(B)^{-κ/q} M_p(b h)(t) and M_p(f)(t) = ω(B)^{-κ/q} M_p(h)(t) for t∈B are false for the global Hardy-Littlewood maximal function, because the supremum on the left is taken over all balls containing t, which may extend outside B, whereas the right-hand side uses the global maximal function of the un-truncated h. Only a local version with balls constrained to B would give such an identity. Since Proposition 3.1 uses these identities to pass from a weighted L^q bound for [M_p,b] to a Morrey bound, the proof of Proposition 3.1, and hence the implication (i)=>(ii) of Theorem 1.1, is invalid as written.
  2. [Section 4, Proposition 4.1] The proof of Proposition 4.1 contains the step sup_{B∋t} (μ(B)^{-1} ∫_B |b(y)-b(t)|^{r'} dμ(y))^{1/r'} ≤ C ||b||_{BMO}, which is false for general BMO functions. For example, on X=R with Lebesgue measure, b(x)=log(1/|x|) belongs to BMO, but for B=(-1,1) and t=2^{-N}, the average of |b(y)-b(t)| over B grows like N, so the supremum is infinite. BMO controls oscillation around ball averages, not around arbitrary points. This bound is exactly what converts the commutator expression into a multiple of M_r(f)(t), so Proposition 4.1 and the sufficiency part of Theorem 1.3 are not proved.
  3. [Section 4.1, proof of (ii)=>(iii) of Theorem 1.3] The argument produces a bound for sup_Q ||(b-2M^#(bχ_Q))χ_Q||, but the stated condition (1.3) involves M^#(b), not M^#(bχ_Q). The identity M^#(χ_Q)=1/2 only yields a bound for |(1/2)b - M^#(bχ_Q)|, and no comparison between M^#(bχ_Q) and M^#(b) is supplied. Since the proof of (iii)=>(i) also uses M^#(bχ_Q), the equivalence in Theorem 1.3 is not established for the condition as stated.
  4. [Section 4.2, Eq. (4.14)] The equality M_γ(bχ_Q)(x)=M_{γ,Q}(b)(x) for x∈Q is not generally true for the unrestricted fractional maximal function: balls containing x but not contained in Q appear on the left and are not excluded on the right. At best a doubling inequality with an extra constant could hold, but the proof of (ii)=>(iii) of Theorem 1.4 relies on this equality to identify the commutator norm with the expression in (1.4). This gap affects a central implication of Theorem 1.4.
minor comments (4)
  1. [Throughout] There are numerous typographical errors, including 'homoegenous', 'differentiation', 'charaterization', and inconsistent use of 'space of homogeneous type'; a careful proofreading pass is needed.
  2. [Lemma 2.3] In the proof, ||M_p(f)||_{L^{q,κ}_ω(X)} is written as a single ball average, but the Morrey norm is a supremum over balls; the display should use ≤ sup_B or be rewritten.
  3. [Section 4, Proposition 4.1] The proof uses an auxiliary exponent r with p<r<q, but p is not defined in the statement of Proposition 4.1; specify the range of r explicitly.
  4. [Section 3.1, Eq. (3.11)] The Hölder step introducing ω(t)^{1/q}ω(t)^{-1/q} and the subsequent A_q estimate are correct, but the notation M_{p,B} for the local maximal function is introduced earlier and should be used consistently: in Eq. (3.10) the subscript B is missing, which contributes to the ambiguity in the main proof.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are derived from external and prior cited lemmas, not from their own conclusions.

full rationale

The paper's derivation chain does not reduce its claimed BMO characterizations to its inputs. Theorem 1.1's sufficiency direction is built on Lemma 2.3 (from Komori–Shirai [4]) and Lemma 2.4, taken from [5] (Gong–Vempati–Wu); that self-citation is an input weighted-Lp commutator bound whose assumptions (b in BMO, Ap weights) do not include the Morrey boundedness being proved, so it is independent support rather than a circular premise. The necessity directions pass through conditions (1.1), (1.3), and (1.4), which arise genuinely from testing the bounded commutator on characteristic functions and are then converted to BMO by pointwise domination and Hölder's inequality; no equation is set equal to the theorem's conclusion by definition. The main mathematical risk is not circularity: Proposition 4.1 contains a pointwise estimate treating the BMO norm as if it controlled oscillation of b about arbitrary points t, which is false for unbounded BMO functions; that is a correctness flaw in the proof of Theorem 1.3, not a circularity, and it does not affect the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no free parameters and no new entities. It relies on standard structural axioms of spaces of homogeneous type, imported boundedness results from the literature, and several ad hoc (and in some cases false) pointwise identities and inequalities that are load-bearing in the proofs.

assumptions (6)
  • domain assumption The doubling condition on mu and the quasi-metric axioms (Eq. 2.5, 2.6).
    Defines the space of homogeneous type; standard in the field, not introduced by this paper.
  • domain assumption Boundedness of the Hardy-Littlewood maximal operator on weighted Morrey spaces (Theorem 2.2, from [4]).
    Imported from Komori-Shirai; used in Lemma 2.3 and later.
  • domain assumption Boundedness of the two-weight commutator [b,M] on weighted L^p for b in BMO (Lemma 2.4, from [5]).
    Imported from Gong-Vempati-Wu; used to prove Proposition 3.1.
  • ad hoc to paper The paper implicitly assumes the pointwise bound sup_B (avg |b-b(t)|^{r'})^{1/r'} <= C||b||_{BMO}.
    No such bound holds for unbounded BMO functions; used in Prop. 4.1.
  • ad hoc to paper The paper assumes M^#(chi_Q)=1/2 on Q.
    Used in Theorem 1.3 (ii) to (iii); false for off-center points in Q.
  • ad hoc to paper The paper assumes the global maximal function of a function supported on B equals the local maximal function for t in B (Eq. 3.10).
    Used in Prop. 3.1; generally false when the maximizing ball extends outside B.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Commutators of Maximal Operators on Weighted Morrey Spaces." pith.science (2026). https://pith.science/paper/JVR3DBVZ

@misc{pith2026241114767,
  author       = {Pith},
  title        = {Pith review of: Commutators of Maximal Operators on Weighted Morrey Spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JVR3DBVZ}},
  note         = {Machine review of arXiv:2411.14767}
}
read the original abstract

In this article we obtain the characterization for the commutators of maximal functions on the weighted Morrey spaces in the setting of spaces of homogeneous type. More precisely, we characterize BMO spaces using the commutators of Hardy-Littlewood maximal function, sharp and fractional maximal functions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    Agcayazi, A

    M. Agcayazi, A. Gogatishvili, K. Koca and R. Mustafayev, A note on maximal commuta- tors and commutators of maximal functions. J. Math. Soc. Japan, 67 (2), 581–593, ( 2015). 2, 9 16 MANASA N. VEMPA TI

  2. [2]

    Bastero, M

    J. Bastero, M. Milman and F. J. Ruiz, Commutators for the m aximal and sharp functions, Proc. Amer. Math. Soc., 128, 3329–3334, (2000). 1

  3. [3]

    Garc´ ıa-Cuerva, E

    J. Garc´ ıa-Cuerva, E. Harboure, C. Segovia, J.L. Torrea, Weighted norm inequalities for commutators of strongly singular integrals, Indiana Univ. Math. J., 40, 1397–1420, (1991)

  4. [4]

    Komori and S

    Y . Komori and S. Shirai, Weighted Morrey spaces and a sing ular integral operator, Math. Nachr., 282, 219-231, (2009). 1, 5, 6

  5. [5]

    R. Gong, M. N. V empati and Q. Wu, A note on two weight commut ators of maximal functions on spaces of homogeneous type, arXiv preprint, arXiv:2012.00575, (202 0). 6

  6. [6]

    V . S. Guliyev, Commutators of the fractional maximal function in generalized Morrey spaces on Carnot groups, Complex V ar. Elliptic 66, 893–909, (2021)

  7. [7]

    Zhang, J

    P . Zhang, J. Wu and J. Sun, Commutators of some maximal fun ctions with Lipschitz function on Orlicz spaces, Mediterr. J. Math. 15, 1–13, (2018). 6

  8. [8]

    Muckenhoupt and R

    B. Muckenhoupt and R. Wheeden, Weighted norm inequaliti es for fractional integrals, Trans. Amer. Math. Soc. 192, 221-237, (1976). 4

Show all 35 references
  1. [9]

    Muckenhoupt and R

    B. Muckenhoupt and R. L. Wheeden, Weighted bounded mean o scillation and the Hilbert transform, Studia Math., 54 (1975 /76), 221–237. 5

  2. [10]

    S. S. Lu, Y . Ding and D. Y an, Singular integrals and relat ed topics, World Scientific, Singapore, (2007). 5

  3. [11]

    Wu and W

    J. Wu and W . Zhao, Some estimates for commutators of the fractional maximal function on stratified Lie groups, J. Ineq. Appl., 123, (2023). 15

  4. [12]

    Zhang, J

    P . Zhang, J. L. Wu, Commutators of the fractional maxima l functions. Acta Math. Sin. Chin. Ser., 52, 1235–1238, (2009). 1

  5. [13]

    Adams, A note on Riesz potentials, Duke Math., 42, 7 65–778, (1975)

    D.R. Adams, A note on Riesz potentials, Duke Math., 42, 7 65–778, (1975). 1

  6. [14]

    Spanne, Sur l’interpolation entre les espaces Lp,φ k , Ann

    S. Spanne, Sur l’interpolation entre les espaces Lp,φ k , Ann. Schola Norm. Sup. Pisa. 20, 625–648, (1966). 1

  7. [15]

    V . I. Burenkov, H. V . Guliyev, Necessary and sufficient conditions for boundedness of the maximal operator in the local Morrey-type spaces, Dokl. Ross. Akad. Nauk 391, 59 1–594 (in Russian). 1

  8. [16]

    V . I. Burenkov, H. V . Guliyev, Necessary and sufficient conditions for boundedness of the maximal operator in the local Morrey-type spaces, Studia Math. 163 (2), 157–176 , (2004). 1

  9. [17]

    Gogatishvlii and R

    A. Gogatishvlii and R. Ch. Mustafayev, A note on bounded ness of Hardy-Littlewood Maximal Operator on Morrey spaces, Mediterr. J. Math., 13, 1885-1891, (2016). 1

  10. [18]

    R. Gong, M. N. V empati, Q. Wu, P . Xie, Boundedness and com pactness of Cauchy-type integral commutator on weighted Morrey spaces, Journ. Aust. Math. Soc., 113 (1), 36-56, (2022). 2

  11. [19]

    Chiarenza, M

    F. Chiarenza, M. Frasca, Morrey spaces and Hardy–Littl ewood maximal function, Rend. Math., 7, 273–279, (1987)

  12. [20]

    Cruz-Uribe, A

    D. Cruz-Uribe, A. Fiorenza, Endpoint estimates and wei ghted norm inequalities for commutators of fractional integrals, Publ. Mat. 47 (1), 103–131, (2003). 1

  13. [21]

    Cruz-Uribe, SFO, A

    D. Cruz-Uribe, SFO, A. Fiorenza, J.M. Martell and C. P´ e rez, The Boundedness of classical operators on vari- able Lp spaces, Ann. Acad. Scien. Fenni. Math. 31, 239–264, ( 2006). 1

  14. [22]

    P . Chen, J. Li, and L.A. Ward, BMO from dyadic BMO via expe ctations on product spaces of homogeneous type, J. Funct. Anal. 265 , 2420–2451, (2013). 1

  15. [23]

    Coifman and G

    R.R. Coifman and G. Weiss, Analyse harmonique non-comm utative sur certains espaces homog´ enes. E´tude certaines integrales singuli´ eres. (French), Lecture Notes in Mathematics, 242, Springer– V erlag, Berlin, (1971). 1, 4

  16. [24]

    Coifman and G

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

  17. [25]

    David, J.-L

    G. David, J.-L. Journ ´ e, and S. Semmes, Calder` on–Zygm und operators, para-accretive functions and interpola- tion, Rev. Mat. Iberoamericana 1 (4) , 1–56, (1985). 1

  18. [26]

    Deng and Y

    D.G. Deng and Y . Han, Harmonic analysis on spaces of homo geneous type, with a preface by Yves Meyer, Lecture Notes in Mathematics, V ol. 1966, Springer-V erlag,Berlin, (2009). 1

  19. [27]

    A. K. Lerner, A Note on the Maximal Operator on Weighted M orrey Spaces, V olume 49, pages 1073–1086, (2023) 2

  20. [28]

    X. T. Duong, J. Li, E. T. Sawyer, M. N. V empati, B. D. Wick, D. Y ang, A two weight inequality for Calder´ on–Zygmund operators on spaces of homogeneous type with applications, Journ. Func. Anal., 281 (9), 109190, 8, (2021). 1 17

  21. [29]

    Duoandikoetxea, M

    J. Duoandikoetxea, M. Rosenthal, Boundedness propert ies in a family of weighted Morrey spaces with empha- sis on power weights, Journ. Func. Anal., 108687, 8, (2020). 2

  22. [30]

    N. M. V empati, Weighted inequalities on spaces of homog eneous type, Ph.D Thesis, Washington University in St. Louis, (2021) 1

  23. [31]

    P . Chen, M. Lacey, J. Li, M.N. V empati, Compactness of th e Bloom sparse operators and applications, arXiv preprint arXiv:2204.11990, (2022). 1

  24. [32]

    R. Gong, J. Li, E. Pozzi, M. N. V empati, Commutators on we ighted Morrey spaces on spaces of homogeneous type, Analysis and Geometry in Metric Spaces 8 (1), 305-334. 2

  25. [33]

    Nakamura, Y

    S. Nakamura, Y . Sawano and H. Tanaka, Weighted local Mor rey spaces, Ann. Acad. Scien. Fenn. Math., 45, 67–93, (2020). 2

  26. [34]

    JM Conde-Alonso, F Di Plinio, I Parissis, M. N. V empati, A metric approach to sparse domination, Annali di Matematica Pura ed Applicata (1923-) 201 (4), 1-37, (2022). 1

  27. [35]

    V . S. Guliyev, Generalized weighted Morrey spaces and h igher order commutators of sublinear operators, Eur. Math. Journ. 3, 33-61, (2012). 2, 6 Manasa N. V empati, Department of Mathematics, Louisiana St ate University, Baton Rouge, LA 70803-4918, USA. E-mail: nvempati@lsu.edu

Pith tools

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