pith. sign in

arxiv: 1907.07375 · v1 · pith:F3D6I5GTnew · submitted 2019-07-17 · 🧮 math.FA · math.CA· math.OA

Algebraic Calder\'on-Zygmund theory

Marius Junge , Tao Mei , Javier Parcet , Runlian Xia This is my paper

Pith reviewed 2026-05-24 20:21 UTC · model grok-4.3

classification 🧮 math.FA math.CAmath.OA
keywords Calderón-Zygmund theoryMarkov semigroupvon Neumann algebraBMO spacenoncommutative harmonic analysisabstract Markov metricendpoint inequality
0
0 comments X

The pith

A Markov semigroup under algebraic assumptions yields an abstract Markov metric and BMO spaces supporting Calderón-Zygmund theory on arbitrary von Neumann algebras.

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

The paper develops a version of Calderón-Zygmund theory that works on general measure spaces using only a Markov semigroup with algebraic properties, without needing a metric. This constructs an abstract Markov metric from the semigroup to define BMO spaces that interpolate with the Lp-scale and support endpoint inequalities for Calderón-Zygmund operators. The framework applies to noncommutative settings like arbitrary von Neumann algebras, as well as classical ones such as Riemannian manifolds with nonnegative Ricci curvature, doubling or nondoubling spaces, and fractals. It supplies the first such theory for arbitrary von Neumann algebras and improves existing results for quantum Euclidean spaces and group von Neumann algebras.

Core claim

Assuming only algebraic conditions on a Markov semigroup allows construction of an abstract Markov metric that controls the associated Markov process, produces BMO spaces interpolating with the Lp scale, and permits endpoint estimates for Calderón-Zygmund operators, establishing the theory for arbitrary von Neumann algebras as well as various classical spaces.

What carries the argument

The abstract Markov metric derived from the Markov semigroup under algebraic assumptions, which governs the process and defines the BMO spaces for interpolation and inequalities.

If this is right

  • The BMO spaces interpolate with the Lp-scale and admit endpoint inequalities for Calderón-Zygmund operators.
  • This yields the first Calderón-Zygmund theory for arbitrary von Neumann algebras.
  • The theory applies to Riemannian manifolds with nonnegative Ricci curvature and doubling or nondoubling spaces.
  • Results improve for quantum Euclidean spaces and group von Neumann algebras linked to noncommutative geometry and geometric group theory.

Where Pith is reading between the lines

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

  • If the algebraic assumptions can be verified for more semigroups, the approach could extend CZ theory to additional abstract probability spaces.
  • Further exploration might connect this Markov metric to other noncommutative geometric structures beyond those already considered.
  • Testing on specific examples like free group factors could validate broader applicability in geometric group theory.

Load-bearing premise

A Markov semigroup satisfying purely algebraic assumptions suffices to construct an abstract Markov metric governing the process and yielding suitable BMO spaces.

What would settle it

A counterexample Markov semigroup meeting the algebraic assumptions but whose constructed BMO spaces fail to interpolate with Lp or to admit the endpoint inequalities would disprove the claim.

read the original abstract

Calder\'on-Zygmund theory has been traditionally developed on metric measure spaces satisfying additional regularity properties. In the lack of good metrics, we introduce a new approach for general measure spaces which admit a Markov semigroup satisfying purely algebraic assumptions. We shall construct an abstract form of "Markov metric" governing the Markov process and the naturally associated BMO spaces, which interpolate with the Lp-scale and admit endpoint inequalities for Calder\'on-Zygmund operators. Motivated by noncommutative harmonic analysis, this approach gives the first form of Calder\'on-Zygmund theory for arbitrary von Neumann algebras, but is also valid in classical settings like Riemannian manifolds with nonnegative Ricci curvature or doubling/nondoubling spaces. Other less standard commutative scenarios like fractals or abstract probability spaces are also included. Among our applications in the noncommutative setting, we improve recent results for quantum Euclidean spaces and group von Neumann algebras, respectively linked to noncommutative geometry and geometric group theory.

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 paper develops an algebraic Calderón-Zygmund theory on general measure spaces admitting a Markov semigroup with purely algebraic assumptions. It constructs an abstract Markov metric governing the process, together with associated BMO spaces that interpolate with the Lp scale and satisfy endpoint inequalities for Calderón-Zygmund operators. The framework applies to arbitrary von Neumann algebras and recovers classical settings such as Riemannian manifolds with nonnegative Ricci curvature, doubling/nondoubling spaces, fractals, and abstract probability spaces, with applications improving results on quantum Euclidean spaces and group von Neumann algebras.

