Diamond Maximal Operators: Classification, Moduli, and Oscillation Envelopes
Abstract
We study maximal averages generated by bounded cancellative kernels taking values in finite-dimensional real normed spaces, on Euclidean balls and on balls in a non-Archimedean local field with a fixed uniformizer. For angular kernels, pointwise domination of the full maximal operators is equivalent to factorization of their angular averaging maps, with the same optimal constant. Nonzero scalar angular comparison classes are therefore projective kernel classes. For angular kernels constant on a fixed finite measurable partition of the direction space, symmetric convex bodies classify exact norm measurements, Grassmannians parametrize nonzero classes under mutual domination, and positive semidefinite Gram matrices classify Hilbert-valued measurements. For general kernels, the closed convex hull of the averaging densities obtained from all scales and the dual unit ball is a complete invariant of the full maximal operator. A dilation example exhibits identifications of residue kernels beyond scaling and unit-coordinate changes. For nonzero radial residue kernels on bounded inputs, mutual domination is classified by the unit-circle zeros of filter polynomials, counted with multiplicity, with optimal constants given by the ℓ1 norms of convolution quotients. We identify the envelope over all normalized bounded cancellative kernels with the best local L1 approximation by constants and prove quantitative convergence of residue envelopes as the resolution increases. Finally, the weights of the finite Fourier transform classify the one-level energy and the associated Carleson functional. This functional is equivalent to the BMO2 seminorm precisely when every nontrivial additive character of the residue field is detected, and the weights determine the optimal comparison constants.
Related
- A class of Ψ-bounded oscillation operators on abstract Orlicz-Morrey spaces endowed with a ball-basis and their applications
- Commutators of a class of Ψ-bounded oscillation operators on abstract weighted Orlicz-Morrey spaces endowed with ball-basis and applications
- Maximal velocity estimates for Hardy operators
- A Banach space that distinguishes two maximal operators
- Orthonormal maximal estimates for fractional Schrödinger operators along Hölder curves
BibTeX
@misc{mohajer2026diamond,
title = {{Diamond Maximal Operators: Classification, Moduli, and Oscillation Envelopes}},
author = {Mohammadreza Mohajer},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.24201},
eprint = {2610.24201},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.24201},
}
RIS
TY - UNPB
TI - Diamond Maximal Operators: Classification, Moduli, and Oscillation Envelopes
AU - Mohammadreza Mohajer
PY - 2026
DA - 2026/10/16
PB - arXiv
DO - 10.48550/arxiv.2610.24201
UR - https://arxiv.org/abs/2610.24201
AB - We study maximal averages generated by bounded cancellative kernels taking values in finite-dimensional real normed spaces, on Euclidean balls and on balls in a non-Archimedean local field with a fixed uniformizer. For angular kernels, pointwise domination of the full maximal operators is equivalent to factorization of their angular averaging maps, with the same optimal constant. Nonzero scalar angular comparison classes are therefore projective kernel classes. For angular kernels constant on a fixed finite measurable partition of the direction space, symmetric convex bodies classify exact norm measurements, Grassmannians parametrize nonzero classes under mutual domination, and positive semidefinite Gram matrices classify Hilbert-valued measurements. For general kernels, the closed convex hull of the averaging densities obtained from all scales and the dual unit ball is a complete invariant of the full maximal operator. A dilation example exhibits identifications of residue kernels beyond scaling and unit-coordinate changes. For nonzero radial residue kernels on bounded inputs, mutual domination is classified by the unit-circle zeros of filter polynomials, counted with multiplicity, with optimal constants given by the ℓ^1 norms of convolution quotients. We identify the envelope over all normalized bounded cancellative kernels with the best local L^1 approximation by constants and prove quantitative convergence of residue envelopes as the resolution increases. Finally, the weights of the finite Fourier transform classify the one-level energy and the associated Carleson functional. This functional is equivalent to the BMO_2 seminorm precisely when every nontrivial additive character of the residue field is detected, and the weights determine the optimal comparison constants.
ER -