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.
We characterize completely bounded normal Jordan $*$-homomorphisms acting on von Neumann algebras. We also characterize completely positive isometries acting on noncommutative $\mathrm{L}^p$-spaces.
Every homomorphism $φ: B(G) \rightarrow B(H)$ between Fourier-Stieltjes algebras on locally compact groups $G$ and $H$ is determined by a continuous mapping $α: Y \rightarrow Δ(B(G))$, where $Y$ is a set in the open coset ring of $H$ and $Δ(B(G))$ is the Gelfand spectrum of $B(G)$ (a $*$-semigroup). We exhibit a large collection of maps $α$ for which $φ=j_α: B(G) \rightarrow B(H)$ is a completely positive/completely contractive/completely bounded homomorphism and establish converse statements in several instances. For example, we fully characterize all completely positive/completely contractiv…
We provide necessary and sufficient conditions for the existence of idempotents of arbitrarily large norms in the Fourier algebra A(G) and the Fourier-Stieltjes algebra B(G) of a locally compact group G. We prove that the existence of idempotents of arbitrarily large norm in B(G) implies the existence of homomorphisms of arbitrarily large norm from A(H) into B(G) for every locally compact group H. A partial converse is also obtained: the existence of homomorphisms of arbitrarily large norm from A(H) into B(G) for some amenable locally compact group H implies the existence of idempotents of arb…
We investigate conditions for the extendibility of continuous algebra homomorphisms $ϕ$ from the Fourier algebra $A(F)$ of a locally compact group $F$ to the Fourier-Stieltjes algebra $B(G)$ of a locally compact group $G$ to maps between the corresponding $L^\infty$ algebras which are weak* continuous. When $ϕ$ is completely bounded and $F$ is amenable, it is induced by a piecewise affine map $α: Y\to F$ where $Y\subseteq G$. We show that extendibility of $ϕ$ is equivalent to $α$ being an open map. We also study the dual problem for contractive homomorphisms $ϕ: L^1(F)\to M(G)$. We show that $…
We consider contractive homomorphisms of a planar algebra ${\mathcal A}(Ω)$ over a finitely connected bounded domain $Ω\subseteq \C$ and ask if they are necessarily completely contractive. We show that a homomorphism $ρ:{\mathcal A}(Ω) \to {\mathcal B}(\mathcal H)$ for which $\dim({\mathcal A}(Ω)/\ker ρ) = 2$ is the direct integral of homomorphisms $ρ_T$ induced by operators on two dimensional Hilbert spaces via a suitable functional calculus $ρ_T: f \mapsto f(T), f\in {\mathcal A}(Ω)$. It is well-known that contractive homomorphisms $ρ_T$, induced by a linear transformation $T:\C^2 \to \C^2$ …
We prove that if $ρ: A(H) \to B(G)$ is a homomorphism between the Fourier algebra of a locally compact group $H$ and the Fourier-Stieltjes algebra of a locally compact group $G$ induced by a mixed piecewise affine map $α: G \to H$, then $ρ$ extends to a w*-w* continuous map between the corresponding $L^\infty$ algebras if and only if $α$ is an open map. Using techniques from TRO equivalence of masa bimodules we prove various transference results: We show that when $α$ is a group homomorphism which pushes forward the Haar measure of $G$ to a measure absolutely continuous with respect to the Haa…
Inspired by Kalton and Wood's work on group algebras, we describe almost completely contractive algebra homomorphisms from Fourier algebras into Fourier-Stieltjes algebras (endowed with their canonical operator space structure). We also prove that two locally compact groups are isomorphic if and only if there exists an algebra isomorphism $T$ between the associated Fourier algebras (resp. Fourier-Stieltjes algebras) with completely bounded norm $\| T \|_{cb} < \sqrt {3/2}$ (resp. $ \| T \|_{cb} < \sqrt {5}/2$). We show similar results involving the norm distortion $\| T \| \| T ^{-1} \|$ with …
Given a locally compact quantum group $\mathbb G$, we study the structure of completely bounded homomorphisms $π:L^1(\mathbb G)\rightarrow\mathcal B(H)$, and the question of when they are similar to $\ast$-homomorphisms. By analogy with the cocommutative case (representations of the Fourier algebra $A(G)$), we are led to consider the associated map $π^*:L^1_\sharp(\mathbb G) \rightarrow \mathcal B(H)$ given by $π^*(ω) = π(ω^\sharp)^*$. We show that the corepresentation $V_π$ of $L^\infty(\mathbb G)$ associated to $π$ is invertible if and only if both $π$ and $π^*$ are completely bounded. Moreo…
In this paper, we follow two main goals. In the first attempt, we give some functorial properties of the $p$-analog of the Fourier-Stieltjes algebras in which we generalize some previously existed definitions and theorems in Arsac and Cowling's works, to utilize them to prove $p$-complete boundedness of some well-known maps on these algebras. In the second part, as an application of these generalizations, we prove $p$-completely boundedness of homomorphisms which are induced by continuous and proper piecewise affine maps that is a generalization of Ilie's work on Figà-Talamanca-Herz algebras.
In this article, we give a representation of bounded complex linear operators which preserve idempotent elements on the Fourier algebra of a locally compact group. When such an operator is moreover positive or contractive, we show that the operator is induced by either a continuous group homomorphism or a continuous group anti-homomorphism. If the groups are totally disconnected, bounded homomorphisms on the Fourier algebra can be realised by the idempotent preserving operators.
Let $A(G)$ and $B(H)$ be the Fourier and Fourier-Stieltjes algebras of locally compact groups $G$ and $H$, respectively. Ilie and Spronk have shown that continuous piecewise affine maps $α: Y \subseteq H\rightarrow G$ induce completely bounded homomorphisms $Φ:A(G)\rightarrow B(H)$, and that when $G$ is amenable, every completely bounded homomorphism arises in this way. This generalised work of Cohen in the abelian setting. We believe that there is a gap in a key lemma of the existing argument, which we do not see how to repair. We present here a different strategy to show the result, which in…
We show that a bounded, linear map between C*-algebras is a weighted $\ast$-homomorphism (the central compression of a $\ast$-homomorphism) if and only if it preserves zero-products, range-orthogonality, and domain-orthogonality. It follows that a self-adjoint, bounded, linear map is a weighted $\ast$-homomorphism if and only if it preserves zero-products. As an application we show that a linear map between C*-algebras is completely positive, order zero in the sense of Winter-Zacharias if and only if it is positive and preserves zero-products.
We define the spine A*(G) of the Fourier-Stieltjes algebra B(G) of a locally compact group G. A*(G) is graded over a certain semi-lattice, that of non-quotient locally precompact topologies on G. We compute the spine's spectrum G*, which admits a semi-group structure. We discuss homomorphisms from A*(G) to B(H) where H is another locally compact group; and we show that A*(G) contains the image of every completely bounded homomorphism from the Fourier algebra A(H) of any amenable group H. We also show that A*(G) contains all of the idempotents in B(G). Finally, we compute examples for vector gr…
Motivated by the definition of a semigroup compactification of a locally compact group and a large collection of examples, we introduce the notion of an (operator) "homogeneous left dual Banach algebra" (HLDBA) over a (completely contractive) Banach algebra $A$. We prove a Gelfand-type representation theorem showing that every HLDBA over $A$ has a concrete realization as an (operator) homogeneous left Arens product algebra: the dual of a subspace of $A^*$ with a compatible (matrix) norm and a type of left Arens product ${\scriptscriptstyle \square}$. Examples include all left Arens product alg…
We observe that for a large class of non-amenable groups $G$, one can find bounded representations of $A(G)$ on Hilbert space which are not completely bounded. We also consider restriction algebras obtained from $A(G)$, equipped with the natural operator space structure, and ask whether such algebras can be completely isomorphic to operator algebras; partial results are obtained, using a modified notion of Helson set which takes account of operator space structure. In particular, we show that if $G$ is virtually abelian, then the restriction algebra $A_G(E)$ is completely isomorphic to an oper…
We study Fourier multipliers on free group $\mathbb{F}_\infty$ associated with the first segment of the reduced words, and prove that they are completely bounded on the noncommutative $L^p$ spaces $L^p(\hat{\mathbb{F}}_\infty)$ iff their restriction on $L^p(\hat{\mathbb{F}}_1)=L^p(\mathbb{T})$ are completely bounded. As a consequence, every classical Mikhlin multiplier extends to a $L^p$ Fourier multiplier on free groups for all $1<p<\infty$.
The aim of this paper is to show that any continuous *-homomorphism of L1(Cn)(with twisted convolution as multipli- cation) into B(L2(Rn)) is essentially a Weyl transform. From this we deduce a similar characterisation for the group Fourier transform on the Heisenberg group, in terms of convolution.
We show that for a locally compact group $G$, amongst a class which contains amenable and small invariant neighbourhood groups, that its Fourier algebra $A(G)$ satisfies a completely bounded version Pisier's similarity property with similarity degree at most $2$. Specifically, any completely bounded homomorphism $π: A(G)\to B(H)$ admits an invertible $S$ in $B(H)$ for which $\|S\|\|S^{-1}\|\leq ||π||_{cb}^2$ and $S^{-1}π(\cdot)S$ extends to a $*$-representation of the $C^*$-algebra $C_0(G)$. This significantly improves some results due to Brannan and Samei (J. Funct. Anal. 259, 2010) and Brann…
To each finite-dimensional operator space $E$ is associated a commutative operator algebra $UC(E)$, so that $E$ embeds completely isometrically in $UC(E)$ and any completely contractive map from $E$ to bounded operators on Hilbert space extends uniquely to a completely contractive homomorphism out of $UC(E)$. The unit ball of $UC(E)$ is characterized by a Nevanlinna factorization and transfer function realization. Examples related to multivariable von Neumann inequalities are discussed.
We say a completely positive contractive map between two C*-algebras has order zero, if it sends orthogonal elements to orthogonal elements. We prove a structure theorem for such maps. As a consequence, order zero maps are in one-to-one correspondence with *-homomorphisms from the cone over the domain into the target algebra. Moreover, we conclude that tensor products of order zero maps are again order zero, that the composition of an order zero map with a tracial functional is again a tracial functional, and that order zero maps respect the Cuntz relation, hence induce ordered semigroup morph…
Let G be a locally compact group L^p(G) be the usual L^p-space for 1 =< p =< infty and A(G) be the Fourier algebra of G. Our goal is to study, in a new abstract context, the completely bounded multipliers of A(G), which we denote M_{cb}A(G). We show that M_{cb}A(G) can be characterised as the ``invariant part'' of the space of (completely) bounded normal L^{infty}(G)-bimodule maps on B(L^2(G)), the space of bounded operator on L^2(G). In doing this we develop a function theoretic description of the normal L^{infty}(X,mu)-bimodule maps on B(L^2(X,mu)), which we denote by V^{infty}(X,μ), and nam…
Let G be a locally compact group, and let A(G) and B(G) denote its Fourier and Fourier-Stieltjes algebras. These algebras are dual objects of the group and measure algebras, L^1(G) and M(G), in a sense which generalizes the Pontryagin duality theorem on abelian groups. We wish to consider the amenability properties of A(G) and B(G) and compare them to such properties for L^1(G) and M(G). For us, ``amenability properties'' refers to amenability, weak amenability, and biflatness, as well as some properties which are more suited to special settings, such as the hyper-Tauberian property for semisi…
We study locally compact groups for which the Fourier algebra coincides with the Rajchman algebra. In particular, we show that there exist uncountably many non-compact groups with this property. Generalizing a result of Hewitt and Zuckerman, we show that no non-compact nilpotent group has this property, whereas non-compact solvable groups with this property are known to exist. We provide several structural results on groups whose Fourier and Rajchman algebras coincide as well as new criteria for establishing this property. Finally, we study the relation between groups with completely reducible…
Consider a completely bounded Fourier multiplier phi of a locally compact group G, and take 1 <= p <= infinity. One can associate to phi a Schur multiplier on the Schatten classes S_p(L^2 G), as well as a Fourier multiplier on Lp(LG), the non-commutative Lp-space of the group von Neumann algebra of G. We prove that the completely bounded norm of the Schur multiplier is not greater than the completely bounded norm of the Lp-Fourier multiplier. When G is amenable we show that equality holds, extending a result by Neuwirth and Ricard to non-discrete groups. For a discrete group G and in the speci…
Let $G$ be an infinite locally compact abelian group. If $X$ is Banach space, we show that if every bounded Fourier multiplier $T$ on $L^2(G)$ has the property that $T\ot Id_X$ is bounded on $L^2(G,X)$ then the Banach space $X$ is isomorphic to a Hilbert space. Moreover, if $1<p<\infty$, $p\not=2$, we prove that there exists a bounded Fourier multiplier on $L^p(G)$ which is not completely bounded. Finally, we examine unconditionality from the point of view of Schur multipliers. More precisely, we give several necessary and sufficient conditions to determine if an operator space is completely i…
We show that the multiplier algebra of the Fourier algebra on a locally compact group $G$ can be isometrically represented on a direct sum on non-commutative $L^p$ spaces associated to the right von Neumann algebra of $G$. If these spaces are given their canonical Operator space structure, then we get a completely isometric representation of the completely bounded multiplier algebra. We make a careful study of the non-commutative $L^p$ spaces we construct, and show that they are completely isometric to those considered recently by Forrest, Lee and Samei; we improve a result about module homomo…
Let $G$ be a locally compact group. We show how complemented ideals in the Fourier algebra $A(G)$ of $G$ arise naturally from a class of thin sets known as Leinert sets. Moreover, we also present an explicit example of a closed ideal in $A(\mathbb{F}_{N})$, the free group on $N \ge 2$ generators, that is complemented in $A(\mathbb{F}_{N})$ but it is not completely complemented. Then by establishing an appropriate extension result for restriction algebras arising from Leinert sets, we show that any almost connected group $G$ for which every complemented ideal in $A(G)$ is also completely comple…
Let $H$ and $K$ be locally compact groups and also $τ:H\to Aut(K)$ be a continuous homomorphism and $G_τ=H\ltimes_τK$ be the semi-direct product of $H$ and $K$ with respect to the continuous homomorphism $τ$. This paper presents a novel approach to the Fourier analysis of $G_τ$, when $K$ is abelian. We define the $τ$-dual group $G_{\hatτ}$ of $G_τ$ as the semi-direct product $H\ltimes_{\hatτ}\hat{K}$, where $\hatτ:H\to Aut(\hat{K})$ defined via (\ref{A}). We prove a Ponterjagin duality Theorem and also we study $τ$-Fourier transforms on $G_τ$. As a concrete application we show that how these t…
A well-known theorem of Paulsen says that if $\mathcal{A}$ is a unital operator algebra and $ϕ:\mathcal{A}\to B(\mathcal{H})$ is a unital completely bounded homomorphism, then $ϕ$ is similar to a completely contractive map $ϕ'$. Motivated by classification problems for Hilbert space contractions, we are interested in making the inverse $ϕ'^{-1}$ completely contractive as well whenever the map $ϕ$ has a completely bounded inverse. We show that there exist invertible operators $X$ and $Y$ such that the map $$ XaX^{-1}\mapsto Yϕ(a)Y^{-1} $$ is completely contractive and is "almost" isometric on a…
We develop a completely bounded counterpart to the non-commutative Choquet boundary of an operator space. We show how the class of completely bounded linear maps is too large to accommodate our purposes. To overcome this obstacle, we isolate the subset of completely bounded linear maps on an operator space admitting a dilation of the same norm which is multiplicative on the generated $C^*$-algebra. We view such maps as analogues of the familiar unital completely contractive maps, and we exhibit many of their structural properties. Of particular interest to us are those maps which are extremal …
Let $G$ be a locally compact group, and let $A_\cb(G)$ denote the closure of $A(G)$, the Fourier algebra of $G$, in the space of completely bounded multipliers of $A(G)$. If $G$ is a weakly amenable, discrete group such that $\cstar(G)$ is residually finite-dimensional, we show that $A_\cb(G)$ is operator amenable. In particular, $A_\cb(F_2)$ is operator amenable even though $F_2$, the free group in two generators, is not an amenable group. Moreover, we show that, if $G$ is a discrete group such that $A_\cb(G)$ is operator amenable, a closed ideal of $A(G)$ is weakly completely complemented in…
Building on recent progress in constructing derivations on Fourier algebras, we provide the first examples of locally compact groups whose Fourier algebras support non-zero, alternating 2-cocycles; this is the first step in a larger project. Although such 2-cocycles can never be completely bounded, the operator space structure on the Fourier algebra plays a crucial role in our construction, as does the opposite operator space structure. Our construction has two main technical ingredients: we observe that certain estimates from [H. H. Lee, J. Ludwig, E. Samei, N. Spronk, Weak amenability of Fou…
We generalize to the setting of Arveson's maximal subdiagonal subalgebras of finite von Neumann algebras, the Szegö $L^p$-distance estimate, and classical theorems of F. and M. Riesz, Gleason and Whitney, and Kolmogorov. In so doing, we are finally able to provide a complete noncommutative analog of the famous cycle of theorems characterizing the function theoretic generalizations of $H^\infty$. A sample of our other results: we prove a Kaplansky density result for a large class of these algebras, and give a necessary condition for when every completely contractive homomorphism on a unital sub…
We study the geometry of infinitely presented groups satisfying the small cancelation condition C'(1/8), and define a standard decomposition (called the criss-cross decomposition) for the elements of such groups. We use it to prove the Rapid Decay property for groups with the stronger small cancelation property C'(1/10). As a consequence, the Metric Approximation Property holds for the reduced C*-algebra and for the Fourier algebra of such groups. Our method further implies that the kernel of the comparison map between the bounded and the usual group cohomology in degree 2 has a basis of power…
We examine rigidity phenomena for representations of amenable operator algebras which have an ideal of compact operators. We establish that a generalized version of Kadison's conjecture on completely bounded homomorphisms holds for the algebra if the associated quotient is abelian. We also prove that injective completely bounded representations of the algebra are similar to complete isometries. The main motivating example for these investigations is the recent construction of Choi, Farah and Ozawa of an amenable operator algebra that is not similar to a $C^*$-algebra, and we show how it fits i…
Let (M,N) be a pair of von Neumann algebras, or of dual operator spaces with at least one of them having property S_σ, and let T be an arbitrary completely bounded mapping on M. We present an explicit construction of an amplification of T to a completely bounded mapping on the w^*-spatial tensor product of M and N. Our approach makes essential use of the description of the predual of the latter given by Effros and Ruan in terms of the projective operator space tensor product and is further based on the concept of slice maps as introduced by Tomiyama. We discuss several properties of an amplifi…
We study the closed algebra B_I(G) generated by the idempotents in the Fourier-Stieltjes algebra of a locally compact group G. We show that it is a regular Banach algebra with computable spectrum G^I, which we call the idempotent compactification of G. For any locally compact groups G and H, we show that B_I(G) is completely isometrically isomorphic to B_I(H) exactly when G/G_e= H/H_e, where G_e and H_e are the connected components of the identities. We compute some examples to illustrate out results.
This paper concerns the study of regular Fourier hypergroups through multipliers of their associated Fourier algebras. We establish hypergroup analogues of well-known characterizations of group amenability, introduce a notion of weak amenability for hypergroups, and show that every discrete commutative hypergroup is weakly amenable with constant 1. Using similar techniques, we provide a sufficient condition for amenability of hypergroup Fourier algebras, which, as an immediate application, answers one direction of a conjecture of Azimifard--Samei--Spronk [J. Funct. Anal. 256(5) 1544-1564, 2009…
In analogy with the Fourier-Stieltjes algebra of a group, we associate to a unital discrete twisted C*-dynamical system a Banach algebra whose elements are coefficients of equivariants representations of the system. Building upon our previous work, we show that this Fourier-Stieltjes algebra embeds continuously in the Banach algebra of completely bounded multipliers of the (reduced or full) C*-crossed product of the system. We also introduce a notion of positive definiteness and prove a Gelfand-Raikov type theorem allowing us to describe the Fourier-Stieltjes algebra of a system in a more intr…
We define a sequence of functions, namely tame cuts, in the Fourier algebra $A(G)$ of a locally compact group $G$, that satisfies certain convergence and growth conditions. This new consideration allows us to give a group admitting a Fourier multiplier that is not completely bounded. Furthermore, we show that the induction map $MA(Γ)\rightarrow MA(G)$ is not always continuous. We also show how Liao's Property $(T_{Schur}, G, K)$ opposes tame cuts. Some examples are provided.
Let K be any compact set. The C^*-algebra C(K) is nuclear and any bounded homomorphism from C(K) into B(H), the algebra of all bounded operators on some Hilbert space H, is automatically completely bounded. We prove extensions of these results to the Banach space setting, using the key concept of R-boundedness. Then we apply these results to operators with a uniformly bounded H^\infty-calculus, as well as to unconditionality on L^p. We show that any unconditional basis on L^p `is' an unconditional basis on L^2 after an appropriate change of density.
We estimate the norms of many matrix coefficients of irreducible uniformly bounded representations of SL(2, R) as completely bounded multipliers of the Fourier algebra. Our results suggest that the known inequality relating the uniformly bounded norm of a representation and the completely bounded norm of its coefficients may not be optimal.
Let $G$ be a compact connected Lie group. The question of when a weighted Fourier algebra on $G$ is completely isomorphic to an operator algebra will be investigated in this paper. We will demonstrate that the dimension of the group plays an important role in the question. More precisely, we will get a positive answer to the question when we consider a polynomial type weight coming from a length function on $G$ with the order of growth strictly bigger than the half of the dimension of the group. The case of SU(n) will be examined, focusing more on the details including negative results. The pr…
We study the existence of multiplier (completely) bounded approximate identities for the Fourier algebras of some classes of hypergroups. In particular we show that, a large class of commutative hypergroups are weakly amenable with the Cowling-Haagerup constant 1. As a corollary, we answer an open question of Eymard on Jacobi hypergroups. We also characterize the existence of bounded approximate identities for the hypergroup Fourier algebras of ultraspherical hypergroups.
This paper is devoted to studying certain topological properties of the maximal ideal space of the measure algebra on the circle group. In particular, we focus on Cech cohomologies of this space. Moreover, we show that the Gelfand space of $M(\mathbb{T})$ is not separable. On the other hand, we give a direct procedure to recover many copies of $β\mathbb{Z}$ in $\mathfrak{M}(M(\mathbb{T}))$, but we also show that this is result is not accessible in the most natural way (namely, by the canonical mapping induced by homomorphism assigning to measure its Fourier - Stieltjes transform).
