Spaces of multipliers and their preduals for the order multiplication on [0, 1] (Q4790146)

The aim of this paper is to characterize the spaces of multipliers from \(L^r[0,1]\) to \(L^p[0,1]\). The \(L^p\) spaces are regarded as modules over \(C[0,1]\) and the module operation is convolution or its dual, arising from the multiplication on \([0,1]\) given by \((s,t)\mapsto\max\{s, t\}\). Explicitly, for \(1\leq p\leq\infty\) the convolution is \[ *: C[0,1]\times L^p\to L^p: \phi* f(t):= \phi(t) \int^t_0 f(s)\,ds+ f(t) \int^t_0 \phi(s)\,ds \] and its dual is \[ \circ: L^p\times C[0,1]\to L^p: f\circ \phi(t):= \phi(t) \int^t_0 f(s)\,ds+ \int^1_t f(s)\phi(s)\,ds. \] \(L^p_*\) and \(L^p_\circ\) denote \(L^p\) as \(C[0,1]\) modules using \(*\) and \(\circ\), respectively. The multiplier spaces in question are \[ M^{r,p}_\circ:= \hom_{C(I)}(L^r_*, L^p_*),\quad M^{r,p}_*:= \hom_{C(I)}(L^r_*, L^p_\circ) \] and their preduals are denoted by \(A^{r,p}_\circ\) and \(A^{r,p}_*\). Characterizations -- in terms of the \(L^p\) norms of restrictions of measurable functions to the intervals \([2^{-n}, 2^{-n+1}]\) -- are obtained for \(A^{p,p}_\circ\), when \(1< p\leq\infty\), and \(A^{r,p}_*\), when \(1\leq r\leq p\leq\infty\). The latter space is shown to be a commutative semisimple algebra under \(*\), for \(1< r\leq p\leq\infty\), with maximal ideal space \((0,1]\). Characterizations are also obtained for the corresponding spaces of multipliers, \(M^{r,p}_*\) and \(M^{r,p}_\circ\), and the characterization of the latter is shown to be equivalent to that in [\textit{J. W. Baker}, \textit{J. S. Pym} and \textit{H. L. Vasudeva}, Mathematika 29, 42--54 (1982; Zbl 0477.46031)].