alphaFeedback

WorksMathematics

Noncommutative maximal weak type (1,1)(1,1) estimates for convolution operators under L1L_1-Hörmander conditions

AI contributions
  • GPT-6-Astra
View details

Abstract

We prove weak type (1,1)(1,1) estimates for families of scalar convolution operators acting on operator-valued function spaces. A joint L1L_1-Hörmander condition, together with a maximal strong type estimate at one exponent 1<r≤∞1<r\leq\infty, suffices. The kernels may be complex-valued and need not have uniformly bounded L1L_1 norms. Under a size condition, the result also yields a weak endpoint estimate for all sharp truncation radii of singular kernels. This resolves, for convolution kernels, the problem mentioned in \cite[Remark~5.5]{parcet09pseudo} and recalled in Parcet's recent survey \cite[Remark~1.3]{Parcet2026ICM}. The proof involves not only a simultaneous dyadic representation of the operators but also a noncommutative maximal weak type (1,1)(1,1) estimates of the resulting dyadic operators. This approach seems entirely new even in the commutative setting. Numerous applications are provided. On the one hand, it yields various maximal inequalities and pointwise convergence results for integrable kernels and dyadic approximations of the identity, monotone Llog⁡LL\log L majorants, and Poisson integrals on nilpotent groups and symmetric spaces. On the other hand, via various transference techniques, it implies maximal inequalities for Fourier multipliers, Schur multipliers and double operator integrals, together with bilateral almost uniform convergence of dyadic Fourier summation methods on L1L_1 of group von Neumann algebras.

Introduction and main results

Maximal inequalities for convolution operators provide a means of passing from convergence on a dense class to almost everywhere convergence. For integrable approximation kernels, Zó [30] proved weak type (1,1)(1,1) and strong type (p,p)(p,p) estimates under a joint L1L_1-Hörmander condition. Zó’s result turned out to be a standard application of vector-valued Calderón–Zygmund theory, having found numerous applications including a new proof of Hardy-Littlewood maximal inequality; see, e.g., [28 Chapter II, Section 4].

We study these maximal inequalities for operator-valued functions. Let M\mathcal{M} be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace τ\tau, and put

N=L∞(Rd)⊗‾M,φ=∫Rddx⊗τ.\mathcal{N}=L_{\infty}(\mathbb{R}^{d})\overline{\otimes}\mathcal{M},\qquad\varphi=\int_{\mathbb{R}^{d}} dx\otimes\tau.

In this setting, the noncommutative Hardy–Littlewood maximal inequality was established by Mei [17]. Mei’s approach was built on previous foundational works on noncommutative martingale and ergodic inequalities and vector-valued noncommutative LpL_p-spaces [5, 24, 25, 13, 14]; see also [15 Yea77] for earlier contributions. The first noncommutative Calderón–Zygmund decomposition was obtained by Parcet [21], who exploited Cuculescu’s projections from noncommutative martingale theory in place of classical stopping times. There are four terms in Parcet’s decomposition:

f=g+b+goff+boff.f=g+b+g_{\mathrm{off}}+b_{\mathrm{off}}.

The additional terms goffg_{\mathrm{off}} and boffb_{\mathrm{off}} are called off-diagonal good and bad functions, respectively. They do not enjoy the same properties as the diagonal parts gg and bb, which creates a substantial obstacle to applying classical ideas or techniques, and substantial new ideas are required. For instance, under the Lipschitz regularity condition, to deal with goffg_{\mathrm{off}}, Parcet in [21] explored the TT∗TT^* method and a new pseudo-localization technique; see also [19]. This method does not directly apply under the Hörmander condition, so he left the sufficiency of this condition as an open problem in [21 Remark 5.5], see also [22 Remark 1.3].

Subsequently, partial progress was made by Cadilhac, Conde-Alonso and Parcet in [2], where they constructed a new Calderón–Zygmund decomposition by modifying boffb_{\mathrm{off}} so that goffg_{\mathrm{off}} disappears. This enables them to obtain endpoint results under an L2L_2-Hörmander regularity condition, which is stronger than the usual Hörmander condition but weaker than the Lipschitz regularity condition. Under an L2L_2 integral regularity condition and a maximal strong type assumption, Hong, Lai and Xu in [11] proved the noncommutative maximal weak type (1,1)(1,1) estimate for truncations of singular integral operators. This gives a noncommutative maximal weak type (1,1)(1,1) inequality for families of linear operators that are not necessarily positive.

