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 →
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 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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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.
- [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.
- [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)
- [Throughout] There are numerous typographical errors, including 'homoegenous', 'differentiation', 'charaterization', and inconsistent use of 'space of homogeneous type'; a careful proofreading pass is needed.
- [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.
- [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.
- [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
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
assumptions (6)
- domain assumption The doubling condition on mu and the quasi-metric axioms (Eq. 2.5, 2.6).
- domain assumption Boundedness of the Hardy-Littlewood maximal operator on weighted Morrey spaces (Theorem 2.2, from [4]).
- domain assumption Boundedness of the two-weight commutator [b,M] on weighted L^p for b in BMO (Lemma 2.4, from [5]).
- ad hoc to paper The paper implicitly assumes the pointwise bound sup_B (avg |b-b(t)|^{r'})^{1/r'} <= C||b||_{BMO}.
- ad hoc to paper The paper assumes M^#(chi_Q)=1/2 on 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).
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.
Reference graph
Works this paper leans on
-
[1]
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
work page 2015
-
[2]
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
work page 2000
-
[3]
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)
work page 1991
-
[4]
Y . Komori and S. Shirai, Weighted Morrey spaces and a sing ular integral operator, Math. Nachr., 282, 219-231, (2009). 1, 5, 6
work page 2009
-
[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
work page Pith review arXiv 2012
-
[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)
work page 2021
- [7]
-
[8]
B. Muckenhoupt and R. Wheeden, Weighted norm inequaliti es for fractional integrals, Trans. Amer. Math. Soc. 192, 221-237, (1976). 4
work page 1976
Show all 35 references
-
[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
1975
-
[10]
S. S. Lu, Y . Ding and D. Y an, Singular integrals and relat ed topics, World Scientific, Singapore, (2007). 5
2007
-
[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
2023
-
[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
2009
-
[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
1975
-
[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
1966
-
[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
-
[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
2004
-
[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
2016
-
[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
2022
-
[19]
Chiarenza, M
F. Chiarenza, M. Frasca, Morrey spaces and Hardy–Littl ewood maximal function, Rend. Math., 7, 273–279, (1987)
1987
-
[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
2003
-
[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
2006
-
[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
2013
-
[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
1971
-
[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
1977
-
[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
1985
-
[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
2009
-
[27]
A. K. Lerner, A Note on the Maximal Operator on Weighted M orrey Spaces, V olume 49, pages 1073–1086, (2023) 2
2023
-
[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
2021
-
[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
2020
-
[30]
N. M. V empati, Weighted inequalities on spaces of homog eneous type, Ph.D Thesis, Washington University in St. Louis, (2021) 1
2021
-
[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
2022 arXiv
-
[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
-
[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
2020
-
[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
2022
-
[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
2012
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.