Spectral multipliers on 2-step groups: topological versus homogeneous dimension

Let G be a 2-step stratified group of topological dimension d and homogeneous dimension Q. Let L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}}$$\end{document} be a homogeneous sub-Laplacian on G. By a theorem due to Christ and to Mauceri and Meda, an operator of the form F(L)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${F(\mathcal{L})}$$\end{document} is of weak type (1, 1) and bounded on Lp(G) for all p ∈ (1, ∞) whenever the multiplier F satisfies a scale-invariant smoothness condition of order s > Q/2. It is known that, for several 2-step groups and sub-Laplacians, the threshold Q/2 in the smoothness condition is not sharp and in many cases it is possible to push it down to d/2. Here we show that, for all 2-step groups and sub-Laplacians, the sharp threshold is strictly less than Q/2, but not less than d/2.


Introduction
Let L = −Δ be the Laplace operator on R d . Since L is essentially self-adjoint on L 2 (G), a functional calculus for L is defined via the spectral theorem and an operator of the form F (L) is bounded on L 2 (R d ) whenever the Borel function F : R → C is bounded. The investigation of necessary and sufficient conditions for F (L) to be bounded on L p for some p = 2 in terms of properties of the "spectral multiplier" F is a traditional and very active area of research of harmonic analysis.
Among the classical results, a corollary of the Mihlin-Hörmander multiplier theorem gives a sufficient condition for the L p -boundedness of F (L) in terms of a local scale-invariant Sobolev condition of the form for appropriate q ∈ [1, ∞], s ∈ [0, ∞); here η ∈ C ∞ c ((0, ∞)) is any nonzero cutoff and L q s is the L q Sobolev space of order s.
operator F (L) is of weak type (1, 1) and bounded on L p (R d ) for all p ∈ (1, ∞). Further, the associated operator norms are bounded by multiples of F L 2 s,sloc . Actually this result is usually stated by restricting the supremum in (1) to t > 0. However, with the above definition, and, since the Laplace operator L on R d has trivial kernel, the usual statement is recovered by applying Theorem 1 to the multiplier F χ R\{0} . On the other hand, given that we will also discuss operators with nontrivial kernel, the definition in (1) seems more convenient here. The threshold d/2 on the order of smoothness s in Theorem 1 is sharp. More precisely, if we define the sharp threshold ς(L) as the infimum of the s ∈ [0, ∞) such that ∃C ∈ (0, ∞) : ∀F ∈ B : F (L) L 1 →L 1,∞ ≤ C F L 2 s,sloc , where B is the set of the bounded Borel functions on R, then ς(L) = d/2. This can be seen, e.g., by taking F (λ) = |λ| iα , α ∈ R\{0} (see, e.g., [CM79,CHR91,SW01]). The same example shows that the threshold d/2 remains sharp even if we consider a weaker version of the result, without the weak type (1, 1) endpoint and with a stronger assumption on the multiplier, in terms of an L ∞ Sobolev norm. Namely where B c = {F ∈ B : supp F ⊆ [−1, 1]}, then again ς + (L) = d/2. By taking F (λ) = (1 − λ) α + , this strengthened result yields the sharp range of α (namely, α > d/2 − 1) for which the Bochner-Riesz means of order α are L 1 -bounded (see, e.g., [STE93,p. 389]).
Results of this type have been obtained in more general contexts than R d , particularly when L is a second-order self-adjoint elliptic differential operator on a manifold M . For instance, when M is a compact manifold, then ς(L) = d/2, where d is the dimension of M [SS89]. Things can be very different on noncompact manifolds and it may even happen that ς(L) = ∞ (see, e.g., [CS74,CM96]). However the lower bound ς(L) ≥ d/2 is always true. In fact, locally, at each point of M , L "looks like" the Laplacian L 0 on R d and one can prove that ς(L) ≥ ς(L 0 ) and ς ± (L) ≥ ς ± (L 0 ) by a transplantation argument [KST82]. Much less is known about sharp thresholds when the ellipticity assumption is weakened. Consider the case of a homogeneous sub-Laplacian L on an m-step stratified group G of homogeneous dimension Q. In other words, G is a simply connected nilpotent Lie group, whose Lie algebra g is decomposed as a direct sum g = m j=1 g j of linear subspaces, called layers, so that [g j , g 1 ] = g j+1 for j = 1, . . . , m − 1 and [g m , g 1 ] = {0}. Moreover Q = m j=1 j dim g j and L = − k l=1 X 2 l , where X 1 , . . . , X k are left-invariant vector fields on G that form a basis of the first layer g 1 . The sub-Laplacian L is a left-invariant second-order self-adjoint hypoelliptic differential operator on G, which is not elliptic unless m = 1, i.e., unless G is abelian and L is a Euclidean Laplacian.
Homogeneous sub-Laplacians on stratified groups have been extensively studied, also because of their role as local models for more general hypoelliptic operators (see, e.g., [RS76,FOL77,NRS90,ER98]). Several generalizations of Theorem 1 to this context have been obtained [MM79,FOL82,MM87], culminating in the following result independently proved by Christ [CHR91] and by Mauceri and Meda [MM90].
Theorem 2 (Christ, Mauceri and Meda). Let L be a homogeneous sub-Laplacian on a stratified group G of homogeneous dimension Q. Then ς(L) ≤ Q/2.
In fact Q = d if and only if m = 1. Hence Theorem 2 reduces to Theorem 1 when G is abelian and in this case it is sharp. Note also that Q coincides both with the local dimension (associated to the optimal control distance for L) and the dimension at infinity (i.e., degree of polynomial growth) of G. Therefore, for many purposes, the homogeneous dimension Q of a stratified group G plays the role that the dimension d plays for the Laplace operator on R d .
Also for these reasons, the threshold Q/2 in Theorem 2 was expected to be sharp in any case and the discovery of counterexamples came initially as a surprise. Consider the simplest case of nonabelian stratified groups G, i.e., the Heisenberg groups, where m = 2 and Q − d = dim g 2 = 1. Müller and Stein [MS94] proved that, for all homogeneous sub-Laplacians L on Heisenberg groups, ς(L) = d/2. Independently Hebisch [HEB93] proved that ς(L) ≤ d/2 on the larger class of groups of Heisenberg type.
After this discovery, in the last twenty years several other improvements to Theorem 2 in particular cases have been obtained and the inequality ς(L) ≤ d/2 has been proved for many classes of 2-step groups [HZ95,MAR12,MAR13,MAR15,MM14]. However, to the best of our knowledge, the upper bound ς(L) ≤ Q/2 of Theorem 2 has been so far the best available result for arbitrary stratified groups, or even for arbitrary 2-step stratified groups. Moreover, apart from the abelian case, the lower bound ς(L) ≥ d/2 has been proved only for the Heisenberg groups.
The result that we present here applies instead to all 2-step groups and homogeneous sub-Laplacians thereon. Theorem 3. Let L be a homogeneous sub-Laplacian on a 2-step stratified group G of topological dimension d and homogeneous dimension Q. Then Note that the intermediate inequalities ς − (L) ≤ ς(L) and ς(L) ≤ ς + (L) follow from standard arguments (the former is a consequence of the Marcinkiewicz interpolation theorem; for the latter, see, e.g., [MAR12,Theorem 4.6]). The extreme inequalities are the ones that need a proof.
The inequality ς − (L) ≥ d/2 is obtained by studying operators closely related to the Schrödinger propagator e itL . As we show in Section 2, via a Mehler-type formula we can write the convolution kernels of these operators as oscillatory integrals on the dual g * 2 of the second layer and lower bounds for the corresponding operator norms can be obtained via the method of stationary phase. In these respects, our approach is not dissimilar to the one of [MS94], where stationary phase is used to study the imaginary powers L iα of the sub-Laplacian. However the analysis of the oscillatory integrals associated to L iα turns out to be quite complicated already on the Heisenberg groups, where g * 2 is 1-dimensional, and a generalization of the argument of [MS94] to arbitrary 2-step groups seems very difficult. In comparison, the method presented here is much simpler, when applied to Heisenberg (or even Heisenberg-type) groups, and the greater complexity involved with more general 2-step groups becomes manageable.
For arbitrary 2-step groups, the main difficulty in applying stationary phase is showing that the phase function admits nondegenerate critical points. In the case of groups of Heisenberg type, the origin of g * 2 is such a point, but this need not be the case for more general 2-step groups. Nevertheless, as we show in Section 3, the Hessian of the phase function becomes nondegenerate if we move slightly away from the origin in a "generic" direction. One of the ingredients of the proof is the fact that certain Hankel determinants of Bernoulli numbers are strictly positive, which in turn is related to properties of the Riemann zeta function.
The inequality ς + (L) < Q/2 is proved in Section 4. The proof follows the method developed in [MAR15,MM14] to show that ς + (L) ≤ d/2 for particular classes of 2-step groups G. Here we show that a suitable variation of the method, using elementary estimates for algebraic functions, can be applied to arbitrary 2-step groups and sub-Laplacians and always yields an improvement to Theorem 2.
The lower bound in Theorem 3 shows that all the multiplier theorems for homogeneous sub-Laplacians on 2-step groups with threshold d/2 obtained so far [HEB93,MAR13,MAR15,MM14] are sharp. Moreover, by transplantation, it gives a lower bound to ς(L) and ς ± (L) for all sub-Laplacians L on 2-step sub-Riemannian manifolds and all other operators L locally modeled on homogeneous sub-Laplacians on 2-step groups.
An interesting open question is whether Theorem 3 extends to stratified groups of step m > 2. Indeed Theorem 3 yields, via transference [BPW96], the lower bound ς − (L) ≥ (dim g 1 + dim g 2 )/2 for all homogeneous sub-Laplacians L on all stratified groups. Moreover improvements to the upper bound Q/2 in Theorem 2 are known for particular stratified groups of step m > 2 [ HZ95,MAR12]. However the methods used in the present paper do not apply directly to stratified groups of step higher than 2 and new methods and ideas appear to be necessary.