With many applications in mind, the original purpose of the present paper is to build a noncommutative version of Zo’s maximal inequalities for integrable approximation kernels. Then we found that the entirely new strategy designed to overcome the limitations of the classical vector-valued Calderón–Zygmund approach also works for singular convolution kernels satisfying the Hörmander condition. This provides a positive answer to the previously mentioned problem for convolution kernels.

Our first result is a noncommutative analogue of Zo’s maximal inequalities. The unexplained notation will be specified in § 2.2.

Theorem 1.1. Let (Tn)n≥1(T_n)_{n\geq1} be a family of scalar convolution operators on N\mathcal{N} with kernels Kn∈L1,loc(Rd∖{0})K_n\in L_{1,\mathrm{loc}}(\mathbb{R}^{d}\setminus\{0\}). Suppose that their off-support representations hold on D\mathcal{D} and that

sup⁡y≠0∫∣x∣>2∣y∣sup⁡n≥1∣Kn(x−y)−Kn(x)∣ dx≤CH.(1)\sup_{y\neq0}\int_{\lvert x\rvert>2\lvert y\rvert}\sup_{n\geq1}\lvert K_n(x-y)-K_n(x)\rvert\,dx\leq C_H. \tag*{(1)}

Assume also that, for some 1<r≤∞1<r\leq\infty,

∥(Tnf)n≥1∥Lr(N;ℓ∞)≤Mr∥f∥r.\lVert(T_nf)_{n\geq1}\rVert_{L_r(\mathcal{N};\ell_\infty)}\leq M_r\lVert f\rVert_r.

Then (Tn)n≥1(T_n)_{n\ge1} is of weak type (1,1)(1,1). More precisely, for every f∈L1(N)f \in L_1(\mathcal{N}) and t>0t > 0, there exists a projection e∈Ne \in\mathcal{N} such that

sup⁡n≥1∥eTn(f)e∥∞≤t,tφ(e⊥)≤Cd,r(Mr+CH)∥f∥1.\sup_{n\ge1}\|eT_n(f)e\|_\infty\le t,\qquad t\varphi(e^\perp)\le C_{d,r}(M_r+C_H)\|f\|_1.

Our second result concerns all sharp truncations of one singular convolution kernel.

Theorem 1.2. Let TT be an L2(N)L_2(\mathcal{N})-bounded scalar convolution operator with kernel K:Rd∖{0}→CK:\mathbb{R}^d\setminus\{0\}\to\mathbb{C}, whose off-support integral formula holds for bounded, spatially compactly supported inputs in L1(N)L_1(\mathcal{N}). Suppose that

∣K(x)∣≤A∣x∣−d,sup⁡y≠0∫∣x∣>2∣y∣∣K(x−y)−K(x)∣ dx≤CH.|K(x)|\le A|x|^{-d},\qquad\sup_{y\ne0}\int_{|x|>2|y|}|K(x-y)-K(x)|\,dx\le C_H.

For ε>0\varepsilon>0, set

Tεf(x)=∫∣x−y∣>εK(x−y)f(y) dy.T_\varepsilon f(x)=\int_{|x-y|>\varepsilon}K(x-y)f(y)\,dy.

Assume that, for some 1<p0<∞1<p_0<\infty,

∥(Tεf)ε>0∥Lp0(N;ℓ∞)≤Mp0∥f∥p0.(2)\|(T_\varepsilon f)_{\varepsilon>0}\|_{L_{p_0}(\mathcal{N};\ell_\infty)}\le M_{p_0}\|f\|_{p_0}. \tag*{(2)}

Then (Tε)ε>0(T_\varepsilon)_{\varepsilon>0} is of weak type (1,1)(1,1). More precisely, for every f∈L1(N)f\in L_1(\mathcal{N}) and t>0t>0, there exists a projection e∈Ne\in\mathcal{N} such that

