pith. sign in

arxiv: 2606.28292 · v1 · pith:HL56MTUVnew · submitted 2026-06-26 · 🧮 math.CA

On the Bourgain--Brezis--Mironescu spaces over Carleson tents

\'Arp\'ad B\'enyi , Bingyang Hu , Xiaojing Zhou This is my paper

Pith reviewed 2026-06-29 01:37 UTC · model grok-4.3

classification 🧮 math.CA
keywords Bourgain-Brezis-Mironescu spacesCarleson tentsrigidity theoremmean oscillationBMO-Carleson spacestrace operatorstent spacesfractional Sobolev spaces
0
0 comments X

The pith

The Bourgain-Brezis-Mironescu rigidity theorem holds at the level of traces for spaces defined by mean oscillation over Carleson tents.

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

The paper defines Carleson analogs B_C^p and B_C,0^p of the Bourgain-Brezis-Mironescu spaces by replacing standard mean oscillation with averages over upper Carleson tents. These spaces contain BMO/VMO-Carleson spaces, tent-space potential classes, and fractional Sobolev classes. The authors prove decompositions of both spaces into bounded-oscillation and bounded-average components. Although direct rigidity fails in B_C,0^p, a natural trace operator is introduced under which the rigidity statement is recovered.

Core claim

By measuring mean oscillation over upper Carleson tents, the spaces B_C^p and B_C,0^p contain several standard classes and admit decompositions into bounded-oscillation and bounded-average parts; the Bourgain-Brezis-Mironescu rigidity, which fails directly on B_C,0^p, holds when restricted to the natural B_C^p-trace.

What carries the argument

The B_C^p-trace operator, which extracts a trace from functions in the Carleson-tent space and restores the rigidity property.

If this is right

  • B_C^p contains the BMO-Carleson and VMO-Carleson spaces.
  • B_C^p and B_C,0^p admit decompositions into bounded-oscillation plus bounded-average components.
  • The B_C^p-trace recovers the full Bourgain-Brezis-Mironescu rigidity statement.
  • B_C^p also contains tent-space potential classes and fractional Sobolev classes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The tent geometry may extend similar rigidity results to boundary-value problems on domains with Carleson measure data.
  • The same trace construction could be tested on other tent-based function spaces arising in harmonic analysis.
  • Decompositions of this type might simplify proofs of embedding or compactness results that rely on oscillation control.

Load-bearing premise

Mean oscillation measured over upper Carleson tents is enough to guarantee the containments, the decompositions, and the survival of rigidity at the trace level.

What would settle it

An explicit function in B_C,0^p whose B_C^p-trace fails to satisfy the rigidity identity would show that the theorem does not survive at the trace level.

Figures

Figures reproduced from arXiv: 2606.28292 by \'Arp\'ad B\'enyi, Bingyang Hu, Xiaojing Zhou.