The Stationary Phase Argument
Let G be a 2-step stratified group and g = g 1 ⊕ g 2 the stratification of its Lie algebra; in other words, [g 1 , g 1 ] = g 2 and [g, be the corresponding sub-Laplacian. Let ·, · be the inner product on g 1 that turns X 1 , . . . , X d1 into an orthonormal basis. Let g * 2 be the dual of g 2 and define, for all μ ∈ g * 2 , the skew-symmetric endomorphism J μ on g 1 by for all x, x ∈ g 1 .
Consider the space so(g 1 ) of skew-symmetric linear endomorphisms of g 1 , endowed with the Hilbert-Schmidt inner product determined by the inner product on g 1 . Since [g 1 , g 1 ] = g 2 , the linear map μ → J μ is injective, so we can define an inner product on g * 2 by pulling back the inner product on so(g 1 ), and endow g 2 with the dual inner product.
As usual, we identify g with G via exponential coordinates, so the Haar measure on G coincides with the Lebesgue measure on g. If f ∈ L 1 (G) and μ ∈ g * 2 , then we denote by f μ the μ-section of the partial Fourier transform of f along g 2 , given by If A is a left-invariant operator on L 2 (G), then we denote by K A its convolution kernel. Denote for t > 0 by p t = K e −tL the heat kernel associated to the sub-Laplacian L. Notice that the family of contraction operators e −tL , t > 0, admits an analytic extension e −zL for z in the complex right half-plane z > 0; the corresponding convolution Schwartz kernels will be denoted by p z .
Let T and S be the even meromorphic functions defined by Note that J μ is naturally identified with a skew-symmetric endomorphism of the complexification (g 1 ) C of g 1 , endowed with the corresponding hermitian inner product, and, for all z ∈ C, zJ μ is a normal endomorphism of (g 1 ) C . Then the following Mehler-type formula holds.
Proposition 4. For all z ∈ C with z > 0, and for all μ ∈ g * 2 , where roots are meant to be determined by the principal branch.
Proof. Several instances and variations of this formula can be found in the literature; see, e.g., [HUL76,GAV77,MR90,MR96,RAN96,LUS03] and particularly [CYG79, Corollary (5.5)]. Alternatively, for all μ ∈ g * 2 , one can apply the general formula of [MR03, Theorem 5.2] (which indeed applies to much wider classes of second order operators than sub-Laplacians) to the symplectic form μ([·, ·]) on (ker J μ ) ⊥ and observe that, on ker J μ , μ-twisted convolution reduces to Euclidean convolution and the heat kernel reduces to the Euclidean heat kernel.
For all finite-dimensional normed vector spaces V , for all v ∈ V , and for all > 0, denote by C V (v, ) the set of the smooth functions χ : V → R whose support is contained in the closed ball of center v and radius . For whereχ is the Fourier transform of χ. In particular m χ t is in the Schwartz class and moreover, for all t ∈ R and α ≥ 0, Choose orthonormal coordinates (u d1 , . . . , u d2 ) on g 2 and let be the corresponding vector of central derivatives on G.
We are going to use the method of stationary phase to obtain estimates from below of |Ω χ,θ t |. For this we need nondegenerate critical points of the phase function.
Proposition 6. Let Φ be defined as in Proposition 5. There exist The proof of Proposition 6 is postponed to the next section. We now see how this fact can be used to obtain the desired estimates.
Proposition 7. Let y 0 ∈ g 1 , v 0 ∈ g 2 , μ 0 ∈ g * 2 be satisfying (13). Then there exist χ ∈ C R (0, 1/2), θ ∈ C g * 2 (0, 1), and neighborhoods U ⊆ g 1 of y 0 and V ⊆ g 2 of v 0 such that, for all t ≥ 1, where Proof. Since ∇ 2 μ Φ(y 0 , v 0 , μ 0 ) is nondegenerate and ∇ μ Φ(y 0 , v 0 , μ 0 ) = 0, by the implicit function theorem there exist neighborhoods U 0 ⊆ g 1 of y 0 and V 0 ⊆ g 2 of v 0 such that there is a (unique) smooth function μ c : For all sufficiently small ∈ (0, 1 − |μ 0 |) and all sufficiently small compact neighborhoods U ⊆ U 0 of y 0 and V ⊆ V 0 of v 0 , if θ ∈ C g * 2 (μ 0 , ) and I θ is defined as in Proposition 7, then the method of stationary phase [HOR90, Theorem 7.7.6] yields Note now that exp(−irR(s, r, y, μ c (y, v))) = 1 + O(r) Consequently, for all t > −1 , |s| < , (y, v) ∈ U × V , Therefore, by (11), if χ ∈ C R (0, ), then, for all t > −1 and (y, v) By compactness of U and V , the last identity is trivial for 1 ≤ t ≤ −1 . Therefore (14) holds for all t ≥ 1, y ∈ U , v ∈ V , if we define A χ,θ and Ψ by In particular The conclusion follows by choosing θ ∈ C g * 2 (μ 0 , ) so that θ(μ 0 ) = 0, and χ ∈ C R (0, ) so thatχ is real-valued andχ(|S(iJ μ0 )y 0 | 2 ) = 0; the latter condition is easily satisfied by taking χ = χ 0 (λ −1 ·) for some even χ 0 ∈ C R (0, 1) withχ 0 (0) = 0 and λ > 0 sufficiently small. Theorem 8. There exists χ ∈ C R (0, 1/2) such that, for all p ∈ [1, 2], there exists C p,χ > 0 such that, for all t ≥ 1, Proof. Let y 0 ∈ g 1 , v 0 ∈ g 2 , μ 0 ∈ g * 2 be given by Proposition 6. Let neighborhoods Note that m χ t (L) = 0 for all t ≥ 1, because χ = 0; hence it is sufficient to prove the estimate (15) for t large. Set where K t = K m χ t (L) as before. Chooseχ ∈ C g1 (0, c), where c > 0 is a small parameter to be fixed later. Definẽ We would like to apply (14) to estimate Ω χ,θ t in the above integral and get a lower bound for |Ω t (2ty, t 2 v)| for all sufficiently large t ≥ 1 and all y, v ranging in sufficiently small neighborhoods of y 0 , v 0 . The problem is that the oscillation coming from the factor e itΨ could produce cancellation by integrating in x . On the other hand |∇Ψ(y, v)| 1 when y, v range in compact sets. Consequently for all x ∈ suppχ. By taking c sufficiently small, one obtains that there cannot be too much cancellation (the integrand remains in a convex cone in the complex plane whose aperture is independent of t). So from (14) we conclude that there exist sufficiently small neighborhoods U ⊆ g 1 of y 0 and V ⊆ g 2 of v 0 such that, for all sufficiently large t ≥ 1, y ∈ U and v ∈ V , In particular and we are done.

Nondegenerate Critical Points of the Phase Function
This section is devoted to the proof of Proposition 6. Recall that T is defined by (6). Hence where, for all nonzero k ∈ N, the B 2k are Bernoulli numbers, and ζ is the Riemann zeta function (see, e.g., [AAR99, proof of Theorem 1.2.4]). So Consequently, if Φ is defined as in Proposition 5, then and moreover In particular, the proof of Proposition 6 is reduced to showing that there exist y 0 ∈ g 1 and μ 0 ∈ g * 2 such that |μ 0 | < 1 and ∇ 2 μ Φ 0 (y 0 , μ 0 ) is nondegenerate, because then by choosing v 0 = −∇ μ Φ 0 (y 0 , μ 0 ) we have that (13) is satisfied.
Since the linear map μ → J μ is injective, g * 2 can be identified with the subspace V of so(g 1 ) given by So in the following we will consider Φ 0 as a function g 1 × V → R. Let V gen be the homogeneous Zariski-open subset of V whose elements have maximal number of distinct eigenvalues among the elements of V .
Lemma 10. Let S ∈ V gen and let e ∈ g 1 be such that the orthogonal projection of e on each eigenspace of S 2 is nonzero. Let N be the number of distinct eigenvalues of then T = 0. Proof. For all t ∈ R, let S t = S +tT and let q t be the minimal polynomial of S 2 t . Since S 2 t is a symmetric linear endomorphism, q t has no multiple roots and, by definition of V gen , the degree of q t is at most N .
From (19) we easily obtain that S j t e = S j e for all j = 0, . . . , 2N. In particular q t (S 2 )e = q t (S 2 t )e = 0. For all eigenvalues λ of S 2 , if P λ is the corresponding spectral projection, then q t (λ)P λ e = q t (S 2 )P λ e = P λ q t (S 2 )e = 0, but P λ e = 0 by assumption and consequently q t (λ) = 0.
This means that the roots of q t include all the roots of q 0 . However q 0 has N distinct roots and q t has degree at most N , therefore q t = q 0 . In particular q 0 ((S + tT ) 2 ) = 0 for all t ∈ R. By expanding the left-hand side and considering the term that contains the highest power of t, one obtains that T 2N = 0 and since T is skew-symmetric this implies that T = 0. Note that V 0 = V . Moreover V j ⊇ V j+1 and, by Lemma 10, V j = {0} for j sufficiently large. Let r ∈ N be minimal so that V r = 0 (note that r may be smaller than the value 2N given by Lemma 10, and in fact r = 1 if G is of Heisenberg type). Choose a linear complement In addition, for all nonzero T ∈ W j , T S l e = 0 for l < j but T S j e = 0, and in particular the map W j T → T S j e ∈ g 1 is injective. Let Φ 00 (μ) = Φ 0 (e, μ) and define, for all sufficiently small > 0, the bilinear form Proof. Note that, by (18), If we assume that A ∈ W i and B ∈ W j , then the sum can be restricted to the indices α, β, γ such that α ≥ i and γ ≥ j, because the other summands vanish. In particular the entire sum vanishes unless 2k − 2 ≥ i + j.
The following result completes the proof of Proposition 6.
In particularH is injective, we can considerH(0) as the restriction to a suitable subspace of the bilinear form K : g r 1 × g r 1 → R given by So it is sufficient to show that K is positive definite.
Let e 1 , . . . , e d1 be an orthonormal basis of g 1 . Then, in the basis of g r 1 , the matrix of K is a d 1 × d 1 block diagonal matrix, whose diagonal blocks are all equal to the matrix C = (c ij ) r−1 i,j=0 . In other words, the matrix of K is of the form C ⊗ I d1 . Hence K is positive definite if and only if C is positive definite.
Since c ij = 0 when i + j is odd, one can also consider C as a 2 × 2 block diagonal matrix, where the first block is determined by the even rows/columns and the second block by the odd rows/columns. In order to show that C is positive definite, it is sufficient to show the positive definiteness of each diagonal block.
In conclusion, by Sylvester's criterion, we are reduced to showing that matrices of the form have positive determinant for all m, s. Determinants involving Bernoulli numbers have been studied since long time and explicit formulas for some of them can be found in the literature (see, e.g., [AC59,ZC14]). However for us it is sufficient to show that the determinant of the above matrices is positive, which can be easily seen by means of properties of the Riemann zeta function ζ.
If S s denotes the permutation group of {1, . . . , s} and ε(σ) denotes the sign of a permutation σ ∈ S s , then the last determinant can be rewritten as where in the last passage the Vandermonde determinant formula was used. In particular det Z m,s = 2 s s! π 2s(s+m)

Improvement of the Sufficient Condition
We now demonstrate how some estimates obtained in [MM14], combined with elementary estimates for multivariate algebraic functions, can be used to obtain an improvement to Theorem 2 for all 2-step groups.
Since the skew-symmetric endomorphism J μ defined by (5) depends linearly on μ, we can write a spectral decomposition of −J 2 μ where eigenvalues and spectral projections are algebraic functions of μ. More precisely, as discussed in [MM14,§2], there exist nonzero M, r 1 , . . . , r M ∈ N and a nonempty Zariski-open homogeneous subset g * 2,r ⊆ g * 2 such that, for all μ ∈ g * 2,r , we can write for distinct b μ 1 , . . . , b μ M ∈ (0, ∞) and mutually orthogonal projections P μ 1 , . . . , P μ M of rank 2r 1 , . . . , 2r M , which are algebraic functions of μ and are real-analytic for μ ∈ g * 2,r . Let moreover P μ 0 = I − (P μ 1 + · · · + P μ M ) be the projection onto ker J μ for all μ ∈ g * 2,r and r 0 be its rank. In terms of the eigenvalues b μ j and projections P μ j it is possible to write a fairly explicit formula for the Euclidean Fourier transform K F (L) of the convolution kernel of the operator F (L), for all F ∈ C ∞ c (R). Namely, for all ξ ∈ g 1 and μ ∈ g * 2,r , where m is the mth Laguerre polynomial of type k, for all t ∈ R and m, k ∈ N (cf. [MM14, Proposition 6]). As shown in [MM14,§4], by means of this formula it is possible to estimate μ-derivatives of K F (L) (ξ, μ) in terms of expressions analogous to the right-hand side of (23), but involving derivatives of F , provided that suitable estimates for μ-derivatives of the b μ j and P μ j hold. For the reader's convenience, we now state as a lemma a particular case of [MM14,Corollary 19], that will be sufficient for our purpose. For technical reasons, the estimate stated below involves a cutoff in the variable μ.