Doubly stochastic right multipliers (Q1078697)

Let G be an arbitrary compact Hausdorff group, B(G) the \(\sigma\)-algebra of Borel subsets of G, P(G) the regular Borel measures \(\mu\) on G with \(\mu (G)=1\) and m a normalized Haar measure. As it is well-known P(G) under the convolution operation and the weak* topology is a compact, convex, Hausdorff topological semigroup. Let also \(L_ p(G)\) (1\(\leq p\leq \infty)\) be the (complex) Banach space of bounded m-integrable complex-valued functions on G and \(B[L_ p(G)]\) the (complex) Banach space of bounded linear operators from \(L_ p(G)\) into itself. For \(s\in G\) let \(L_ s\) (resp. \(R_ s)\) be the left (resp. right) translation operator defined by \(L_ sf(x)=f(s^{-1}x)\) (resp. \(R_ sf(x)=f(s^{-1}x)).\) A positive operator \(T\in B[L_ 1(G)]\) (T(f)\(\geq 0\), whenever \(f\in L_ 1(G)\), \(f\geq 0)\) is called doubly stochastic (d.s.) if \(\| T\|_ 1\leq 1\) and \(T(1)=1\). A d.s. operator T is called right (resp. left) multiplier of \(L_ 1(G)\) if \(TR_ s=R_ sT\) (resp. \(TL_ s=L_ sT)\), for every \(s\in G\). Let \(M_ r\) (resp. \(M_ 1)\) be the set of d.s. right (resp. left) multipliers of \(L_ 1(G)\). A measure \(\lambda\) in P(G\(\times G)\) is called doubly stochastic (d.s.) if \(\lambda (A\times G)=\lambda (G\times A)=m(A),\) for every A in B(G). Let \(D_ r\) be the set of d.s. measures \(\lambda\) such that \(\lambda (AS\times BS)=\lambda (A\times B)\) for all A,B\(\in B(G)\) and \(s\in G.\) The author extends \textit{J. R. Brown}'s results [Z. Wahrscheinlichkeitstheorie Verw. Geb. 6, 279-286 (1966; Zbl 0171.392)] for an arbitrary compact group G. In particular, he proves that there exist bijections between \(M_ r\), \(D_ r\) and \(D_ r\), P(G), respectively. Using these bijections the author obtains a topological isomorphism of the compact convex semigroups P(G) and \(M_ r\), given by the function \(\mu \mapsto T_{\mu}\), defined by \(T_{\mu}f=\mu *f\). Also \(T\in M_ r\) is an isometry of \(L_ 1(G)\) if and only if T is a left translation operator. Further the set of extremal points of \(M_ r\) is the group of left translation operators and \(M_ r\) is the convex hull of left translation operators in the strong operator topology of \(B[L_ 2(G)]\).