Functional calculi for convolution operators on a discrete, periodic, solvable group (Q1000531)

Let \(G\) be a locally compact group and let \(L^p(G)\) be the space of \(p\)-integrable functions on \(G\) with respect to right-invariant Haar measure. If \(\Phi \in L^1(G)\) with \(\Phi^{\ast} = \Phi\), and \(\xi \in L^2(G)\), then \(T_{\Phi} (\xi)= \xi \ast \Phi\) is a self-adjoint bounded operator from \(L^2(G)\) to \(L^2(G)\). Let \[ T_{\Phi} = \int_{Sp_{L^2} T_{\Phi}} \lambda dE_{\Phi} (\lambda) \] be its spectral resolution. Suppose \(Sp_{L^2} T_{\Phi} \subset [-a, a]\) and \(F\) is a bounded Borel function on \([-a, a]\). The function \(F\) is a spectral \(L^p\)-multiplier for \(T_{\Phi}\) if \[ F(T_{\Phi}) = \int_{Sp_{L^2} T_{\Phi}} F(\lambda) dE_{\Phi} (\lambda) \] is a bounded operator on \(L^p(G)\). For the rest of the review assume that \(G\) is also infinite discrete. If \(G\) is finitely generated and has polynomial growth, then for every \(\Phi = \Phi^{\ast} \in \ell^1(G)\), there is a non-analytic spectral multiplier \(F\) for \(T_{\Phi}\). In this paper the authors give an example of a solvable group \(\mathbb{G}\) and a function \(\Psi \in \ell^1(\mathbb{G})\), such that \(\Psi^{\ast} = \Psi\) and all \(\ell^1\)-multipliers for \(T_{\Psi}\) must be real analytic at every interior point of \(Sp_{\ell^2} T_{\Psi}\). We now describe the group \(\mathbb{G}\) studied by the authors. Let \(\mathcal{C}, D, E\) be three copies of the direct product of infinitely many copies of \(\mathbb{Z}_2 = \{1, -1\}\) with multiplication as the group operation. So, \[ \begin{matrix} \mathcal{C} & = &\{ \varepsilon = ( \varepsilon_1, \varepsilon_2, \dots ) : \varepsilon_j \in \{1, -1\}, \varepsilon_j = 1 \text{ except for a finite number of } j\},\\ D & = &\{ d = (d_1, d_2, \dots ) : d_j \in \{1, -1\}, d_j = 1 \text{ except for a finite number of }j \}, \\ E & = & \{ x = (x_1, x_2, \dots ) : x_j \in \{ 1, -1\}, x_j = 1 \text{ except for a finite number of }j\}. \end{matrix} \] Denote by \(\mathbb{E}\) the direct product of countably many copies of \(E\) numbered by the elements of \(D\). Thus \(\mathbb{E}\) is isomorphic with the set of functions \(\eta : D \rightarrow E\) such that \(\eta(d) \neq 1\) for finitely many \(d\)'s only. There is an action of \(D\) on \(\mathbb{E}\) given by \(\eta^d (d') = \eta (dd')\). Denote the wreath product \(\mathbb{E} \wr D\) by \(\mathbb{L}\). The group \(\mathbb{G}\) used in the paper is \(\mathcal{C} \times \mathbb{L}\). This group is locally finite, meta-abelian, and \(x^4 = 1\) for each element \(x\) of \(\mathbb{G}\).