Significance. If the algebraic construction holds, the work supplies the first Calderón-Zygmund theory for arbitrary von Neumann algebras, extending the theory beyond metric-measure-space assumptions. The route from algebraic semigroup axioms to an abstract Markov metric and BMO interpolation is a notable strength, as is the uniform treatment of both noncommutative and classical cases together with concrete applications to noncommutative geometry and geometric group theory.

minor comments (3)
  1. [§1] The precise list of algebraic assumptions on the Markov semigroup is stated only after the introduction; moving an enumerated list of these axioms to the end of §1 would improve readability.
  2. [§3] Notation for the abstract Markov metric (introduced in §3) is used in later sections before its full properties are listed; a short summary table of its key properties would help.
  3. A few references to prior noncommutative CZ results (e.g., on quantum Euclidean spaces) appear without page numbers; adding them would aid verification.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the algebraic approach, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from algebraic assumptions

full rationale

The paper starts from explicitly stated purely algebraic assumptions on a Markov semigroup and constructs an abstract Markov metric, associated BMO spaces, Lp interpolation, and Calderón-Zygmund endpoint inequalities as derived objects. No step reduces a claimed prediction or first-principles result to its own inputs by definition, fitted parameters renamed as outputs, or load-bearing self-citation chains. The framework is presented as applying uniformly to von Neumann algebras and classical settings without internal reduction to the target results themselves.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central construction rests on the existence of a Markov semigroup obeying purely algebraic assumptions and introduces the Markov metric as a derived object; no free parameters or additional invented entities beyond the metric are indicated.

axioms (1)
  • domain assumption Markov semigroup satisfies purely algebraic assumptions
    Invoked in the abstract as the sole input needed to build the abstract Markov metric and BMO spaces.
invented entities (1)
  • Markov metric no independent evidence
    purpose: To serve as an abstract replacement for a traditional metric that governs the Markov process and defines associated BMO spaces
    New construct introduced to enable the theory on spaces lacking a metric structure.

pith-pipeline@v0.9.0 · 5699 in / 1296 out tokens · 26618 ms · 2026-05-24T20:21:19.445243+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

