Skip to main content
1 of 2
Bob
  • 306
  • 1
  • 6

Special elements in $L^{\infty}(G)^*$

Let $G$ be a locally compact group. Let $M(G)$ denote the measure algebra and $L^1(G)$ denote the group algebra on $G$. Then $M(G)$ acts on $L^1(G)$ by convolution. So by duality $M(G)$ acts on $L^1(G)^{*}$ via $$<f.\mu,\phi>=<f,\mu\star \phi>,$$

where $\mu\in M(G)$, $f\in L^{\infty}(G)$ and $\phi\in L^1(G)$.

Again via duality we get an action of $M(G)$ on $L^1(G)^{**}$ $$<\mu .n,f>=<n,f.\mu>,$$ where $\mu\in M(G)$, $f\in L^{\infty}(G)$ and $n\in L^1(G)^{**}$.

Let $C_0(G)$ denote the continuous functions on $G$ vanishing at infinity.

I'm working on a problem and I can boil it down to the following question:

Question. Suppose that $n\in L^1(G)^{**}$ such that the mapping $$\psi_{n,f}:G\to\mathbb{C},\ \ x\mapsto <\delta_x .n,f>$$ belongs to $C_0(G)$, for all $f\in L^{\infty}(G)$. Can I infer any information regarding the element $n\in L^1(G)^{**}$? For what $n\in L^1(G)^{**}$ this can be true?

Bob
  • 306
  • 1
  • 6