Local and multilinear noncommutative de Leeuw theorems

Let $\mathrm{\Gamma }<G$ be a discrete subgroup of a locally compact unimodular group $G$. Let $m\in C_b(G)$ be a $p$-multiplier on $G$ with $1\le p<\mathrm{\infty }$ and let $T_m:L_p(\widehat{G})\to L_p(\widehat{G})$ be the corresponding Fourier multiplier. Similarly, let $T_{m \vert_\Gamma}: L_p(\widehat{\Gamma}) \rightarrow L_p(\widehat{\Gamma})$ be the Fourier multiplier associated to the restriction $m{\mathrm{\mid }}_{\mathrm{\Gamma }}$ of $m$ to $\mathrm{\Gamma }$. We show that $$c(\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}(m{\mathrm{\mid }}_{\mathrm{\Gamma }}))\mathrm{\parallel }{T}_{m{\mathrm{\mid }}_{\mathrm{\Gamma }}}:L_p(\widehat{\mathrm{\Gamma }})\to L_p(\widehat{\mathrm{\Gamma }})\mathrm{\parallel }\le \mathrm{\parallel }{T}_m:L_p(\widehat{G})\to L_p(\widehat{G})\mathrm{\parallel },$$ for a specific constant $0\le c(U)\le 1$ that is defined for every $U\subseteq \mathrm{\Gamma }$. The function $c$ quantifies the failure of $G$ to admit small almost $\mathrm{\Gamma }$-invariant neighbourhoods and can be determined explicitly in concrete cases. In particular, $c(\mathrm{\Gamma })=1$ when $G$ has small almost $\mathrm{\Gamma }$-invariant neighbourhoods. Our result thus extends the De Leeuw restriction theorem from [CPPR15] as well as De Leeuw’s classical theorem [Lee65]. For real reductive Lie groups $G$ we provide an explicit lower bound for $c$ in terms of the maximal dimension $d$ of a nilpotent orbit in the adjoint representation. We show that $c(B_{\rho }^G)\ge {\rho }^{-d\mathrm{/}4}$ where $B_{\rho }^G$ is the ball of $g\in G$ with $\mathrm{\parallel }{\mathrm{A}\mathrm{d}}_g\mathrm{\parallel }<\rho$. We further prove several results for multilinear Fourier multipliers. Most significantly, we prove a multilinear De Leeuw restriction theorem for pairs $\mathrm{\Gamma }<G$ with $c(\mathrm{\Gamma })=1$. We also obtain multilinear versions of the lattice approximation theorem, the compactification theorem and the periodization theorem. Consequently, we are able to provide the first examples of bilinear multipliers on nonabelian groups.