Completely Bounded Homomorphisms of the Fourier Algebras

M. Ilie,N. Spronk
2004-07-31
Abstract: For locally compact groups G and H let A(G) denote the Fourier algebra of G and B(H) the Fourier-Stieltjes algebra of H. Any continuous piecewise affine map alpha:Y -> G (where Y is an element of the open coset ring of H) induces a completely bounded homomorphism Phi_alpha:A(G) -> B(H) by setting Phi_alpha u(.)=u(alpha(.)) on Y and Phi_alpha u=0 off of Y. We show that if G is amenable then any completely bounded homomorphism Phi:A(G) -> B(H) is of this form; and this theorem fails if G contains a discrete nonabelian free group. Our result generalises results of P.J. Cohen, B. Host and of the first author. We also obtain a description of all the idempotents in the Fourier-Stieltjes algebras which are contractive or positive definite.
Functional Analysis,Operator Algebras
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce separable coordinate systems in complex and flat four - dimensional spaces and study the variable separation problems of these coordinate systems in the Hamilton - Jacobi equation and the Schrödinger equation. Specifically, the main objectives of the paper can be summarized as follows: 1. **Introducing separable coordinate systems**: The paper uses maximal Abelian subgroups (MASAs) to generate coordinate systems with the maximum number of negligible variables. These coordinate systems are called "subgroup - type coordinates". 2. **Analyzing the properties of coordinate systems**: The paper analyzes in detail the properties of these coordinate systems, including whether they are orthogonal, the order of the ordinary differential equations after separation, etc. For example, the ordinary differential equations after separation are not necessarily second - order, and sometimes may be first - order, and the solutions may involve elementary functions rather than special functions. 3. **Solving specific mathematical problems**: The paper solves how to construct coordinate systems that satisfy specific conditions under a given metric \(ds^2=\sum_{i,k = 1}^n g_{ik}(x)dx_i dx_k\). These conditions include: - Allowing variable separation in the time - independent free Schrödinger equation \(H\Psi=E\Psi\) and the Hamilton - Jacobi equation \(\sum_{i,k = 1}^n g_{ik}\frac{\partial W}{\partial x_i}\frac{\partial W}{\partial x_k}=E\). - All coordinates \(x_i\) are subgroup - type coordinates. - Each coordinate system contains the maximum number of negligible coordinates generated by the maximal Abelian subgroup \(G_M\subset G\). 4. **Applying to specific spaces**: The paper specifically considers problems in complex Euclidean space, real Euclidean space, and pseudo - Euclidean space, and gives specific coordinate systems and corresponding solutions in these spaces. 5. **Classification and illustration**: The paper not only provides a theoretical classification but also intuitively shows the relationships between different coordinate systems through subgroup chains. In conclusion, this paper aims to generate and analyze separable coordinate systems in four - dimensional flat spaces through a systematic method in order to better understand and solve the variable separation problems in the Hamilton - Jacobi equation and the Schrödinger equation. This not only helps with mathematical classification and understanding but also provides an important tool for physical applications.