sup⁡ε>0∥eTε(f)e∥∞≤t,tφ(e⊥)≤Cd,p0(A+CH+Mp0)∥f∥1.\sup_{\varepsilon>0}\|eT_\varepsilon(f)e\|_\infty\le t,\qquad t\varphi(e^\perp)\le C_{d,p_0}(A+C_H+M_{p_0})\|f\|_1.

In many cases, the assumption {(xref)}(1.1) is redundant, because it can be deduced from the Cotlar inequality; see [11 Theorem 1.3]. Given one singular integral operator TT satisfying all the conditions but not necessarily {(xref)}(1.1) in Theorem 1.2, applying Theorem 1.1 to Tn=TT_n=T for all nn implies the weak type (1,1)(1,1) estimate of TT. This resolves, for convolution kernels, the open problem raised in [21 Remark 5.5] and reiterated in Parcet’s recent ICM survey [22 Remark 1.3]. Finally, the deduction from Theorem 1.1 to Theorem 1.2 is not automatic since the kernels of (Tε)ε>0(T_\varepsilon)_{\varepsilon>0} do not satisfy the joint Hörmander condition {(xref)}(H); see § 6.4 for this non-trivial passage.

As with Zó’s result (see, e.g., [28 Chapter II, §§5.10 and 5.16]), Theorem 1.1 gives lots of applications in § 7, such as approximations of the identity, kernels with monotone Llog⁡LL\log L majorants, and Poisson integrals on symmetric spaces. Together with transference techniques, further applications to Fourier multipliers on group von Neumann algebras, quantum Euclidean spaces and quantum tori, Schur multipliers, and double operator integrals will be presented in § 8.

Strategy and novelties. As mentioned previously, the proof of Theorem 1.1 requires substantial new ideas. We will exploit the effective decomposition introduced in [2]. The main obstruction to using the usual L1L_1-Hörmander condition lies in the off-diagonal terms of the noncommutative decomposition. Let boff,Qb_{\mathrm{off},Q} denote the off-diagonal bad term associated with QQ in the decomposition recalled in § 2.3. Estimating these terms separately using the L1L_1-Hörmander condition and then summing the resulting bounds would require

∑Q∥boff,Q∥1≲∥f∥1,\sum_Q\|b_{\mathrm{off},Q}\|_1\lesssim\|f\|_1,

which is unavailable for the noncommutative decomposition; see [2 Remark 2.4]. Their proof instead uses an annular L2L_2 kernel condition to estimate the off-diagonal terms; see also [11] for maximal truncations.

Our new approach will not require the preceding L1L_1 bound by exploring the kernel decomposition. It consists of two main steps. First, we establish a weak type (1,1)(1,1) estimate for operators represented by dyadic averages. Second, we regularize the convolution operators and construct a simultaneous dyadic expansion of their kernels to verify the assumptions of this estimate.

The weak type estimate for dyadic series. In § 4, by assuming a maximal strong type (r,r)(r,r) bound for some 1<r≤∞1 < r \le\infty, we prove a weak type (1,1)(1,1) estimate for operator families of the form

Snf=∑Q∈Qbn,QEQf,∣bn,Q∣≤mQ,\mathcal{S}_n f = \sum_{Q \in\mathcal{Q}} b_{n,Q} \mathsf{E}_Q f, \qquad|b_{n,Q}| \le m_Q,

provided additionally

Γ:=sup⁡P∈Qess sup⁡y∈P∑Q⊆Py∈Q1∣Q∣∫(βP)cmQ(x) dx<∞.(3)\Gamma:= \sup_{P \in\mathcal{Q}} \operatorname*{ess\,sup}_{y \in P} \sum_{\substack{Q \subseteq P \\ y \in Q}} \frac{1}{|Q|} \int_{(\beta P)^c} m_Q(x)\,\mathrm{d}x < \infty. \tag*{(3)}

