1: \documentclass[11pt]{article}
2: %
3: \input{format} \input{mathdefs}
4: %
5: \newtheorem{theorem}{Theorem}
6: \newtheorem{lemma}[theorem]{Lemma}
7: \newtheorem{corollary}[theorem]{Corollary}
8: \newtheorem{proposition}[theorem]{Proposition}
9: \newtheorem{df}[theorem]{Definition}
10: \newenvironment{definition}{\begin{df} \rm}{\end{df}}
11: \newtheorem{quest}{Question}
12: \newenvironment{question}{\begin{quest} \rm}{\end{quest}}
13: %
14: \begin{document}
15: %
16: \title{An amenable, radical Banach algebra}
17: \author{\it Volker Runde}
18: \date{}
19: \maketitle
20: %
21: \begin{abstract}
22: We give an example of an amenable, radical Banach algebra, relying on results
23: from non-abelian harmonic analysis due to H.\ Leptin, D.\ Poguntke and
24: J.\ Boidol.
25: \end{abstract}
26: %
27: Let $A$ be a Banach algebra, and let $E$ be a Banach $A$-module. A bounded
28: linear map $D \!: A \to E$ is called a {\it a derivation\/} if
29: \[
30: D(ab) = a.Db + (Da).b \qquad (a,b \in A).
31: \]
32: A derivation $D \!: A \to E$ is said to be {\it inner\/} if
33: \[
34: Da = x.a -a.x \qquad (a \in A)
35: \]
36: for some $x \in E$. For any Banach $A$-module $E$, its dual space
37: $E^\ast$ is naturally equipped with a Banach $A$-module structure via
38: \[
39: \langle x, a.\phi \rangle := \langle x.a ,\phi \rangle
40: \quad\mbox{and}\quad
41: \langle x, \phi.a \rangle := \langle a.x, \phi \rangle
42: \qquad (a \in A, \, x \in E, \, \phi \in E^\ast).
43: \]
44: \par
45: We can now give the definition of an amenable Banach algebra:
46: %
47: \begin{definition} \label{amB}
48: A Banach algebra $A$ is {\it amenable\/} if, for each Banach $A$-module $E$,
49: every derivation $D \!: A \to E^\ast$ is inner.
50: \end{definition}
51: \par
52: The notion of amenability for Banach algebras was introduced by B.\ E.\
53: Johnson in \cite{BEJ}. A locally compact group $G$ is called amenable if it
54: possesses a translation-invariant mean, i.e.\ if there is a linear functional
55: $\phi \!: L^\infty(G) \to \comps$ satisfying
56: \[
57: \phi(1) = \| \phi \| = 1 \qquad\mbox{and}\qquad
58: \phi(\delta_x \ast f) = \phi(f) \quad (x \in G, \, f \in L^\infty(G)).
59: \]
60: For instance, all abelian and all compact groups are amenable. For further
61: information, see the monograph \cite{Pat}. In \cite{BEJ}, B.\ E.\ Johnson
62: proved the following fundamental theorem which provides the motivation for
63: Definition \ref{amB}:
64: %
65: \begin{theorem}
66: Let $G$ be a locally compact group. Then $G$ is amenable if and only if
67: $L^1(G)$ is amenable.
68: \end{theorem}
69: \par
70: Since then, amenability has turned out to be an extremely fruitful concept in
71: Banach algebra theory. We only would like to mention the following deep result
72: due to A.\ Connes (\cite{Connes}) and U.\ Haagerup (\cite{Haa}):
73: %
74: \begin{theorem}
75: A $\cstar$-algebra is amenable if and only if it is nuclear.
76: \end{theorem}
77: \par
78: In \cite{Rick}, P.\ C.\ Curtis asked the following question:
79: %
80: \begin{question} \label{phil}
81: Is there an amenable, radical Banach algebra?
82: \end{question}
83: \par
84: In these notes, I would like to answer this question affirmativly.
85: \par
86: Let $A$ be a Banach algebra, and let $\Prim(A)$ denote the space of its
87: primitive ideals endowed with the Jacobson topology. Recall that a closed
88: subset $F$ of $\Prim(A)$ is a {\it set of synthesis\/} for $A$ if $\ker(F)$
89: is the only closed ideal $I$ of $A$ such that $F = \hull(I)$. Otherwise,
90: $F$ is called a set of non-synthesis for $A$
91: %
92: \begin{definition}
93: A Banach algebra is said to be {\it weakly Wiener\/} if the empty set is
94: a set of synthesis for $A$.
95: \end{definition}
96: \par
97: As is customary, we call a locally compact group $G$ weakly Wiener if
98: $L^1(G)$ is weakly Wiener.
99: \par
100: The following proposition is easily verified:
101: %
102: \begin{proposition}
103: Suppose there is a locally compact group which is amenable, but not weakly
104: Wiener. Then there is an amenable, radical Banach algebra.
105: \end{proposition}
106: %
107: \begin{proof}
108: Since $G$ fails to be weakly Wiener, there is a proper, closed ideal $J$ of
109: $L^1(G)$ whose hull in $\Prim(L^1(G))$ is empty. Then $R := L^1(G)/J$ is a
110: radical Banach algebra which, being the quotient of an amenable Banach algebra,
111: has to be amenable.
112: \end{proof}
113: \par
114: It thus makes sense to ask:
115: %
116: \begin{question} \label{q2}
117: Is there a locally compact group which is amenable, but fails to be weakly
118: Wiener?
119: \end{question}
120: \par
121: By the proposition, an affirmative answer to Question \ref{q2} entails an
122: affirmative one to Question \ref{phil}. When I posed Question \ref{q2} to Jean
123: Ludwig of Metz he was (to my surprise) not only able to answer the question
124: immediately upon learning of it, but also claimed that Question \ref{q2} had
125: already been settled in the eighties by J.\ Boidol. The example is the group
126: \[
127: G_{4,9}(0) := \left\{ \left[\begin{array}{rrr}
128: e^t & x & e^t z \\ 0 & e^{-t} & y \\ 0 & 0 & 1
129: \end{array}\right] :
130: t,x,y,z \in \reals \right\}.
131: \]
132: Another way of describing $G_{4,9}(0)$ is as follows. The {\it Heisenberg
133: group\/} is defined as
134: \[
135: H_1 := \left\{ \left[\begin{array}{rrr}
136: 1 & x & z \\ 0 & 1 & y \\ 0 & 0 & 1
137: \end{array}\right] :
138: x,y,z \in \reals \right\}.
139: \]
140: Let ${\mathfrak A}(H_1)$ denote the group of automorphisms of $H_1$, and define
141: $\phi \!: \reals \to {\mathfrak A}(H_1)$ through
142: \[
143: \phi(t) \left( \left[\begin{array}{rrr}
144: 1 & x & z \\ 0 & 1 & y \\ 0 & 0 & 1
145: \end{array}\right] \right) :=
146: \left( \left[\begin{array}{rrr}
147: 1 & e^{-t} x & z \\ 0 & 1 & e^t y \\ 0 & 0 & 1
148: \end{array}\right] \right).
149: \]
150: Then we may identify $G_{4,9}(0)$ with the semidirect product $H_1 \times_\phi
151: \reals$. In particular, $G_{4,9}(0)$ is an abelian extension of the
152: nilpotent group $H_1$, thus solvable, and therefore amenable.
153: \par
154: What remains to be shown is that $G_{4,9}(0)$ is not weakly Wiener. As
155: Ludwig claims, this was proved by Boidol. Apparently, Boidol never published
156: his finding. However, the proof of \cite[Theorem 6]{LP} can be modified
157: with the help of \cite[Lemma 1]{Boi} to yield the desired result.
158: \par
159: We require two lemmas, the first of which is completely elementary:
160: %
161: \begin{lemma} \label{l1}
162: Let $A$ be a Banach algebra which is weakly Wiener. Then every quotient of
163: $A$ is weakly Wiener.
164: \end{lemma}
165: \par
166: The second lemma is a variant of the lemma on \cite[p.\ 130]{LP}. For
167: a Banach algebra $A$ we write $M(A)$ to denote its double centralizer algebra.
168: %
169: \begin{lemma} \label{l2}
170: Let $A$ be a Banach algebra which is weakly Wiener, and let $p \in M(A)$
171: be an idempotent such that $ApA$ is dense in $A$. Then $pAp$
172: is weakly Wiener.
173: \end{lemma}
174: %
175: \begin{proof}
176: Let $J \subsetneq pAp$ be a closed ideal, and let $I$ denote the closed ideal
177: of $A$ generated by $J$. Obviously, $I = \cl{I_0}$ with
178: \[
179: I_0 := J + AJ + JA + AJA,
180: \]
181: and consequently, $pIp \subset J$. This means that $I \subsetneq A$. Since,
182: by assumption, $A$ is weakly Wiener, there is a primitive ideal $P$ of $A$
183: such that $I \subset P$. Let $Q := pAp \cap P$. Assume that $Q = pAp$.
184: Then $(ApA)^2 \subset P$, and since $P$ is primitive, $ApA \subset P$.
185: The density of $ApA$ in $A$ yields $A =P$, which is a contradiction.
186: Let $\pi$ be an irreducible representation of $A$ on some linear space,
187: say $E$, such that $\ker \pi = P$. Since $A$ is an ideal in $M(A)$, $\pi$
188: extends canonically to an irreducible representation of $M(A)$ on $E$, which
189: we denote by $\pi$ as well. Since $p A p \not\subset P$, we have $\pi(p) \neq
190: 0$. Let $x \in \pi(p)E \setminus \{ 0 \}$. Then
191: \[
192: \pi(pAp)x = \pi(pA)x = \pi(p)\pi(A)x = \pi(p)E,
193: \]
194: and consequently $(\pi |_{pAp}, \pi(p)E)$ is an irreducible representation
195: of $pAp$ (compare the proof of \cite[Theorem 26.14]{BD}), and $Q$ is primitive.
196: \end{proof}
197: \par
198: Furthermore, we require the theory of generalized $L^1$-algebras as
199: given in \cite{Lep}. Let $G$ be a locally compact group, and let $\cal A$
200: be a Banach $^\ast$-algebra with isometric involution such that $G$ acts on
201: $\cal A$ as a group of isometric $^\ast$-automorphisms; for $x \in G$, we
202: write ${\cal A} \ni a \mapsto a^x$ for the automorphism implemented by
203: $x$. The Banach space $L^1(G,{\cal A})$ becomes a Banach $^\ast$-algebra with
204: isometric involution via
205: \begin{eqnarray*}
206: (f \ast g)(x) := \int_G f(xy)^{y^{-1}} g(y^{-1}) \, dy
207: \quad\mbox{and}\quad f^\ast(x) := \Delta_G(x)^{-1} (f(x^{-1})^x)^\ast & & \\
208: (f,g \in L^1(G,{\cal A}), \, x \in G) & &
209: \end{eqnarray*}
210: where $dx$ denotes left Haar measure, and $\Delta_G$ is the modular function
211: on $G$.
212: \par
213: Our main result will be that for a specific choice of $\cal A$ the algebra
214: $L^1(G,{\cal A})$ fails to be weakly Wiener and then use this to conclude that
215: $G_{4,9}(0)$ is not weakly Wiener.
216: \par
217: We shall be concerned with the following situation:
218: \begin{itemize}
219: \item $G$ and $H$ are locally compact groups, and
220: \item $G$ acts continuously and automorphically on $H$, i.e.\ there is a
221: continuous mapping $G \times H \to H$, $(g,x) \mapsto x^g$ such that
222: $xy)^g = x^g y^g$, $(x^g)^h = x^{gh}$, and $x^1 = x$.
223: \end{itemize}
224: For each $g \in G$, $dx^g$ is left Haar measure. Thus, there is a positive
225: real number $\Delta_{G,H}(g)$ such that $dx^g = \Delta_{G,H}(g) \, dx$.
226: \par
227: For $f \in {\cal C}_0(H)$ and $h \in H$, we define $f_h$ and $f^h$ via
228: \[
229: f^h(x) := f(hx) \quad\mbox{and}\quad f_h(x) := f(xh) \qquad
230: (x \in H).
231: \]
232: We shall also require a subalgebra $\cal Q$ of ${\cal C}_0(H)$ with the
233: following properties:
234: \begin{items}
235: \item $\cal Q$ is a $^\ast$-subalgebra of ${\cal C}_0(H)$ equipped with a
236: Banach algebra $| \cdot |$ such that $|q^\ast| = |q| \geq \| q \|_\infty$.
237: \item For $q \in \cal Q$ and $h$, we have $q^h \in \cal Q$ and
238: $|q^h| = |q|$.
239: \item For each $q \in \cal Q$, the map $H \ni h \mapsto q^h$ is continuous.
240: \item The compactly supported functions in $\cal Q$ form a dense subalgebra
241: ${\cal Q}_{00}$.
242: \item For every neighborhood $U$ of $1_H$, there is $u \in \cal Q$ such that
243: \begin{itemize}
244: \item[(a)] $u \not\equiv 0$ and $\supp(u) \subset U$,
245: \item[(b)] $u_h \in \cal Q$ for all $h \in H$, and
246: \item[(c)] the map $H \ni h \mapsto u_h$ is continuous.
247: \end{itemize}
248: \end{items}
249: %
250: \begin{examples}
251: \item Obviously, ${\cal C}_0(H)$ satisfies all the requirements.
252: \item In case $H$ is abelian, we may choose ${\cal Q} = A(H) \cong
253: L^1(\hat{H})$.
254: \end{examples}
255: \par
256: Let $\cal Q$ be as described above. For $u \in \cal Q$ and $g \in G$, let
257: \[
258: (u \circ g)(x) := u(x^{g^{-1}}) \qquad (x \in H).
259: \]
260: We assume moreover:
261: \begin{items}
262: \item[(vi)] For each $g \in G$, the map ${\cal Q} \ni q \mapsto
263: q \circ g$ is an isometric automorphisms of $\cal Q$.
264: \item[(vii)] For each $q \in \cal Q$, the map $G \ni g \mapsto q \circ g$ is
265: continuous.
266: \end{items}
267: \par
268: These assumptions are certainly true for the two examples given above.
269: \par
270: In this situation, we may speak of $L^1(H,{\cal Q})$. For $f \in
271: L^1(H,{\cal Q})$ and $g \in G$, let
272: \[
273: f^g(x) := \Delta_{G,H}(g)^{-1} f(x^{g^{-1}}) \circ g \qquad (x \in H).
274: \]
275: Thus, for each $g \in G$, the mapping $L^1(H,{\cal Q}) \ni f \mapsto f^g$ is
276: an isometric $^\ast$-isomorphism, and we may speak of $L^1(G,L^1(H,{\cal Q}))$.
277: \par
278: We are finally in a position to state the main theorem of these notes:
279: %
280: \begin{theorem} \label{LPB}
281: Let $G$, $H$ and $\cal Q$ be given as above, let ${\cal A} :=
282: L^1(H,{\cal Q})$, and suppose that $\Delta_{G,H} \not\equiv 1$. Then
283: $L^1(G,{\cal A})$ is not weakly Wiener.
284: \end{theorem}
285: %
286: \begin{proof}
287: For the sake of brevity, write ${\cal L} := L^1(G,{\cal A})$. Let
288: ${\mathfrak H} := L^2(H)$. We begin by defining a faithful $^\ast$-representation
289: $\rho$ of $\cal A$ on $\mathfrak H$. For $f \in \cal A$ and
290: $\xi \in \mathfrak H$, let --- note that we can view $f$ as a function on
291: $H \times H$ ---
292: \begin{equation} \label{eq1}
293: (\rho(f)\xi)(x) = \int_H f(xy,y^{-1}) \xi(y^{-1}) \, dy
294: \qquad (x \in H).
295: \end{equation}
296: For $u,v \in {\cal Q}_{00}$, define $u \circ v \in \cal A$ through
297: \[
298: (u \circ v)(x) := \Delta_H(x)^{1/2} u^x \bar{v}.
299: \]
300: Then we have
301: \begin{equation} \label{eq2}
302: (u \circ v)(x,y) = \Delta(x)^{1/2} u(xy) \overline{v(x)} \qquad
303: (x,y \in H).
304: \end{equation}
305: Letting $u'(x) := \Delta_H(x)^{1/2} u(x)$, we obtain from (\ref{eq1}) and
306: (\ref{eq2}) that
307: \begin{eqnarray*}
308: (\rho(u \circ v) \xi)(x) & := & \int_H
309: \Delta_H(xy^{-1})^{1/2} u(x) \overline{v(y^{-1})} \xi(y^{-1}) \, dy \\
310: & = & u'(x) \int_H \xi(y^{-1}) \overline{v(y^{-1})}
311: \Delta_H(y^{-1})^{1/2}\, dy \\
312: & = & \langle \xi, v' \rangle u'(x).
313: \end{eqnarray*}
314: Thus $\rho(u \circ v)$ is a rank one operator, which in case $\| u' \|_2 = 1$
315: is a projection.
316: \par
317: Fix a real valued function $u \in {\cal Q}_{00}$ such that $u(1_H) > 0$ and
318: $\| u' \|_2 = 1$, and let $p := u \circ u$. Since $\rho$ is faithful and
319: $\rho(p)$ has rank one, it follows that $p$ is a projection in $\cal A$
320: such that $p{\cal A}p = \comps p$. Define a projection $p^\# \in M({\cal L})$
321: by letting
322: \[
323: (p^\# f)(g) := p^g f(g) \quad\mbox{and}\quad (f p^\#)(g) := f(g)p
324: \qquad (g \in G).
325: \]
326: We wish to apply Lemma \ref{l2}. As is shown in the proof of
327: \cite[Theorem 4]{LP}, ${\cal A}p{\cal A}$ is dense in $\cal A$, and as
328: pointed out on \cite[p.\ 131]{LP} this implies the density of ${\cal L} p^\#
329: {\cal L}$ in $\cal L$. Thus, we are finished once we have established that
330: ${\cal L}_p := p^\#{\cal L} p^\#$ fails to be weakly Wiener.
331: \par
332: Let $\cal K$ denote the compact linear operators on $\mathfrak H$. Again from
333: the proof of \cite[Theorem 4]{LP}, we see that $\rho({\cal A}) \subset \cal K$.
334: Define a unitary representation of $G$ on $\mathfrak H$ by letting
335: \[
336: (\pi(g)\xi)(x) := \Delta_{G,H}(g)^{1/2} \xi(x^g)
337: \qquad (g \in G, \, x \in H, \, \xi \in {\mathfrak H}).
338: \]
339: Then for $g \in G$, $a \in \cal A$, and $\xi \in \mathfrak H$, we have
340: \begin{eqnarray*}
341: (\pi(g)^\ast\rho(a)\pi(g)\xi)(x) & = & \Delta_{G,H}^{1/2}(g)
342: (\rho(a)\pi(g)\xi (x^{g^{-1}}) \\
343: & = & \Delta_{G,H}^{1/2}(g) \int_H a(x^{g^{-1}}y,y^{-1})(\pi(g)\xi)(y^{-1})
344: \, dy \\
345: & = & \int_H a(x^{g^{-1}}y,y^{-1})\xi((y^g)^{-1}) \, dy \\
346: & = & \int_H \Delta_{G,H}(g)^{-1} a((xy)^{g^{-1}},(y^{-1})^{g^{-1}})
347: \xi(y^{-1}) \, dy \\
348: & = & (\rho(a^g)\xi)(x) \qquad (x \in H),
349: \end{eqnarray*}
350: i.e.\ $\pi$ implements the action of $G$ on $\rho(A)$. In what follows,
351: we shall suppress the symbol $\rho$ and view $\cal A$ as a subalgebra of
352: $\cal K$.
353: \par
354: Let $G$ act on $\cal K$ in the trivial way, and consider the generalized group
355: algebra $L^1(G,{\cal K})$. For $f \in \cal L$, let
356: \[
357: f^\natural(g) := \pi(g)f(g) \qquad (g \in G).
358: \]
359: It is easy to see that $f^\natural \in L^1(G,{\cal K})$, and that
360: $\sigma \!: {\cal L} \to L^1(G,{\cal K}), \, f \mapsto f^\natural$ is a
361: faithful $^\ast$-ho\-mo\-mor\-phism.
362: We wish to compute $\sigma({\cal L}_p)$. For $f \in \cal L$ and $g \in G$,
363: we have $(p^\# f p^\#)(g) = p^gf(g)p$, i.e.\ we have
364: \[
365: f \in {\cal L}_p \iff \mbox{$f(g) = p^gf(g)p$ for almost all $g \in G$}.
366: \]
367: Thus, for $f \in \cal L$ and for almost all $g \in G$, we have
368: \[
369: f^\natural(g) = \pi(g)f(g) = \pi(g)p^gf(g)p = p \pi(g)f(g)p =
370: \phi(g)p,
371: \]
372: for some $\phi(g) \in \comps$. Let $| \cdot |_\ast$ denote the
373: $\cstar$-norm on ${\cal K}$. Then we have
374: \[
375: |\phi(g)| = |f^\natural(g)|_\ast = |f(g)|_\ast \leq \| f (g) \|.
376: \]
377: Consequently, $\sigma({\cal L}_p) \subset L^1(G) \cong p L^1(G,{\cal K})p$.
378: View ${\cal Q}_{00}$ as
379: a subspace of $\mathfrak H$. Then cleary $\pi(G){\cal Q}_{00} \subset
380: {\cal Q}_{00}$. In particular, we have
381: \[
382: (\pi(g)u)(x) = \Delta_{G,H}^{1/2}(g)u(x^g) \qquad (g \in G, \, x \in H).
383: \]
384: Define
385: \[
386: w(g) := \pi(g^{-1})u \circ u \qquad (g \in G).
387: \]
388: Is is easily seen (compare \cite[p.\ 129]{LP}) that
389: \[
390: p^g {\cal A}p = \comps w(g) \quad\mbox{and}\quad
391: | \omega(g) |_\ast = 1.
392: \]
393: It follows hat each $f \in {\cal L}_p$ has the form $f(g) = \phi(g)w(g)$.
394: Letting
395: \[
396: \omega(g) := \| w(g) \| \qquad (g \in G),
397: \]
398: we conclude that $\sigma({\cal L}_p)$ is the Beurling algebra
399: $L^1(G,\omega)$ (it is shown on \cite[p.\ 130]{LP} that $\omega$ is indeed
400: a weight). For $g \in G$, we have
401: \begin{eqnarray*}
402: \omega(g) & = & \| \pi(g^{-1})u \circ u \| \\
403: & = & \int_H | (\pi(g^{-1})u)^x u | \Delta_H(x)^{1/2} \, dx \\
404: & \geq & \int_H \| (\pi(g^{-1})u)^x u \|_\infty \Delta_H(x)^{1/2} \, dx \\
405: & = & \int_H (\sup_{y \in H} |\pi(g^{-1})u(xy)u(y)|)
406: \Delta_H(x)^{1/2} \, dx \\
407: & \geq & \int_H |\Delta_{G,H}(g)^{1/2} u(1_H)u(x^{-1})|
408: \Delta_H(x)^{1/2} \, dx \\
409: & = & \Delta_{G,H}(g)^{1/2} \Bigg[
410: \underbrace{u (1_H) \int_H \Delta_H(x)^{1/2}|u(x^{-1})|
411: \,dx}_{:=\Omega>0}
412: \Bigg].
413: \end{eqnarray*}
414: Assume that ${\cal L}_p$ is weakly Wiener. Then by Lemma \ref{l1},
415: $L^1(G,\omega)$ is weakly Wiener. Since $\Delta_{G,H}^{1/2}(\cdot)$ is
416: a homomorphism from $G$ into the abelian group $\reals \setminus \{ 0 \}$,
417: there is no loss of generality if we assume that $G$ is also abelian.
418: By assumption, there is $g \in G$, such that $\Delta_{G,H}(g)^{1/2} > 1$.
419: We thus have
420: \[
421: \sum_{n=1}^\infty \frac{\log\omega(g^n)}{n^2} \geq
422: \sum_{n=1}^\infty \frac{\log\Omega}{n^2} +
423: \sum_{n=1}^\infty \frac{\log \Delta_{G,H}(g^n)^{1/2}}{n^2}
424: = \sum_{n=1}^\infty \frac{\log\Omega}{n^2} + \frac{1}{2}
425: \sum_{n=1}^\infty \frac{\Delta_{G,H}(g)}{n} =
426: \infty.
427: \]
428: Thus, $L^1(G,\omega)$ does not satisfy the Beurling-Domar condition
429: (\cite[p.\ 132]{Rei}) for a Beurling algebra to be weakly Wiener, and
430: we have reached a contradiction (compare \cite{Boi}).
431: \end{proof}
432: %
433: \begin{corollary}
434: $G_{4,9}(0)$ is not weakly Wiener.
435: \end{corollary}
436: %
437: \begin{proof}
438: We identify $L^1(G_{4,9}(0))$ and $L^1(\reals,L^1(H_1))$. For $f \in
439: L^1(H_1)$, define
440: \[
441: \dot{f}(x,s) := \int f(x,y,z) e^{-i(sy+z)} \, dy \, dz.
442: \]
443: The map $L^1(H_1) \ni f \mapsto \dot{f}$ is easily seen to be an
444: epimorphism onto ${\cal A} := L^1(\reals,{\cal Q})$ with ${\cal Q} :=
445: A(\reals)$, which in turn induces an epimorphism from
446: $L^1(G_{4,9}(0))$ onto $L^1(\reals,{\cal A})$. So, if $L^1(G_{4,9}(0))$
447: is weakly Wiener, the same must be true for $L^1(\reals,{\cal A})$ by
448: Lemma \ref{l1} (here, the action of $\reals$ on $\reals$ is given by
449: $(t,x) \mapsto e^{-t}x$). Consequently, $\Delta_{\reals,\reals}(t) =
450: e^{-t} \not \equiv 1$. From Theorem \ref{LPB}, we obtain that $L^1(\reals,
451: {\cal A})$ cannot be wekaly Wiener.
452: \end{proof}
453: \par
454: In view of the proposition, we finally obtain the promised answer to
455: Question \ref{phil}:
456: %
457: \begin{corollary}
458: There is an amenable, radical Banach algebra.
459: \end{corollary}
460: \par
461: It is not clear at all (and in fact extremely unlikely) that the amenable,
462: radical Banach algebra whose existence we have just proved is commutative.
463: Hence, the following question remains open (\cite[Problem 13]{Hel}):
464: %
465: \begin{question}
466: Is there a commutative, amenable, radical Banach algebra?
467: \end{question}
468: %
469: \begin{thebibliography}{0000}
470: %
471: \bibitem[Boi]{Boi} {\sc J.\ Boidol}, On a regularity condition for group
472: algebras of non abelian locally compact groups. In {\sc N.\ Petridis},
473: {\sc S.\ K.\ Pichorides}, and {\sc N.\ Varopoulos} (ed.s),
474: {\it Harmonic Analysis. Iraklion 1978\/}. Springer Verlag (1980), pp.\ 16--21.
475: %
476: \bibitem[B-D]{BD} {\sc F.\ F.\ Bonsall} and {\sc J.\ Duncan}, {\it Complete
477: Normed Algebras\/}. Springer Verlag (1973).
478: %
479: \bibitem[Con]{Connes} {\sc A.\ Connes}, On the cohomology of operator algebras.
480: {\it J.\ Funct.\ Anal.\/}\ {\bf 28\/} (1978), 248--253.
481: %
482: \bibitem[Hel]{Hel} {\sc A.\ Ya.\ Helemskii}, 31 problems of the homology of
483: the algebras of analysis. In {\sc V.\ P.\ Havin} and {\sc N.\ K.\ Nikolskii}
484: (ed.s), {\it Linear and Complex Analysis Problem Book 3. Part I\/}. Springer
485: Verlag (1994), pp.\ 54--78.
486: %
487: \bibitem[Haa]{Haa} {\sc U.\ Haagerup}, All nuclear $\cstar$-algebras are
488: amenable. {\it Invent.\ math.\/}\ {\bf 74\/} (1983), 305--319.
489: %
490: \bibitem[Joh]{BEJ} {\sc B.\ E.\ Johnson}, Cohomology in Banach algebras.
491: {\it Mem.\ Amer.\ Math.\ Soc.\/}\ {\bf 127\/} (1972).
492: %
493: \bibitem[Lep]{Lep} {\sc H.\ Leptin}, Verallgemeinerte $L^1$-Algebren und
494: projektive Darstellungen lokal kompakter Gruppen. {\it Invent.\ math.\/}\
495: {\bf 3\/} (1967), 257--281; {\bf 4\/} (1967), 68--86.
496: %
497: \bibitem[L-P]{LP} {\sc H.\ Leptin} and {\sc D.\ Poguntke}, Symmetry and
498: nonsymmetry for locally compact groups. {\it J.\ Funct.\ Anal.\/}\ {\bf 33\/}
499: (1979), 119--134.
500: %
501: \bibitem[Loy]{Rick} {\sc R.\ J.\ Loy} (ed.), {\it Conference on Automatic
502: Continuity and Banach Algebras\/}. Austr.\ Nat.\ Univ.\ (1989).
503: %
504: \bibitem[Pat]{Pat} {\sc A.\ L.\ T.\ Paterson}, {\it Amenability\/}. American
505: Mathematical Society (1988).
506: %
507: \bibitem[Rei]{Rei} {\sc H.\ Reiter}, {\it Classical Harmonic Analysis and
508: Locally Compact Groups\/}. Oxford University Press (1968).
509: %
510: \end{thebibliography}
511: %
512: \vfill
513: %
514: \begin{tabbing}
515: {\it Address\/}: \= Fachbereich 9 Mathematik \\
516: \> Universit\"at des Saarlandes \\
517: \> Postfach 151150 \\
518: \> 66041 Saarbr\"ucken \\
519: \> Germany \\ \medskip
520: {\it E-mail\/}: \> {\tt runde@math.uni-sb.de}
521: \end{tabbing}
522: %
523: \end{document}
524:
525:
526: