Weighted \(L^p\)-conjecture for locally compact groups (Q532105)

The \(L^p\)-conjecture is described in the review of the author's paper [Publ. Math. 75, No.~3--4, 365--374 (2009; Zbl 1224.43003)]. In this paper, the authors study a weighted version. For a locally compact group \(G\), with left Haar measure \(\lambda_G\), they consider a weight \(w\), that is a positive Borel measurable and submultiplicative function, on \(G\) and the weighted space \(L^p (G, w)\), \(1 < p < \infty\). Their goal is to give a characterization of the weights for which \(L^p (G, w)\) becomes a Banach algebra, i.e., a convolution product \(f \ast g\) can be defined for every \(f, g \in L^p (G, w)\) and belongs to \(L^p (G, w)\). Their first main result is a sufficient condition: this happens when \(\Omega_0 \in L^\infty (G)\), where \(\Omega_0 (y) = \int_G \Omega (x, x^{-1}y)^q\, d\lambda_G (x)\) and \(\Omega (x, y) = w (xy) / w (x) w (y)\), \(q\) being the conjugate of \(p\). They conjecture that this condition is also necessary. The second main result is that if \(G\) is an abelian locally compact group for which \(L^p (G, w)\), \(1 < p <\infty\), is a Banach algebra, then \(G\) is \(\sigma\)-compact. They ask whether this is true when \(G\) is not assumed to be abelian. To prove that, they write \(G\) as the product \({\mathbb R}^n \times K \times G/H\), where \(K\) is compact and \(H\) is open (so \(G/H\) is discrete), and they show (in a more general way) that, for the induced weight \(\dot w\) on \(G/H\), \(\ell_p (G/H, \dot w)\) is a Banach algebra, and prove that then \(1/{\dot w}^\ast \in \ell_q (G/H)\), where \({\dot w}^\ast (x) = {\dot w} (x) {\dot w (x^{-1})}\), implying that \(G/H\) is countable, so that \(G\) is \(\sigma\)-compact.