A restriction theorem for Métivier groups (Q2437470)

A Métivier group is a connected, simply connected two-step nilpotent Lie group which is defined as follows. Let \(\mathfrak{z}\) be the central ideal of the Lie algebra of the group, and \(\mathfrak{v}\) its orthogonal complement. If \(\omega\) is a non-trivial linear functional in the dual of the central ideal of the Lie algebra of the group, then the skew-symmetric bilinear form defined by \( B_{\omega}\left( X,Y\right) =\omega\left[ X,Y\right]\) where \(X,Y\) are elements of \(\mathfrak{v}\) is non-degenerate. Let \(G\) be a Métivier group equipped with a sublaplacian \(L.\) For all Schwartz functions \(f\) on \(G,\) it is known that \( f=\int_{0}^{\infty}\mathcal{P}_{\mu}^{L}f\text{ }d\mu\) where the operator \(\mathcal{P}_{\mu}^{L}\) corresponds to a generalized projection operator. Let \(\mathbb{H}^{n}\) be the \(2n+1\)-dimensional Heisenberg group which is the set \(\mathbb{R}^{n}\times\mathbb{R}^{n}\times\mathbb{R}\) endowed with the following non-commutative operation: \( \left( x,y,t\right) \left( x^{\prime},y^{\prime},t^{\prime}\right) =\left( x+x^{\prime},y+y^{\prime},t+t^{\prime}+\frac{1}{2}\left( x\cdot y^{\prime}-x^{\prime}y\right) \right).\) Then, \(\mathbb{H}^{n}\) is a Métivier group. Moreover, according to a theorem due to D. Müller, the following holds true. Let \(p\in\left[ 1,2\right] \). Given \(q\) such that \(p^{-1}+q^{-1}=1\) then \( \left\| \mathcal{P}_{\mu}^{L}f\right\| _{L_{t}^{\infty}L_{z}^{q}}\leq C_{\mu}\left\| f\right\| _{L_{t}^{1}L_{z}^{p}}\) for all Schwartz functions on \(\mathbb{H}^{n}.\) The main result of the paper under review extends the work of Müller as follows. Let \(G\) be a Métivier group with Lie algebra \(\mathfrak{g}\). Let \(\mathfrak{z}\) be the central ideal of \(\mathfrak{g}\) and \(\mathfrak{v}\) its orthogonal complement. If the dimension of the center is equal to one and if the dimension of \(\mathfrak{v}\) is equal to \(2n\) and if \(r\in\left[ 1,\frac{2d+2}{d+3}\right] ,\) then for all \(p,q\) which satisfy \(1\leq p\leq2\leq q\leq\infty\) and for all Schwartz functions \(f\) we have \( \left\| \mathcal{P}_{\mu}^{L}f\right\| _{L^{r^{\prime}}\left( \mathfrak{z}\right) L^{q}\left( \mathfrak{v}\right) }\leq C\mu^{d\left( 2r^{-1}-1\right) +n\left( p^{-1}-q^{-1}\right) -1}\left\| f\right\| _{L^{r}\left( \mathfrak{z}\right) L^{q}\left( \mathfrak{v}\right) }\text{ and }\mu>0.\)