Isometric multipliers of a vector valued Beurling algebra on a discrete semigroup (Q2358441): Difference between revisions

Let \(S\) be an abelian semigroup and let \(\omega\) be a weight on \(S\), i.e., a function \(\omega:S\rightarrow (0, \infty)\) with \(\omega(xy)\leq \omega(x)\, \omega(y)\) for all \(x, y\in S\). For a commutative Banach algebra \(\mathcal{A}\), the vector-valued Beurling algebra \(\ell^1(S, \omega, \mathcal{A})\) is the algebra of all functions \(f:S\rightarrow \mathcal{A}\) such that \[ \|f\|_\omega:=\sum_{x\in S}\|f(x)\|\,\omega(x)<\infty \] with the norm \(\|\cdot\|_\omega\) and the convolution multiplication \[ f * g=\sum_{x\in S}\,\sum_{uv=x}\, f(u)\;g(v)\,\delta_x. \] A bounded linear operator \(T:\ell^1(S, \omega, \mathcal{A})\rightarrow \ell^1(S, \omega, \mathcal{A})\) is a multiplier if, for each \(f, g\in \ell^1(S, \omega, \mathcal{A})\), \[ T(f * g)=f * T(g). \] A map \(\sigma: S\rightarrow S\) is a multiplier if, for each \(x, y\in S\), \[ \sigma(xy)= x\, \sigma(y). \] Let \(M_\omega(S)\) denote the set of all \(\omega\)-bounded multipliers of \(S\); that is, the multipliers \(\sigma\) of \(S\) for which there exists \(k_\sigma>0\) such that \(\omega(\sigma(x))\leq k_\sigma \omega(x)\) for all \(x\in S\). The reviewer thinks that, in order to avoid confusion, it would be better to call elements of \(M_\omega(S)\) semigroup multipliers; this makes a distinction between the terminology with multipliers for algebras. In the paper under review, the authors characterize onto isometric multipliers of \(\ell^1(S, \omega, \mathcal{A})\) under some conditions on \((S, \omega)\) and \(\mathcal{A}\). In fact, they prove that for an abelian semigroup \(S\) with a weight \(\omega\) and for a strictly convex commutative unital Banach algebra \(\mathcal{A}\), when \(\ell^1(S, \omega, \mathcal{A})\) is without order, then a bounded linear operator \(T\) on \(\ell^1(S, \omega, \mathcal{A})\) is an onto isometric multiplier if and only if there exists an invertible semigroup multiplier \(\sigma\in M_\omega (S)\) and \(k > 0\) with \(\omega=k \omega\circ\sigma\), and a unitary point \(a\in \mathcal{A}\) such that \[ T(f)=ka\,\sum_{x\in S} f(x)\,\delta_{\sigma(x)} \] for all \(f\in \ell^1(S, \omega, \mathcal{A})\). The authors conclude the paper with two related results in the case where \(S\) is idempotent or faithful.