1: \documentclass[11pt]{article}
2: %
3: \input{format} \input{mathdefs} \input{thmdefs}
4: %
5: \newcommand{\WAP}{\mathcal{WAP}}
6: \newcommand{\AP}{\mathcal{AP}}
7: \newcommand{\LUC}{\mathcal{LUC}}
8: \newcommand{\SC}{\mathcal{SC}}
9: \newcommand{\SO}{\operatorname{SO}}
10: %
11: \title{A Connes-amenable, dual Banach algebra \\
12: need not have \\
13: a normal, virtual diagonal}
14: \author{\it Volker Runde}
15: \date{}
16: %
17: \begin{document}
18: %
19: \maketitle
20: %
21: \begin{abstract}
22: Let $G$ be a locally compact group, and let $\WAP(G)$ denote the space
23: of weakly almost periodic functions on $G$. We show that, if $G$ is a
24: $[\SIN]$-group, but not compact, then the dual Banach algebra $\WAP(G)^\ast$ does not have a normal, virtual diagonal.
25: Consequently, whenever $G$ is an amenable, non-compact $[\SIN]$-group, $\WAP(G)^\ast$ is an example of a Connes-amenable, dual Banach algebra without a normal, virtual diagonal.
26: On the other hand, there are amenable, non-compact, locally compact groups $G$ such that $\WAP(G)^\ast$ does have a normal, virtual diagonal.
27: \end{abstract}
28: %
29: \begin{keywords}
30: locally compact groups; Connes-amenability; normal, virtual diagonals; weakly almost periodic functions; semigroup compactifications; minimally weakly almost periodic groups.
31: \end{keywords}
32: %
33: \begin{classification}
34: Primary 46H20; Secondary 22A15, 22A20, 43A07, 43A10, 43A60, 46H25, 46M18, 46M20.
35: \end{classification}
36: %
37: \section*{Introduction}
38: %
39: In \cite{Joh1}, B.\ E.\ Johnson showed that a locally compact group $G$ is amenable if and only if its group algebra $L^1(G)$ has vanishing first order Hochschild cohomology with coefficients in dual
40: Banach $L^1(G)$-bimodules. Consequently, he called a Banach algebra satisfying this cohomological triviality condition amenable. Soon thereafter, Johnson gave a more intrinsic characterization of the amenable
41: Banach algebras in terms of approximate and virtual diagonals (\cite{Joh2}).
42: \par
43: For some classes of Banach algebras, amenability in the sense of \cite{Joh1} is too strong to allow for the development of a rich theory: it follows from work by S.\ Wassermann (\cite{Was1}), for example, that a von Neumann algebra
44: is amenable if and only if it is subhomogeneous. This indicates that the definition of amenability should be modified when it comes to dealing with von Neumann algebras.
45: \par
46: A variant of Johnson's definition that takes the dual space structure of a von Neumann algebra into account was introduced in \cite{JKR}, but is most commonly associated with A.\ Connes' paper \cite{Con1}.
47: Following A.\ Ya.\ Helemski\u{\i} (\cite{Hel}), we shall refer to this variant of amenability as to Connes-amenability. As it turns out, Connes-amenability is equivalent to several other important properties of von
48: Neumann algebras, such as injectivity and semidiscreteness (\cite{BP}, \cite{Con1}, \cite{Con2}, \cite{EL}, \cite{Was2}; see \cite[Chapter 6]{LoA} for a self-contained exposition). Like the amenable Banach algebras,
49: the Connes-amenable von Neumann algebras allow for an intrinsic characterization in terms of diagonal type elements: a von Neumann algebra is Connes-amenable if and only if it has a normal, virtual diagonal (\cite{Eff}).
50: \par
51: The notions of Connes-amenability and normal, virtual diagonals make sense not only for von Neumann algebras, but for a larger class of Banach algebras called dual Banach algebras in \cite{Run1}. Examples of dual Banach algebras, besides von
52: Neumann algebras, are --- among others --- the measure algebras $M(G)$
53: of locally compact groups $G$. As for von Neumann algebras,
54: amenability in the sense of \cite{Joh1} turns out to be too
55: restrictive a concept for measure algebras: the algebra $M(G)$ is
56: amenable if and only if $G$ is discrete and amenable (\cite{DGH}). In \cite{Run2},
57: however, the author showed that $M(G)$ is Connes-amenable if and only
58: if $G$ is amenable, and in \cite{Run3}, he also proved that
59: these conditions are also equivalent to $M(G)$ having a normal, virtual diagonal.
60: \par
61: It is not hard to see that any dual Banach algebra with a normal, virtual diagonal must be Connes-amenable: as is observed in \cite{CG}, the argument from \cite{Eff} for von Neumann algebras carries over almost verbatim. The converse, however,
62: has been open so far (\cite[Problem 23]{LoA}).
63: \par
64: Besides $M(G)$ there are other dual Banach algebras associated with a locally compact group $G$. One of them is $\WAP(G)^\ast$, where $\WAP(G)$ denotes the weakly almost periodic functions on $G$. It is easy to see that
65: $\WAP(G)^\ast$ is Connes-amenable if $G$ is amenable; the converse is
66: also true, but not as straightforward (\cite{Run4}). If $G$ is compact, $\WAP(G)^\ast = M(G)$ has a normal, virtual diagonal, and in \cite{Run4}, the author made the ---
67: as will become apparent: uneducated --- guess that $\WAP(G)^\ast$ has a normal, virtual diagonal if and only if $G$ is compact.
68: \par
69: In the present paper, we shall confirm this conjecture for $[\SIN]$-groups. Consequently, whenever $G$ is an amenable $[\SIN]$-group that fails to be compact, the dual Banach algebra $\WAP(G)^\ast$ is Connes-amenable, but has no
70: normal, virtual diagonal. On the other hand, we shall see that $\WAP(G)^\ast$ does indeed have a normal, virtual diagonal if $G$ is amenable and minimally weakly almost periodic in the sense of \cite{Chou}. Since there are such
71: groups which fail to be compact, this shows that our conjecture from \cite{Run4} cannot be true in the generality stated there.
72: %
73: \subsection*{Acknowledgment}
74: %
75: I am grateful to Dona Strauss of Hull for bringing \cite{FS} to my attention and for providing Corollary \ref{idcor} and its proof.
76: %
77: \section{Connes-amenability and normal, virtual diagonals}
78: %
79: This section is preliminary in character: we briefly recall the definition of a dual Banach algebra along with the notions of Connes-amenability and of a normal, virtual diagonal.
80: \par
81: Given a Banach algebra $\A$ and a Banach $\A$-bimodule $E$, the dual space $E^\ast$ of $E$ becomes a Banach $\A$-bimodule in its own right via
82: \[
83: \langle x, a \cdot \phi \rangle := \langle x \cdot a , \phi \rangle \quad\text{and}\quad \langle x, \phi \cdot a \rangle := \langle a \cdot x , \phi \rangle
84: \qquad (a \in \A, \, \phi \in E^\ast, \, x \in E);
85: \]
86: in particular, the dual space $\A^\ast$ of $\A$ is a Banach $\A$-bimodule. Modules of this kind are referred to as {\it dual Banach modules\/}.
87: \par
88: The following definition was introduced in \cite{Run1}:
89: %
90: \begin{definition} \label{dualdef}
91: A Banach algebra $\A$ is called a {\it dual Banach algebra\/} if there is a closed submodule $\A_\ast$ of $\A^\ast$ such that $\A = (\A_\ast)^\ast$.
92: \end{definition}
93: %
94: \begin{remarks}
95: \item Equivalently, a Banach algebra $\A$ is dual if it is a dual Banach space such that multiplication is separately continuous in the $w^\ast$-topology.
96: \item In general, the predual space $\A_\ast$ in Definition \ref{dualdef} need not be unique, but will always be unambiguous from the context.
97: \end{remarks}
98: %
99: \begin{examples}
100: \item Every von Neumann algebra is a dual Banach algebra.
101: \item The measure algebra $M(G)$ of a locally compact group $G$ is a dual Banach algebra (with predual ${\cal C}_0(G))$.
102: \item If $E$ is a reflexive Banach space, then ${\cal B}(E)$ is a dual Banach algebra with predual $E \Tensor E^\ast$, where $\Tensor$ denotes the projective tensor product of Banach spaces.
103: \item The bidual of every Arens regular Banach algebra is a dual Banach algebra.
104: \end{examples}
105: \par
106: The following definition introduces a notion of amenability for dual Banach algebras that takes the dual space structure into account:
107: %
108: \begin{definition}
109: Let $\A$ be a dual Banach algebra.
110: \begin{alphitems}
111: \item A dual Banach $\A$-bimodule $E$ is called {\it normal\/} if the maps
112: \[
113: \A \to E, \quad a \mapsto \left\{ \begin{array}{c} a \cdot x, \\ x \cdot a \end{array} \right.
114: \]
115: are $w^\ast$-continuous for each $x \in E$.
116: \item $\A$ is called {\it Connes-amenable\/} if every $w^\ast$-con\-ti\-nu\-ous derivation from $\A$ into a normal, dual Banach $\A$-bimodule is inner.
117: \end{alphitems}
118: \end{definition}
119: %
120: \begin{remarks}
121: \item For a von Neumann algebra, Connes-amenability is equivalent to a number of important properties, such as injectivity and semidiscreteness; see \cite[Chapter 6]{LoA} for a relatively self-contained account and for further references.
122: \item The measure algebra $M(G)$ of a locally compact group $G$ is Connes-amenable if and only if $G$ is amenable (\cite{Run2}).
123: \end{remarks}
124: \par
125: Let $\A$ be a Banach algebra. Then $\A \Tensor \A$ is a Banach $\A$-bimodule via
126: \[
127: a \cdot (x \tensor y) := ax \tensor y \quad\text{and}\quad (x \tensor y) \cdot a := x \tensor ya \qquad (a,x,y \in \A),
128: \]
129: so that the multiplication map
130: \[
131: \Delta \!: \A \Tensor \A \to \A, \quad a \tensor b \mapsto ab
132: \]
133: becomes a homomorphism of Banach $\A$-bimodules. Let $\A$ be a dual Banach algebra with predual $\A_\ast$, and let ${\cal B}_\sigma^2(\A,\comps)$ denote the bounded, bilinear functionals on $\A \times \A$
134: which are separately $w^\ast$-continuous, which form a closed submodule of $(\A \Tensor \A)^\ast$. Since $\Delta^\ast$ maps $\A_\ast$ into ${\cal B}_\sigma^2(\A,\comps)$, it follows that $\Delta^{\ast\ast}$ drops to an $\A$-bimodule homomorphism
135: $\Delta_\sigma \!: {\cal B}_\sigma^2(\A,\comps)^\ast \to \A$.
136: \par
137: We define:
138: %
139: \begin{definition} \label{normdiag}
140: A {\it normal, virtual diagonal\/} for a dual Banach algebra $\A$ is an element ${\mathrm M} \in {\cal B}_\sigma^2(\A,\comps)^\ast$ such that
141: \[
142: a \cdot {\mathrm M} = {\mathrm M} \cdot a \quad\text{and}\qquad a \Delta_\sigma{\mathrm M} = a \qquad (a \in \A).
143: \]
144: \end{definition}
145: %
146: \begin{remarks}
147: \item Every dual Banach algebra with a normal, virtual diagonal is Connes-amenable (\cite{CG}, but actually already \cite{Eff}).
148: \item A von Neumann algebra is Connes-amenable if and only if it has a normal, virtual diagonal (\cite{Eff}).
149: \item The same is true for the measure algebras of locally compact groups (\cite{Run2} and \cite{Run3}).
150: \end{remarks}
151: \par
152: As we shall see in this paper, there are Connes-amenable, dual Banach algebras which do not have a normal, virtual diagonal.
153: %
154: \section{The Banach algebra $\WAP(G)^\ast$ and the semigroup $G_\WAP$}
155: %
156: By a semitopological semigroup, we mean a semigroup $S$ equipped with a Hausdorff topology such that multiplication is separately continuous. If $S$ is locally compact, the measure space $M(S) \cong {\cal C}_0(S)^\ast$
157: can be turned into a Banach algebra via
158: \begin{equation} \label{conv}
159: \langle f, \mu \ast \nu \rangle := \int_S \int_S f(st) \, d\mu(s) \, d\nu(t) \qquad (\mu , \nu \in M(S)).
160: \end{equation}
161: (Even though multiplication in $S$ need not be jointly continuous, the product integral on the right hand side of (\ref{conv}) does always exist and is independent of the order of integration; see \cite{Joh0}.) Note, that
162: even though $M(S)$ is a Banach algebra which is a dual Banach space, it need not be a dual Banach algebra in the sense of Definition \ref{dualdef}: this is due to the fact that ${\cal C}_0(S)$ need not be translation invariant.
163: However, $M(S)$ {\it is\/} a dual Banach algebra if $S$ is compact or a group.
164: \par
165: Our first proposition is likely to be well known, but since we could not locate a reference, we include a proof:
166: %
167: \begin{proposition} \label{idprop}
168: Let $S$ be a locally compact, semitopological semigroup. Then the following are equivalent:
169: \begin{items}
170: \item $S$ has an identity.
171: \item $M(S)$ has an identity of norm one.
172: \end{items}
173: \end{proposition}
174: %
175: \begin{proof}
176: (i) $\Longrightarrow$ (ii): If $S$ has an identity element, say $e$, then the point mass $\delta_e$ is an identity for $M(S)$ and trivially has norm one.
177: \par
178: (ii) $\Longrightarrow$ (i): Suppose that $M(S)$ has an identity element, say $\epsilon$, such that $\| \epsilon \| =1$; in particular,
179: \begin{equation} \label{ideq}
180: \delta_s \ast \epsilon = \delta_s = \epsilon \ast \delta_s \qquad (s \in S)
181: \end{equation}
182: holds. It is straightforward that $\epsilon$ has to be an $\reals$-valued measure. Let $\epsilon^+, \epsilon^- \in M(S)$ be the Jordan decomposition of $\epsilon$, i.e.\ positive measures
183: such that $\epsilon = \epsilon^+ - \epsilon^-$ and $1 = \| \epsilon^+ \| + \| \epsilon^- \|$. Fix $s \in S$. Then $\delta_s \ast \epsilon^+$ and $\delta_s \ast \epsilon^-$ are positive measures such that
184: $\delta_s = \delta_s \ast \epsilon^+ - \delta_s \ast \epsilon^-$ and
185: \[
186: \| \delta_s \| = 1 = \| \epsilon^+ \| + \| \epsilon^- \| \geq \| \delta_s \ast \epsilon^+ \| + \| \delta_s \ast \epsilon^- \| \geq \| \delta_s \ast \epsilon \| = \| \delta_s \| = 1.
187: \]
188: The uniqueness of the Jordan decomposition of $\delta_s$ thus yields that $\delta_s \ast \epsilon^+ = \delta_s$. Analogously, one sees that $\epsilon^+ \ast \delta_s = \delta_s$.
189: Hence, (\ref{ideq}) still holds true if we replace $\epsilon$ by $\epsilon^+$.
190: \par
191: We shall see that the existence of a positive measure $\epsilon \in M(S)$ satisfying (\ref{ideq}) already necessitates $S$ to have an identity.
192: \par
193: Fix $s \in S$, and assume that there is $t \in \supp(\epsilon)$ such that $st \neq s$. We may choose a non-negative function $f \in {\cal C}_0(S)$ such that $f(s) = 0$ and $f(st) > 0$. We obtain that
194: \[
195: 0 < \int_S f(st) \, d\epsilon(t) = \langle f, \delta_s \ast \epsilon \rangle = \langle f, \delta_s \rangle = f(s) = 0,
196: \]
197: which is nonsense. Consequently, $st=s$ holds for all $t \in \supp(\epsilon)$; an analogous argument shows that $ts=s$ for all $t \in \supp(\epsilon)$. Since $s \in S$ was arbitrary, it follows that every element of
198: $\supp(\epsilon)$ is an identity for $S$.
199: \end{proof}
200: \par
201: Let $S$ be any semitopological semigroup, and let $f \!: S \to \comps$. For $s \in S$, we define the left translate $L_s f$ of $f$ by $s$ through
202: \[
203: (L_s f)(t) := f(st) \qquad (t \in S).
204: \]
205: Let ${\cal C}_\mathrm{b}(S)$ denote the commutative $\cstar$-algebra of bounded, continuous functions on $S$.
206: %
207: \begin{definition}
208: Let $S$ be a semitopological semigroup. A bounded, continuous function $f \in {\cal C}_\mathrm{b}(S)$ is called {\it weakly almost periodic\/} if $\{ L_s f : s \in S \}$ is relatively compact in the weak topology on ${\cal C}_\mathrm{b}(S)$.
209: \end{definition}
210: \par
211: For any semitopological semigroup $S$, let
212: \[
213: \WAP(S) := \{ f \in {\cal C}_\mathrm{b}(S) : \text{$f$ is weakly almost periodic} \}
214: \]
215: Our reference for almost periodic functions is mostly \cite{Bur}. It is easy to see that $\WAP(S)$ is a $\cstar$-subalgebra of ${\cal C}_\mathrm{b}(S)$ whose character space we denote by $S_\WAP$. It is clear, that $S_\WAP$ contains a canonical,
216: dense image of $S$. The multiplication of $S$ ``extends'' to $S_\WAP$, turning it into a compact, semitopological semigroup. For more on semigroup compactifications, see \cite{BJM}. The dual space $\WAP(S)^\ast$ can be identified with
217: $M(S_\WAP)$, and thus, in particular, becomes a dual Banach algebra. For an alternative definition of the multiplication on $\WAP(S)^\ast$, see \cite[(2.8) Corollary and (2.11) Proposition]{Pat}.
218: \par
219: From now on, we shall only consider weakly almost periodic functions on locally compact groups. If $G$ is a locally compact group, ${\cal C}_0(G) \subset \WAP(G)$ holds and the canonical map from $G$ to $G_\WAP$ is
220: a homeomorphism onto its image (\cite[Theorem 3.6]{Bur}). It is straightforward that $G_\WAP \setminus G$ is a closed ideal of $G_\WAP$ and thus, in particular, is a compact, semitopological semigroup.
221: Let $\pi_0 \!: \WAP(G)^\ast \to M(G)$ be the restriction map from $\WAP(G)^\ast$ onto ${\cal C}_0(G)^\ast$. It is routinely checked that $\pi_0$ is a $w^\ast$-continuous algebra homomorphism.
222: Consequently, ${\cal C}_0(G)^\perp = \ker \pi_0$ is a $w^\ast$-closed ideal in $\WAP(G)^\ast$ that can be identified, as a Banach algebra, with $M(G_\WAP \setminus G)$.
223: \par
224: As a corollary of Proposition \ref{idprop}, we obtain:
225: %
226: \begin{corollary} \label{idcor}
227: Let $G$ be a locally compact group. Then the following are equivalent:
228: \begin{items}
229: \item The ideal ${\cal C}_0(G)^\perp$ of $\WAP(G)^\ast$ has an identity.
230: \item The ideal $G_\WAP \setminus G$ of $G_\WAP$ has an identity.
231: \end{items}
232: \end{corollary}
233: %
234: \begin{proof}
235: All that needs to be shown is that, if ${\cal C}_0(G)^\perp$ has an identity element $\epsilon$, then $\| \epsilon \| = 1$ must hold.
236: \par
237: Denote the bimodule module action of $\WAP(G)^\ast$ on $\WAP(G)$ by $\cdot$. Let $f \in \WAP(G)$ and observe that
238: \begin{eqnarray}
239: | \langle f, \epsilon \rangle | & \leq & \sup \{ | \langle L_x f, \epsilon \rangle | : x \in G \} \nonumber \\
240: & = & \sup \{ | \langle f, \delta_x \ast \epsilon \rangle | : x \in G \} \nonumber \\
241: & = & \sup \{ | \langle \epsilon \cdot f, \delta_x \rangle | : x \in G \} \nonumber \\
242: & = & \| \epsilon \cdot f \|. \label{normone}
243: \end{eqnarray}
244: Since $\epsilon \in {\cal C}_0(G)^\perp$, the left hand side of (\ref{normone}) only depends on the equivalence class $\tilde{f}$ of $f$ in $\WAP(G) / {\cal C}_0(G) \cong {\cal C}(G_\WAP \setminus G)$.
245: We thus obtain:
246: \begin{eqnarray*}
247: \left| \left\langle \tilde{f}, \epsilon \right\rangle \right| & \leq & \left\| \epsilon \cdot \tilde{f} \right\| \\
248: & = & \sup \left\{ \left| \left\langle \epsilon \cdot \tilde{f}, \delta_s \right\rangle \right| : s \in G_\WAP \setminus G \right\} \\
249: & = & \sup \left\{ \left| \left\langle \tilde{f}, \delta_s \ast \epsilon \right\rangle \right| : s \in G_\WAP \setminus G \right\} \\
250: & = & \sup \left\{ \left| \left\langle \tilde{f}, \delta_s \right\rangle \right| : s \in G_\WAP \setminus G \right\} \\
251: & = & \left\| \tilde{f} \right\|.
252: \end{eqnarray*}
253: Hence, $\| \epsilon \| \leq 1$ holds, which completes the proof.
254: \end{proof}
255: \par
256: In view of Corollary \ref{idcor}, we now turn to the question of whether, for a locally compact group $G$, the ideal $G_\WAP \setminus G$ can have an identity.
257: \par
258: For any locally compact group $G$, let $G_\LUC$ denote its $\LUC$-compactification (see \cite{BJM}). There is a canonical quotient map $\pi \!: G_\LUC \to G_\WAP$. An element $s \in G_\LUC$ is called a {\it point of unicity\/} if
259: $\pi^{-1}( \{ \pi(s ) \} ) = \{ s \}$.
260: \par
261: Recall that a locally compact group is called a $[\SIN]$-group if its
262: identity has a basis of neighborhoods invariant under conjugation; all
263: abelian, all compact, and all discrete groups are $[\SIN]$-groups.
264: \par
265: The following is (mostly) \cite[Theorem 1.4]{FS}:
266: %
267: \begin{theorem} \label{FSthm}
268: Let $G$ be a non-compact $[\SIN]$-group. Then $G_\LUC \setminus G$ contains a dense open subset $X$ consisting of points of unicity with the following properties:
269: \begin{items}
270: \item $\pi(X)$ is open in $G_\WAP \setminus G$;
271: \item $X$ is invariant under multiplication with elements from $G$;
272: \item $X$ has empty intersection with $(G_\LUC \setminus G)^2$.
273: \end{items}
274: \end{theorem}
275: %
276: \begin{remark}
277: Items (ii) and (iii) are not explicitly stated as a part of \cite[Theorem 1.4]{FS}, but follow from an inspection of the proof.
278: \end{remark}
279: \par
280: The following consequence of Theorem \ref{FSthm} was pointed out to me by Dona Strauss:
281: %
282: \begin{corollary} \label{Dona}
283: Let $G$ be a non-compact $[\SIN]$-group. Then the ideal $G_\WAP \setminus G$ does not have an identity.
284: \end{corollary}
285: %
286: \begin{proof}
287: Assume towards a contradiction that $G_\WAP \setminus G$ does have an identity, say $e$. Let $X$ be a set as specified in Theorem \ref{FSthm}. Since $\pi(X)$ is open in $G_\WAP \setminus G$, and since $Ge$ is dense in $G_\WAP \setminus G$,
288: it follows that $Ge \cap \pi(X) \neq \void$; from Theorem \ref{FSthm}(ii), we conclude that $e \in \pi(X)$. Let $p \in X$ be such that $\pi(p) = e$. Since $\pi(p^2) = e^2 = e$ and since $p$ is a point of unicity, it follows that
289: $p^2 = p$. This, however, contradicts Theorem \ref{FSthm}(iii).
290: \end{proof}
291: %
292: \section{Normal, virtual diagonals for $\WAP(G)^\ast$}
293: %
294: Given a locally compact group $G$, let $\SC(G_\WAP \times G_\WAP)$
295: denote the bounded, {\it separately\/} continuous functions on $G_\WAP
296: \times G_\WAP$. The space $\SC(G_\WAP \times G_\WAP)$ can be
297: canonically identified with ${\cal B}^2_\sigma(\WAP(G)^\ast,\comps)$ (\cite[Proposition 2.5]{Run2}).
298: In terms of $\SC(G_\WAP \times G_\WAP)$, the bimodule action of
299: $\WAP(G)^\ast$ on ${\cal B}^2_\sigma(\WAP(G)^\ast,\comps)$ is given by
300: \[
301: (\mu \cdot f)(s,t) := \int_{G_\WAP} f(s, tr) \, d\mu(r) \qquad (s,t \in G_\WAP)
302: \]
303: and
304: \[
305: (f \cdot \mu)(s,t) := \int_{G_\WAP} f(rs, t) \, d\mu(r) \qquad (s,t \in G_\WAP)
306: \]
307: for $f \in \SC(G_\WAP \times G_\WAP)$ and $\mu \in \WAP(G)^\ast$ (this
308: is seen as in \cite[Proposition 3.1]{Run2}).
309: \par
310: The verification of our first lemma in this section is routine:
311: %
312: \begin{lemma} \label{l1}
313: Let $G$ be a locally compact group, and let
314: \begin{equation} \label{iddef}
315: I := \left\{ f \in \SC(G_\WAP \times G_\WAP) : \text{$f(s, \cdot) \in {\cal C}_0(G)$ for all $s \in G_\WAP$} \right\}.
316: \end{equation}
317: Then:
318: \begin{items}
319: \item $\SC(G_\WAP \times G_\WAP)$, equipped with the supremum norm, is a commutative $\cstar$-algebra with identity;
320: \item $I$ is a closed ideal and a $\WAP(G)^\ast$-submodule of $\SC(G_\WAP \times G_\WAP)$.
321: \end{items}
322: \end{lemma}
323: \par
324: Let $\A$ be a $\cstar$-algebra, and let $I$ be a closed ideal of $\A$. As is well known, the second dual $\A^{\ast\ast}$ is a von Neumann algebra --- the enveloping von Neumann algebra of $\A$ ---
325: containing $I^{\ast\ast}$ as a $w^{\ast\ast}$ closed ideal. The identity $P$ of $I^{\ast\ast}$ is a central projection in $\A^{\ast\ast}$ such that $I^{\ast\ast} = P \A^{\ast\ast}$.
326: \par
327: We make use of these facts in the case where $\A = \SC(G_\WAP \times G_\WAP)$ for a locally compact group $G$ and $I$ is as in (\ref{iddef}).
328: %
329: \begin{lemma} \label{l1b}
330: Let $G$ be a locally compact group, let $I$ be as in\/ {\rm (\ref{iddef})}, and let $P \in \SC(G_\WAP \times G_\WAP)^{\ast\ast}$ be the identity of $I^{\ast\ast}$. Then $P \cdot \delta_s = P$ holds for all $s \in G_\WAP$.
331: \end{lemma}
332: %
333: \begin{proof}
334: For convenience, set $\A := \SC(G_\WAP \times G_\WAP)$, and let $\Omega$ be
335: the character space of $\A$, so that $\A \cong {\cal C}(\Omega)$ via the
336: Gelfand transform. Through point evaluation, $\Omega$ contains a dense copy
337: $G_\WAP \times G_\WAP$. (Since functions in $\A$ are only {\it separately\/}
338: continuous on $G_\WAP \times G_\WAP$, the canonical map from $G_\WAP \times
339: G_\WAP$ into $\Omega$ need not be continuous.) Since $I$ is a closed ideal of
340: $\A$, there is an open subset $U$ of $\Omega$ such that $I \cong {\cal
341: C}_0(U)$. Point evaluation maps $G_\WAP \times G$ onto a dense subset of
342: $U$.
343: \par
344: We claim that $U$ is dense in $\Omega$. Since $G_\WAP \times G_\WAP$ is dense
345: in $\Omega$, it is sufficient to show that each point in $G_\WAP \times
346: G_\WAP$ can be approximated by a net from $U$. Fix $(s,t) \in G_\WAP \times
347: G_\WAP$, and let $f \in \A$. Since $G$ is dense in $G_\WAP$, there is a net
348: $(x_\alpha)_\alpha$ in $G$ such that $x_\alpha \to t$; since $f(s, \cdot)$ is
349: continuous, we have $f(s,x_\alpha) \to f(s,t)$; and since $f \in \A$ is
350: arbitrary, this yields that $(s,x_\alpha) \to (s,t)$ in $\Omega$.
351: \par
352: Since $U$ is dense in $\Omega$, the ideal $I$ is essential in $\A$,
353: i.e.\ the only $f \in \A$ such that $f I = \{ 0 \}$ is $f = 0$. By the
354: universal property of the multiplier algebra, $\A$ thus canonically embeds
355: into ${\cal M}(I) \cong {\cal C}_{\mathrm b}(U)$, the multiplier algebra of $I$, which, in turn, can be
356: identified with the idealizer of $I$ in $I^{\ast\ast}$: $\{ F \in
357: I^{\ast\ast}: FI \subset I\}$ (for all this, see \cite{Ped}, for instance).
358: \par
359: All in all, we have a canonical, injective $^\ast$-homomorphism $\theta \!:
360: {\cal C}(\Omega) \to I^{\ast\ast}$ with $\theta({\cal C}(\Omega)) \subset {\cal M}(I)$, which is routinely seen
361: to satisfy
362: \[
363: \theta(f \cdot \delta_s) = \theta(f) \cdot \delta_s \qquad (f \in \A, \, s \in G_\WAP)
364: \]
365: (just test both sides against points in $G_\WAP \times G$). Since clearly
366: $\theta(1) = P$, we finally obtain that
367: \[
368: P \cdot \delta_s = \theta(1) \cdot \delta_s = \theta(1 \cdot \delta_s) =
369: \theta(1) = P \qquad (s \in G_\WAP).
370: \]
371: This completes the proof.
372: \end{proof}
373: \par
374: Since $\SC(G_\WAP \times G_\WAP)^{\ast\ast}$ is a von Neumann algebra for any locally compact group $G$, the canonical bimodule action of the commutative $\cstar$-algebra $\SC(G_\WAP \times G_\WAP)$ on its
375: dual extends to a bimodule action of $\SC(G_\WAP \times G_\WAP)^{\ast\ast}$ on its predual $\SC(G_\WAP \times G_\WAP)^\ast$. We denote this module action by mere juxtaposition.
376: %
377: \begin{lemma} \label{l2}
378: Let $G$ be a locally compact group, let $I$ be defined as in\/ {\rm (\ref{iddef})}, and let $P$ denote the identity of $I^{\ast\ast}$. Then
379: \[
380: \delta_s \cdot (P \mathrm{N}) = P(\delta_s \cdot \mathrm{N}) \qquad (s \in G_\WAP))
381: \]
382: holds for all $\mathrm{N} \in {\cal B}_\sigma^2(\WAP(G)^\ast,\comps)^\ast$
383: \end{lemma}
384: %
385: \begin{proof}
386: First note that
387: \begin{equation} \label{homeq}
388: (fg) \cdot \delta_s = (f \cdot \delta_s)(g \cdot
389: \delta_s) \qquad (s \in G_\WAP)
390: \end{equation}
391: for all $f, g \in \SC(G_\WAP \times G_\WAP)$. By separate $w^\ast$-continuity, it follows that (\ref{homeq}) holds as well for all $f,g
392: \in \SC(G_\WAP \times G_\WAP)^{\ast\ast}$.
393: \par
394: Fix $s \in G_\WAP$ and $\mathrm{N} \in {\cal
395: B}_\sigma^2(\WAP(G)^\ast,\comps)^\ast$, and let $f \in \SC(G_\WAP
396: \times G_\WAP)$. We obtain:
397: \begin{eqnarray*}
398: \langle f,\delta_s \cdot (P \mathrm{N}) \rangle & = & \langle f \cdot
399: \delta_s, P \mathrm{N} \rangle \\
400: & = & \langle (f \cdot \delta_s) P, \mathrm{N} \rangle \\
401: & = & \langle (f \cdot \delta_s) (P \cdot \delta_s) , \mathrm{N}
402: \rangle, \qquad \text{by Lemma \ref{l1b}}, \\
403: & = & \langle (fP) \cdot \delta_s, \mathrm{N} \rangle,
404: \qquad\text{by (\ref{homeq})}, \\
405: & = & \langle f P, \delta_s \cdot \mathrm{N} \rangle \\
406: & = & \langle f, P(\delta_s \cdot \mathrm{N}) \rangle.
407: \end{eqnarray*}
408: This proves the claim.
409: \end{proof}
410: %
411: \begin{lemma} \label{l3}
412: Let $G$ be a locally compact group, such that $\WAP(G)^\ast$ has a normal, virtual diagonal, say $\mathrm{M}$, let $I$ be as in\/ {\rm (\ref{iddef})}, and let $P$ be the identity of $I^{\ast\ast}$. Define
413: \[
414: \rho \!: \WAP(G)^\ast \to \WAP(G)^\ast, \quad \mu \mapsto
415: \Delta_\sigma(P(\mathrm{M} \cdot \mu)).
416: \]
417: Then:
418: \begin{items}
419: \item ${\cal C}_0(G)^\perp$ is contained in $\ker \rho$;
420: \item $\pi_0 \circ \rho = \pi_0$ holds, where $\pi_0 \!: \WAP(G)^\ast \to M(G)$ is the canonical restriction map;
421: \item $\rho(\delta_s \ast \mu) = \delta_s \ast \rho(\mu)$ for all $s \in G_\WAP$ and $\mu \in \WAP(G)^\ast$.
422: \end{items}
423: \end{lemma}
424: %
425: \begin{proof}
426: (i): Let $\mu \in {\cal C}_0(G)^\perp$. It follows that $\mu \cdot f = 0$ for each $f \in I$ and, consequently, that $\mathrm{M} \cdot \mu \in I^\perp$. Let $F \in \SC(G_\WAP \times G_\WAP)^{\ast\ast}$, and note that $FP \in
427: I^{\ast\ast}$. Since
428: \[
429: \langle F, P(\mathrm{M} \cdot \mu) \rangle = \langle FP, \mathrm{M} \cdot \mu \rangle = 0,
430: \]
431: we conclude that $\mu \in \ker \rho$.
432: \par
433: (ii): Fix $\mu \in \WAP(G)^\ast$ and $f \in {\cal C}_0(G)$, and observe that
434: \begin{eqnarray*}
435: \langle f, \rho(\mu) \rangle & = & \langle f, \Delta_\sigma(P(\mathrm{M} \cdot \mu)) \rangle \\
436: & = & \langle \Delta^\ast f, P(\mathrm{M} \cdot \mu) \rangle \\
437: & = & \langle (\Delta^\ast f)P, \mathrm{M} \cdot \mu \rangle \\
438: & = & \langle \Delta^\ast f, \mathrm{M} \cdot \mu \rangle, \qquad\text{because $\Delta^\ast {\cal C}_0(G) \subset I$}, \\
439: & = & \langle f, \Delta_\sigma(\mathrm{M} \cdot \mu) \rangle \\
440: & = & \langle f , \mu \rangle.
441: \end{eqnarray*}
442: This proves the claim.
443: \par
444: (iii): Fix $\mu \in \WAP(G)^\ast$ and $s \in G_\WAP$. We obtain:
445: \begin{eqnarray*}
446: \rho(\delta_s \ast \mu) & = & \Delta_\sigma(P((\mathrm{M} \cdot \delta_s) \cdot \mu)) \\
447: & = & \Delta_\sigma(P(\delta_s \cdot (\mathrm{M} \cdot \mu ))), \qquad\text{by Definition \ref{normdiag}}, \\
448: & = & \Delta_\sigma(\delta_s \cdot (P(\mathrm{M} \cdot \mu ))), \qquad\text{by Lemma \ref{l2}}, \\
449: & = & \delta_s \ast \Delta_\sigma(P(\mathrm{M} \cdot \mu )) \\
450: & = & \delta_s \ast \rho(\mu).
451: \end{eqnarray*}
452: This completes the proof.
453: \end{proof}
454: \par
455: We can now prove the main result of this section (and of the whole paper):
456: %
457: \begin{theorem} \label{mainthm}
458: Let $G$ be a non-compact $[\SIN]$-group. Then $\WAP(G)^\ast$ does not have a normal, virtual diagonal.
459: \end{theorem}
460: %
461: \begin{proof}
462: Assume towards a contradiction that $\WAP(G)^\ast$ has a normal, virtual diagonal. Let $\rho \!: M(G) \to \WAP(G)^\ast$ be as in Lemma \ref{l3}, and define $\epsilon := \delta_e - \rho(\delta_e)$, where $e$ is the identity of $G$. By Lemma \ref{l3}(ii), it is clear that
463: $\epsilon \in {\cal C}_0(G)^\perp$. Moreover, we have for $s \in G_\WAP \setminus G$ that
464: \begin{eqnarray*}
465: \delta_s \ast \epsilon & = & \delta_s - \delta_s \ast \rho(\delta_e) \\
466: & = & \delta_s - \rho(\delta_s \ast \delta_e), \qquad\text{by Lemma \ref{l3}(iii)}, \\
467: & = & \delta_s, \qquad \text{by Lemma \ref{l3}(i)}.
468: \end{eqnarray*}
469: Consequently, $\epsilon$ is a right identity for ${\cal C}_0(G)^\perp$.
470: \par
471: For any $f \in \WAP(G)$, the function $\check{f} \!: G \to \comps$ defined by letting $\check{f}(x) := f(x^{-1})$ for $x \in G$ lies also in $\WAP(G)$ (\cite[Corollary 1.18]{Bur}). Setting
472: \[
473: \langle f, \check{\mu} \rangle :=
474: \left\langle \check{f}, \mu \right\rangle
475: \qquad (\mu \in \WAP(G)^\ast, \, f \in \WAP(G) ),
476: \]
477: defines an anti-automorphism $\WAP(G)^\ast \ni \mu \mapsto \check{\mu}$ of $\WAP(G)^\ast$, which leaves ${\cal C}_0(G)^\perp$ invariant. Hence, $\check{\epsilon}$ is a left identity for ${\cal C}_0(G)^\perp$,
478: so that ${\cal C}_0(G)^\perp$ has in fact an identity. This, however, is not possible by Corollaries \ref{idcor} and \ref{Dona}.
479: \end{proof}
480: \par
481: The following corollary confirms the guess made at the end of \cite{Run4} for $[\SIN]$-groups:
482: %
483: \begin{corollary} \label{maincor}
484: Consider the following statements about a $[\SIN]$-group $G$:
485: \begin{items}
486: \item $\WAP(G)^\ast$ has a normal, virtual diagonal.
487: \item $G$ is compact.
488: \item $G$ is amenable.
489: \item $\WAP(G)^\ast$ is Connes-amenable.
490: \end{items}
491: Then
492: \[
493: \text{\rm (i)} \iff \text{\rm (ii)} \implies \text{\rm (iii)} \iff \text{\rm (iv)}.
494: \]
495: \end{corollary}
496: %
497: \begin{proof}
498: (i) $\Longrightarrow$ (ii) follows immediately from Theorem \ref{mainthm}, and the converse is shown in \cite{Run3} (for compact $G$, we have $\WAP(G)^\ast = M(G)$).
499: \par
500: (ii) $\Longrightarrow$ (iii) is well known (see \cite{Pat} or \cite[Chapter 1]{LoA}).
501: \par
502: (iii) $\Longleftrightarrow$ (iv) is \cite[Proposition 4.11]{Run4}.
503: \end{proof}
504: \par
505: Consequently, $\WAP(G)^\ast$ is a Connes-amenable dual Banach algebra
506: {\it without\/} a normal, virtual diagonal whenever $G$ is an
507: amenable, but not compact $[\SIN]$-group: this includes all
508: non-compact, abelian, locally compact groups as well as all infinite,
509: discrete, amenable groups.
510: \par
511: As a consequence of Corollary \ref{maincor}, we also obtain a
512: characterization of those locally compact groups $G$ for which
513: $\WAP(G)^\ast$ is amenable (in the sense of \cite{Joh1}):
514: %
515: \begin{corollary}
516: The following are equivalent for a locally compact group $G$:
517: \begin{items}
518: \item $\WAP(G)^\ast$ is amenable;
519: \item $G$ is finite.
520: \end{items}
521: \end{corollary}
522: %
523: \begin{proof}
524: Of course, only (i) $\Longrightarrow$ (ii) needs proof.
525: \par
526: If $\WAP(G)^\ast$ is amenable, so is its quotient $M(G)$. By
527: \cite{DGH}, this means that $G$ must be discrete. In particular, $G$
528: is a $[\SIN]$-group. Since $\WAP(G)^\ast$ is amenable, it must have a
529: normal, virtual diagonal, so that the discrete group $G$ is also compact by Corollary \ref{maincor}.
530: \end{proof}
531: %
532: \section{Minimally weakly almost periodic groups}
533: %
534: In view of Corollary \ref{maincor}, the conjecture (made in \cite{Run4}) is tempting that $\WAP(G)^\ast$ has a normal, virtual diagonal only if $G$ is compact. As we shall see in this final section, this is wrong.
535: \par
536: Recall that a continuous, bounded function $f$ on a locally compact group $G$ is called {\it almost periodic\/} if $\{ L_x f : x \in G \}$ is relatively compact in the norm topology of ${\cal C}_{\mathrm{b}}(G)$. Let
537: \[
538: \AP(G) := \{ f \in {\cal C}_{\mathrm{b}}(G) : \text{$f$ is almost periodic} \}.
539: \]
540: Like $\WAP(G)$, the space $\AP(G)$ is a commutative $\cstar$-algebra. Its character space, denoted by $G_\AP$, is a compact group that contains a dense, but generally not
541: homeomorphic image of $G$ in a canonical manner. For more information, see \cite{Bur} or \cite{BJM}, for example.
542: \par
543: The following definition is from \cite{Chou}:
544: %
545: \begin{definition} \label{minwap}
546: Let $G$ be a locally compact group. Then $G$ is called {\it minimally weakly almost periodic\/} if $\WAP(G) = \AP(G) + {\cal C}_0(G)$.
547: \end{definition}
548: %
549: \begin{remarks}
550: \item Every compact group is trivially minimally weakly almost periodic. If $G$ is not compact, but weakly almost periodic, then the sum in Definition \ref{minwap} is a direct one.
551: \item The motion group $\reals^N \sdprod \SO(N)$ is minimally weakly almost periodic (and amenable) as is $\SL(2,\reals)$, which is not amenable (see \cite{Chou}).
552: \item If $G$ is minimally weakly almost periodic, the kernel of
553: $G_\WAP$ (see \cite{Bur} for the definition) must equal $G_\WAP
554: \setminus G$. Hence, by Corollary \ref{idcor}, a non-compact $[\SIN]$-group cannot be minimally weakly almost periodic.
555: (This follows also immediately from the main result of \cite{Chou2}).
556: \end{remarks}
557: \par
558: The verification of the following lemma is routine:
559: %
560: \begin{lemma} \label{diaglem}
561: Let $\A$ and $\B$ be dual Banach algebras each of which as a normal, virtual diagonal. Then $\A \oplus \B$ has a normal, virtual diagonal.
562: \end{lemma}
563: \par
564: It is now fairly straightforward to refute our ``conjecture'' from \cite{Run4}:
565: %
566: \begin{proposition} \label{dprop}
567: Let $G$ be a locally compact, minimally weakly almost periodic group. Then the following are equivalent:
568: \begin{items}
569: \item $G$ is amenable.
570: \item $\WAP(G)^\ast$ has a normal, virtual diagonal.
571: \end{items}
572: \end{proposition}
573: %
574: \begin{proof}
575: (i) $\Longrightarrow$ (ii): Without loss of generality, suppose that $G$ is not compact. Let $\pi_a \!: \WAP(G)^\ast \to \AP(G)^\ast$ and $\pi_0 \!: \WAP(G)^\ast \to M(G)$ be the respective restriction maps; they are
576: $w^\ast$-continuous algebra homomorphism. Since $\WAP(G) = \AP(G) \oplus {\cal C}_0(G)$, it follows that $\pi_a \oplus \pi_0 \!: \WAP(G)^\ast \to \AP(G)^\ast \oplus M(G)$ is a $w^\ast$-continuous isomorphism.
577: Since $G$ is amenable $M(G)$ has a normal, virtual diagonal by \cite{Run3}, and the same is true for $\AP(G)^\ast \cong M(G_\AP)$. From Lemma \ref{diaglem}, we conclude that $\WAP(G)^\ast$ has a normal, virtual diagonal.
578: \par
579: (ii) $\Longrightarrow$ (i) follows immediately from \cite[Proposition 4.11]{Run4}.
580: \end{proof}
581: %
582: \begin{example}
583: The motion group group $G := \reals^N \sdprod \SO(N)$ is minimally weakly almost periodic and amenable, so that $\WAP(G)^\ast$ has a normal, virtual diagonal even though $G$ fails to be compact.
584: \end{example}
585: \par
586: In view of Proposition \ref{dprop} and Corollary \ref{maincor}, the conjecture isn't farfetched that $\WAP(G)^\ast$ has a normal, virtual diagonal if and only if $G$ is amenable and minimally weakly almost periodic.
587: %
588: \begin{thebibliography}{D--G--H}
589: %
590: \begin{small} \renewcommand{\baselinestretch}{1}
591: %
592: \bibitem[B--J--M]{BJM} {\sc J.\ F.\ Berglund}, {\sc H.\ D.\ Junghenn}, and {\sc P.\ Milnes}, {\it Analysis on Semigroups\/}. Wiley-Interscience, 1988.
593: %
594: \bibitem[B--P]{BP} {\sc J.\ W.\ Bunce} and {\sc W.\ L.\ Paschke}, Quasi-expectations and amenable von Neumann algebras. {\it Proc.\ Amer.\ Math.\ Soc.\/}\ {\bf 71\/} (1978), 232--236.
595: %
596: \bibitem[Bur]{Bur} {\sc R.\ B.\ Burckel}, {\it Weakly Almost Periodic Functions on Semigroups\/}. Gordon and Breach, 1970.
597: %
598: \bibitem[Chou 1]{Chou} {\sc C.\ Chou}, Minimally weakly almost periodic groups. {\it J.\ Funct.\ Anal.\/}\ {\bf 36\/} (1980), 1--17.
599: %
600: \bibitem[Chou 2]{Chou2} {\sc C.\ Chou}, Weakly almost periodic functions and Fourier--Stieltjes algebras of locally compact groups. {\it Trans.\ Amer.\ Math.\ Soc.\/}\ {\bf 274\/} (1982), 141--157.
601: %
602: \bibitem[Con 1]{Con1} {\sc A.\ Connes}, Classification of injective factors. {\it Ann.\ of Math.\/}\ {\bf 104\/} (1976), 73--114.
603: %
604: \bibitem[Con 2]{Con2} {\sc A.\ Connes}, On the cohomology of operator algebras. {\it J.\ Funct.\ Anal.\/}\ {\bf 28\/} (1978), 248--253.%
605: %
606: \bibitem[C--G]{CG} {\sc G.\ Corach} and {\sc J.\ E.\ Gal\'e}, Averaging with virtual diagonals and geometry of representations. In: {\sc E.\ Albrecht} and {\sc M.\ Mathieu} (ed.s), {\it Banach Algebras '97\/}, pp.\ 87--100.
607: Walter de Grutyer, 1998.
608: %
609: \bibitem[D--G--H]{DGH} {\sc H.\ G.\ Dales}, {\sc F.\ Ghahramani}, and {\sc A. \ Ya.\ Helemski\u{\i}}, The amenability of measure algebras. {\it J.\ London Math.\ Soc.\/}\ (2) {\bf 66\/} (2002), 213--226.
610: %
611: \bibitem[Eff]{Eff} {\sc E.\ G.\ Effros}, Amenability and virtual diagonals for von Neumann algebras. {\it J.\ Funct.\ Anal.\/}\ {\bf 78\/} (1988), 137--156.
612: %
613: \bibitem[E--L]{EL} {\sc E.\ G.\ Effros} and {\sc E.\ C.\ Lance}, Tensor products of operator algebras. {\it J.\ Funct.\ Anal.\/}\ {\bf 25\/} (1977), 1--34.
614: %
615: \bibitem[E--K]{EK} {\sc E.\ G.\ Effros} and {\sc A.\ Kishimoto}, Module maps and Hochschild--Johnson cohomology. {\it Indiana Univ.\ Math.\ J.\/}\
616: {\bf 36\/} (1987), 257--276.
617: %
618: \bibitem[F--St]{FS} {\sc S.\ Ferri} and {\sc D.\ Strauss}, A note on the $\WAP$-compactification and the $\LUC$-com\-pac\-ti\-fi\-ca\-tion of a topological group. {\it Semigroup Forum\/} (to appear).
619: %
620: \bibitem[Hel]{Hel} {\sc A.\ Ya.\ Helemski\u{\i}}, Homological essence of amenability in the sense of A.\ Connes: the injectivity of the predual bimodule (translated from the Russian). {\it Math.\ USSR--Sb\/}\ {\bf 68\/} (1991), 555--566.
621: %
622: \bibitem[Joh 1]{Joh0} {\sc B.\ E.\ Johnson}, Separate continuity and measurability. {\it Proc.\ Amer.\ Math.\ Soc.\/}\ {\bf 20\/} (1969), 420--422.
623: %
624: \bibitem[Joh 2]{Joh1} {\sc B.\ E.\ Johnson}, Cohomology in Banach algebras. {\it Mem.\ Amer.\ Math.\ Soc.\/}\ {\bf 127\/} (1972).
625: %
626: \bibitem[Joh 3]{Joh2} {\sc B.\ E.\ Johnson}, Approximate diagonals and cohomology of certain annihilator Banach algebras. {\it Amer.\ J.\ Math.\/}\ {\bf 94\/} (1972), 685--698.
627: %
628: \bibitem[J--K--R]{JKR} {\sc B.\ E.\ Johson}, {\sc R.\ V.\ Kadison}, and {\sc J.\ Ringrose}, Cohomology of operator algebras, III. {\it Bull.\ Soc.\ Math.\ France\/} {\bf 100\/} (1972), 73--79.
629: %
630: \bibitem[Pat]{Pat} {\sc A.\ L.\ T.\ Paterson}, {\it Amenability\/}. American
631: Mathematical Society, 1988.
632: %
633: \bibitem[Ped]{Ped} {\sc G.\ K.\ Pedersen}, {\it $\cstar$-Algebras and their
634: Automorphism Groups\/}. Academic Press, 1979.
635: %
636: \bibitem[Run 1]{Run1} {\sc V.\ Runde}, Amenability for dual Banach algebras. {\it Studia Math.\/}\ {\bf 148\/} (2001), 47--66.
637: %
638: \bibitem[Run 2]{LoA} {\sc V.\ Runde}, {\it Lectures on Amenability\/}. Lecture Notes in Mathematics {\bf 1774\/}, Springer Verlag, 2002.
639: %
640: \bibitem[Run 3]{Run2} {\sc V.\ Runde}, Connes-amenability and normal, virtual diagonals for measure algebras, I. {\it J.\ London Math.\ Soc.\/}\ {\bf 67\/} (2003), 643--656.
641: %
642: \bibitem[Run 4]{Run3} {\sc V.\ Runde}, Connes-amenability and normal, virtual diagonals for measure algebras, II. {\it Bull.\ Austral.\ Math.\ Soc.\/}\ (to appear).
643: %
644: \bibitem[Run 5]{Run4} {\sc V.\ Runde}, Dual Banach algebras:
645: Connes-amenability, normal, virtual diagonals, and injectivity of the
646: predual bimodule. {\it Math.\ Scand.\/}\ (to appear).
647: %
648: \bibitem[Was 1]{Was1} {\sc S.\ Wassermann}, On Tensor products of certain group $\cstar$-algebras. {\it J.\ Funct.\ Anal.\/}\ {\bf 23\/} (1976), 239--254.
649: %
650: \bibitem[Was 2]{Was2} {\sc S.\ Wassermann}, Injective $W^\ast$-algebras. {\it Math.\ Proc.\ Cambridge Phil.\ Soc.\/}\ {\bf 82\/} (1977), 39--47.
651: %
652: \end{small} \renewcommand{\baselinestretch}{1.2}
653: %
654: \end{thebibliography}
655: %
656: \dated
657: %
658: \vfill
659: %
660: \begin{tabbing}
661: {\it Address\/}: \= Department of Mathematical and Statistical Sciences \\
662: \> University of Alberta \\
663: \> Edmonton, Alberta \\
664: \> Canada T6G 2G1 \\[\medskipamount]
665: {\it E-mail\/}: \> {\tt vrunde@ualberta.ca}\\[\medskipamount]
666: {\it URL\/}: \> {\tt http://www.math.ualberta.ca/$^\sim$runde/}
667: \end{tabbing}
668:
669: %
670: \end{document}
671: