REVIEW 3 major objections 5 minor 30 references
The preduals of Banach space valued Bourgain-Morrey spaces
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For any dual Banach space $X$, the $X$-valued Bourgain-Morrey space is isometrically the dual of a ${}^*X$-valued block space.
desk verdict The body theorem is properly qualified and probably correct, but the abstract states a stronger predual claim that is plainly false without the reflexivity/separability condition, and the abstract's maximal operator claim also overreaches to general X. 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 load-bearing object is the block space $H^{t',r'}_{p'}({}^*X)$: functions representable as $\sum \lambda_{j,k} b_{j,k}$ where each $b_{j,k}$ is a ${}^*X$-valued $(p',t')$-block supported on a dyadic cube $Q_{j,k}$ and the coefficient sequence lies in $\ell^{r'}$. The argument runs on two mechanisms: the vector-valued $L^p$ duality theorem (Lemma 3.7, applied cube by cube to represent local functionals by integration against $X$-valued functions) and the norm-attaining duality identity (3.4). The block normalization $|Q|^{1/t-1/p}$ is what makes the pairing with the Bourgain-Morrey norm work exactly.
What would settle it
Take $X = \mathbb{R}$ (so ${}^*X = \mathbb{R}$, reflexive and separable), choose $p,t,r$ in the theorem's range, and test the claimed norm identity (3.4) on a function such as the characteristic function of the unit cube; if the two sides are not equal, the isometric duality statement is false. More generally, repeat that computation for $X = \ell^q$ with $1<q<\infty$ and a finite block decomposition, where all quantities are explicitly computable.
Extended reading notes
Core claim
The central result is Theorem 3.8: for $1 < p < t < r < \infty$ or $1 < p \le t < r = \infty$, with $X = ({}^*X)^*$ and either ${}^*X$ reflexive or $X$ separable, the dual space of $H^{t',r'}_{p'}({}^*X)$ is $M^{t,r}_p(X)$. Every $f \in M^{t,r}_p(X)$ defines a bounded functional $g \mapsto \int \langle g(x), f(x)\rangle\,dx$ on the block space, and every continuous functional is obtained this way from a unique $f$, with equality of norms and the norm-attaining characterization (3.4). The paper further proves that when $X$ is reflexive and $1 < p < t < r < \infty$, the dual of $M^{t,r}_p(X)$ is $H^{t',r'}_{p'}(X^*)$, so $M^{t,r}_p(X)$ is reflexive, and that for $X = \ell^q$ with $1<q<\infty$, the powered Hardy-Littlewood maximal operator is bounded on the block space $H^{t',r'}_{p'}(\ell^{q'})$ for $0 < \eta < \min\{p',q'\}$.
Load-bearing premise
The proof stands on the assumption that $X$ is the dual of some Banach space ${}^*X$ and that either ${}^*X$ is reflexive or $X$ is separable, because that is what licenses the vector-valued $L^p$ duality step that represents every local functional by integration.
Editorial extensions
If this is right
- The block space $H^{t',r'}_{p'}({}^*X)$ is a genuine predual of $M^{t,r}_p(X)$, so weak-$*$ compactness and norm-attainment arguments become available on the block side.
- When $X$ is reflexive, $M^{t,r}_p(X)$ is reflexive, so bounded sequences have weakly convergent subsequences in the Bourgain-Morrey space.
- Compactly supported $p'$-integrable and smooth functions are dense in the block space, giving a supply of test functions for defining operators and pairings.
- The Fatou property gives a lower-semicontinuity tool: norm-bounded weak limits of block-space functions stay in the block space.
- For $X = \ell^q$, the powered maximal operator bounded on the block space extends the known scalar and vector-valued maximal estimates to the predual side.
Reading between the lines
- Editorial inference: the slice-space characterization used for $\ell^{q'}$ suggests a Littlewood-Paley or discrete wavelet description of these block spaces should also hold for general dual spaces $X$, though the paper only proves the lattice property for $\ell^{q'}$.
- Editorial inference: by duality, the boundedness of the powered maximal operator on $H^{t',r'}_{p'}(\ell^{q'})$ should transfer to a boundedness statement on $M^{t,r}_p(\ell^q)$, which the paper does not spell out.
- Editorial inference: the predual viewpoint may support transfer of weighted or matrix-weighted estimates from block spaces to Bourgain-Morrey spaces, a direction mentioned only as motivation.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces X-valued Bourgain-Morrey spaces M^{t,r}_p(X) and *X-valued block spaces H^{t',r'}_{p'}(*X) for a Banach space X with a predual *X. The main claim, Theorem 3.8, is that under the standing hypothesis that *X is reflexive or X is separable, the dual of the *X-valued block space is isometrically the X-valued Bourgain-Morrey space for 1 < p < t < r < ∞ or 1 < p ≤ t < r = ∞. The paper also proves completeness, denseness of L^{p'}_c(*X) and C_c^∞(*X), the Fatou property of block spaces, a lattice property for ℓ^q-valued block spaces, a duality theorem for M^{t,r}_p(X) when X is reflexive, and boundedness of powered Hardy-Littlewood maximal operators on ℓ^{q'}-valued block spaces.
Significance. If the stated theorems are correct, the paper gives a substantive vector-valued extension of the scalar Bourgain-Morrey predual theory, with potential applications to matrix-weighted and vector-valued harmonic analysis. The proofs are generally detailed and follow classical scalar blueprints, and the authors are explicit about the standing hypothesis (*X reflexive or X separable) and about the open lattice-property problem in the general vector-valued setting. The paper does not rely on fitted parameters or circular reasoning; the main structural steps are derived from vector-valued Lebesgue space duality and scalar block-space results. The advertised abstract claim, however, is not supported by the body of the paper, and one step in the proof of Theorem 3.8 contains a genuine but repairable gap.
major comments (3)
- [Abstract and Theorem 3.8] The abstract states an unqualified predual theorem for every Banach space X with a predual *X, but Theorem 3.8 requires the additional hypothesis that *X be reflexive or that X be separable. This is not a removable technicality. For X = ℓ∞ and *X = ℓ1, neither hypothesis holds, and the endpoint case p = t = 2, r = ∞ would assert (L^2(ℓ1))^* = L^2(ℓ∞), which is false: the left side contains functionals represented by weak*-measurable ℓ∞-valued functions that are not strongly measurable, whereas every element of L^2(ℓ∞) is strongly measurable. The abstract must be revised to state the theorem with its hypotheses, and the false endpoint outside those hypotheses should be explicitly excluded.
- [Theorem 3.8, proof of (ii), finite-sum approximation] The estimate for ∥b − b_N∥_{H^{t',r'}_{p'}(*X)} after equation (3.10) omits the cross region |j| > N, |k| > N. If the coefficient sequence λ is supported entirely in that region, the two displayed tail sums are zero while ∥b − b_N∥_{H} = ∥b∥_{H} > 0, so the asserted convergence b_N → b does not follow from the displayed inequality. This convergence is used in (3.11) to pass from L(b_N) to the integral representation of L(b). The gap is repairable by adding the third tail, whose ℓ^{r'} norm tends to 0 as N → ∞; the same correction is needed in the density argument in Theorem 4.3 after equation (4.1).
- [Theorem 3.8, proof of (ii), local boundedness of L_{j,k}] The proof asserts without justification that, for each dyadic cube Q_{j,k}, the mapping g ↦ L(gχ_{Q_{j,k}}) is a bounded linear functional on L^{p'}(*X)(Q_{j,k}). This requires a bound of the form ∥gχ_Q∥_{H^{t',r'}_{p'}(*X)} ≤ C_{t,p,r} ∥g∥_{L^{p'}(*X)(Q)} for compactly supported g. Such a bound is not stated or proved before the invocation of Lemma 3.7, and Lemma 4.7, which provides a related estimate, appears only later in Section 4.3. The bound is true by splitting g into finitely many blocks, but the manuscript should supply this argument at the point where it is needed, since it is the justification for applying the vector-valued duality Lemma 3.7.
minor comments (5)
- [Lemma 2.3 and Definition 2.1] Lemma 2.3 states the nontriviality condition as '0 ≤ p ≤ t < r = ∞', but Definition 2.1 requires 0 < p. This is likely a typo and should read '0 < p ≤ t < r = ∞'.
- [Proposition 3.4] In the proof of Proposition 3.4(i), the Hölder step involving the factor 2^{jn/r} is not meaningful when r = ∞, since r' = 1 and 1/r = 0. The argument should be written separately for this endpoint, although the estimate is still true by a simpler direct summation.
- [Remark 3.5] Remark 3.5 asserts that replacing almost-everywhere convergence in Definition 3.2 by convergence in L^1_loc(*X) gives the same block space. This equivalence is not proved; as written it is not immediate and should either be demonstrated or cited.
- [Section 4.5, proof of Theorem 4.13] The proof refers to 'Lemma 4.6' for the Fatou property, but the statement is Theorem 4.6. In addition, the variable ℓ is used both for the index in the boundedness estimate and for later limiting arguments; this makes the proof harder to follow and should be cleaned up.
- [Notation, Theorem 3.8 and Theorem 4.3] The finite truncations in Theorem 3.8 use |k| = |k_1| + ... + |k_n|, while Theorem 4.3 uses |(j,k)|∞ = max{|j|, |k_1|, ..., |k_n|}. The inconsistency is confusing, and the finite-sum estimates should use a single convention.
Circularity Check
No circularity: the duality proof rests on external vector-valued L^p duality and scalar block-space results; the authors' self-citations are background only.
full rationale
The central result, Theorem 3.8, is derived from classical external tools: Lemma 3.7 (vector-valued L^p duality from Hytönen et al. [15]) and scalar block-space and Bourgain-Morrey results from [17] and [22]. There is no fitted parameter that is later renamed a prediction, and no displayed equation is equivalent to its own hypothesis by construction. The endpoint case p=t, r=∞ reduces to the classical duality (L^{p'}(*X))* = L^p(X) via Lemma 3.6 and Lemma 3.7; this is a legitimate special case, not a circular reduction. The authors' own papers [4,5] are mentioned only in the introduction as prior background and are not invoked in any proof, so the self-citations are not load-bearing. One genuine concern is that the abstract states the predual conclusion for every dual space X, while Theorem 3.8 assumes *X is reflexive or X is separable; this is a generality or correctness issue (e.g., for X = ℓ∞, *X = ℓ1), not a circularity issue. Overall, the derivation chain is self-contained and externally supported, so the circularity score is 0.
Assumptions & free parameters
assumptions (6)
- domain assumption X is a Banach space such that there exists a Banach space *X with (*X)* = X
- domain assumption *X is reflexive or X is separable
- domain assumption Parameter range 1 < p < t < r < ∞ or 1 < p ≤ t < r = ∞
- domain assumption X is reflexive
- domain assumption X = ℓ^q with 1 < q < ∞ for the lattice property and maximal function results
- standard math Standard theorems: vector-valued L^p duality, Lebesgue differentiation, weak compactness in reflexive spaces, closed graph theorem
Cite this review
Pith. "Pith review of The preduals of Banach space valued Bourgain-Morrey spaces." pith.science (2026). https://pith.science/paper/IIVSDBLO
@misc{pith2026250519143,
author = {Pith},
title = {Pith review of: The preduals of Banach space valued Bourgain-Morrey spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/IIVSDBLO}},
note = {Machine review of arXiv:2505.19143}
}
abstract
Let $X$ be a Banach space such that there exists a Banach space $^\ast X$ and $ ( ^\ast X )^ \ast = X $. In this paper, we introduce $X$-valued Bourgain-Morrey spaces. We show that $^\ast X$-valued block spaces are the predual of $X$-valued Bourgain-Morrey spaces. We obtain the completeness, denseness and Fatou property of $^\ast X$-valued block spaces. We give a description of the dual of $X$-valued Bourgain-Morrey spaces and conclude the reflexivity of these spaces. The boundedness of powered Hardy-Littlewood maximal operator in vector valued block spaces is obtained.
Reference graph
Works this paper leans on
-
[1]
Abe, Y., Sawano, Y.: Littlewood-Paley characterization of discrete Morrey spaces and its application to the discrete martingale transform. Matematiche. 78(2), 337–358 (2023)
work page 2023
-
[2]
Adams, D.R.: Morrey spaces. Appl. Numer. Harmon. Anal. Birkh¨ auser/Springer, Cham (2015)
work page 2015
-
[3]
Auscher, P., Prisuelos-Arribas, C.: Tent space boundedness via extrapolation. Math. Z., 286(3-4), 1575–1604 (2017)
work page 2017
-
[4]
Bai, T., Xu, J.: Precompactness in matrix weighted Bourgain-Morrey spaces. Filomat, to appear
-
[5]
Bai, T., Xu, J.: Weighted Bourgain-Morrey-Besov-Triebel-Lizorkin spaces asso- ciated with operators. Math. Nachr., 298(3), 886–924, (2025)
work page 2025
-
[6]
In Geometric aspects of functional analysis
Bourgain, J.: On the restriction and multiplier problems in R3. In Geometric aspects of functional analysis. Proceedings of the Israel seminar (GAF A) 1989- 90, Springer-Verlag, Berlin (1991)
work page 1991
-
[7]
Brezis, H.: Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, (2011)
work page 2011
-
[8]
Cheung, K.L., Ho, K.P.: Boundedness of Hardy-Littlewood maximal operator on block spaces with variable exponent. Czech. Math. J., 64(1), 159–171, (2014)
work page 2014
Show all 30 references
-
[9]
Dung, T.T., Dao, N.A., Duong, X.T., Nghia, L.T.: Commutators on spaces of homogeneous type in generalized block spaces. J. Geom. Anal., 34(7), 39, (2024)
2024
-
[10]
Banach J
Hakim, D.I.: Complex interpolation of predual spaces of general local Morrey- type spaces. Banach J. Math. Anal., 12(3), 541–571, (2018)
2018
-
[11]
Hatano, N., Nogayama, T., Sawano, Y., Hakim, D.I.: Bourgain-Morrey spaces and their applications to boundedness of operators. J. Funct. Anal., 284(1), 52, (2023)
2023
-
[12]
Ho, K.-P.: Sublinear operators on block-type spaces. Sci. China, Math., 63(6), 1107–1124, (2020)
2020
-
[13]
Ho, K.-P.: Grand Morrey spaces and grand Hardy-Morrey spaces on Euclidean space. J. Geom. Anal., 33(6), 23, (2023)
2023
-
[14]
Hu, P., Li, Y., Yang, D.: Bourgain-Morrey spaces meet structure of Triebel- Lizorkin spaces. Math. Z., 304(1), 49, (2023)
2023
-
[15]
Volume I
Hyt¨ onen, T., Neerven, J.V., Veraar, M., Weis, L.: Analysis in Banach spaces. Volume I. Martingales and Littlewood-Paley theory, volume 63 of Ergeb. Math. Grenzgeb., 3. Folge. Springer, Cham (2016)
2016
-
[16]
Izumi, T., Sawano, Y., Tanaka, H.: Littlewood-Paley theory for Morrey spaces and their preduals. Rev. Mat. Complut., 28(2), 411–447, (2015)
2015
-
[17]
arXiv:1605.09234, (2016)
Masaki, S.: Two minimization problems on non-scattering solutions to mass- subcritical nonlinear Schr¨ odinger equation. arXiv:1605.09234, (2016)
2016 arXiv
-
[18]
Masaki, S., Segata, J.I.: Existence of a minimal non-scattering solution to the mass-subcritical generalized Korteweg-de Vries equation. Ann. Inst. Henri Poincar´ e, Anal. Non Lin´ eaire,35(2), 283–326, (2018)
2018
-
[19]
Nogayama, T.: Littlewood-Paley and wavelet characterization for mixed Mor- rey spaces. Math. Nachr., 297(6), 2198–2233, (2024)
2024
-
[20]
1: Functional analysis.: Academic Press, Inc, London (1972) 38 Tengfei Bai, Pengfei Guo and Jingshi Xu
Reed, M., Simon, B.: Methods of modern mathematical physics. 1: Functional analysis.: Academic Press, Inc, London (1972) 38 Tengfei Bai, Pengfei Guo and Jingshi Xu
1972
-
[21]
Rosenthal, M., Schmeisser, H.J.: On the boundedness of singular integrals in Morrey spaces and its preduals. J. Fourier Anal. Appl., 22(2), 462–490, (2016)
2016
-
[22]
Introduction and appli- cations to integral operators and PDE’s
Sawano, Y., Di Fazio, G., Hakim, D.I.: Morrey spaces. Introduction and appli- cations to integral operators and PDE’s. Volume I. Monogr. Res. Notes Math. CRC Press, Boca Raton, FL (2020)
2020
-
[23]
Sawano, Y., Tanaka, H.: Predual spaces of Morrey spaces with non-doubling measures. Tokyo J. Math., 32(2), 471–486, (2009)
2009
-
[24]
Sawano, Y., Tanaka, H.: The Fatou property of block spaces. J. Math. Sci., Tokyo, 22(3), 663–683, (2015)
2015
-
[25]
Wei, M.: Mapping properties for operators on Herz-Morrey and Herz-Morrey- Hardy spaces. J. Pseudo-Differ. Oper. Appl., 14(1), 27, (2023)
2023
-
[26]
Potential Anal., 60(1), 445–472, (2024)
Wei, M.: Extrapolation for weighted product Morrey spaces and some applica- tions. Potential Anal., 60(1), 445–472, (2024)
2024
-
[27]
Zhang, Y., Yang, D., Zhao, Y.: Grand Besov-Bourgain-Morrey spaces and their applications to boundedness of operators. Anal. Math. Phys., 14(4), 58, (2024)
2024
-
[28]
Zhao, Y., Sawano, Y., Tao, J., Yang, D., Yuan, W.: Bourgain-Morrey spaces mixed with structure of Besov spaces. Proc. Steklov Inst. Math., 323, 244–295, (2023)
2023
-
[29]
Zhu, C., Yang, D., Yuan, W.: Bourgain-Brezis-Mironescu-type characterization of inhomogeneous ball Banach Sobolev spaces on extension domains. J. Geom. Anal., 34(10), 70, (2024)
2024
-
[30]
Zorko, C.T.: Morrey space. Proc. Am. Math. Soc., 98, 586–592, (1986) Tengfei Bai Longkunnan 99, College of Mathematics and Statistics, Hainan Normal University, Haikou, Hainan 571158, China e-mail: 202311070100007@hainnu.edu.cn Pengfei Guo Longkunnan 99, College of Mathematics...
1986
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.