pith. sign in

arxiv: 2604.22474 · v1 · submitted 2026-04-24 · 🧮 math.FA · math.CA

A_infty-invariance of oscillatory norms, and Schatten characterisations of commutators

Tuomas Hyt\"onen This is my paper

Pith reviewed 2026-05-08 09:23 UTC · model grok-4.3

classification 🧮 math.FA math.CA
keywords commutatorsSchatten classessingular integralsA_infty equivalenceBessel-Riesz transformsBesov spacesreal-variable harmonic analysis
0
0 comments X

The pith

A∞-equivalent measures let Schatten norms characterize commutators even when the underlying space lacks regularity

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

The paper extends an earlier abstract framework for Schatten-class properties of commutators [b,T] by working with two measures μ and ν that are A∞-equivalent. The commutator acts on L²(μ), but the multiplier b is measured in a function-space norm taken with respect to ν, which can obey stronger conditions such as Ahlfors regularity and a Poincaré inequality even when μ does not. This device recovers the critical-index Schatten characterizations for commutators of Bessel-Riesz transforms by real-variable harmonic analysis, without non-commutative machinery, and replaces an ad-hoc Besov space in the non-critical case by the classical one.

Core claim

By allowing the characterising norms of b to be taken with respect to an A∞-equivalent measure ν rather than the original μ, the abstract framework for Schatten norms of commutators extends to settings where μ fails Ahlfors regularity or the Poincaré inequality, provided such a ν exists; the Bessel-Riesz case is recovered as a direct instance, with ν simply Lebesgue measure.

What carries the argument

The A∞-equivalence of the pair of measures (μ, ν), which decouples the space on which the operator T acts from the space in which the multiplier b is normed, thereby relaxing geometric assumptions on μ.

If this is right

  • The critical-index Schatten characterizations of Fan-Li-Sukochev-Zanin for Bessel-Riesz commutators are recovered by real-variable methods.
  • The non-critical case obtains a simpler description in terms of classical Besov spaces instead of an ad-hoc variant.
  • The framework applies to any singular integral whose underlying measure admits an A∞-equivalent regular measure.

Where Pith is reading between the lines

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

  • The separation of operator space and multiplier-norm space may simplify proofs for other classes of operators on spaces with irregular measures.
  • Results previously limited to Ahlfors-regular settings might be revisited by constructing a convenient equivalent measure ν.
  • The technique suggests that many harmonic-analysis statements can be made measure-independent by passing to an A∞-equivalent reference measure.

Load-bearing premise

There exists an A∞-equivalent measure ν that satisfies Ahlfors regularity and the Poincaré inequality whenever the original measure μ does not.

What would settle it

An explicit example of a singular integral T and a measure μ for which no A∞-equivalent ν satisfies the required regularity, yet the Schatten-norm characterization of [b,T] still holds (or fails to hold when it should according to the framework).

read the original abstract

Schatten class properties of commutators $[b,T]$ of pointwise multipliers $b$ and singular integral operators $T$ have been characterised in a variety of settings. An abstract framework, covering many of these results as special cases, was proposed by the author [arXiv:2411.02613]. However, recent results about commutators of the concrete Bessel-Riesz transforms by Fan-Li-Sukochev-Zanin [arXiv:2411.14928] are beyond this abstract setting. In this work, we present an extension of the framework of [arXiv:2411.02613], introducing two measures $\mu$ and $\nu$ that are $A_\infty$-equivalent to each other. The commutators act on a given space $L^2(\mu)$, but the characterising function space norms of the multiplier $b$ are taken with respect to another measure $\nu$. In this way, assumptions like Ahlfors regularity and Poincar\'e inequality on the original measure $\mu$ may be relaxed, as long as there is an $A_\infty$-equivalent measure $\nu$ that satisfies these assumptions. In the Bessel example, the original $\mu$ fails to be Ahlfors regular, but $\nu$ is simply the Lebesgue measure. Within this framework, the Schatten norm characterisations of commutators of the Bessel-Riesz transforms at the critical-index by Fan-Li-Sukochev-Zanin [op cit.] are recovered by a completely different argument, replacing non-commutative techniques by real-variable harmonic analysis and hardly using any specifics of the Bessel setting. As a by-product, we also obtain a simpler characterisation in the non-critical case, replacing an ad-hoc Besov space of Fan-Lacey-Li-Xiong [J. Funct. Anal. 2026] by a classical Besov space.

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 / 3 minor

