Weakly compact multipliers on Banach algebras related to a locally compact group (Q532071)

Let \(A\) be a Banach algebra; a bounded operator \(T : A \rightarrow A\) is known as a left (resp., right) multiplier if \(T(ab) = T(a)b\) (resp., \(T(ab) = a T(b)\)) for all \(a, b \in A\). An element \(a \in A\) is said to be a left (resp., right) weakly completely continuous element if the multiplier \(_aT : b \rightarrow ab\) (resp., \(T_a : b \rightarrow ba\)) is weakly compact. Denote by \(\mathcal{L}_{\text{wcc}} (A)\) (resp., \(\mathcal{R}_{\text{wcc}}(A)\)) the set of all left (resp., right) weakly completely continuous elements of \(A\). Let \(\mathcal{G}\) be a locally compact group with a fixed left Haar measure \(\lambda\) on \(\mathcal{G}\). Denote by \(L_0^{\infty}(\mathcal{G})\) the subspace of \(L^{\infty}(\mathcal{G})\) consisting of all functions \(f \in L^{\infty}(\mathcal{G})\) vanishing at infinity. In the paper under review, the authors study weakly compact left and right multipliers on the Banach algebra \(L_0^{\infty}(\mathcal{G})^{*}\) equipped with an Arens product. Let \(P(L_0^{\infty} (\mathcal{G}))\) be the set of all positive functionals on the \(C^{*}\)-algebra \(L^{\infty}_0(\mathcal{G})\). The authors prove the following theorem concerning weakly compact left multipliers on \(L_0^{\infty} (\mathcal{G})^{\ast}\). Let \(\mathcal{G}\) be a locally compact group. Then the following statements are equivalent: (a)\quad \(\mathcal{G}\) is compact; (b)\quad \(P(L_0^{\infty} (\mathcal{G})) \cap \mathcal{L}_{\text{wcc}}(L_0^{\infty}(\mathcal{G})^{*}) \neq \{0\}\); (c)\quad \(\mathcal{L}_{\text{wcc}}(L_0^{\infty} (\mathcal{G})^{*}) \neq \{0\}\). The authors also prove a similar theorem concerning weakly compact right multipliers on \(L_0^{\infty} (\mathcal{G})^{*}\). In the last section of the paper, relationships between weakly compact left and right multipliers are studied. For example, it is shown that, if \(\mathcal{G}\) is a locally compact group, then \(\mathcal{L}_{\text{wcc}}(L_0^{\infty} (\mathcal{G})^{*}) \subseteq \mathcal{R}_{\text{wcc}} (L_0^{\infty}(\mathcal{G})^{*})\). Conditions on \(\mathcal{G}\) are also given for which the previous inclusion becomes equality.