Optimal Sparse Bounds and Commutator Characterizations Without Doubling

TL;DR

This paper establishes sparse bounds and characterizations for dyadic paraproducts and commutators in non-homogeneous measure spaces, extending previous results to more general settings without doubling assumptions.

Contribution

It improves sparse domination results for dyadic paraproducts with BMO symbols in non-doubling measures and characterizes boundedness of commutators on L^p spaces.

Findings

Sharp weighted inequalities for commutators of dyadic Hilbert transforms.

Characterization of symbols for bounded commutators on L^p.

Examples showing the dependence of symbol classes on p.

Abstract

We examine dyadic paraproducts and commutators in the non-homogeneous setting, where the underlying Borel measure $\mu$ is not assumed to be doubling. We first establish a pointwise sparse domination for dyadic paraproducts and related operators with symbols $b \in \textrm{BMO}(\mu)$, improving upon an earlier result of Lacey, where the symbol $b$ was assumed to satisfy a stronger Carleson-type condition, that coincides with $\textrm{BMO}$ only in the doubling setting. As an application of this result, we obtain sharpened weighted inequalities for the commutator of a dyadic Hilbert transform $\mathcal{H}$ previously studied by Borges, Conde Alonso, Pipher, and the third author. We also characterize the symbols for which the commutator $[\mathcal{H},b]$ is bounded on $L^p(\mu)$ for $1<p<\infty$ and provide some interesting examples to prove that this class of symbols strictly depends on $p$ and is nested between symbols satisfying the $p$-Carleson packing condition and symbols belonging to martingale BMO (even in the case of absolutely continuous measures).