Figure 1
Figure 1. Figure 1: An example of a chain of cubes connecting z and z ′ with N = 6: the shaded squares represent the cubes Ri , while the dashed squares represent the auxiliary cubes Gi . Thus, by Lemma 3.5, we have |fT up R(z) − fT up R(z′) | = |fT up R1 − fT up RN | ≤ N X−1 j=1 [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: A family Qε of mutually disjoint ε-cubes in Q0, each bisected by the hyperplane {x1 = 1/2}. Now, for each such cube Q, since Fg is independent of t, its average over T up Q is equal to 1/2. Hence, MC,p(Fg, Q) = − Z T up Q [PITH_FULL_IMAGE:figures/full_fig_p020_2.png] view at source ↗
read the original abstract

We introduce Carleson analogs of the Bourgain--Brezis--Mironescu spaces $B$ and $B_0$ by measuring mean oscillation over upper Carleson tents. For these spaces, denoted by $B_{\mathcal C}^p$ and $B_{\mathcal C,0}^p$, we prove two types of structural results. First, we show that they contain several natural classes of functions, including BMO/VMO--Carleson spaces, tent-space potential classes, and fractional Sobolev classes. Second, motivated by Zhu's structural theorem for BMO spaces induced by the Bergman metric, we establish decompositions of $B_{\mathcal C}^p$ and $B_{\mathcal C,0}^p$ into bounded-oscillation and bounded-average components. We then revisit the Bourgain--Brezis--Mironescu rigidity phenomenon in the Carleson setting. Although the direct rigidity statement fails for $B_{\mathcal C,0}^p$, we introduce a natural $B_{\mathcal C}^p$-trace and prove that the rigidity theorem survives at the level of traces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper introduces Carleson analogs of the Bourgain--Brezis--Mironescu spaces B and B_0, denoted B_C^p and B_C,0^p, by measuring mean oscillation over upper Carleson tents. It proves that these spaces contain BMO/VMO--Carleson spaces, tent-space potential classes, and fractional Sobolev classes; establishes decompositions of B_C^p and B_C,0^p into bounded-oscillation and bounded-average components motivated by Zhu's theorem; and introduces a natural B_C^p-trace under which the BBM rigidity theorem holds, even though the direct rigidity statement fails on B_C,0^p.

Significance. If the structural results and trace rigidity hold, the work extends the BBM framework to the Carleson-tent setting with explicit containments and decompositions, providing a concrete way to recover rigidity at the trace level. This may offer new tools for analyzing oscillation and traces in harmonic analysis contexts involving Carleson measures.

minor comments (2)
  1. The abstract states that the direct rigidity statement fails for B_C,0^p but holds at the trace level; the manuscript should include a brief counterexample or explicit reason for the failure in the introduction or a dedicated section to clarify the necessity of the trace construction.
  2. Notation for the new spaces (B_C^p, B_C,0^p) and the trace operator should be introduced with precise definitions early in the paper, including the precise form of the mean oscillation over tents, to aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for noting the potential utility of extending the BBM framework to the Carleson-tent setting. No specific major comments were raised in the report, so we have no individual points to address. We remain available to provide additional details or clarifications should the referee or editor request them.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces new spaces B_C^p and B_C,0^p via explicit mean oscillation definitions over upper Carleson tents, then derives containments, decompositions into oscillation/average parts, and a trace rigidity result. These steps rest on the new definitions and standard analytic arguments rather than reducing by construction to fitted parameters, self-citations, or renamed inputs. No load-bearing premise collapses to a prior self-referential result; the derivation chain is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No specific free parameters, axioms, or invented entities identifiable from the abstract alone.

pith-pipeline@v0.9.1-grok · 5742 in / 1032 out tokens · 46679 ms · 2026-06-29T01:37:50.937489+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

18 extracted references

  1. [1]

    B´ ekoll´ e, C

    D. B´ ekoll´ e, C. Berger, L. Coburn and K. Zhu, BMO in the Bergman metric on bounded symmetric domains,J. Funct. Anal.93(1990), 310–350

    1990

  2. [2]

    Bourgain, H

    J. Bourgain, H. Brezis and P. Mironescu, A new function space and applications,J. Eur. Math. Soc. 17(2015), no. 9, 2083–2101

    2015

  3. [3]

    R. R. Coifman, Y. Meyer and E. M. Stein, Some new function spaces and their applications to harmonic analysis,J. Funct. Anal.62(1985), no. 2, 304–335

    1985

  4. [4]

    W. S. Cohn and I. E. Verbitsky, Factorization of tent spaces and Hankel operators,J. Funct. Anal.175 (2000), no. 2, 308–329

    2000

  5. [5]

    H. G. Feichtinger, Choosing function spaces in harmonic analysis,Appl. Numer. Harmon. Anal., Birkh¨ auser/Springer, 2015, 65–101

    2015

  6. [6]

    Grafakos,Modern Fourier Analysis, Graduate Texts in Mathematics, vol

    L. Grafakos,Modern Fourier Analysis, Graduate Texts in Mathematics, vol. 250, Springer, 2014

    2014

  7. [7]

    B. Hu, Z. Huo, L. Lanzani, K. Palencia and N. A. Wagner, The commutator of the Bergman projection on strongly pseudoconvex domains with minimal smoothness,J. Funct. Anal.286(2024), no. 1, Paper No. 110177, 45 pp

    2024

  8. [8]

    Hu and X

    B. Hu and X. Zhou, Near end-point Carleson embedding ofQ s andF(p, q, s) into tent spaces, and its applications to compositions of analytic paraproducts,J. Fourier Anal. Appl.31(2025), no. 4, Paper No. 60, 33 pp

    2025

  9. [9]

    John and L

    F. John and L. Nirenberg, On functions of bounded mean oscillation,Comm. Pure Appl. Math.14 (1961), 415–426

    1961

  10. [10]

    Li, BMO, VMO and Hankel operators on the Bergman space of strongly pseudoconvex domains,J

    H. Li, BMO, VMO and Hankel operators on the Bergman space of strongly pseudoconvex domains,J. Funct. Anal.106(1992), no. 2, 375–408

    1992

  11. [11]

    Li, Hankel operators on the Bergman spaces of strongly pseudoconvex domains,Integral Equations Operator Theory19(1994), no

    H. Li, Hankel operators on the Bergman spaces of strongly pseudoconvex domains,Integral Equations Operator Theory19(1994), no. 4, 458–476

    1994

  12. [12]

    Li and D

    H. Li and D. H. Luecking, BMO on strongly pseudoconvex domains: Hankel operators, duality and ¯∂-estimates,Trans. Amer. Math. Soc.346(1994), no. 2, 661–691

    1994

  13. [13]

    D. H. Luecking, Characterizations of certain classes of Hankel operators on the Bergman spaces of the unit disk,J. Funct. Anal.110(1992), no. 2, 247–271

    1992

  14. [14]

    Muscalu and W

    C. Muscalu and W. Schlag,Classical and Multilinear Harmonic Analysis, I, Cambridge Studies in Advanced Mathematics, vol. 137, Cambridge University Press, 2013

    2013

  15. [15]

    J. Pau, R. Zhao and K. Zhu, Weighted BMO and Hankel operators between Bergman spaces,Indiana Univ. Math. J.65(2016), no. 5, 1639–1673

    2016

  16. [16]

    Xia, On the Schatten class membership of Hankel operators on the unit ball,Illinois J

    J. Xia, On the Schatten class membership of Hankel operators on the unit ball,Illinois J. Math.46 (2002), no. 3, 913–928. BBM SPACES OVER CARLESON TENTS 25

    2002

  17. [17]

    Xiao, TheQ p Carleson measure problem,Adv

    J. Xiao, TheQ p Carleson measure problem,Adv. Math.217(2008), 2075–2088

    2008

  18. [18]

    Zhu, BMO and Hankel operators on Bergman spaces,Pacific J

    K. Zhu, BMO and Hankel operators on Bergman spaces,Pacific J. Math.155(1992), no. 2, 377–395. ´Arp´ad B ´enyi: Department of Mathematics, Western Washington University, 516 High Street, Bellingham, WA 98225, U.S.A. Email address:benyia@wwu.edu Bingyang Hu: Department of Mathematics, Auburn University, 221 Parker Hall, Auburn, AL 36849, U.S.A. Email addres...

    1992