The coincidence of some topologies on the unit ball of the Fourier-Stieltjes algebra of weighted foundation semigroups (Q2475530)

A topological semigroup \(S\) is called a *-semigroup if there is a continuous mapping \(*:S\to S\) such that \((x^*)^*= x\) and \((xy)^*=y^*x^*\) for all \(x,y\in S\) and a foundation semigroup if \(\bigcup\{\text{ supp} (\mu):\mu\in M_a(S)\}\) is dense in \(S\) where \(M_a(S)\) denotes the set of all measures \(\mu\) from \(M(S)\), the set of all bounded regular complex measures on \(S\), for which the mappings \(x\mapsto \overline{x}^* | \mu | \) and \(x\mapsto | \mu | ^*\overline{x}\) (here \(\overline{x}\) is the point mass at \(x\) for \(x\in S\)) from \(S\) to \(M(S)\) are weakly continuous. It was shown by the author in [Math. Proc. Camb. Philos. Soc. 111, No. 2, 325--330 (1992; Zbl 0754.43003)] that if \(S\) is a foundation *-semigroup with an identity and with a Borel measurable weight function \(w\leqslant 1\), then the weak topology coincides with the compact open topology on the unit ball of \(\mathcal{P}(S,w)\), the cone of \(w\)-bounded continuous positive definite functions on \(S\). Using some \(C^*\)-algebra techniques, this result is extended in the present paper to the unit ball of the Fourier-Stieltjes algebra \(\mathcal{F}(S,w)\). It is shown that if \(S\) is a foundation *-semigroup with an identity and with a Borel measurable weight function \(w\) such that \(w\) and \(\frac{1}{w}\) are locally bounded, then on the unit ball of \(\mathcal{F}(S,w)\), the weak*-topology and the compact open topology are identical.