66 extracted references · 66 canonical work pages · 3 internal anchors

  1. [1]

    Bakry, ´Etude des transformations de Riesz dans les vari´ et´ es riemanniennes ` a courbure de Ricci minor´ ee

    D. Bakry, ´Etude des transformations de Riesz dans les vari´ et´ es riemanniennes ` a courbure de Ricci minor´ ee. S´ eminaire de Probabilit´ es XXI. Lecture Notes in Math. 1247 (1987), 137-172

    work page 1987

  2. [2]

    Blunck and P

    S. Blunck and P. Kunstmann, Calder´ on-Zygmund theory for non-integral operators and the H ∞–functional calculus. Rev. Mat. Iberoamericana 19 (2003), 919-942

    work page 2003

  3. [3]

    Bourgain, Vector valued singular integrals and the H 1-BMO duality

    J. Bourgain, Vector valued singular integrals and the H 1-BMO duality. Probability Theory and Harmonic Analysis. (Eds. Chao and W oyczynski) Decker (1 986), 1-19

    work page

  4. [4]

    Cadilhac, W eak boundedness of Calder´ on-Zygmund oper ators on noncommutative L1- spaces

    L. Cadilhac, W eak boundedness of Calder´ on-Zygmund oper ators on noncommutative L1- spaces. J. Funct. Anal. 274 (2018), 769-796

    work page 2018

  5. [5]

    Calder´ on, Ergodic theory and translation-invariant operators

    A.P. Calder´ on, Ergodic theory and translation-invariant operators. Proc. Nat. Acad. Sci. USA 59 (1968), 349-353

    work page 1968

  6. [6]

    Calder´ on and A

    A.P. Calder´ on and A. Zygmund, On the existence of certain singular integrals. Acta Math. 88 (1952), 85-139

    work page 1952

  7. [7]

    Caspers, J

    M. Caspers, J. Parcet, M. Perrin and ´E. Ricard, Noncommutative de Leeuw theorems. Forum of Mathematics Σ 3 (2015), e21

    work page 2015

  8. [8]

    Weak type commutator and Lipschitz estimates: resolution of the Nazarov-Peller conjecture

    M. Caspers, D. Potapov, F. Sukochev and D. Zanin, W eak type commutator and Lipschitz estimates: resolution of the Nazarov-Peller conjecture. A mer. J. Math. To appear. arXiv: 1506.00778

    work page internal anchor Pith review Pith/arXiv arXiv

  9. [9]

    Caspers and M

    M. Caspers and M. de la Salle, Schur and Fourier multiplier s of an amenable group acting on non-commutative Lp-spaces. Trans. Amer. Math. Soc. 367 (2015), 6997-7013

    work page 2015

  10. [10]

    J.Chen, Heat kernel on positively curved manifolds and t heir applications. Ph.D. Thesis, Hangzhou University, 1987

    work page 1987

  11. [11]

    Z. Chen, Q. Xu and Z. Yin, Harmonic analysis on quantum tor i. Comm. Math. Phys. 322 (2013), no. 3, 755-805

    work page 2013

  12. [12]

    Choi, A Schwarz inequality for positive linear maps on C∗-algebras

    M.D. Choi, A Schwarz inequality for positive linear maps on C∗-algebras. Illinois J. Math. 18 (1974), 565-574

    work page 1974

  13. [13]

    Coifman and G

    R. Coifman and G. W eiss, Transference methods in analysi s. Regional Conference Series in Mathematics 31. American Mathematical Society, 1976. 54 JUNGE, MEI, PARCET AND XIA

    work page 1976

  14. [14]

    Coifman and G

    R. Coifman and G. W eiss, Extensions of Hardy spaces and th eir use in analysis. Bull. Amer. Math. Soc. 83 (1977), 569-645

    work page 1977

  15. [15]

    Cotlar, A unified theory of Hilbert transforms and ergo dic theorems

    M. Cotlar, A unified theory of Hilbert transforms and ergo dic theorems. Rev. Mat. Cuyana 1 (1955), 105-167

    work page 1955

  16. [16]

    Davies, Explicit constants for Gaussian upper boun ds on heat kernels

    E.B. Davies, Explicit constants for Gaussian upper boun ds on heat kernels. Amer. J. Math. 109 (1987), 319-333

    work page 1987

  17. [17]

    Davies, Heat Kernels and Spectral Theory

    E.B. Davies, Heat Kernels and Spectral Theory. Cambridg e. Univ. Press, 1989

    work page 1989

  18. [18]

    de Leeuw, On Lp multipliers

    K. de Leeuw, On Lp multipliers. Ann. of Math. 81 (1965), 364-379

    work page 1965

  19. [19]

    Duong and L

    X.T. Duong and L. Yan, New function spaces of BMO type, the John-Nirenberg inequality, interpolation, and applications. Comm. Pure Appl. Math. 58 (2005), 1375-1420

    work page 2005

  20. [20]

    Duong and L

    X.T. Duong and L. Yan, Duality of Hardy and BMO spaces asso ciated with operators with heat kernel bounds. J. Amer. Math. Soc. 18 (2005), 943-973

    work page 2005

  21. [21]

    Enock and J.M

    M. Enock and J.M. Schwartz, Kac algebras and duality of lo cally compact groups. With a preface by A. Connes and a postface by A. Ocneanu. Springer, 1 992

    work page

  22. [22]

    Effros and Z.J

    E.G. Effros and Z.J. Ruan, Operator Spaces. London Math. S oc. Monogr. 23, Oxford Univer- sity Press, 2000

    work page 2000

  23. [23]

    Ferguson, T

    T. Ferguson, T. Mei and B. Simanek, H ∞ calculus for semigroup generators on BMO. Adv. Math. 347 (2019), 408-441

    work page 2019

  24. [24]

    A. M. Gonz´ alez-P´ erez, M. Junge and J. Parcet, Singularintegral in quantum Euclidean spaces. Mem. Amer. Math. Soc. To appear. arXiv:1705.01081

    work page internal anchor Pith review Pith/arXiv arXiv

  25. [25]

    H. Ha, G. Lee and R. Ponge. Pseudodifferential calculus on noncommutative tori I. arXiv:1803.03575

    work page internal anchor Pith review Pith/arXiv arXiv

  26. [26]

    Haagerup, Operator valued weights in von Neumann alge bras I

    U. Haagerup, Operator valued weights in von Neumann alge bras I. J. Funct. Anal. 32 (1979), 175-206

    work page 1979

  27. [27]

    Haagerup, Operator valued weights in von Neumann alge bras II

    U. Haagerup, Operator valued weights in von Neumann alge bras II. J. Funct. Anal. 33 (1979), 339-361

    work page 1979

  28. [28]

    Hong, L.D

    G. Hong, L.D. L´ opez-S´ anchez, J.M. Martell and J. Parce t, Calder´ on-Zygmund operators as- sociated to matrix-valued kernels. Int. Math. Res. Not. 201 4 14, 1221-1252

    work page

  29. [29]

    H¨ ormander, Estimates for translation invariant ope rators in Lp spaces

    L. H¨ ormander, Estimates for translation invariant ope rators in Lp spaces. Acta Math. 104 (1960), 93-140

    work page 1960

  30. [30]

    Junge, C

    M. Junge, C. Le Merdy and Q. Xu, H ∞-functional calculus and square functions on noncom- mutative Lp-spaces. Ast´ erisque305, 2006

    work page 2006

  31. [31]

    Junge and T

    M. Junge and T. Mei, Noncommutative Riesz transforms–A p robabilistic approach. Amer. J. Math. 132 (2010), 611-680

    work page 2010

  32. [32]

    Junge and T

    M. Junge and T. Mei, BMO spaces associated with semigroup s of operators. Math. Ann. 352 (2012), 691-743

    work page 2012

  33. [33]

    Junge, T

    M. Junge, T. Mei and J. Parcet, Smooth Fourier multiplier s on group von Neumann algebras. Geom. Funct. Anal. 24 (2014), 1913-1980

    work page 2014

  34. [34]

    Junge, T

    M. Junge, T. Mei and J. Parcet, Noncommutative Riesz tran sforms – Dimension free bounds and Fourier multipliers. J. Eur. Math. Soc. 20 (2018), 529-595

    work page 2018

  35. [35]

    Junge and Q

    M. Junge and Q. Xu, Noncommutative maximal ergodic theor ems. J. Amer. Math. Soc. 20 (2007), 385-439

    work page 2007

  36. [36]

    Kadison and J.R

    R.V. Kadison and J.R. Ringrose, Fundamentals of the Theo ry of Operator Algebras I and II. Grad. Stud. Math. 15 and 16. American Mathematical Society, 1997

    work page 1997

  37. [37]

    Kuperberg and N

    G. Kuperberg and N. W eaver, A von Neumann algebra approac h to quantum metrics. Mem. Amer. Math. Soc. 215 (2012)

    work page 2012

  38. [38]

    Kustermans and S

    J. Kustermans and S. Vaes, Locally compact quantum group s, Ann. Sci. ´Ecole Norm. Sup. 33 (2000), 837-934

    work page 2000

  39. [39]

    Kustermans and S

    J. Kustermans and S. Vaes, Locally compact quantum group s in the von Neumann algebraic setting. Math. Scand. 92 (2003), no. 1, 68-92

    work page 2003

  40. [40]

    Levitina, F

    G. Levitina, F. Sukochev and D. Zanin. Cwikel estimates r evisited. arXiv:1703.04254

    work page arXiv

  41. [41]

    Li, Gradient estimate for the heat kernel of a complete Riemannian manifold and its appli- cations

    J. Li, Gradient estimate for the heat kernel of a complete Riemannian manifold and its appli- cations. J. Funct. Anal. 97 (1991), 293-310

    work page 1991

  42. [42]

    McDonald, F

    E. McDonald, F. Sukochev and X. Xiong. Quantum differenti ability on quantum tori. Comm. Math. Phys. 2019

    work page 2019

  43. [43]

    Mei, Operator valued Hardy spaces

    T. Mei, Operator valued Hardy spaces. Mem. Amer. Math. So c. 188 (2007)

    work page 2007

  44. [44]

    Mei, Tent spaces associated with semigroups of operat ors

    T. Mei, Tent spaces associated with semigroups of operat ors. J. Funct. Anal. 255 (2008), 3356-3406. ALGEBRAIC CALDER ´ON-ZYGMUND THEORY 55

    work page 2008

  45. [45]

    Mei and J

    T. Mei and J. Parcet, Pseudo-localization of singular in tegrals and noncommutative Littlewood-Paley inequalities. Int. Math. Res. Not. 2009 9, 1433-1487

    work page 2009

  46. [46]

    Nazarov, S

    F. Nazarov, S. Treil and A. Volberg, W eak type estimates a nd Cotlar inequalities for Calder´ on- Zygmund operators on nonhomogeneous spaces. Internat. Mat h. Res. Notices 1998, no. 9, 463-487

    work page 1998

  47. [47]

    Nazarov, S

    F. Nazarov, S. Treil and A. Volberg, The Tb-theorem on non -homogeneous spaces. Acta Math. 190 (2003), no. 2, 151-239

    work page 2003

  48. [48]

    Neuwirth and E

    S. Neuwirth and E. Ricard, Transfer of Fourier multiplie rs into Schur multipliers and sumsets in a discrete group. Canad. J. Math. 63 (2011), 1161-1187

    work page 2011

  49. [49]

    Parcet, Pseudo-localization of singular integrals a nd noncommutative Calder´ on-Zygmund theory

    J. Parcet, Pseudo-localization of singular integrals a nd noncommutative Calder´ on-Zygmund theory. J. Funct. Anal. 256 (2009), 509-593

    work page 2009

  50. [50]

    Parcet, ´E

    J. Parcet, ´E. Ricard and M. de la salle, Fourier multipliers in SL n(R). Preprint. arXiv: 1811.07874

    work page arXiv

  51. [51]

    Paschke, Inner product modules over B∗ algebras

    W. Paschke, Inner product modules over B∗ algebras. Trans. Amer. Math. Soc. 182 (1973), 443-468

    work page 1973

  52. [52]

    Pisier, Introduction to Operator Space Theory

    G. Pisier, Introduction to Operator Space Theory. Cambr idge University Press, 2003

    work page 2003

  53. [53]

    Pisier and Q

    G. Pisier and Q. Xu, Non-commutative Lp-spaces. Handbook of the Geometry of Banach Spaces II. North-Holland (2003), 1459-1517

    work page 2003

  54. [54]

    Ricard, Lp-multipliers on quantum tori

    ´E. Ricard, Lp-multipliers on quantum tori. J. Funct. Anal. 270 (2016), 4604-4613

    work page 2016

  55. [55]

    Rieffel, Metrics on states from actions of compact gr oups

    M.A. Rieffel, Metrics on states from actions of compact gr oups. Doc. Math. 3 (1998), 215-229

    work page 1998

  56. [56]

    Rieffel, Group C ∗-algebra as compact quantum metric spaces

    M.A. Rieffel, Group C ∗-algebra as compact quantum metric spaces. Doc. Math. 7 (2002), 605-651

    work page 2002

  57. [57]

    Rubio de Francia, F.J

    J.L. Rubio de Francia, F.J. Ruiz and J.L. Torrea, Calder´ on-Zygmund theory for operator- valued kernels. Adv. in Math. 62 (1986), 7-48

    work page 1986

  58. [58]

    Sukochev and D

    F. Sukochev and D. Zanin. Connes integration formula for the noncommutative plane. Com- mun. Math. Phys. 359 (2018), 449-466

    work page 2018

  59. [59]

    Potapov and F

    D. Potapov and F. Sukochev, Operator-Lipschitz functio ns in Schatten-von Neumann classes. Acta Math. 207 (2011), 375-389

    work page 2011

  60. [60]

    Takesaki, A characterization of group algebras as a co nverse of Tannaka-Stinespring- Tatsuuma duality theorem

    M. Takesaki, A characterization of group algebras as a co nverse of Tannaka-Stinespring- Tatsuuma duality theorem. Amer. J. Math. 91 (1969), 529-564

    work page 1969

  61. [61]

    Takesaki, Theory of operator algebras I

    M. Takesaki, Theory of operator algebras I. Springer-Ve rlag, New York, 1979

    work page 1979

  62. [62]

    Tolsa, BMO, H 1, and Calder´ on-Zygmund operators for non doubling measure s

    X. Tolsa, BMO, H 1, and Calder´ on-Zygmund operators for non doubling measure s. Math. Ann. 319 (2001), 89-149

    work page 2001

  63. [63]

    Tolsa, Littlewood-Paley theory and the T (1) theorem with non-doubling measures

    X. Tolsa, Littlewood-Paley theory and the T (1) theorem with non-doubling measures. Adv. Math. 164 (2001), no. 1, 57-116

    work page 2001

  64. [64]

    D. V. Voiculescu, K. J. Dykema and A. Nica, Free random var iables. CRM Monograph Series,

    work page

  65. [65]

    American Mathematical Society, Providence, RI, 1992

    work page 1992

  66. [66]

    Xiong, Q

    X. Xiong, Q. Xu and Z. Yin. Sobolev, Besov and Triebel-Liz orkin spaces on quantum tori. Mem. Amer. Math. Soc. 252 (2018), 1203. Marius Junge Department of Mathematics University of Illinois at Urbana-Champaign 1409 W. Green St. Urbana, IL 61891. USA junge@math.uiuc.edu Tao Mei Department of Mathematics Baylor University 1301 S University Parks Dr, Waco, ...

    work page 2018