Bochner-Riesz means on the Heisenberg group
Reviewed by Pith2026-07-03 02:51 UTCgrok-4.3pith:TG5DPMLUopen to challenge →
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.
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
- 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
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.
Referee Report
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)
- [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.
- [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
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
-
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
-
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
Minor self-citation to 1990 restriction failure; derivation otherwise independent
specific steps
-
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
Reference graph
Works this paper leans on
-
[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
work page 1965
-
[2]
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
work page 2022
-
[3]
L. Carleson and P. Sj¨ olin,Oscillatory integrals and a multiplier problem for the disc, Studia Math.44(1972), 287–299
work page 1972
-
[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
work page 1983
-
[5]
,Variants of the Calder´ on-Zygmund theory forL p-spaces, Rev. Mat. Iberoam.2 (1986), no. 4, 381–396. MR 913694
work page 1986
-
[6]
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
work page 1984
-
[7]
,On localized potential spaces, J. Approx. Theory48(1986), no. 3, 251–261. MR 864749
work page 1986
-
[8]
V. Casarino and P. Ciatti,A restriction theorem for M´ etivier groups, Adv. Math.245(2013), 52–77. MR 3084423
work page 2013
- [9]
-
[10]
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
work page 2016
-
[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
work page 2016
-
[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
work page 1985
-
[13]
,L p bounds for spectral multipliers on nilpotent groups, Trans. Amer. Math. Soc.328 (1991), no. 1, 73–81. MR 1104196
work page 1991
-
[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
work page 1970
-
[15]
,A note on spherical summation multipliers, Israel J. Math.15(1973), 44–52. MR 320624
work page 1973
-
[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
work page 1982
-
[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
work page 2025
-
[18]
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
work page 1977
-
[19]
J. Ginibre and G. Velo,Smoothing properties and retarded estimates for some dispersive evolution equations, Commun. Math. Phys.144(1992), no. 1, 163–188
work page 1992
-
[20]
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
work page 2000
-
[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
work page 1993
-
[22]
J. Hilgert and K.-H. Neeb,Structure and geometry of Lie groups, Springer Monographs in Mathematics, Springer, New York, 2012. MR 3025417
work page 2012
-
[23]
H¨ ormander,Fourier integral operators
L. H¨ ormander,Fourier integral operators. I, Acta Math.127(1971), 79–183. MR 0341193
work page 1971
-
[24]
,Oscillatory integrals and multipliers onF L p, Ark. Mat.11(1973), 1–11. MR 0340924
work page 1973
-
[25]
A. Hulanicki,A functional calculus for Rockland operators on nilpotent Lie groups, Studia Math.78(1984), no. 3, 253–266. MR 782662
work page 1984
-
[26]
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
work page 1985
-
[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
work page 1990
-
[28]
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
work page 1980
-
[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
work page 2018
-
[30]
J. Lee, S. Lee, and S. Oh,The elliptic maximal function, J. Funct. Anal.288(2025), no. 1, Paper No. 110693, 31 pp
work page 2025
- [31]
-
[32]
A. Martini,Necessary conditions of Euclidean type forL p-boundedness of Bochner–Riesz means for sub-Laplacians, Preprint, 2025
work page 2025
-
[33]
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
work page 2023
-
[34]
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]
G. Mauceri and S. Meda,Vector-valued multipliers on stratified groups, Rev. Mat. Iberoam. 6(1990), no. 3-4, 141–154. MR 1125759
work page 1990
-
[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
work page 1984
-
[37]
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
work page 1993
-
[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
work page 1989
-
[39]
,A restriction theorem for the Heisenberg group, Ann. of Math. (2)131(1990), no. 3, 567–587. MR 1053491
work page 1990
-
[40]
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
work page 1990
-
[41]
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
work page 2015
-
[42]
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
work page 1994
-
[43]
,L p-estimates for the wave equation on the Heisenberg group, Rev. Mat. Iberoam.15 (1999), no. 2, 297–334. MR 1715410
work page 1999
-
[44]
A. I. Nachman,The wave equation on the Heisenberg group, Commun. Partial Differ. Equa- tions7(1982), 675–714
work page 1982
-
[45]
E. Nelson and W. F. Stinespring,Representation of elliptic operators in an enveloping alge- bra, Amer. J. Math.81(1959), 547–560. MR 110024
work page 1959
-
[46]
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
work page 2024
-
[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]
,Spectral multipliers on M´ etivier groups, Studia Math.282(2025), no. 2, 149–197. MR 4908550
work page 2025
-
[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
work page 1986
-
[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
work page 2022
-
[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
work page 1986
-
[52]
,Some inequalities for singular convolution operators inL p-spaces, Trans. Amer. Math. Soc.308(1988), no. 1, 259–272. MR 955772
work page 1988
-
[53]
,Endpoint estimates for multiplier transformations on compact manifolds, Indiana Univ. Math. J.40(1991), no. 2, 471–533. MR 1119186
work page 1991
-
[54]
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
work page 1989
-
[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
work page 1987
-
[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
work page 1988
-
[57]
,Propagation of singularities and maximal functions in the plane, Invent. Math.104 (1991), no. 2, 349–376. MR 1098614
work page 1991
-
[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
work page 1984
-
[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
work page 1999
-
[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–
work page 1978
-
[61]
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...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.