Summary. The manuscript extends the author's prior abstract framework (arXiv:2411.02613) for Schatten-norm characterizations of commutators [b,T] by introducing a pair of A_∞-equivalent measures μ and ν. The commutator acts on L²(μ) while the characterizing oscillatory/Besov norms of the multiplier b are taken with respect to ν, which is assumed to satisfy Ahlfors regularity and the Poincaré inequality. This relaxation is used to recover the critical-index Schatten characterizations for commutators of Bessel-Riesz transforms obtained by Fan-Li-Sukochev-Zanin (arXiv:2411.14928) via real-variable harmonic analysis rather than non-commutative methods, and to replace an ad-hoc Besov space by a classical one in the non-critical case.

Significance. If the A_∞-invariance of the oscillatory norms is established with the stated stability of maximal-function and oscillation estimates, the work supplies a more flexible unification of commutator results across measures that need not themselves be regular. The alternative real-variable proof for the Bessel-Riesz case demonstrates that the characterizations are robust and largely independent of the specific kernel, while the non-critical simplification removes an ad-hoc construction. These features strengthen the abstract approach without introducing new free parameters or circular dependence on the original measure.

minor comments (3)
  1. §2 (or the section defining the new framework): the statement that the argument 'hardly uses any specifics of the Bessel setting' should be made precise by listing, even briefly, which properties of the Bessel kernel or the original measure μ are not invoked in the estimates.
  2. Introduction, paragraph on the non-critical case: the claim that the new characterization replaces the ad-hoc Besov space of Fan-Lacey-Li-Xiong by a classical one would benefit from an explicit comparison of the two norms (or a reference to the precise definition used here).
  3. The notation for the pair (μ,ν) and the A_∞ equivalence constant should be introduced once and used consistently; currently the transition between the abstract setting and the Bessel example is slightly abrupt.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of the manuscript. The summary and significance statement accurately reflect the contributions, including the extension via A_∞-equivalent measures, the recovery of the critical-index results for Bessel-Riesz commutators via real-variable methods, and the simplification to classical Besov spaces in the non-critical case. We note the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper explicitly extends the author's prior abstract framework (arXiv:2411.02613) by introducing a new pair of A_∞-equivalent measures μ and ν, with commutators acting on L²(μ) while b-norms are taken w.r.t. ν. This extension is developed in the present work to relax Ahlfors regularity and Poincaré assumptions on μ (as in the Bessel case where ν=Lebesgue). The recovery of the Fan-Li-Sukochev-Zanin Schatten characterizations is stated to proceed via real-variable harmonic analysis methods that are new to this paper and use almost none of the Bessel specifics. No derivation step reduces by construction to the prior self-citation; the self-citation supplies only the base framework being extended, while the central claims rest on the independent extension and new estimates. The logical chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; the framework relies on standard A_∞ weight theory and equivalence of measures, but no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5646 in / 1089 out tokens · 20063 ms · 2026-05-08T09:23:58.147194+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

