1: \documentclass[11pt]{article}
2: %
3: \input{format} \input{mathdefs} \input{thmdefs}
4: %
5: \newcommand{\QSL}{\mathit{QSL}}
6: \newcommand{\Rep}{\operatorname{Rep}}
7: \newcommand{\Cyc}{\operatorname{Cyc}}
8: \newcommand{\PF}{\operatorname{PF}}
9: \newcommand{\UPF}{\operatorname{UPF}}
10: %
11: \title{Representations of locally compact groups on $\QSL_p$-spaces
12: and a $p$-analog of the Fourier--Stieltjes algebra}
13: \author{\it Volker Runde\thanks{Research supported by NSERC under grant no.\ 227043-00.}}
14: \date{}
15: %
16: \begin{document}
17: \maketitle
18: %
19: \begin{abstract}
20: For a locally compact group $G$ and $p \in (1,\infty)$, we define $B_p(G)$ to be the space of all coefficient functions of isometric representations of $G$ on quotients of subspaces of
21: $L_p$ spaces. For $p =2$, this is the usual Fourier--Stieltjes algebra. We show that $B_p(G)$ is a commutative Banach algebra that contractively (isometrically, if $G$ is amenable) contains the
22: Fig\`a-Talamanca--Herz algebra $A_p(G)$. If $2 \leq q \leq p$ or $p \leq q \leq 2$, we have a contractive inclusion $B_q(G) \subset B_p(G)$. We also show that $B_p(G)$ embeds contractively into the multiplier
23: algebra of $A_p(G)$ and is a dual space. For amenable $G$, this multiplier algebra and $B_p(G)$ are isometrically isomorphic.
24: \end{abstract}
25: %
26: \begin{keywords}
27: locally compact groups; representations; coefficient functions; $\QSL_p$-spaces; Fig\`a-Talamanca--Herz algebras; multiplier algebra; amenability.
28: \end{keywords}
29: %
30: \begin{classification}
31: Primary 46J99; Secondary 22D12, 22D35, 43A07, 43A15, 43A65, 46J99.
32: \end{classification}
33: %
34: \section*{Introduction}
35: %
36: In \cite{Eym}, P.\ Eymard introduced the {\it Fourier algebra\/} $A(G)$ of a locally
37: compact group $G$. If $G$ is abelian with dual group $\Gamma$, the Fourier
38: transform yields an isometric isomorphism of $L_1(\Gamma)$ and $A(G)$: this
39: motivates (and justifies) the name.
40: \par
41: For any $p \in (1,\infty)$, the {\it Fig\`a-Talamanca--Herz algebra\/}
42: $A_p(G)$ is defined as the collection of those functions $f \!: G \to \comps$
43: such that there are sequences $( \xi_n)_{n=1}^\infty$ in $L_{p'}(G)$ --- $p'
44: \in(1,\infty)$ being such that $\frac{1}{p} + \frac{1}{p'} =1$ --- and
45: $( \phi_n)_{n=1}^\infty$ in $L_p(G)$ such that
46: \begin{equation} \label{Ap1}
47: f(x) = \sum_{n=1}^\infty \langle \lambda_{p'}(x) \xi_n, \phi_n \rangle
48: \qquad (x \in G),
49: \end{equation}
50: where $\lambda_{p'}$ denotes the regular left representation of $G$ on
51: $L_{p'}(G)$, and
52: \begin{equation} \label{Ap2}
53: \sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| < \infty.
54: \end{equation}
55: The norm of $f \in A_p(G)$ is the infimum over all expressions of the form
56: (\ref{Ap2}) satisfying (\ref{Ap1}). These Banach algebras were first considered by C.\
57: Herz (\cite{Her1} and \cite{Her2}); their study has been an active area of
58: research ever since (\cite{Cow}, \cite{For1}, \cite{For2}, \cite{LNR}, \cite{Mia}, and
59: many more). For $p =2$, the algebra $A_p(G)$ is nothing but the Fourier
60: algebra $A(G)$.
61: \par
62: Another algebra introduced by Eymard in \cite{Eym} is the {\it
63: Fourier--Stieltjes algebra\/} $B(G)$. For abelian $G$, it is isometrically
64: isomorphic to $M(\Gamma)$ via the Fourier--Stieltjes transform. It consists of
65: all coefficient functions of unitary representations of $G$ on some Hilbert
66: space and contains $A(G)$ as a closed ideal.
67: \par
68: Is there, for general $p \in (1,\infty)$, an analog of $B(G)$ in a $p$-setting
69: that relates to $A_p(G)$ as does $B(G)$ to $A(G)$?
70: \par
71: In the literature (see, e.g., \cite{Cow}, \cite{For2}, \cite{Mia},
72: \cite{Pie}), sometimes an algebra $B_p(G)$ is considered: it is defined as the
73: multiplier algebra of $A_p(G)$. If $p =2$ and if $G$ is amenable, we do have
74: $B(G) =B_p(G)$; for non-amenable $G$, however, $B(G) \subsetneq B_2(G)$
75: holds. Hence, the value of $B_p(G)$ as the appropriate replacement for $B(G)$
76: when dealing with $A_p(G)$ is {\it a priori\/} limited to the amenable case.
77: \par
78: In the present paper, we pursue a novel approach. We define $B_p(G)$ to
79: consist of the coefficient functions of all representations of $G$ on
80: quotients of subspaces of $L_{p'}$-spaces, so-called $\QSL_{p'}$-spaces. This
81: class of spaces is identical with the $p'$-spaces considered in \cite{Her2}
82: and turns out to be appropriate for our purpose (such representations were
83: considered only recently, in a completely different context, in \cite{JM}).
84: \par
85: We list some properties of our $B_p(G)$:
86: \begin{itemize}
87: \item Under pointwise multiplication, $B_p(G)$ is a commutative Banach algebra
88: with identity.
89: \item $A_p(G)$ is an ideal of $B_p(G)$, into which it contractively embeds
90: (isometrically if $G$ is amenable).
91: \item If $2 \leq q \leq p$ or $p \leq q \leq 2$, we have a contractive
92: inclusion of $B_q(G)$ in $B_p(G)$.
93: \item $B_p(G)$ is a dual Banach space.
94: \item $B_p(G)$ embeds contractively into the multiplier algebra of $A_p(G)$
95: and is isometrically isomorphic to it if $G$ is amenable.
96: \end{itemize}
97: \par
98: This list shows that our $B_p(G)$ relates to $A_p(G)$ in a fashion similar to
99: how $B(G)$ relates to $A(G)$ and therefore may be the right substitute for
100: $B(G)$ when working with Fig\`a-Talamanca--Herz algebras.
101: \par
102: The main challenge when defining $B_p(G)$ and trying to establish its
103: properties is that the powerful methods from $\cstar$- and von Neumann
104: algebras are no longer at one's disposal for $p \neq 2$, so that one has to look for
105: appropriate substitutes.
106: %
107: \section{Group representations and $\QSL_p$-spaces}
108: %
109: We begin with defining what we mean by a representation of a locally compact group on a Banach space:
110: %
111: \begin{definition} \label{repdef}
112: A {\it representation\/} of a locally compact group $G$ (on a Banach space) is a pair
113: $(\pi,E)$ where $E$ is a Banach space and $\pi$ is a group homomorphism from $G$ into the invertible isometries on $E$ which is continuous with respect to
114: the given topology on $G$ and the strong operator topology on ${\cal B}(E)$.
115: \end{definition}
116: %
117: \begin{remarks}
118: \item Our definition is more restrictive than the usual definition of a representation, which does not require the range of $\pi$ to consist of isometries. Since we will not encounter any other representations, however,
119: we feel justified to use the general term ``representation'' in the sense defined in Definition \ref{repdef}.
120: \item Any representation $(\pi,E)$ of a locally compact group $G$ induces a representation of the group algebra $L^1(G)$ on $E$, i.e.\ a contractive algebra homomorphism $L_1(G)$ to ${\cal B}(E)$ --- which we shall denote
121: likewise by $\pi$ --- through
122: \begin{equation} \label{integral}
123: \pi(f) :=\int_G f(x) \pi(x) \, dx \qquad (f \in L^1(G)),
124: \end{equation}
125: where the integral (\ref{integral}) converges with respect to the strong operator topology.
126: \item Instead of requiring $\pi$ to be continuous with respect to the strong operator topology on ${\cal B}(E)$, we could have demanded that $\pi$ be continuous with respect to the weak operator topology on
127: ${\cal B}(E)$: both definitions are equivalent by \cite{GL}.
128: \end{remarks}
129: %
130: \begin{definition} \label{repdefs}
131: Let $G$ be a locally compact group, and let $(\pi, E)$ and $(\rho, F)$ be representations of $G$. Then:
132: \begin{alphitems}
133: \item $(\pi,E)$ and $(\rho,F)$ are said to be {\it equivalent\/} if there is an invertible isometry $V \!: E \to F$ such that
134: \[
135: V \pi(x) V^{-1} = \rho(x) \qquad (x \in G).
136: \]
137: \item $(\rho,F)$ is called a subrepresentation of $(\pi,E)$ if $F$ is a closed subspace of $E$ such that
138: \[
139: \rho(x) = \pi(x) |_F \qquad (x \in G).
140: \]
141: \item $(\rho,F)$ is said to be {\it contained\/} in $(\pi,E)$ --- in symbols: $(\rho,F) \subset (\pi,E)$ --- if $(\rho,F)$ is equivalent to a subrepresentation of $(\pi,E)$.
142: \end{alphitems}
143: \end{definition}
144: \par
145: Throughout, we shall often not tell a particular representation apart from its equivalence class. This should, however, not be a source of confusions.
146: \par
147: In this paper, we are interested in representations of locally compact groups on rather particular Banach spaces:
148: %
149: \begin{definition} \label{sql}
150: Let $p \in (1,\infty)$.
151: \begin{alphitems}
152: \item A Banach space is called an $L_p$-space if it is of the form $L_p(X)$ for some measure space $X$.
153: \item A Banach space is called a $\QSL_p$-space if it is isometrically isomorphic to a quotient of a subspace of an $L_p$-space.
154: \end{alphitems}
155: \end{definition}
156: %
157: \begin{remarks}
158: \item Equivalently, a Banach space is a $\QSL_p$-space if and only if it is a subspace of a quotient of an $L_p$-space.
159: \item Trivially, the class of $\QSL_p$-spaces is closed under taking subspaces and quotients.
160: \item If $(E_\alpha )_\alpha$ is a family of $\QSL_p$-spaces, its $\ell_p$-direct sum $\text{$\ell_p$-}\bigoplus_\alpha E_\alpha$ is again a $\QSL_p$-space.
161: \item If $E$ is a $\QSL_p$-space and if $p' \in (1,\infty)$ is such that $\frac{1}{p} + \frac{1}{p'} =1$, the dual space $E^\ast$ is an $\QSL_{p'}$-space. In particular, every $\QSL_p$-space is reflexive.
162: \item By \cite[\S 4, Theorem 2]{Kwa}, the $QSL_p$-spaces are precisely the $p$-spaces in the sense of \cite{Her1}, i.e.\ those Banach spaces $E$ such that for any two measure spaces $X$ and $Y$ the amplification
163: map
164: \[
165: {\cal B}(L_p(X),L_p(Y)) \to {\cal B}(L_p(X,E),L_p(Y,E)), \quad T \mapsto T \tensor \id_E
166: \]
167: is an isometry. In particular, an $L_q$-space is a $\QSL_p$-space if and only if
168: $2 \leq q \leq p$ or $p \leq q \leq 2$. Consequently, if $2 \leq q \leq p$ or $p \leq q \leq 2$, then every $\QSL_q$-space is a $\QSL_p$-space.
169: \item All ${\cal L}_p$-spaces in the sense of \cite{LR} --- and, more generally, all $\mathfrak{L}^g_p$-spaces in the sense of \cite{DF} --- are $\QSL_p$-spaces.
170: \item Since the class of $L_p$-space is stable under forming ultrapowers (\cite{Hei}), so is the class of $\QSL_p$-spaces (this immediately yields that $\QSL_p$-spaces are not only reflexive, but actually superreflexive).
171: In the case where $X = Y= \comps$, the $\QSL_p$-spaces are therefore precisely those that occur in \cite[Theorem 4.1]{LeM} and play the r\^ole played by Hilbert spaces in Ruan's representation theorem for operator spaces (\cite[Theorem 2.3.5]{ER}).
172: \end{remarks}
173: %
174: \section{The linear space $B_p(G)$}
175: %
176: We shall not so much be concerned with representations themselves, but rather with certain functions associated with them:
177: %
178: \begin{definition}
179: Let $G$ be a locally compact group, and let $(\pi,E)$ be a representation of $G$. A {\it coefficient function\/} of $(\pi,E)$ is a function $f \!: G \to \comps$ of the form
180: \begin{equation} \label{coeff}
181: f(x) = \langle \pi(x) \xi, \phi \rangle \qquad (x \in G),
182: \end{equation}
183: where $\xi \in E$ and $\phi \in E^\ast$.
184: \end{definition}
185: %
186: \begin{remark}
187: It is clear that every coefficient function of the form (\ref{coeff}) must be both bounded --- by $\| \xi \| \| \phi \|$ --- and continuous.
188: \end{remark}
189: \par
190: For any locally compact group $G$ and $p \in (1,\infty)$, we denote by $\Rep_p(G)$ the collection of all (equivalence classes) of representations of $G$ on a $\QSL_p$-space.
191: %
192: \begin{examples}
193: \item The {\it left regular representation\/} $(\lambda_p,L_p(G))$ of $G$ with
194: \[
195: \lambda_p(x)\xi(y) := \xi(x^{-1}y) \qquad (x,y \in G, \, \xi \in L_p(G))
196: \]
197: belongs to $\Rep_p(G)$.
198: \item For any $QSL_p$-space $E$, the {\it trivial representation\/} $(\id_E,E)$ lies in $\Rep_p(G)$.
199: \item For $2 \leq q \leq p$ or $p \leq q \leq 2$, we have $\Rep_q(G) \subset \Rep_p(G)$, so that, in particular, every unitary representation of $G$ on a Hilbert space belongs to $\Rep_p(G)$.
200: \end{examples}
201: \par
202: We can now define the main object of study in this article:
203: %
204: \begin{definition} \label{Bpdef}
205: Let $G$ be a locally compact, let $p \in (1,\infty)$, and let $p' \in (1,\infty)$ be such that $\frac{1}{p} + \frac{1}{p'} =1$. Let
206: \[
207: B_p(G) := \left\{ f \!: G \to \comps : \text{$f$ is a coefficient of some $(\pi,E) \in \Rep_{p'}(G)$} \right\}.
208: \]
209: \end{definition}
210: %
211: \begin{remarks}
212: \item In the literature (see, for instance, \cite{Pie}), the symbol $B_p(G)$ is usually used to denote the {\it multiplier algebra\/} of $A_p(G)$, i.e.\ the set of those continuous functions $f$ on $G$ such that
213: $f A_p(G) \subset A_p(G)$.
214: \item Since subspaces and quotients of Hilbert spaces are again Hilbert spaces, $B_2(G)$ is just the usual Fourier--Stieltjes algebra $B(G)$ introduced in \cite{Eym}. For amenable $G$, this is consistent
215: with the usage in \cite{Pie}. In the non-amenable case, however, $B_2(G) = B(G)$ as defined in Definition \ref{Bpdef} and $B_2(G)$ in the sense of \cite{Pie} denote different objects.
216: \end{remarks}
217: \par
218: We conclude this section with proving a few, very basic properties of $B_p(G)$:
219: %
220: \begin{lemma} \label{Bplem}
221: Let $G$ be a locally compact group, let $p \in (1,\infty)$, let $p' \in (1,\infty)$ be such that $\frac{1}{p} + \frac{1}{p'} =1$, and let $f \!:G \to \comps$ be a function such that the following holds: There are sequences
222: $((\pi_n,E_n) )_{n=1}^\infty$, $( \xi_n )_{n=1}^\infty$, and $( \phi_n )_{n=1}^\infty$ with $(\pi_n,E_n) \in \Rep_{p'}(G)$, $\xi_n \in E_n$, and $\phi_n \in E_n^\ast$ for $n \in \posints$ such that
223: \[
224: \sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| < \infty
225: \]
226: and
227: \[
228: f(x) = \sum_{n=1}^\infty \langle \pi_n(x) \xi_n, \phi_n \rangle \qquad (x \in G).
229: \]
230: Then $f$ lies in $B_p(G)$.
231: \end{lemma}
232: %
233: \begin{proof}
234: Without loss of generality, we may suppose that
235: \[
236: \sum_{n=1}^\infty \| \xi_n \|^{p'} < \infty \qquad\text{and}\qquad \sum_{n=1}^\infty \| \phi_n \|^p < \infty.
237: \]
238: \par
239: Define $(\pi,E) \in \Rep_{p'}(G)$ by letting $E := \text{$\ell_{p'}$-}\bigoplus_{n=1}^\infty E_n$ and, for $\eta = (\eta_1, \eta_2, \ldots) \in E$,
240: \[
241: \pi(x)\eta := (\pi_1(x)\eta_1, \pi_2(x),\eta_2, \ldots) \qquad (x \in G).
242: \]
243: It follows that $\xi := (\xi_1, \xi_2, \ldots) \in E$, that $\phi := (\phi_1, \phi_2, \ldots) \in E^\ast$, and that $f$ is a coefficient function of $(\pi,E)$ --- therefore belonging to $B_p(G)$.
244: \end{proof}
245: \par
246: For any topological space $\Omega$, we use ${\cal C}_\mathrm{b}(\Omega)$ to denote the bounded continuous functions on it.
247: %
248: \begin{proposition} \label{Bplin}
249: Let $G$ be a locally compact group, and let $p \in (1,\infty)$. Then $B_p(G)$ is a linear subspace of ${\cal C}_\mathrm{b}(G)$ containing $A_p(G)$. Moreover, if $2 \leq q \leq p$ or $p \leq q \leq 2$, we have $B_q(G) \subset B_p(G)$.
250: \end{proposition}
251: %
252: \begin{proof}
253: We have already seen that $B_p(G) \subset {\cal C}_\mathrm{b}(G)$.
254: \par
255: Let $p' \in (1,\infty)$ be such that $\frac{1}{p} + \frac{1}{p'} =1$, and let $f_1, f_2 \in B_p(G)$. By the definition of $B_p(G)$, there are $(\pi_1, E_1), (\pi_2,E_2) \in \Rep_{p'}(G)$ such that $f_j$ is a coefficient function of
256: $(\pi_j, E_j)$ for $j=1,2$. It is clear that the pointwise sum $f_1 + f_2$ is then of the form considered in Lemma \ref{Bplem} (take $\xi_3 = \xi_4 = \cdots = 0$) and thus contained in $B_p(G)$.
257: \par
258: To see that $A_p(G) \subset B_p(G)$, apply Lemma \ref{Bplem} again with $(\pi_n,E_n) = (\lambda_{p'}, L_{p'}(G))$ for $n \in \posints$.
259: \par
260: Let $2 \leq q \leq p$ or $p \leq q \leq 2$, and let $q' \in (1,\infty)$ be such that $\frac{1}{q} + \frac{1}{q'} = 1$. Since every $\QSL_{q'}$ space is a is a $\QSL_{p'}$-space, the inclusion $B_q(G) \subset B_p(G)$ holds.
261: \end{proof}
262: %
263: \section{Tensor products of $\QSL_p$-spaces}
264: %
265: Let $G$ be a locally compact group. In $B(G) = B_2(G)$, the pointwise product of functions corresponds to the tensor product of representations, which, in turn, relies on the existence of the Hilbert space tensor product.
266: In order to turn $B_p(G)$ into an algebra, we will therefore equip, in this section, the algebraic tensor product of two $\QSL_{p'}$-spaces, where $\frac{1}{p} + \frac{1}{p'} =1$, with a suitable norm.
267: \par
268: The main result is the following:
269: %
270: \begin{theorem} \label{tensorthm}
271: Let $E$ and $F$ be $\QSL_p$-spaces. Then there is a norm $\| \cdot \|_p$ on the algebraic tensor product $E \tensor F$ such that:
272: \begin{items}
273: \item $\| \cdot \|_p$ dominates the injective norm;
274: \item $\| \cdot \|_p$ is a cross norm;
275: \item the completion $E \ttensor_p F$ of $E \tensor F$ with respect to $\| \cdot \|_p$ is a $\QSL_p$-space.
276: \end{items}
277: Moreover, if $G$ is a locally compact group with $(\pi,E),(\rho,F) \in \Rep_p(G)$, then $(\pi \tensor \rho, E \ttensor_p F) \in \Rep_p(G)$ is well defined through
278: \[
279: (\pi(x) \tensor \rho(x))(\xi \tensor \eta) := \pi(x) \xi \tensor \rho(x)\eta \qquad (x \in G, \, \xi \in E, \, \eta \in F).
280: \]
281: \end{theorem}
282: %
283: \begin{proof}
284: Let $X$ be a measure space, let $E_1$ and $F_1$ be closed subspaces of $L_p(X)$, and let $E_2$ and $F_2$ be closed subspaces of $E_1$ and $F_1$, respectively, such that $E = E_1/E_2$ and $F = F_1 / F_2$.
285: \par
286: We may embed the algebraic tensor product $L_p(X) \tensor L_p(X)$ into the vector valued $L_p$-space $L_p(X,L_p(X))$ and thus equip it with a norm, which we denote by $\|| \cdot \||_p$ which dominates the injective norm
287: on $L_p(X) \tensor L_p(X)$ (\cite[7.1, Proposition]{DF}). Of course, we may restrict $\|| \cdot \||_p$ to $E_1 \tensor E_2$. We denote the (uncompleted) injective tensor product by $\tensor_\epsilon$. Since $\tensor_\epsilon$
288: respects passage to subspaces, we see that the identity on $E_1 \tensor F_1$ induces a contraction from $(E_1 \tensor E_2, \|| \cdot \||_p)$ to $E_1 \tensor_\epsilon F_1$. Let $\pi_E \!: E_1 \to E$ and $\pi_F \!: F_1 \to F$ denote
289: the canonical quotient maps. The mapping property of the injective tensor product then yields that
290: \[
291: \pi_E \tensor \pi_F \!: (E_1 \tensor F_1, \|| \cdot \||_p) \to E_1 \tensor_\epsilon F_1 \to E \tensor_\epsilon F
292: \]
293: is a surjective contraction, so that, in particular, $\ker(\pi_E \tensor \pi_F)$ is closed in $(E_1 \tensor F_1, \|| \cdot \||_p)$. Let $\| \cdot \|_p$ denote the induced quotient norm on $E \tensor F = (E_1 \tensor F_1) /
294: \ker(\pi_E \tensor \pi_F)$. It is immediate that $\| \cdot \|_p$ dominates the injective tensor norm on $E \tensor F$, so that (i) holds. Moreover, since $\|| \cdot \||_p$ is a cross norm on $E_1 \tensor E_2$, it is clear that
295: $\| \cdot \|_p$ is at least subcross on $E \tensor F$. Since $\| \cdot \|_p$, however, dominates the injective norm --- which is a cross norm --- on $E \tensor F$, we conclude that $\| \cdot \|_p$ is indeed a cross norm on
296: $E \tensor F$. This proves (ii).
297: \par
298: For notational convenience, we write $L_p(X) \tensor_p L_p(X) := (L_p(X) \tensor L_p(X), \|| \cdot \||_p)$, and let $E \tensor_p F := (E \tensor F, \| \cdot \|_p)$. Let $Y$ and $Z$ be any measure spaces. In view of
299: \cite[7.2 and 7.3]{DF}, it is clear that the amplification map
300: \[
301: {\cal B}(L_p(Y),L_p(Z)) \to {\cal B}(L_p(Y,L_p(X) \tensor_p L_p(X)),L_p(Z,L_p(X) \tensor_p L_p(X))), \quad T \to T \tensor \id
302: \]
303: is an isometry, and from \cite[7.4, Proposition]{DF}, we conclude that the same is true for
304: \begin{equation} \label{pspace}
305: {\cal B}(L_p(Y),L_p(Z)) \to {\cal B}(L_p(Y,E \tensor_p F),L_p(Z,E \tensor_p F)), \quad T \to T \tensor \id.
306: \end{equation}
307: However, if we replace $E \tensor_p F$ in (\ref{pspace}) by its completion $E \ttensor_p F$, (\ref{pspace}) obviously remains an isometry. Hence, $E \ttensor_p F$ is a $p$-space in the sense of \cite{Her1} and thus a
308: $\QSL_p$-space by \cite[\S4, Theorem 2]{Kwa}.
309: \par
310: For the moreover part of the theorem, it is sufficient to show that, for $S \in {\cal B}(E)$ and $T \in {\cal B}(F)$, their tensor product $S \tensor T$ is continuous on $E \tensor_p F$ and has operator norm at most $\| S \| \| T \|$.
311: We first treat the case where $S = \id_E$. Let $E_1 \tensor_p F$ stand for $E_1 \tensor F$ equipped with the norm obtained by factoring $E_1 \tensor F_2$ out of $(E_1 \tensor F_1, \|| \cdot \||_p)$. From \cite[7.3]{DF}, it follows
312: that $\id_{E_1} \tensor T \in {\cal B}(E_1 \tensor F)$ and has operator norm such that
313: \[
314: \| \id_{E_1} \tensor T \|_{{\cal B}(E_1 \tensor_p F)} = \| T \|_{{\cal B}(F)}.
315: \]
316: It is easy to see that $E \tensor F$ is, in fact, the quotient space of $E_1 \tensor_p F$ module $E_2 \tensor F$, it follows that
317: \[
318: \| \id_E \tensor T \|_{{\cal B}(E \tensor_p F)} \leq \| \id_{E_1} \tensor_p T \|_{{\cal B}(E_1 \tensor F)} = \| T \|_{{\cal B}(F)}.
319: \]
320: By symmetry, we obtain that
321: \[
322: \| S \tensor \id_F \|_{{\cal B}(E \tensor_p F)} \leq \| S \|_{{\cal B}(E)}
323: \]
324: as well. Consequently,
325: \[
326: \| S \tensor T \|_{{\cal B}(E \tensor_p F)} \leq \| S \tensor \id_F \|_{{\cal B}(E \tensor_p F)} \| \id_E \tensor T \|_{{\cal B}(E \tensor_p F)} \leq \| S \|_{{\cal B}(E)} \| T \|_{{\cal B}(F)}
327: \]
328: holds.
329: \end{proof}
330: %
331: \begin{remarks}
332: \item For a measure space $X$ and for a $\QSL_p$-space $E$, the tensor product $L_p(X) \ttensor_p E$ constructed in the proof of Theorem \ref{tensorthm} is nothing but the vector valued $L_p$-space $L_p(X,E)$.
333: \item We suspect, but have been unable to prove, that $\| \cdot \|_p$ is the Chevet--Saphar tensor norm $d_p$ on $E \tensor F$ (see \cite[12.7]{DF}). This is indeed the case when both $E$ and $F$ are
334: $\mathfrak{L}_p^g$-spaces (see \cite{JM}).
335: \end{remarks}
336: \par
337: We conclude this section with two simple corollaries of Theorem \ref{tensorthm}:
338: %
339: \begin{corollary} \label{tensorcor1}
340: Let $G$ be a locally compact group, let $p \in (1,\infty)$, and let $f, g \!: G \to \comps$ be coefficient function of $(\pi,E)$ and $(\rho,F)$ in $\Rep_p(G)$, respectively, namely
341: \[
342: f(x) = \langle \pi(x)\xi, \phi \rangle \quad\text{and}\quad g(x) = \langle \rho(x)\eta, \psi \rangle \qquad (x \in G)
343: \]
344: where $\xi \in E$, $\phi \in E^\ast$, $\eta \in F$, and $\psi \in F^\ast$. Then $\phi \tensor \psi \!: E \tensor F \to \comps$ is continuous with respect to $\| \cdot \|_p$ with norm at most $\| \phi \| \| \psi \|$, so that the
345: pointwise product of $f$ and $g$ is a coefficient function of $(\pi \tensor \rho, E \ttensor_p F)$, namely
346: \[
347: f(x) g(x) = \langle (\pi(x) \tensor \rho(x))(\xi \tensor \eta), \phi \tensor \psi \rangle \qquad (x \in G).
348: \]
349: \end{corollary}
350: %
351: \begin{proof}
352: In view of the definition of $(\pi \tensor \rho, E \ttensor_p F)$, only the claim about $\phi \tensor \psi$ needs some consideration: it is, however, an immediate consequence of Theorem \ref{tensorthm}(i) and (ii).
353: \end{proof}
354: %
355: \begin{corollary} \label{tensorcor2}
356: Let $G$ be a locally compact group, and let $p \in (1,\infty)$. Then $B_p(G)$ is a unital subalgebra of ${\cal C}_\mathrm{b}(G)$.
357: \end{corollary}
358: %
359: \begin{proof}
360: By Proposition \ref{Bplin}, $B_p(G)$ is a linear subspace of ${\cal C}_\mathrm{b}(G)$, and by Corollary \ref{tensorcor1}, it is a subalgebra. The constant function $1$ is a coefficient function of any trivial representation of
361: $G$ on an $\QSL_p$-space.
362: \end{proof}
363: %
364: \section{The Banach algebra $B_p(G)$}
365: %
366: Our next goal is to equip the algebra $B_p(G)$ with a norm turning it into a Banach algebra.
367: %
368: \begin{definition} \label{cycdef}
369: Let $G$ be a locally compact group, and let $(\pi,E)$ be a representation of $G$. Then $(\pi,E)$ is called {\it cyclic\/} if there is $x \in E$ such that $\pi(L_1(G))x$ is dense in $E$. For $p \in (1,\infty)$, we let
370: \[
371: \Cyc_p(G) := \{ (\pi,E) : \text{$(\pi,E)$ is cyclic} \}.
372: \]
373: \end{definition}
374: %
375: \begin{remark}
376: Let $f \in B_p(G)$ be a coefficient function of $(\pi,E) \in \Rep_p(G)$, i.e.\
377: \[
378: f(x) = \langle f(x)\xi, \phi \rangle \qquad (x \in G)
379: \]
380: with $\xi \in E$ and $\phi \in E^\ast$. Let $F := \varcl{\pi(L_1(G))\xi}$, and define $\rho \!: G \to {\cal B}(F)$ by restriction of $\pi(x)$ to $F$ for each $x \in G$. Then $(\rho,F)$ is cyclic with $f$ as a coefficient function.
381: \end{remark}
382: %
383: \begin{definition} \label{normdef}
384: Let $G$ be a locally compact group, let $p, p' \in (1,\infty)$ be dual to each other --- meaning: $\frac{1}{p} + \frac{1}{p'} = 1$ ---, and let $f \in B_p(G)$. We define $\| f \|_{B_p(G)}$ as the infimum over all expressions
385: $\sum_{n=1}^\infty \| \xi_n \| \| \phi_n \|$, where, for each $n \in \posints$, there is $(\pi_n,E_n) \in \Cyc_{p'}(E)$ with $\xi_n \in E_n$ and $\phi_n \in E_n^\ast$ such that
386: \[
387: \sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| < \infty \qquad\text{and}\qquad
388: f(x) = \sum_{n=1}^\infty \langle \pi_n(x) \xi_n, \phi_n \rangle \quad (x \in G).
389: \]
390: \end{definition}
391: %
392: \begin{remarks}
393: \item In view of the remark after Definition \ref{cycdef}, it is clear that $\| \cdot \|_{B_p(G)}$ is well defined, and it is easily checked that $\| \cdot \|_{B_p(G)}$ is indeed a norm on $B_p(G)$.
394: \item One might think that it would be more appropriate to define $\| \cdot \|_{B_p(G)}$ in such a way that the infimum is taken over general $(\pi_n,E_n) \in \Rep_{p'}(G)$ instead of only in $\Cyc_{p'}(G)$. The problem here, however,
395: is that $\QSL_p$-spaces can be of arbitrarily large cardinality, so that $\Rep_{p'}(G)$ is not a set, but only a class. Since, for $(\pi,E) \in \Cyc_{p'}(G)$, the space $E$ has a cardinality not larger than $|L_1(G)|^{\aleph_0}$, it
396: follows that $\Cyc_{p'}(G)$ --- unlike all of $\Rep_{p'}(G)$ --- is indeed a set, so that it makes sense to take an infimum over it.
397: \end{remarks}
398: \par
399: In view of the last one of the two preceding remarks, the following lemma is comforting:
400: %
401: \begin{lemma} \label{cyclem1}
402: Let $G$ be a locally compact group, let $p,p' \in (1,\infty)$ be dual to each other, and let $(( \pi_n,E_n) )_{n=1}^\infty$ be a sequence in $\Rep_{p'}(G)$ such that, with $\xi_n \in E_n$ and $\phi_n \in E_n^\ast$ for $n \in \posints$, we have
403: $\sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| < \infty$. Then, for each $n \in \posints$, there are $(\rho_n,F_n) \in \Cyc_{p'}(G)$ with $(\rho_n,F_n) \subset (\pi_n,E_n)$, $\eta_n \in F_n$, and $\psi_n \in E^\ast$, such that
404: \[
405: \sum_{n=1}^\infty \| \eta_n \| \| \psi_n \| \leq \sum_{n=1}^\infty \| \xi_n \| \| \phi \|
406: \]
407: and
408: \[
409: \sum_{n=1}^\infty \langle \rho_n(x) \eta_n, \psi_n \rangle = \sum_{n=1}^\infty \langle \rho_n(x) \xi_n, \phi_n \rangle \quad (x \in G)
410: \]
411: \end{lemma}
412: %
413: \begin{proof}
414: We proceed as in the remark immediately following Definition \ref{cycdef}: For $n \in \posints$, let $F_n := \varcl{\pi_n(L_1(G))\xi_n}$, define $\rho_n$ through restriction, let $\eta_n := \xi_n$, and let $\psi_n$ be the restriction of
415: $\phi_n$ to $F_n$.
416: \end{proof}
417: %
418: \begin{lemma} \label{cyclem2}
419: Let $G$ be a locally compact group, let $p,p' \in (1,\infty)$ be dual to each other, and let $f \in A_p(G)$. Then $\| f \|_{A_p(G)}$ is the infimum over all expressions
420: $\sum_{n=1}^\infty \| \xi_n \| \| \phi_n \|$, where, for each $n \in \posints$, there is $(\pi_n,E_n) \in \Cyc_{p'}(E)$ contained in $(\lambda_{p'}, L_{p'}(G))$ with $\xi_n \in E_n$ and $\phi_n \in E_n^\ast$ such that
421: \[
422: \sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| < \infty \qquad\text{and}\qquad
423: f(x) = \sum_{n=1}^\infty \langle \pi_n(x) \xi_n, \phi_n \rangle \quad (x \in G).
424: \]
425: \end{lemma}
426: %
427: \begin{proof}
428: From Lemma \ref{cyclem1}, it follows that the infimum in the statement of Lemma \ref{cyclem2} is less or equal to $\| f \|_{A_p(G)}$. Let this infimum be denoted by $C_f$. Let $\epsilon > 0$, and choose a sequence $((\pi_n,E_n))_{n=1}^\infty$ of
429: cyclic subrepresentations of $(\lambda_{p'}, L_{p'}(G))$ and, for each $n \in \posints$, $\xi_n \in E_n$ and $\phi_n \in E_n^\ast$ such that
430: \[
431: \sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| < C_f + \epsilon \qquad\text{and}\qquad
432: f(x) = \sum_{n=1}^\infty \langle \pi_n(x) \xi_n, \phi_n \rangle \quad (x \in G).
433: \]
434: For each $n \in \posints$, use the Hahn--Banach theorem to extend $\phi_n \in E_n^\ast$ to $\psi_n \in L_{p'}(G)^\ast = L_p(G)$ with $\| \psi_n \| = \| \phi_n \|$. It follows that
435: \[
436: \| f \|_{A_p(G)} \leq \sum_{n=1}^\infty \| \xi_n \| \| \psi_n \| = \sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| < C_f + \epsilon.
437: \]
438: Since $\epsilon > 0$ was arbitrary, we conclude that $\| f \|_{A_p(G)} \leq C_f$.
439: \end{proof}
440: %
441: \begin{definition} \label{unidef}
442: Let $G$ be a locally compact group, and let $p \in (1,\infty)$. Then
443: $(\pi,E) \in \Rep_p(G)$ is called {\it $p$-universal\/} if $(\rho,F)
444: \subset (\pi,E)$ for all $(\rho,F) \in \Cyc_p(G)$.
445: \end{definition}
446: %
447: \begin{example}
448: Let $G$ be a locally compact group, and let $p \in (1,\infty)$. Since
449: $\Cyc_p(G)$ is a set, we can form the $\ell_p$-direct sum of all
450: $(\rho,F) \in \Cyc_p(G)$. This representation is then obviously
451: $p$-universal.
452: \end{example}
453: %
454: \begin{lemma} \label{cyclem3}
455: Let $G$ be a locally compact group, let $p, p' \in (1,\infty)$ be dual
456: to each other, and let $(\pi,E) \in \Rep_{p'}(G)$ be
457: $p'$-universal. Then, for each $f \in B_p(G)$, the norm $\| f \|_{B_p(G)}$ is the infimum over all expressions
458: $\sum_{n=1}^\infty \| \xi_n \| \| \phi_n \|$ with $\xi_n \in E$ and $\phi_n \in E^\ast$ for each $n \in \posints$ such that
459: \[
460: \sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| < \infty \qquad\text{and}\qquad
461: f(x) = \sum_{n=1}^\infty \langle \pi(x) \xi_n, \phi_n \rangle \quad (x \in G).
462: \]
463: \end{lemma}
464: %
465: \begin{proof}
466: Obvious in the light of Definition \ref{unidef}.
467: \end{proof}
468: \par
469: In the end, we obtain:
470: %
471: \begin{theorem} \label{bathm}
472: Let $G$ be a locally compact group, let $p \in (1,\infty)$, and let $B_p(G)$ be equipped with $\| \cdot \|_{B_p(G)}$. Then:
473: \begin{items}
474: \item $B_p(G)$ is a commutative Banach algebra.
475: \item The inclusion $A_p(G) \subset B_p(G)$ is a contraction.
476: \item For $2 \leq q \leq p$ or $p \leq q \leq 2$, the inclusion $B_q(G) \subset B_p(G)$ is a contraction.
477: \end{items}
478: \end{theorem}
479: %
480: \begin{proof}
481: Let $p' \in (1,\infty)$ be dual to $p$, and let $(\pi,E) \in \Rep_{p'}(G)$ be $p'$-universal. It follows that $B_p(G)$ is a quotient space of the complete projective tensor product $E \ttensor_\pi E^\ast$ and thus complete.
482: By Corollary \ref{tensorcor2}, $B_p(G)$ is an algebra, so that all that remains to prove (i) is to show that $\| \cdot \|_{B_p(G)}$ is submultiplicative.
483: \par
484: Let $f,g \in B_p(G)$, and let $\epsilon > 0$. Let $((\pi_n,E_n))_{n=1}^\infty$ and $((\rho_n,F_n))_{n=1}^\infty$ be sequences in $\Cyc_{p'}(G)$ and, for $n \in \posints$, let $\xi_n \in E_n$, $\phi_n \in E_n^\ast$, $\eta_n \in F_n$,
485: and $\psi_n \in F_n^\ast$ such that
486: \[
487: f(x) = \sum_{n=1}^\infty \langle \pi_n(x) \xi_n, \phi_n \rangle \quad\text{and}\quad
488: g(x) = \sum_{n=1}^\infty \langle \rho_n(x) \eta_n, \psi_n \rangle\qquad (x \in G)
489: \]
490: and
491: \[
492: \sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| \leq \| f \|_{B_p(G)} + \epsilon \qquad\text{and}\qquad \sum_{n=1}^\infty \| \eta_n \| \| \psi_n \| \leq \| g \|_{B_p(G)} + \epsilon.
493: \]
494: By the ``moreover'' part of Theorem \ref{tensorthm}, we see that $( \pi_n \tensor \rho_m, E_n \ttensor_p F_m) \in \Rep_{p'}(G)$ for $n,m \in \posints$, and Corollary \ref{tensorcor1} yields that
495: \[
496: f(x)g(x) = \sum_{n,m=1}^\infty \langle (\pi_n(x) \tensor \rho_m(x))(\xi_n \tensor \eta_m), \phi_n \tensor \psi_m \rangle\qquad (x \in G)
497: \]
498: and that
499: \begin{eqnarray*}
500: \sum_{n,m=1}^\infty \| \xi_n \tensor \eta_m \|_{E_n \ttensor_p F_n} \| \phi_n \tensor \psi_m \|_{(E_n \ttensor_p F_n)^\ast}
501: & \leq & \sum_{n,m=1}^\infty \| \xi_n \| \| \eta_m \| \| \phi_n \| \psi_m \| \\
502: & \leq & \left( \sum_{n=1}^\infty \| \xi_n \| \| \phi_n \| \right) \left( \sum_{m=1}^\infty \| \eta_m \| \| \psi_m \|\right) \\
503: & \leq & (\| f \|_{B_p(G)} + \epsilon)(\| g \|_{B_p(G)} + \epsilon).
504: \end{eqnarray*}
505: From Lemma \ref{cyclem1} and Definition \ref{normdef}, we conclude that
506: \[
507: \| f g \|_{B_p(G)} \leq (\| f \|_{B_p(G)} + \epsilon)(\| g \|_{B_p(G)} + \epsilon).
508: \]
509: Since $\epsilon > 0$ was arbitrary, this yields the submultiplicativity of $\| \cdot \|_{B_p(G)}$ and thus completes the proof of (i).
510: \par
511: From Lemma \ref{cyclem2} and Definition \ref{normdef}, (ii) is immediate.
512: \par
513: Let $2 \leq q \leq p$ or $p \leq q \leq 2$, and let $q' \in (1,\infty)$ be dual to $q$. Since $\Cyc_{q'}(G) \subset \Cyc_{p'}(G)$, this proves (iii).
514: \end{proof}
515: %
516: \section{$B_p(G)$ and $A_p(G)$}
517: %
518: For any locally compact group $G$, the Fourier algebra $A(G)$ embeds
519: isometrically into $B(G)$ and can be identified with the closed ideal of
520: $B(G)$ generated by the functions in $B(G)$ with compact support
521: (\cite{Eym}).
522: \par
523: For general $p \in (1,\infty)$, the only information we have so far about the
524: relation between $B_p(G)$ and $A_p(G)$ is Theorem \ref{bathm}(ii). In the
525: present section, we further explore the relation between those algebras.
526: \par
527: Our first result is known for $p=2$ as {\it Fell's absorption
528: principle\/}:
529: %
530: \begin{proposition} \label{Fell}
531: Let $G$ be a locally compact group, let $p \in (1,\infty)$, and let
532: $(\pi,E) \in \Rep_p(G)$. Then the representations $(\lambda_p \tensor
533: \pi, L_p(G,E))$ and $(\lambda_p \tensor \id_E , L_p(G,E))$ are equivalent.
534: \end{proposition}
535: %
536: \begin{proof}
537: The proof very much goes along the lines of the case $p=2$.
538: \par
539: Let ${\cal C}_{00}(G,E)$ denote the continuous $E$-valued functions on
540: $G$ with compact support (so that ${\cal C}_{00}(G,E)$ is a dense
541: subspace of $L_p(G,E)$). Define $W_\pi \!: {\cal C}_{00}(G,E) \to
542: {\cal C}_{00}(G,E)$ by letting
543: \[
544: (W_\pi \xi)(x) := \pi(x)\xi(x) \qquad (\xi \in {\cal C}_{00}(G,E), \, x
545: \in G).
546: \]
547: Since $\pi(G)$ consists of isometries, we have
548: \[
549: \| W_\pi \xi \|_{L_p(G,E)}^p = \int_G \| \pi(x)\xi(x) \|^p \, dx =
550: \int_G \| \xi(x) \|^p \, dx
551: \qquad (\xi \in {\cal C}_{00}(G,E)),
552: \]
553: so that $W_p$ is an isometry with respect to the norm of $L_p(G,E)$
554: and thus extends to all of $L_p(G,E)$ as an isometry. Clearly, $W_\pi$
555: is invertible with inverse given by
556: \[
557: (W_\pi^{-1} \xi)(x) := \pi(x^{-1})\xi(x) \qquad (\xi \in {\cal C}_{00}(G,E), \, x
558: \in G).
559: \]
560: \par
561: Let $\xi \in {\cal C}_{00}(G,E)$, and let $x \in G$. Then we have
562: \[
563: ((\lambda_p(x) \tensor \id_E) W_\pi^{-1} \xi)(y) =
564: \pi(y^{-1}x)\xi(x^{-1}y) \qquad (y \in G)
565: \]
566: and thus
567: \begin{eqnarray*}
568: (W_\pi(\lambda_p(x) \tensor \id_E) W^{-1}_\pi \xi)(y) & = &
569: \pi(y)\pi(y^{-1}x)\xi(x^{-1}y) \\
570: & = & \pi(x) \xi(x^{-1}y) \\
571: & = & ((\lambda_p(x) \tensor \pi(x))\xi)(y) \qquad (y \in G).
572: \end{eqnarray*}
573: Hence,
574: \[
575: W_\pi(\lambda_p(x) \tensor \id_E) W^{-1}_\pi = \lambda_p(x)
576: \tensor \pi(x) \qquad (x \in G)
577: \]
578: holds, so that $(\lambda_p \tensor
579: \pi, L_p(G,E))$ and $(\lambda_p \tensor \id_E , L_p(G,E))$ are equivalent as claimed.
580: \end{proof}
581: %
582: \begin{corollary} \label{Fellcor1}
583: Let $G$ be a locally compact group, let $p \in G$, let $f \in A_p(G)$,
584: and let $g \in B_p(G)$. Then $fg$ lies in $A_p(G)$ such that
585: \[
586: \| fg \|_{A_p(G)} \leq \| f \|_{A_p(G)} \| g \|_{B_p(G)}.
587: \]
588: \end{corollary}
589: %
590: \begin{proof}
591: Apply Proposition \ref{Fell} (with $p$ replaced by $p'$ dual to $p$)
592: to a $p'$-universal representation $(\pi,E) \in \Rep_{p'}(G)$. The
593: norm estimate is proven as is the submultiplicativity assertion of
594: Theorem \ref{bathm}.
595: \end{proof}
596: \par
597: Let $G$ be a locally compact group, and let $p \in (1,\infty)$. A {\it
598: multiplier\/} of $A_p(G)$ is a function $f \in {\cal
599: C}_\mathrm{b}(G)$ such that $fA_p(G) \subset A_p(G)$. We denote the
600: set of all multipliers of $A_p(G)$ by ${\cal M}(A_p(G))$. Clearly,
601: ${\cal M}(A_p(G))$ is a subalgebra of ${\cal C}_\mathrm{b}(G)$. From
602: the closed graph theorem, it is immediate that multiplication with $f
603: \in {\cal M}(A_p(G))$ is a bounded linear operator on $A_p(G)$, so
604: that ${\cal M}(A_p(G))$ embeds canonically into ${\cal B}(A_p(G))$
605: turning it into a Banach algebra.
606: \par
607: We have the following (compare \cite[Lemma 0]{Her1}):
608: %
609: \begin{corollary} \label{Fellcor2}
610: Let $G$ be a locally compact group, and let $p \in (1,\infty)$. Then
611: $B_p(G)$ is contained in ${\cal M}(A_p(G))$ such that
612: \begin{equation} \label{mult1}
613: \| f \|_{{\cal M}(A_p(G))} \leq \| f \|_{B_p(G)} \qquad (f \in B_p(G)).
614: \end{equation}
615: In particular,
616: \begin{equation} \label{mult2}
617: \| f \|_{{\cal M}(A_p(G))} \leq \| f \|_{B_p(G)}\leq \| f \|_{A_p(G)} \qquad (f \in A_p(G))
618: \end{equation}
619: holds with equality throughout if $G$ is amenable.
620: \end{corollary}
621: %
622: \begin{proof}
623: By Corollary \ref{Fellcor1}, $B_p(G) \subset {\cal M}(A_p(G))$ holds
624: as does (\ref{mult1}). The first inequality of (\ref{mult2}) follows
625: from (\ref{mult1}) and the second one from Theorem
626: \ref{bathm}(ii). Finally, if $G$ is amenable, $A_p(G)$ has an
627: approximate identity bounded by one (\cite[Theorem 4.10]{Pie}), so
628: that $\| f \|_{{\cal M}(A_p(G))} = \| f \|_{A_p(G)}$ holds for all $f
629: \in A_p(G)$.
630: \end{proof}
631: %
632: \begin{remark}
633: Let $G$ be a locally compact group such that, for any $p \in (1,\infty)$,
634: the embedding of $A_p(G)$ into $B_p(G)$ is an isometry. Since $A_p(G)$ is
635: regular (\cite{Her2}), this means that $A_p(G)$ can be identified
636: with the closed ideal of $B_p(G)$ generated by the functions in $B_p(G)$ with
637: compact support. In view of Theorem \ref{bathm}(iii), this would yield a
638: contractive inclusion $A_p(G) \subset A_q(G)$ whenever $2 \leq q \leq p$ or
639: $p \leq q \leq 2$. Such in inclusion result is indeed true for amenable $G$
640: by C.\ Herz (\cite{Her1}) --- and also for for certain non-amenable $G$
641: (see \cite{HR}) ---, but is false for non-compact, semisimple Lie groups with
642: finite center (\cite{Loh}) as was pointed out to me by Michael Cowling.
643: \end{remark}
644: %
645: \section{$B_p(G)$ as a dual space}
646: %
647: The Fourier--Stieltjes algebra $B(G)$ of a locally compact group $G$ can be
648: identified with the dual space of the full group $C^\ast$-algebra $C^\ast(G)$
649: (\cite{Eym}).
650: \par
651: In this section, we show that $B_p(G)$ is a dual space in a canonical fashion
652: for {\it arbitrary\/} $p \in (1,\infty)$. This, in turn, will enable us to
653: further clarify the relation between $B_p(G)$ and ${\cal M}(A_p(G))$.
654: \par
655: We begin with some more definitions:
656: %
657: \begin{definition} \label{pseudos}
658: Let $G$ be a locally compact group, let $p \in (1,\infty)$, and let
659: $(\pi, E) \in \Rep_p(G)$. Then:
660: \begin{alphitems}
661: \item $\| \cdot \|_\pi$ is the algebra seminorm on $L_1(G)$ defined
662: through
663: \[
664: \| f \|_\pi :=\| \pi(f) \|_{{\cal B}(E)} \qquad (f \in L_1(G)).
665: \]
666: \item The algebra $\PF_{p,\pi}(G)$ of {\it $p$-pseudofunctions
667: associated with $(\pi,E)$\/} is the closure of $\pi(L_1(G))$ in ${\cal
668: B}(E)$.
669: \item If $(\pi,E) = (\lambda_p, L_p(G))$, we simply speak of {\it
670: $p$-pseudofunctions\/} and write $\PF_p(G)$ instead of
671: $\PF_{p,\lambda_p}(G)$.
672: \item If $(\pi,E)$ is $p$-universal, we denote $\PF_{p,\pi}(G)$
673: by $\UPF_p(G)$ and call it the algebra of {\it universal $p$-pseudofunctions\/}.
674: \end{alphitems}
675: \end{definition}
676: %
677: \begin{remarks}
678: \item The notion of $p$-pseudofunctions is well established in the
679: literature; the other definitions seem to be new.
680: \item For $p=2$, the algebra $\PF_p(G)$ is the reduced group
681: $\cstar$-algebra and $\UPF_p(G)$ is the full group $\cstar$-algebra
682: of $G$.
683: \item If $(\rho,F) \in \Rep_p(G)$ is such that $(\pi,E)$ contains
684: every cyclic subrepresentation of $(\rho,F)$, then $\| \cdot \|_\rho
685: \leq \| \cdot \|_\pi$ holds. In particular, the definition of
686: $\UPF_p(G)$ is independent of a particular $p$-universal
687: representation.
688: \item With $\langle \cdot, \cdot \rangle$ denoting the
689: $L_1(G)$-$L_\infty(G)$ duality and with $(\pi,E)$ a $p$-universal
690: representation of $G$, we have
691: \[
692: \| f \|_\pi = \sup \{ | \langle f, g \rangle | : f \in B_{p'}(G), \,
693: \| g \|_{B_{p'}(G)} \leq 1 \} \qquad (f \in L_1(G)),
694: \]
695: where $p' \in (1,\infty)$ is dual to $p$: this follows from Lemma \ref{cyclem3}.
696: \end{remarks}
697: \par
698: We now turn to representations of Banach algebras.
699: %
700: \begin{definition}
701: A {\it representation\/} of a Banach algebra $\A$ is a pair $(\pi,E)$ where
702: $E$ is a Banach space and $\pi$ is a contractive algebra homomorphism from $\A$
703: to ${\cal B}(E)$. We call $(\pi,E)$ {\it isometric\/} if $\pi$ is an
704: isometry and {\it essential\/} if the linear span of $\{ \pi(a)\xi : a
705: \in \A, \, \xi \in E \}$ is dense in $E$.
706: \end{definition}
707: %
708: \begin{remarks}
709: \item As with Definition \ref{repdef}, our definition of a
710: representation of a Banach algebra is somewhat more restrictive than
711: the one usually used in a literature. Our reasons for this are the
712: same as given after Definition \ref{repdef}.
713: \item If $G$ is a locally compact group and $(\pi,E)$ is a
714: representation of $G$ in the sense of Definition \ref{repdef}, then
715: (\ref{integral}) induces an essential representation of
716: $L_1(G)$. Conversely, every essential representation of $L_1(G)$
717: arises in the fashion.
718: \item The notions introduced in Definition \ref{repdefs} for
719: representations of locally compact groups carry over to
720: representations of Banach algebras accordingly.
721: \end{remarks}
722: \par
723: We require three lemmas:
724: %
725: \begin{lemma} \label{subrep}
726: Let $\A$ be a Banach algebra with an approximate identity bounded by
727: one, and let $(\pi,E)$ be a representation of $\A$. Let $F$ be the
728: closed linear span of $\{ \pi(a) \xi : a \in \A, \, \xi \in E \}$, and
729: define
730: \[
731: \rho \!: \A \to {\cal B}(F), \quad a \mapsto \pi(a) |_F.
732: \]
733: Then $(\rho, F)$ is an essential subrepresentation of $(\pi,E)$ which
734: is isometric if $(\pi,E)$ is. Moreover, if $E$ is a reflexive Banach
735: space --- so that ${\cal B}(E)$ is a dual space --- and $\pi$ is
736: weak-weak$^\ast$ continuous, then so is $\rho$.
737: \end{lemma}
738: %
739: \begin{proof}
740: Straightforward.
741: \end{proof}
742: \par
743: For our next lemma, recall the notion of an
744: ultrapower of a Banach space $E$ with respect to a (free)
745: ultrafilter $\cal U$ (\cite{Hei}); we denote it by $E_{\cal U}$.
746: \par
747: The lemma is a straightforward consequence of \cite[Proposition 5]{Daw}:
748: %
749: \begin{lemma} \label{matt}
750: Let $E$ be a superreflexive Banach space, and let $p \in
751: (1,\infty)$. Then there is a free ultrafilter $\cal U$ such that the
752: canonical representation of ${\cal B}(E)$ on $\ell_p(\posints, E)_{\cal U}$ is weak-weak$^\ast$ continuous.
753: \end{lemma}
754: %
755: \begin{lemma} \label{duals}
756: Let $G$ be a locally compact group, let $p,p' \in (1,\infty)$ be dual
757: to each other, and let $(\pi,E) \in \Rep_{p'}(G)$. Then, for each
758: $\phi \in \PF_{p',\pi}(G)$, there is a unique $g \in B_p(G)$ with $\|
759: g \|_{B_p(G)} \leq \| \phi \|$ such that
760: \begin{equation} \label{duality}
761: \langle \pi(f), \phi \rangle = \int_G f(x) g(x) \, dx \qquad (f \in L_1(G)).
762: \end{equation}
763: Moreover, if $(\pi,E)$ is $p'$-universal, we have $\| g \|_{B_p(G)} =
764: \| \phi \|$.
765: \end{lemma}
766: %
767: \begin{proof}
768: By Lemma \ref{matt}, there is a free ultrafilter such that the
769: canonical representation of $\PF_{p',\pi}(G)$ on
770: $\ell_{p'}(\posints,E)_{\cal U}$ is weak-weak$^\ast$ continuous. Use
771: Lemma \ref{subrep} to obtain an isometric, essential, and still
772: weak-weak$^\ast$ continuous subrepresentation $(\rho,F)$ of it.
773: \par
774: Since $E$ is a $\QSL_{p'}$-space and since the class of all
775: $\QSL_{p'}$-spaces is closed under the formation of $\ell_{p'}$-direct sums,
776: of ultrapowers, and of subspaces, $F$ is again a
777: $\QSL_{p'}$-space. Since $\rho$ is weak-weak$^\ast$ continuous and an
778: isometry, it follows that $\rho^\ast$ restricted to $F \ttensor_\pi
779: F^\ast$ is a quotient map onto $\PF_{p',\pi}(G)$. Let $\epsilon > 0$.
780: Then there are sequences $(\xi_n )_{n=1}^\infty$ in $F$ and
781: $(\psi_n)_{n=1}^\infty$ in $F^\ast$ such that
782: \[
783: \| \phi \| \leq
784: \sum_{n=1}^\infty \| \xi_n \| \| \psi_n \| < \| \phi \| + \epsilon
785: \qquad\text{and}\qquad
786: \langle \rho(\pi(f)), \phi \rangle = \sum_{n=1}^\infty \langle \rho(f)\xi_n,
787: \psi_n \rangle \quad (f \in L_1(G)).
788: \]
789: Since $\pi(L_1(G))$ is dense in $\PF_{p,\pi}(G)$, it follows that
790: $(\rho \circ \pi, F)$ is an essential representation of $L_1(G)$,
791: which therefore can be identified via (\ref{integral}) with an element
792: $(\sigma,F)$ of $\Rep_{p'}(G)$. Letting
793: \[
794: g(x) := \sum_{n=1}^\infty \langle \sigma(x)\xi_n, \psi_n \rangle
795: \qquad (x \in G)
796: \]
797: we obtain $g \in B_p(G)$ such that (\ref{duality}) holds. Moreover,
798: \[
799: \| g \|_{B_p(G)} \leq \sum_{n=1}^\infty \| \xi_n \| \| \psi_n \|
800: < \| \phi \|+\epsilon;
801: \]
802: holds, and since $\epsilon > 0$ was arbitrary, this means that
803: even $\| g \|_{B_p(G)} \leq \| \phi \|$.
804: \par
805: Suppose now that $(\pi,E)$ is $p'$-universal. Since the representation
806: of $L_1(G)$ induced by $(\pi,E)$ is essential, so is its infinite
807: amplification $(\pi^\infty, \ell_{p'}(\posints,E))$. With the
808: appropriate identifications in place, we thus have
809: \[
810: \ell_{p'}(\posints,E) \subset F \subset \ell_{p'}(\posints,E)_{\cal U}.
811: \]
812: Consequently, $(\sigma, F)$ is also $p'$-universal. It then follows
813: from Lemma \ref{cyclem3} that $\| g \|_{B_p(G)} = \| \phi \|$.
814: \end{proof}
815: \par
816: In view of Lemma \ref{duals}, he following is now immediate:
817: %
818: \begin{theorem} \label{dualthm}
819: Let $G$ be a locally compact group, and let $p,p' \in (1,\infty)$ be
820: dual to each other. Then:
821: \begin{items}
822: \item For any $(\pi,E) \in \Rep_{p'}(G)$, the dual space $\PF_{p',\pi}(G)^\ast$
823: embeds contractively into $B_p(G)$.
824: \item The embedding of $\UPF_{p'}(G)^\ast$ into $B_p(G)$ is an isometric
825: isomorphism.
826: \end{items}
827: \end{theorem}
828: %
829: \begin{remarks}
830: \item For $p=2$, the adverb ``contractively'' can be replaced by
831: ``isometrically''. For $p \neq 2$, this is not true. To see this, assume
832: otherwise, and let $2 \leq q \leq p$ or $p \leq q \leq p$.
833: Since $(\lambda_{q'}, L_{q'}(G)) \in \Rep_{p'}(G)$, we would thus have an
834: isometric embedding of $\PF_q(G)^\ast$ --- and thus of $A_q(G)$ --- into
835: $B_p(G)$. For amenable $G$, this, in turn, would entail that $A_q(G) = A_p(G)$
836: holds isometrically. This is clearly impossible except in trivial cases.
837: \item As Michael Cowling pointed out to me, there is some overlap of this section with \cite{CF}. In particular, it is an immediate consequence of
838: \cite[Theorem 2]{CF} that $B_p(G)$ is a dual Banach space.
839: \end{remarks}
840: \par
841: We conclude this section with a theorem that further clarifies
842: the relation between $B_p(G)$ and $A_p(G)$:
843: %
844: \begin{theorem}
845: Let $G$ be an amenable, locally compact group, and let $p,p' \in (1,\infty)$ be dual to each other. Then $\PF_{p'}(G)^\ast$, $B_p(G)$, and ${\cal M}(A_p(G))$ are equal with identical norms.
846: \end{theorem}
847: %
848: \begin{proof}
849: Since $G$ is amenable, we have $\PF_{p'}(G)^\ast = {\cal M}(A_p(G))$ with identical norms by \cite[Theorem 5]{Cow}, so that, by Theorem \ref{dualthm} and Corollary \ref{Fellcor2}, we have a chain
850: \[
851: \PF_{p'}(G)^\ast \subset B_p(G) \subset {\cal M}(A_p(G)) = \PF_{p'}(G)^\ast
852: \]
853: of contractive inclusions. This proves the claim.
854: \end{proof}
855: %
856: \begin{remark}
857: By \cite[Theorem 5]{Cow}, the equality $\PF_{p'}(G)^\ast = {\cal M}(A_p(G))$, even with merely equivalent and not necessarily identical norms, is also sufficient for the amenability of $G$. In view of the situation where $p =2$,
858: we suspect that $G$ is amenable if and only if $B_p(G) = {\cal M}(A_p(G))$ and if and only if $B_p(G) = \PF_{p'}(G)^\ast$.
859: \end{remark}
860: %
861: \begin{thebibliography}{L--N--R}
862: %
863: \begin{small}
864: %
865: \bibitem[Cow]{Cow} {\sc M.\ Cowling}, An application of Littlewood--Paley
866: theory in harmonic analysis. {\it Math.\ Ann\/}.\ {\bf 241\/} (1979), 83--96.
867: %
868: \bibitem[C--F]{CF} {\sc M.\ Cowling} and {\sc G.\ Fendler}, On representations
869: in Banach spaces. {\it Math.\ Ann.\/}\ {\bf 266\/} (1984), 307--315.
870: %
871: \bibitem[Daw]{Daw} {\sc M.\ Daws}, Arens regularity of the algebra of
872: operators on a Banach space. {\it Bull.\ London Math.\ Soc.\/}\ {\bf 36\/}
873: (2004), 493--503.
874: %
875: \bibitem[D--F]{DF} {\sc A.\ Defant} and {\sc K.\ Floret}, {\it Tensor Norms and Operator Ideals\/}. North-Holland, 1993.
876: %
877: \bibitem[E--R]{ER} {\sc E.\ G.\ Effros} and {\sc Z.-J.\ Ruan}, {\it Operator Spaces\/}. Clarendon Press, Oxford, 2000.
878: %
879: \bibitem[Eym]{Eym} {\sc P.\ Eymard}, L'alg\`ebre de Fourier d'un groupe localement compact. {\it Bull.\ Soc.\ Math.\ France\/} {\bf 92\/} (1964), 181--236.
880: %
881: \bibitem[For 1]{For1} {\sc B.\ E.\ Forrest}, Arens regularity and the $A_p(G)$
882: algebras. {\it Proc.\ Amer\. Math.\ Soc.\/}\ {\bf 119\/} (1993), 595--598.
883: %
884: \bibitem[For 2]{For2} {\sc B.\ E.\ Forrest}, Amenability and the structure of
885: the algebras $A_p(G)$. {\it Trans.\ Amer.\ Math.\ Soc.\/}\ {\bf 343\/} (1994), 233--243
886: %
887: \bibitem[G--L]{GL} {\sc I.\ Glicksberg} and {\sc K.\ de Leeuw}, The decomposition of certain group representations. {\it J.\ Anal.\ Math.\/}\ {\bf 15\/} (1965), 135--192.
888: %
889: \bibitem[Hei]{Hei} {\sc S.\ Heinrich}, Ultraproducts in Banach space theory. {\it J.\ reine angew.\ Math.\/}\ {\bf 313\/} (1980), 72--104
890: %
891: \bibitem[Her 1]{Her1} {\sc C.\ Herz}, The theory of $p$-spaces with an
892: application to convolution operators. {\it Trans.\ Amer.\ Math.\ Soc.\/}\
893: {\bf 154\/} (1971), 69--82.
894: %
895: \bibitem[Her 2]{Her2} {\sc C.\ Herz}, Harmonic synthesis for subgroups. {\it Ann.\ Inst.\ Fourier\/} (Grenoble) {\bf 23\/} (1973), 91--123.
896: %
897: \bibitem[H--R]{HR} {\sc C.\ Herz} and {\sc N.\ Rivi\`ere}, Estimates for translation-invariant operators on spaces with mixed norms.
898: {\it Studia Math.\/}\ {\bf 44\/} (1972), 511--515.
899: %
900: \bibitem[J--M]{JM} {\sc P.\ Jaming} and {\sc W.\ Moran}, Tensor products and $p$-induction of representations on Banach spaces. {\it Collect.\ Math.\/}\ {\bf 51\/} (2000), 83--109.
901: %
902: \bibitem[Kwa]{Kwa} {\sc S.\ Kwapie\'n}, On operators factoring through $L_p$-space. {\it Bull.\ Soc.\ Math.\ France, M\'em.\/}\ {\bf 31--32\/} (1972), 215--225.
903: %
904: \bibitem[LeM]{LeM} {\sc C.\ LeMerdy}, Factorization of $p$-completely bounded
905: multilinear maps. {\it Pacific J.\ Math.\/}\ {\bf 172\/} (1996), 187--213.
906: %
907: \bibitem[L--N--R]{LNR} {\sc A.\ Lambert}, {\sc M.\ Neufang}, and {\sc V.\
908: runde}, Operator space structure and amenability for Fig\`a-Talamanca--Herz
909: algebras. {\it J.\ Funct.\ Anal.\/}\ {\bf 211\/} (2004), 245--269.
910: %
911: \bibitem[L--R]{LR} {\sc J.\ Lindenstrauss} and {\sc H.\ P.\ Rosenthal}, The
912: ${\cal L}_p$ spaces. {\it Israel J.\ Math.\/}\ {\bf 7\/} (1969), 325--349.
913: %
914: \bibitem[Loh]{Loh} {\sc N.\ Lohou\'e}, Estimations $L^p$ des coefficients de
915: repr\'esentation et op\'erateurs de convolution. {\it Adv.\ in Math.\/}\
916: {\bf 38\/} (1980), 178--221.
917: %
918: \bibitem[Mia]{Mia} {\sc T.\ Miao}, Compactness of a locally compact group $G$
919: and geometric properties of $A_p(G)$. {\it Canad.\ J.\ Math.\/}\ {\bf 48\/}
920: (1996), 1273--1285.
921: %
922: \bibitem[Pie]{Pie} {\sc J.\ P.\ Pier}, {\it Amenable Locally Compact Groups\/}. Wiley-Interscience, 1984.
923: %
924: \end{small}
925: %
926: \end{thebibliography}
927: %
928: \dated
929: %
930: \vfill
931: %
932: \renewcommand{\baselinestretch}{1.2}
933: %
934: \begin{tabbing}
935: {\it Address\/}: \= Department of Mathematical and Statistical Sciences \\
936: \> University of Alberta \\
937: \> Edmonton, Alberta \\
938: \> Canada, T6G 2G1 \\ \medskip
939: {\it E-mail\/}: \> {\tt vrunde@ualberta.ca} \\[\medskipamount]
940: {\it URL\/}: \> {\tt http://www.math.ualberta.ca/$^\sim$runde/}
941: \end{tabbing}
942:
943: %
944: \end{document}
945: