×

Bimeasure algebras on locally compact groups. (English) Zbl 0601.43001

For locally compact groups G, H let \(BM=BM(G,H)\) denote the Banach space of bounded bilinear forms on \(C_ 0(G)\times C_ 0(H)\), that is, the dual of the projective tensor product \(C_ 0(G)\otimes_{\gamma} C_ 0(H)\). In general, BM(G,H) does not arise as the completion of M(G)\(\otimes M(H)\) with respect to any tensorial norm. Elements \(u\in BM\) are called bimeasures. There is a fundamental result of Grothendieck which associates to each u regular Borel probability measures \(\mu\) on G, \(\nu\) on H such that \[ | u(f,g)| \leq K \| u\| \| f\|_{L^ 2(\mu)}\cdot \| g\|_{L^ 2(\nu)}\text{ for all } f\in C_ 0(G),\quad g\in C_ 0(H), \] where K is a universal constant. [In fact, G and H need only be locally compact spaces for this.] Using this the authors construct a multiplication and an adjoint operation in BM which generalize the convolution structure in M(G\(\otimes H)\) [i.e., the injection of the latter into the former becomes a *-algebra isomorphism] and make BM a Banach *-algebra, except that the constant \(K^ 2\) intervenes in the submultiplicativity of the norm. This algebra is then studied.
The case of abelian G and H was investigated earlier by C. C. Graham and the third author [Pac. J. Math. 115, 91-127 (1984; Zbl 0502.43005)] and the convolution and involution defined here agree in this case with those defined in that earlier paper (via Fourier transforms). A proof promised in this earlier work is now presented, in the non-abelian framework. It concerns a concept of continuous bimeasure u: sup\(\{| u(f,g)|:\) \(f\in C_ 0(U)\), \(g\in C_ 0(V)\}\to 0\) as open sets \(U\downarrow x\), \(V\downarrow y\), for every \(x\in G\), \(y\in H\). There is also a notion of discrete bimeasure. These two classes, \(BM_ c\), \(BM_ d\) are closed vector subspaces of BM, and BM is their topological direct sum [a result due to S. Saeki, J. Math. Soc. Japan 28, 33-47 (1976; Zbl 0313.46022)]. Denoting the projection by the appropriate subscript, it is shown that \((u*v)_ d=u_ d*v_ d\) and from this follows easily that \(BM_ c\) is an ideal.
The closure of \(L^ 1(G\times H)\) in BM is denoted by \(BM_ a=BM_ a(G,H)\); in fact this is \(L^ 1(G)\otimes_{\gamma} L^ 1(H)\). It is a closed ideal and \(u\in BM\) lies in \(BM_ a\) iff a certain translation operation \((x,y)\to R^*_{(x,y)}u\) is norm-continuous, analogous to the well-known characterization of \(M_ a(G)\) in M(G) (Plessner-Raikov theorem) [cf. D. A. Raikov, Tr. Mat. Inst. Steklova 14 (1945; Zbl 0061.254)]. Moreover, the bounded linear operators T on \(BM_ a\) which satisfy \(T(u*v)=u*Tv\) [right mulipliers] are characterized, analogously to the \(M_ a(G)\) case, as right convolution by fixed elements of \(BM_ a\). However, there need not be a bounded projection of BM onto \(BM_ a\) and so no natural analog of singular measures need exist. It is shown that the natural map of \(BM(G_ 1,G_ 2)\to BM(G_ 1/H_ 1,G_ 2/H_ 2)\) is a surjective *-algebra homomorphism of norm 1 when \(G_ j\) are locally compact groups and \(H_ j\) are closed normal subgroups of them.
Next, the lifting of unitary representations of G, H on Hilbert spaces \({\mathcal H}_ 1\), \({\mathcal H}_ 2\), respectively, to a *-representation of BM on \({\mathcal H}_ 1\otimes {\mathcal H}_ 2\) is studied. This is always uniquely realizable. Moreover, for type I groups it leads to the bounded inclusion relation \(BM_ a\subset C^*(G\times H)\) (the group \(C^*\)- algebra) and BM\(\subset VN(G\times H)\) (the group von Neumann algebra). Finally, returning to the abelian case, the authors find a natural injection of maximal ideal spaces : \(i: {\mathcal M}_{M(G)}\times {\mathcal M}_{M(H)}\to {\mathcal M}_{BM}\). This map is sometimes surjective [e.g., if either G or H is discrete], but not always. The authors note that for \(\pi\) the restriction map of \({\mathcal M}_{BM}\to {\mathcal M}_{M(G\times H)}\), the composite \(\pi\) i injects \({\mathcal M}_{M(G)}\times {\mathcal M}_{M(H)}\) into \({\mathcal M}_{M(G\times H)}\). The construction of i is based on the extension of elements of BM to bilinear functionals on \(C_ 0(G)^{**}\times C_ 0(H)^{**}.\)
The paper is very clearly written. The authors provide good motivation and repeatedly remind the reader of the pervasive analogies with M(G). For example, there are two equivalent ways to define convolution in M(G) [\(\int_{G}f d(\mu *\nu):=\int_{G\times G}f(xy) d(\mu \times \nu)(x,y)\) and \(\int_{G}f d(\mu *\nu):=\int_{G}({\check \mu}*f) d\nu\) where \({\check \mu}\)*f(x):\(=\int_{G}f(xy) d\mu (x)]\) and there are two analogous and equivalent ways to do it in BM.
Reviewer: R.Burckel