27 extracted references · 27 canonical work pages · 1 internal anchor

  1. [1]

    Coifman, P.-L

    R. Coifman, P.-L. Lions, Y. Meyer, and S. Semmes. Compensated compactness and Hardy spaces.J. Math. Pures Appl. (9), 72(3):247–286, 1993

    work page 1993

  2. [2]

    R. R. Coifman, R. Rochberg, and G. Weiss. Factorization theorems for Hardy spaces in several variables.Ann. of Math. (2), 103(3):611–635, 1976. SCHATTEN CHARACTERISATIONS OF COMMUTATORS 13

    work page 1976

  3. [3]

    J. M. Conde-Alonso, A. M. Gonz´ alez-P´ erez, J. Parcet, and E. Tablate. Schur multipliers in Schatten–von Neumann classes.Ann. of Math. (2), 198(3):1229–1260, 2023

    work page 2023

  4. [4]

    Connes.Noncommutative geometry

    A. Connes.Noncommutative geometry. Academic Press, Inc., San Diego, CA, 1994

    work page 1994

  5. [5]

    Connes, D

    A. Connes, D. Sullivan, and N. Teleman. Quasiconformal mappings, operators on Hilbert space, and local formulae for characteristic classes.Topology, 33(4):663–681, 1994. With an appendix in collaboration with S. Semmes

    work page 1994

  6. [6]

    M. Cwikel. Weak type estimates for singular values and the number of bound states of Schr¨ odinger operators.Ann. of Math. (2), 106(1):93–100, 1977

    work page 1977

  7. [7]

    Z. Fan, M. Lacey, and J. Li. Schatten classes and commutators of Riesz transform on Heisen- berg group and applications.J. Fourier Anal. Appl., 29(2):Paper No. 17, 28, 2023

    work page 2023

  8. [8]

    Z. Fan, M. Lacey, J. Li, and X. Xiong. Schatten-Lorentz characterization of Riesz transform commutator associated with Bessel operators.J. Funct. Anal., 290(2):Paper No. 111233, 52, 2026

    work page 2026

  9. [9]

    Z. Fan, J. Li, E. McDonald, F. Sukochev, and D. Zanin. Endpoint weak Schatten class esti- mates and trace formula for commutators of Riesz transforms with multipliers on Heisenberg groups.J. Funct. Anal., 286(1):Paper No. 110188, 72, 2024

    work page 2024

  10. [10]

    Z. Fan, J. Li, F. Sukochev, and D. Zanin. Spectral asymptotic formula of Bessel–Riesz com- mutator, 2024. Preprint, arXiv:2411.14928

    work page arXiv 2024

  11. [11]

    R. L. Frank. A characterization of ˙W 1,p(Rd).Pure Appl. Funct. Anal., 9(1):53–68, 2024

    work page 2024

  12. [12]

    R. L. Frank, F. Sukochev, and D. Zanin. Asymptotics of singular values for quantum deriva- tives.Trans. Amer. Math. Soc., 376(3):2047–2088, 2023

    work page 2047

  13. [13]

    Z. Gong, J. Li, and B. D. Wick. Besov spaces, Schatten classes and weighted versions of the quantised derivative.Anal. Math., 49(4):971–1006, 2023

    work page 2023

  14. [14]

    Haj lasz

    P. Haj lasz. Sobolev spaces on an arbitrary metric space.Potential Anal., 5(4):403–415, 1996

    work page 1996

  15. [15]

    Schatten properties of commutators on metric spaces

    T. Hyt¨ onen. Schatten properties of commutators on metric spaces, 2025. Preprint, arXiv:2411.02613

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  16. [16]

    Hyt¨ onen and A

    T. Hyt¨ onen and A. Kairema. Systems of dyadic cubes in a doubling metric space.Colloq. Math., 126(1):1–33, 2012

    work page 2012

  17. [17]

    Hyt¨ onen and R

    T. Hyt¨ onen and R. Korte. Characterisations of Sobolev spaces and constant functions over metric spaces, 2026. Preprint, arXiv:2508.07801

    work page arXiv 2026

  18. [18]

    Janson and T

    S. Janson and T. H. Wolff. Schatten classes and commutators of singular integral operators. Ark. Mat., 20(2):301–310, 1982

    work page 1982

  19. [19]

    Keith and X

    S. Keith and X. Zhong. The Poincar´ e inequality is an open ended condition.Ann. of Math. (2), 167(2):575–599, 2008

    work page 2008

  20. [20]

    Korte and O

    R. Korte and O. E. Kansanen. StrongA ∞-weights areA ∞-weights on metric spaces.Rev. Mat. Iberoam., 27(1):335–354, 2011

    work page 2011

  21. [21]

    Lacey, J

    M. Lacey, J. Li, and B. D. Wick. Schatten classes and commutator in the two weight setting, I. Hilbert transform.Potential Anal., 60(2):875–894, 2024

    work page 2024

  22. [22]

    Lacey, J

    M. Lacey, J. Li, B. D. Wick, and L. Wu. Schatten classes and commutators of Riesz transforms in the two weight setting.J. Funct. Anal., 289(6):Paper No. 111028, 51, 2025

    work page 2025

  23. [23]

    Levitina, F

    G. Levitina, F. Sukochev, and D. Zanin. Cwikel estimates revisited.Proc. Lond. Math. Soc. (3), 120(2):265–304, 2020

    work page 2020

  24. [24]

    J. Li, X. Xiong, and F. Yang. Schatten properties of Calder´ on-Zygmund singular integral commutator on stratified Lie groups.J. Math. Pures Appl. (9), 188:73–113, 2024

    work page 2024

  25. [25]

    S. Lord, E. McDonald, F. Sukochev, and D. Zanin. Quantum differentiability of essentially bounded functions on Euclidean space.J. Funct. Anal., 273(7):2353–2387, 2017

    work page 2017

  26. [26]

    Muckenhoupt and R

    B. Muckenhoupt and R. L. Wheeden. Weighted bounded mean oscillation and the Hilbert transform.Studia Math., 54(3):221–237, 1975/76

    work page 1975

  27. [27]

    Rochberg and S

    R. Rochberg and S. Semmes. Nearly weakly orthonormal sequences, singular value estimates, and Calderon-Zygmund operators.J. Funct. Anal., 86(2):237–306, 1989. Aalto University, Department of Mathematics and Systems Analysis, P.O. Box 11100, FI-00076 Aalto, Finland Email address:tuomas.hytonen@aalto.fi

    work page 1989