where β≥3\beta\ge3 is fixed. The proof relies on the decomposition in Proposition 3.2. We briefly explain this decomposition and how it yields the weak type (1,1)(1,1) estimate. First, we use Cuculescu’s construction at height t>0t > 0 to obtain the diagonal good function gg. For any λ>0\lambda> 0, independently of tt, we then construct a projection ww such that

wSn(f−g)w=Bn+Bℓ,n+Br,n,w\mathcal{S}_n(f-g)w = B_n + B_{\ell,n} + B_{r,n},

where the three bad terms depend on ww. Here, we choose ww so that each bad term has the operator norm at most λ/4\lambda/4 for every nn, while keeping φ(1−w)\varphi(1-w) small. To deduce the weak type estimate, we apply the assumed strong type bound to the good part, and choose tt appropriately in terms of λ\lambda.

We now turn to the construction of ww, where our treatment of bad terms differs substantially from previous approaches; see, for example, [2]. Although the good function gg comes from the standard noncommutative Calderón–Zygmund decomposition recalled in Lemma 2.5, we use the coefficient bound to choose one projection ww controlling the three bad terms for every nn, with small φ(1−w)\varphi(1-w). The main difficulty lies in the off-diagonal bad terms Bℓ,nB_{\ell,n} and Br,nB_{r,n}, which we estimate without summing the L1L_1 norms of the individual off-diagonal bad terms.

To explain this construction, write fQ=EQff_Q = \mathsf{E}_Q f, let qQq_Q be the Cuculescu projection at height tt, and put

ΠQ(x)=∑P∈P(Q)1(βP)c(x)pP,\Pi_Q(x) = \sum_{P \in\mathcal{P}(Q)} \mathbf{1}_{(\beta P)^c}(x)p_P,

where P(Q)\mathcal{P}(Q) and pPp_P are the stopping ancestors and difference projections defined in the proof of Proposition 3.2. The coefficient bound (3) gives

φ(∑QmQΠQ)≤Γt∥f∥1,∑Qφ(mQΠQfQΠQ)≤Γ∥f∥1.\varphi\left(\sum_Q m_Q\Pi_Q\right) \le\frac{\Gamma}{t}\|f\|_1, \qquad\sum_Q \varphi(m_Q\Pi_Q f_Q\Pi_Q) \le\Gamma\|f\|_1.