MSC:

43A10 Measure algebras on groups, semigroups, etc.
22D25 \(C^*\)-algebras and \(W^*\)-algebras in relation to group representations
46H10 Ideals and subalgebras
22D10 Unitary representations of locally compact groups
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Carne, T. K., Tensor products and Banach algebras, J. London Math. Soc., 17, 480-488 (1978), (2) · Zbl 0389.46056
[2] Carne, T. K., Representation theory for tensor products of Banach algebras, (Math. Proc. Cambridge Philos. Soc., 90 (1981)), 445-463 · Zbl 0481.46025
[3] Gilbert, J. E., Harmonic analysis and the Grothendieck fundamental theorem, (Symposia Math., 22 (1977)), 393-420
[4] Gilbert, J. E.; Leih, T. J., Factorization, tensor products and bilinear forms in Banach space theory, (Lacey, H. E., Notes in Banach Spaces (1980), Univ. of Texas Press: Univ. of Texas Press Austin, Texas), 182-305 · Zbl 0471.46053
[6] Graham, C. C.; McGehee, O. C., Essays in Commutative Harmonic Analysis, (Grundl. der Math. Wissen., Vol. 238 (1979), Springer-Verlag: Springer-Verlag Berlin/Heidelberg/New York) · Zbl 0439.43001
[7] Graham, C. C.; Schreiber, B. M., Bimeasure algebras on LCA groups, Pacific J. Math., 115, 91-127 (1984) · Zbl 0502.43005
[8] Grothendieck, A., Produits tensoriels topologiques et espaces nucléaires, (Mem. Amer. Math. Soc. No. 16 (1955), Amer. Math. Soc: Amer. Math. Soc Providence, R.I) · Zbl 0064.35501
[9] Grothendieck, A., Resumé de la théorie metrique des produits tensoriels topologiques, Bol. Soc. Math. São Paulo, 8, 1-79 (1956) · Zbl 0074.32303
[10] Hewitt, E.; Ross, K. A., Abstract Harmonic Analysis, Vol. II, (Grundl. der Math. Wissen., Vol. 152 (1970), Springer-Verlag: Springer-Verlag Berlin/Heidelberg/New York) · Zbl 0213.40103
[11] Lindenstrauss, J.; Pelczyński, A., Absolutely summing operators in \(L_p\)-spaces and their application, Studia Math., 29, 275-326 (1968) · Zbl 0183.40501
[12] Milne, H. K., The injective tensor product of Banach algebras which are \(L_1\)-spaces, Bull. Lond. Math. Soc., 8, 261-262 (1976) · Zbl 0337.46057
[13] Reiter, H., Classical Harmonic Analysis and Locally Compact Groups (1968), Oxford Univ. Press: Oxford Univ. Press London · Zbl 0165.15601
[14] Saeki, S., Tensor products of C(X)-spaces and their conjugate spaces, J. Math. Soc. Japan, 28, 33-47 (1976) · Zbl 0313.46022
[15] Šreǐder, Yu. A., Amer. Math. Soc. Transl., 8, 365-391 (1962), (1)
[16] Tomiyama, J., Tensor products of commutative Banach algebras, Tôhoku Math. J., 12, 143-154 (1960), (2) · Zbl 0096.08203
[17] Varopoulos, N. Th, Tensor algebras and harmonic analysis, Acta Math., 119, 51-112 (1968) · Zbl 0163.37002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.