pith. sign in

arxiv: 2607.02189 · v1 · pith:TG5DPMLUnew · submitted 2026-07-02 · 🧮 math.CA

Bochner-Riesz means on the Heisenberg group

Pith reviewed 2026-07-03 02:51 UTC · model grok-4.3

classification 🧮 math.CA
keywords Bochner-Riesz meansHeisenberg groupsub-Laplacianspectral multiplierssquare functionswave operatorL^p boundednessspectral decomposition
0
0 comments X

The pith

Bochner-Riesz means on the Heisenberg group satisfy L^p bounds for p up to a threshold p_n that approaches 2 with rising dimension.

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

The paper establishes L^p boundedness for Bochner-Riesz means tied to the spectral decomposition of the sub-Laplacian on the Heisenberg group H_n, holding for all p in the interval from 1 to a value p_n that tends to 2 as the dimension n increases. Earlier approaches based on Euclidean-style restriction theorems were blocked because no Stein-Tomas type result holds on H_n, leaving only the endpoint cases p=1 and p=∞. The new range follows from a general p-sensitive spectral multiplier theorem, which is the paper's main result and rests on L^p estimates for square functions built from the Heisenberg wave operator.

Core claim

We prove a p-sensitive spectral multiplier theorem for the sub-Laplacian on H_n that yields L^p boundedness of the associated Bochner-Riesz means for 1 ≤ p ≤ p_n with p_n → 2 as n → ∞. These multiplier bounds are derived from L^p estimates on square functions associated with the Heisenberg wave operator.

What carries the argument

The p-sensitive spectral multiplier theorem, obtained directly from L^p estimates for square functions of the Heisenberg wave operator.

If this is right

  • Bochner-Riesz means of the sub-Laplacian are bounded on L^p(H_n) for every p in [1, p_n].
  • The allowable range of p for spectral multipliers expands beyond the endpoints previously known.
  • The same square-function estimates control a wider class of spectral multipliers than those treated by earlier restriction-based methods.
  • The size of the p-interval shrinks toward the single point p=2 as the dimension n grows.

Where Pith is reading between the lines

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

  • If future work improves the range of the square-function estimates, the multiplier theorem would automatically extend the Bochner-Riesz interval as well.
  • The same square-function technique may be adaptable to other step-two nilpotent groups where Euclidean restriction fails.
  • The results highlight that wave-operator square functions can serve as a substitute for missing restriction theorems when studying spectral multipliers on stratified groups.

Load-bearing premise

The L^p estimates for square functions associated with the Heisenberg wave operator hold throughout the stated range of p.

What would settle it

An explicit counterexample showing that the square-function estimates fail for some p strictly between 1 and p_n would disprove both the multiplier theorem and the claimed Bochner-Riesz bounds.

Figures

Figures reproduced from arXiv: 2607.02189 by Andreas Seeger, Betsy Stovall, Detlef M\"uller, Lars Niedorf.

Figure 1
Figure 1. Figure 1: A plot of the singular support Σ1 of the convolution kernel of e i √ L. The curve admits infinitely many zigzags near the origin. Our analysis uses a more precise parametrix derived by the first and third authors in [41]; this involves a subordination argument using the Schr¨odinger type operators e itL, and a decomposition in the joint spectrum of L and i∂u. To begin with, we note that the proof of Theore… view at source ↗
Figure 2
Figure 2. Figure 2: The localization regions Dk,ℓ associated with the kth zigzag of the (|x|, |u|)-profile of the singular support Σ1. Case I corresponds to ℓ ≥ 2, and Case II to ℓ = 1. The choice and the further analysis of such frozen operators will be different in the cases ℓ ≥ 2 and ℓ = 1 (corresponding to Case I and Case II in [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A plot indicating horizontal points of the singular sup￾port Σ1 of the convolution kernel of e i √ L. Note that these hori￾zontal points are distinct from the cusp points visible in the plot. possible by means of error estimates for the T k,ℓ λ,t for k ̸= 0. The error estimates can be found in Appendix A (see also [41] for a different treatment). For k ̸= 0 these localizations force us to decompose the tim… view at source ↗
read the original abstract

We prove new $L^p$ boundedness results for Bochner-Riesz means associated with the spectral decomposition of the sub-Laplacian on the Heisenberg group $\mathbb H_n$. Our results hold for a range $1\le p\le p_n$ where $p_n\to 2$ as $n\to\infty$. As shown by the first named author in 1990 a Stein-Tomas type Fourier restriction theorem fails to hold on $\mathbb H_n$ and thus previous results based on the approach by Fefferman and Stein from the Euclidean setting only allowed to cover the cases $p=1$ and $p=\infty$. Our results on Bochner-Riesz means follow from a more general $p$-sensitive spectral multiplier theorem which is the main result of this article. This is obtained as a consequence of $L^p$ estimates for square functions associated with the Heisenberg wave operator.

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

2 major / 0 minor

Summary. The manuscript establishes new L^p boundedness results for Bochner-Riesz means associated with the spectral decomposition of the sub-Laplacian on the Heisenberg group H_n. The results hold for 1 ≤ p ≤ p_n where p_n → 2 as n → ∞. These bounds are obtained from a p-sensitive spectral multiplier theorem, which is derived as a consequence of L^p estimates for square functions associated with the Heisenberg wave operator. This approach is motivated by the failure of Stein-Tomas type restriction theorems on H_n, which previously limited results to the endpoints p=1 and p=∞.

Significance. If the square-function estimates for the wave operator hold in the stated range and transfer to the multiplier theorem without introducing further losses, the result would constitute a meaningful advance in harmonic analysis on stratified Lie groups by furnishing the first non-trivial interval of p for which Bochner-Riesz means are bounded, where the admissible range necessarily shrinks with dimension.

major comments (2)
  1. [Abstract] Abstract: the central claim that the p-sensitive spectral multiplier theorem follows from the L^p square-function estimates for the Heisenberg wave operator is asserted without any derivation steps, error estimates, or range verification; the abstract supplies no information on the proof of those square functions or the precise transfer argument, leaving the load-bearing implication uncheckable.
  2. [Abstract] Abstract, final sentence: the range 1 ≤ p ≤ p_n is stated to be controlled by the square-function bounds, yet no explicit dependence of p_n on n or on the constants appearing in the square-function estimates is indicated; without this, it cannot be verified whether the transfer preserves the claimed interval or introduces shrinkage.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and comments regarding the abstract. We address each major comment below, directing to the relevant sections of the full manuscript for the detailed arguments.

read point-by-point responses
  1. Referee: [Abstract] Abstract: the central claim that the p-sensitive spectral multiplier theorem follows from the L^p square-function estimates for the Heisenberg wave operator is asserted without any derivation steps, error estimates, or range verification; the abstract supplies no information on the proof of those square functions or the precise transfer argument, leaving the load-bearing implication uncheckable.

    Authors: The abstract is a concise high-level summary of the main results, their motivation, and the overall strategy. The full derivation of the p-sensitive spectral multiplier theorem from the square-function estimates—including all steps, error estimates, range verification, and the precise transfer argument—is contained in Sections 3 and 4, with the square-function estimates for the Heisenberg wave operator proved in Section 2 (Theorem 2.1) and transferred in the proof of Theorem 1.3. revision: no

  2. Referee: [Abstract] Abstract, final sentence: the range 1 ≤ p ≤ p_n is stated to be controlled by the square-function bounds, yet no explicit dependence of p_n on n or on the constants appearing in the square-function estimates is indicated; without this, it cannot be verified whether the transfer preserves the claimed interval or introduces shrinkage.

    Authors: The explicit dependence of p_n on n and on the constants appearing in the square-function estimates is stated in Theorem 1.1 together with the remarks immediately following it in the introduction; this dependence is chosen precisely so that the transfer from the square-function bounds preserves the interval 1 ≤ p ≤ p_n without additional shrinkage. The abstract only records the asymptotic p_n → 2 as n → ∞. revision: no

Circularity Check

1 steps flagged

Minor self-citation to 1990 restriction failure; derivation otherwise independent

specific steps
  1. self citation load bearing [abstract]
    "As shown by the first named author in 1990 a Stein-Tomas type Fourier restriction theorem fails to hold on H_n and thus previous results based on the approach by Fefferman and Stein from the Euclidean setting only allowed to cover the cases p=1 and p=∞."

    This is a self-citation to prior work by one of the authors, used to motivate the new approach. However, it only documents a negative result and does not support or derive the new Bochner-Riesz or multiplier bounds, which are instead claimed to follow from square-function estimates. The citation is minor and not load-bearing for the central positive claims.

full rationale

The abstract presents the main results as following from a p-sensitive spectral multiplier theorem obtained from L^p square function estimates for the Heisenberg wave operator. The sole self-citation notes the failure of a Stein-Tomas restriction theorem (by the first author in 1990) to explain why prior Euclidean methods only reach p=1,∞. This citation is not load-bearing for the positive claims. No self-definitional equations, fitted inputs renamed as predictions, or other reductions by construction appear. The derivation chain is presented as one-way and self-contained against the square-function estimates.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.1-grok · 5685 in / 1105 out tokens · 24839 ms · 2026-07-03T02:51:35.996550+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

61 extracted references · 3 canonical work pages

  1. [1]

    J. F. Adams, P. D. Lax, and R. S. Phillips,On matrices whose real linear combinations are non-singular, Proc. Amer. Math. Soc.16(1965), 318–322; correction, Proc. Amer. Math. Soc.17(1966), 945–947. MR 179183

  2. [2]

    Bramati, P

    R. Bramati, P. Ciatti, J. Green, and J. Wright,Oscillating spectral multipliers on groups of Heisenberg type, Rev. Mat. Iberoam.38(2022), no. 5, 1529–1551. MR 4502074

  3. [3]

    Carleson and P

    L. Carleson and P. Sj¨ olin,Oscillatory integrals and a multiplier problem for the disc, Studia Math.44(1972), 287–299

  4. [4]

    Carbery,The boundedness of the maximal Bochner-Riesz operator onL 4(R2), Duke Math

    A. Carbery,The boundedness of the maximal Bochner-Riesz operator onL 4(R2), Duke Math. J.50(1983), no. 2, 409–416. MR 705033

  5. [5]

    ,Variants of the Calder´ on-Zygmund theory forL p-spaces, Rev. Mat. Iberoam.2 (1986), no. 4, 381–396. MR 913694

  6. [6]

    Carbery, G

    A. Carbery, G. Gasper, and W. Trebels,Radial Fourier multipliers ofL p(R2), Proc. Nat. Acad. Sci. U.S.A.81(1984), no. 10, Phys. Sci., 3254–3255. MR 747595

  7. [7]

    ,On localized potential spaces, J. Approx. Theory48(1986), no. 3, 251–261. MR 864749

  8. [8]

    Casarino and P

    V. Casarino and P. Ciatti,A restriction theorem for M´ etivier groups, Adv. Math.245(2013), 52–77. MR 3084423

  9. [9]

    M. Chen, S. Guo, and T. Yang,A multi-parameter cinematic curvature, arXiv:2306.01606. BOCHNER–RIESZ MEANS ON THE HEISENBERG GROUP 79

  10. [10]

    Chen and E

    P. Chen and E. M. Ouhabaz,Weighted restriction type estimates for Grushin operators and application to spectral multipliers and Bochner-Riesz summability, Math. Z.282(2016), no. 3-4, 663–678. MR 3473637

  11. [11]

    P. Chen, E. M. Ouhabaz, A. Sikora, and L. Yan,Restriction estimates, sharp spectral multi- pliers and endpoint estimates for Bochner-Riesz means, J. Anal. Math.129(2016), 219–283. MR 3540599

  12. [12]

    Christ,On almost everywhere convergence of Bochner-Riesz means in higher dimensions, Proc

    M. Christ,On almost everywhere convergence of Bochner-Riesz means in higher dimensions, Proc. Amer. Math. Soc.95(1985), no. 1, 16–20. MR 796439

  13. [13]

    ,L p bounds for spectral multipliers on nilpotent groups, Trans. Amer. Math. Soc.328 (1991), no. 1, 73–81. MR 1104196

  14. [14]

    Fefferman,Inequalities for strongly singular convolution operators, Acta Math.124(1970), 9–36

    C. Fefferman,Inequalities for strongly singular convolution operators, Acta Math.124(1970), 9–36. MR 257819

  15. [15]

    Math.15(1973), 44–52

    ,A note on spherical summation multipliers, Israel J. Math.15(1973), 44–52. MR 320624

  16. [16]

    G. B. Folland and E. M. Stein,Hardy spaces on homogeneous groups, Mathematical Notes, vol. 28, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1982. MR 657581

  17. [17]

    S. Gan, C. Oh, and S. Wu,New bounds for Stein’s square functions in higher dimensions, Adv. Math.475(2025), Paper No. 110342, 59 pp. MR 4905420

  18. [18]

    Gaveau,Principe de moindre action, propagation de la chaleur et estim´ ees sous elliptiques sur certains groupes nilpotents, Acta Math.139(1977), no

    B. Gaveau,Principe de moindre action, propagation de la chaleur et estim´ ees sous elliptiques sur certains groupes nilpotents, Acta Math.139(1977), no. 1-2, 95–153. MR 461589

  19. [19]

    Ginibre and G

    J. Ginibre and G. Velo,Smoothing properties and retarded estimates for some dispersive evolution equations, Commun. Math. Phys.144(1992), no. 1, 163–188

  20. [20]

    Greenleaf and A

    A. Greenleaf and A. Seeger,Oscillatory and Fourier integral operators with degenerate canon- ical relations, Proceedings of the 6th International Conference on Harmonic Analysis and Partial Differential Equations (El Escorial, 2000), Publ. Mat.46(2002), Extra, 93–141. MR 1964817

  21. [21]

    Hebisch,Multiplier theorem on generalized Heisenberg groups, Colloq

    W. Hebisch,Multiplier theorem on generalized Heisenberg groups, Colloq. Math.65(1993), no. 2, 231–239. MR 1240169

  22. [22]

    Hilgert and K.-H

    J. Hilgert and K.-H. Neeb,Structure and geometry of Lie groups, Springer Monographs in Mathematics, Springer, New York, 2012. MR 3025417

  23. [23]

    H¨ ormander,Fourier integral operators

    L. H¨ ormander,Fourier integral operators. I, Acta Math.127(1971), 79–183. MR 0341193

  24. [24]

    Mat.11(1973), 1–11

    ,Oscillatory integrals and multipliers onF L p, Ark. Mat.11(1973), 1–11. MR 0340924

  25. [25]

    Hulanicki,A functional calculus for Rockland operators on nilpotent Lie groups, Studia Math.78(1984), no

    A. Hulanicki,A functional calculus for Rockland operators on nilpotent Lie groups, Studia Math.78(1984), no. 3, 253–266. MR 782662

  26. [26]

    Kaneko and G

    M. Kaneko and G. Sunouchi,On the Littlewood-Paley and Marcinkiewicz functions in higher dimensions, Tohoku Math. J. (2)37(1985), no. 3, 343–365. MR 799527

  27. [27]

    L. V. Kapitanski,Some generalizations of the Strichartz–Brenner inequality, Leningrad Math. J.1(1990), no. 3, 693–726; translated from Algebra i Analiz1(1989), no. 3, 127–159. MR 1015129

  28. [28]

    Kaplan,Fundamental solutions for a class of hypoelliptic PDE generated by composition of quadratic forms, Trans

    A. Kaplan,Fundamental solutions for a class of hypoelliptic PDE generated by composition of quadratic forms, Trans. Amer. Math. Soc.258(1980), no. 1, 147–153. MR 554324

  29. [29]

    Kim,Endpoint bounds for a class of spectral multipliers on compact manifolds, Indiana Univ

    J. Kim,Endpoint bounds for a class of spectral multipliers on compact manifolds, Indiana Univ. Math. J.67(2018), no. 2, 937–969. MR 3798862

  30. [30]

    J. Lee, S. Lee, and S. Oh,The elliptic maximal function, J. Funct. Anal.288(2025), no. 1, Paper No. 110693, 31 pp

  31. [31]

    Liu and Y

    H. Liu and Y. Wang,A restriction theorem for the H-type groups, Proc. Amer. Math. Soc. 139(2011), no. 8, 2713–2720. MR 2801610

  32. [32]

    Martini,Necessary conditions of Euclidean type forL p-boundedness of Bochner–Riesz means for sub-Laplacians, Preprint, 2025

    A. Martini,Necessary conditions of Euclidean type forL p-boundedness of Bochner–Riesz means for sub-Laplacians, Preprint, 2025

  33. [33]

    Martini, D

    A. Martini, D. M¨ uller, and S. Nicolussi Golo,Spectral multipliers and wave equation for sub- Laplacians: lower regularity bounds of Euclidean type, J. Eur. Math. Soc. (JEMS)25(2023), no. 3, 785–843. MR 4577953

  34. [34]

    Martini and D

    A. Martini and D. M¨ uller,An FIO-based approach toL p-bounds for the wave equation on 2-step Carnot groups: the case of M´ etivier groups, available at arXiv:2406.04315v2 and to appear in Analysis & PDE. 80 D. M ¨ULLER, L. NIEDORF, A. SEEGER, AND B. STOVALL

  35. [35]

    Mauceri and S

    G. Mauceri and S. Meda,Vector-valued multipliers on stratified groups, Rev. Mat. Iberoam. 6(1990), no. 3-4, 141–154. MR 1125759

  36. [36]

    R. Melrose,Propagation for the wave group of a positive subelliptic second-order differential operator, Hyperbolic equations and related topics (Katata/Kyoto, 1984), Academic Press, Boston, MA, 1986, pp. 181–192. MR 925249

  37. [37]

    Mockenhaupt, A

    G. Mockenhaupt, A. Seeger, and C. D. Sogge,Local smoothing of Fourier integral operators and Carleson–Sj¨ olin estimates, J. Amer. Math. Soc.6(1993), no. 1, 65–130

  38. [38]

    M¨ uller,On Riesz means of eigenfunction expansions for the Kohn-Laplacian, J

    D. M¨ uller,On Riesz means of eigenfunction expansions for the Kohn-Laplacian, J. Reine Angew. Math.401(1989), 113–121. MR 1018056

  39. [39]

    ,A restriction theorem for the Heisenberg group, Ann. of Math. (2)131(1990), no. 3, 567–587. MR 1053491

  40. [40]

    M¨ uller and F

    D. M¨ uller and F. Ricci,Analysis of second order differential operators on Heisenberg groups. I, Invent. Math.101(1990), no. 3, 545–582. MR 1062795

  41. [41]

    M¨ uller and A

    D. M¨ uller and A. Seeger,SharpL p bounds for the wave equation on groups of Heisenberg type, Anal. PDE8(2015), no. 5, 1051–1100. MR 3393673

  42. [42]

    M¨ uller and E

    D. M¨ uller and E. M. Stein,On spectral multipliers for Heisenberg and related groups, J. Math. Pures Appl. (9)73(1994), no. 4, 413–440. MR 1290494

  43. [43]

    ,L p-estimates for the wave equation on the Heisenberg group, Rev. Mat. Iberoam.15 (1999), no. 2, 297–334. MR 1715410

  44. [44]

    A. I. Nachman,The wave equation on the Heisenberg group, Commun. Partial Differ. Equa- tions7(1982), 675–714

  45. [45]

    Nelson and W

    E. Nelson and W. F. Stinespring,Representation of elliptic operators in an enveloping alge- bra, Amer. J. Math.81(1959), 547–560. MR 110024

  46. [46]

    Niedorf,AnL p-spectral multiplier theorem with sharpp-specific regularity bound on Heisenberg type groups, J

    L. Niedorf,AnL p-spectral multiplier theorem with sharpp-specific regularity bound on Heisenberg type groups, J. Fourier Anal. Appl.30(2024), no. 2, Paper No. 22, 35 pp. MR 4728249

  47. [47]

    ,Restriction type estimates on general two-step stratified Lie groups, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), published online 2026, 38 pp., doi:10.2422/2036-2145.202412 007

  48. [48]

    2, 149–197

    ,Spectral multipliers on M´ etivier groups, Studia Math.282(2025), no. 2, 149–197. MR 4908550

  49. [49]

    D. H. Phong and E. M. Stein,Hilbert integrals, singular integrals, and Radon transforms. I, Acta Math.157(1986), no. 1-2, 99–157. MR 0857680

  50. [50]

    J. Roos, A. Seeger, and R. Srivastava,Lebesgue space estimates for spherical maximal func- tions on Heisenberg groups, Int. Math. Res. Not. IMRN 2022, no. 24, 19222–19257

  51. [51]

    Seeger,On quasiradial Fourier multipliers and their maximal functions, J

    A. Seeger,On quasiradial Fourier multipliers and their maximal functions, J. Reine Angew. Math.370(1986), 61–73. MR 852510

  52. [52]

    ,Some inequalities for singular convolution operators inL p-spaces, Trans. Amer. Math. Soc.308(1988), no. 1, 259–272. MR 955772

  53. [53]

    ,Endpoint estimates for multiplier transformations on compact manifolds, Indiana Univ. Math. J.40(1991), no. 2, 471–533. MR 1119186

  54. [54]

    Seeger and C

    A. Seeger and C. D. Sogge,On the boundedness of functions of (pseudo-)differential operators on compact manifolds, Duke Math. J.59(1989), no. 3, 709–736. MR 1046745

  55. [55]

    C. D. Sogge,On the convergence of Riesz means on compact manifolds, Ann. of Math. (2) 126(1987), no. 2, 439–447. MR 908154

  56. [56]

    ,Concerning theL p norm of spectral clusters for second-order elliptic operators on compact manifolds, J. Funct. Anal.77(1988), no. 1, 123–138. MR 930395

  57. [57]

    Math.104 (1991), no

    ,Propagation of singularities and maximal functions in the plane, Invent. Math.104 (1991), no. 2, 349–376. MR 1098614

  58. [58]

    E. M. Stein,Oscillatory integrals in Fourier analysis, Beijing lectures in harmonic analysis (Beijing, 1984), Ann. of Math. Stud., vol. 112, Princeton Univ. Press, Princeton, NJ, 1986, pp. 307–355. MR 864375

  59. [59]

    Tao,The Bochner–Riesz conjecture implies the restriction conjecture, Duke Math

    T. Tao,The Bochner–Riesz conjecture implies the restriction conjecture, Duke Math. J.96 (1999), no. 2, 363–375. MR 1666558

  60. [60]

    P. A. Tomas,Restriction theorems for the Fourier transform, Harmonic analysis in Euclidean spaces (Proc. Sympos. Pure Math., Williams Coll., Williamstown, Mass., 1978), Part 1, Proc. Sympos. Pure Math., vol. XXXV, Part 1, Amer. Math. Soc., Providence, RI, 1979, pp. 111–

  61. [61]

    M ¨uller, Mathematisches Seminar, C.A.-Universit ¨at Kiel, Heinrich-Hecht-Platz 6, 24118 Kiel, Germany Email address:mueller@math.uni-kiel.de L

    MR 545245 BOCHNER–RIESZ MEANS ON THE HEISENBERG GROUP 81 D. M ¨uller, Mathematisches Seminar, C.A.-Universit ¨at Kiel, Heinrich-Hecht-Platz 6, 24118 Kiel, Germany Email address:mueller@math.uni-kiel.de L. Niedorf, Department of Mathematics, University of Wisconsin-Madison, 480 Lin- coln Drive, Madison, WI 53706, USA Email address:niedorf@wisc.edu A. Seege...