References

  1. [1][Cad18] L. Cadilhac, Weak boundedness of Calderón-Zygmund operators on noncommutative L₁-spaces, J. Funct. Anal. 274 (2018), no. 3, 769–796. MR 3734984DOI
  2. [2][CCAP22] L. Cadilhac, J. M. Conde-Alonso, and J. Parcet, Spectral multipliers in group algebras and noncommutative Calderón-Zygmund theory, J. Math. Pures Appl. (9) 163 (2022), 450–472. MR 4438906
  3. [3][CL06] V. I. Chilin and S. N. Litvinov, Uniform equicontinuity for sequences of homomorphisms into the ring of measurable operators, Methods Funct. Anal. Topology 12 (2006), no. 2, 124–130. MR 2238034
  4. [4][CSS85] H. Carlsson, P. Sjögren, and J.-O. Strömberg, Multiparameter maximal functions along dilation-invariant hypersurfaces, Trans. Amer. Math. Soc. 292 (1985), no. 1, 335–343. MR 805966
  5. [5][Cuc71] I. Cuculescu, Martingales on von Neumann algebras, J. Multivariate Anal. 1 (1971), no. 1, 17–27. MR 295398DOI
  6. [6]Z. Chen, Q. Xu, and Z. Yin, Harmonic analysis on quantum tori, Comm. Math. Phys. 322 (2013), no. 3, 755–805. MR 3079331DOI
  7. [7]B. de Pagter, H. Witvliet, and F. A. Sukochev, Double operator integrals, J. Funct. Anal. 192 (2002), no. 1, 52–111. MR 1918492
  8. [8]A. M. González-Pérez, M. Junge, and J. Parcet, Singular integrals in quantum Euclidean spaces, Mem. Amer. Math. Soc. 272 (2021), no. 1334, xiii+90. MR 4320770
  9. [9]T. S. Hänninen and T. P. Hyton̈en, The A₂ theorem and the local oscillation decomposition for Banach space valued functions, J. Operator Theory 72 (2014), no. 1, 193–218. MR 3246987DOI
  10. [10]G. Hong, B. Liao, and S. Wang, Noncommutative maximal ergodic inequalities associated with doubling conditions, Duke Math. J. 170 (2021), no. 2, 205–246. MR 4202493DOI
  11. [11]G. Hong, X. Lai, and B. Xu, Maximal singular integral operators acting on noncommutative Lₚ-spaces, Math. Ann. 386 (2023), no. 1-2, 375–414. MR 4585152arxiv.org/abs/2009.03827
  12. [12]G. Hong, Non-commutative ergodic averages of balls and spheres over Euclidean spaces, Ergodic Theory Dynam. Systems 40 (2020), no. 2, 418–436. MR 4048299
  13. [13]M. Junge, Doob’s inequality for non-commutative martingales, J. Reine Angew. Math. 549 (2002), 149–190. MR 1916654DOI
  14. [14]M. Junge and Q. Xu, Noncommutative maximal ergodic theorems, J. Amer. Math. Soc. 20 (2007), no. 2, 385–439. MR 2276775
  15. [15]E. C. Lance, Ergodic theorems for convex sets and operator algebras, Invent. Math. 37 (1976), no. 3, 201–214. MR 0428060DOI
  16. [16]A. K. Lerner, A pointwise estimate for the local sharp maximal function with applications to singular integrals, Bull. Lond. Math. Soc. 42 (2010), no. 5, 843–856. MR 2721744DOI
  17. [17]T. Mei, Operator valued Hardy spaces, Mem. Amer. Math. Soc. 188 (2007), no. 881, vi+64. MR 2327840
  18. [18]M. S. Moslehian, M. Kian, and Q. Xu, Positivity of 2 × 2 block matrices of operators, Banach J. Math. Anal. 13 (2019), no. 3, 726–743. MR 3978945DOI
  19. [19]T. Mei and J. Parcet, Pseudo-localization of singular integrals and noncommutative Littlewood-Paley inequalities, Int. Math. Res. Not. IMRN (2009), no. 8, 1433–1487. MR 2496770arxiv.org/abs/0807.4371
  20. [21]J. Parcet, Pseudo-localization of singular integrals and noncommutative Calderón-Zygmund theory, J. Funct. Anal. 256 (2009), no. 2, 509–593. MR 2476951
  21. [22]———, The impact of Schur multipliers in harmonic analysis and operator algebras, Proceedings of the International Congress of Mathematicians 2026 - Volume 4: Invited Lectures (Sections 5–8), Society for Industrial and Applied Mathematics, 2026, pp. 730–750.DOI
  22. [23]V. V. Peller, Multiple operator integrals in perturbation theory, Bull. Math. Sci. 6 (2016), no. 1, 15–88. MR 3472849arxiv.org/abs/1509.02803
  23. [24]G. Pisier, Non-commutative vector valued Lₚ-spaces and completely p-summing maps, Astérisque (1998), no. 247, vi+131. MR 1648908
  24. [25]G. Pisier and Q. Xu, Non-commutative martingale inequalities, Comm. Math. Phys. 189 (1997), no. 3, 667–698. MR 1482934
  25. [26]———, Non-commutative Lᵖ-spaces, Handbook of the geometry of Banach spaces, Vol. 2, North-Holland, Amsterdam, 2003, pp. 1459–1517. MR 1999201
  26. [27]P. Sjögren, Admissible convergence of Poisson integrals in symmetric spaces, Ann. of Math. (2) 124 (1986), no. 2, 313–335. MR 855298DOI
  27. [28]E. M. Stein, Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton Mathematical Series, vol. 43, Princeton University Press, Princeton, NJ, 1993, With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III. MR 1232192
  28. [30]F. Zó, A note on approximation of the identity, Studia Math. 55 (1976), no. 2, 111–122. MR 423013DOI

Paper details

vlnc:W_k8fvvhx2
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

GPT-6-Astra · View statement →

Looking for related papers…
Contents