For a locally compact abelian group $G$, J. L. Taylor (1971) gave a complete characterization of invertible elements in the measure algebra $M(G)$. Using the Fourier-Stieltjes transform, this characterization can be carried out in the context of Fourier-Stieltjes algebras $B(G)$. We obtain this latter characterization for the Fourier-Stieltjes algebra $B(G)$ of certain classes of locally compact groups, in particular, many totally minimal groups and the $ax+b$-group.
In this paper we study the inversion problem in measure and Fourier-Stieltjes algebras from qualitative and quantitative point of view extending the results obtained by N. Nikolski.
Let $G$ be a locally compact group, and let $B(G)$ denote its Fourier--Stieltjes algebra. We show that $B(G)$ is Connes-amenable if and only if $G$ is almost abelian.
In this short note we first extend the validity of the spectral radius formula obtained in \cite{ag} to Fourier--Stieltjes algebras. The second part is devoted to showing that for the measure algebra on any locally compact non-discrete Abelian group there are no non-trivial constraints between three quantities: the norm, the spectral radius and the supremum of the Fourier--Stieltjes transform even if we restrict our attention to measures with all convolution powers singular with respect to Haar measure.
This work addresses an extension of Fourier-Stieltjes transform of a vector measure defined on compact groups to locally compact groups, by using a group representation induced by a representation of one of its compact subgroups.
In this paper, some known results will be generalized. Firstly, the idempotent theorem on the Fourier-Stieltjes algebra will be promoted and linked to the $p$-analog of such an algebra. Next, the $p$-analog of the $π$-Fourier space introduced by Arsac will be given, and by taking advantage of the theory of ultra filters, the connection between the dual space of the algebra of $p$-pseudofunctions and the $p$-analog of the $π$-Fourier space, will be fully investigated. As the main result, one of the significant and applicable functorial properties of the $p$-analog of the Fourier-Stieltjes algeb…
In this paper one of the possible $p$-operator space structures of the $p$-analog of the Fourier-Stieltjes algebra will be introduced, and to some extend will be studied. This special sort of operator structure will be given from the predual of this Fourier type algebra, that is the algebra of universal $p$-pseudofunctions. Furthermore, some applicable and expected results will be proven. Current paper can be considered as a new gate into the collection of problems around the $p$-analog of the Fourier-Stieltjes algebra, in the $p$-operator space structure point of view.
We construct examples of uncountable compact subsets of complex numbers with the property that any Borel measure on the circle group taking values of its Fourier coefficients from this set has natural spectrum. For measures with Fourier coefficients tending to 0 we construct tho open set with this property.
In this work we extend the Fourier-Stieltjes transform of a vector measure and a continuous function defined on compact groups to locally compact groups. To do so, we consider a representation L of a normal compact subgroup K of a locally compact group G, and we use a representation of G induced by that of L. Then, we define the Fourier-Stieltjes transform of a vector measure and that of a continuous function with compact support defined on G from the representation of G. Then, we extend the Shur orthogonality relation established for compact groups to locally compact groups by using the repre…
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.
Motivated by the beautiful work of M. A. Rieffel (1965) and of M. E. Walter (1974), we obtain characterisations of the Fourier algebra $A(G)$ of a locally compact group $G$ in terms of the class of $F$-algebras (i.e. a Banach algebra $A$ such that its dual $A'$ is a $W^*$-algebra whose identity is multiplicative on $A$). For example, we show that the Fourier algebras are precisely those commutative semisimple $F$-algebras that are Tauberian, contain a nonzero real element, and possess a dual semigroup that acts transitively on their spectrums. Our characterisations fall into three flavours, wh…
Let $G$ be a locally compact group and $1\leq p<\infty$. A continuous unitary representation $π\!: G\to B(\mathcal{H})$ of $G$ is an $L^p$-representation if the matrix coefficient functions $s\mapsto \langle π(s)x,x\rangle$ lie in $L^p(G)$ for sufficiently many $x\in \mathcal{H}$. Brannan and Ruan defined the $L^p$-Fourier algebra $A_{L^p}(G)$ to be the set of matrix coefficient functions of $L^p$-representations. Similarly, the $L^p$-Fourier-Stieltjes algebra $B_{L^p}(G)$ is defined to be the weak*-closure of $A_{L^p}(G)$ in the Fourier-Stieltjes algebra $B(G)$. These are always ideals in the…
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…
In this paper we start studying spectral properties of the Fourier-Stieltjes algebras, largely following Zafran's work on the algebra of measures on a locally compact group. We show that for a large class of discrete groups the Wiener-Pitt phenomenon occurs, i.e. the spectrum of an element of the Fourier-Stieltjes algebra is not captured by its range. We also investigate the notions of absolute continuity and mutual singularity in this setting; non-commutativity forces upon us two distinct versions of support of an element, indicating a crucial difference between this setup and the realm of Ab…
We consider the Fourier-Stietljes algebra B(G) of a locally compact group G. We show that operator amenablility of B(G) implies that a certain semitolpological compactification of G admits only finitely many idempotents. In the case that G is connected, we show that operator amenability of B(G) entails that $G$ is compact.
We continue our study of the Fourier-Stieltjes algebra associated to a twisted (unital, discrete) C*-dynamical system and discuss how the various notions of equivalence of such systems are reflected at the algebra-level. As an application, we show that the amenability of a system, as defined in our previous work, is preserved under Morita equivalence.
We give an example of a non-compact, locally compact group $G$ such that its Fourier-Stieltjes algebra $B(G)$ is operator amenable. Furthermore, we characterize those $G$ for which $A^*(G)$ - the spine of $B(G)$ as introduced by M. Ilie and the second named author - is operator amenable and show that $A^*(G)$ is operator weakly amenable for each $G$.
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.
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…
The Fourier-Stieltjes and Fourier algebras B(G), A(G) for a general locally compact group G, first studied by P. Eymard, have played an important role in harmonic analysis and in the study of operator algebras generated by G. Recently, there has been interest in developing versions of these algebras for locally compact groupoids, justification being that, just as in the group case, the algebras should play a useful role in the study of groupoid operator algebras. Versions of these algebras for the locally compact groupoid case appear in three related theories: (1) a measured groupoid theory (J…
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 …
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 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…
The notion of operator amenability was introduced by Z.-J. Ruan in 1995. He showed that a locally compact group G is amenable if and only if its Fourier algebra A(G) is operator amenable. In this paper, we investigate the operator amenability of the Fourier-Stieltjes algebra B(G) and of the reduced Fourier-Stieltjes algebra B_r(G). The natural conjecture is that any of these algebras is operator amenable if and only if G is compact. We partially prove this conjecture with mere operator amenability replaced by operator C-amenability for some constant C < 5. In the process, we obtain a new decom…
For a locally compact group $G$ and $p \in (1,\infty)$, we define $B_p(G)$ to be the space of all coefficient functions of isometric representations of $G$ on quotients of subspaces of $L_p$ spaces. For $p =2$, this is the usual Fourier--Stieltjes algebra. We show that $B_p(G)$ is a commutative Banach algebra that contractively (isometrically, if $G$ is amenable) contains the Figà-Talamanca--Herz algebra $A_p(G)$. If $2 \leq q \leq p$ or $p \leq q \leq 2$, we have a contractive inclusion $B_q(G) \subset B_p(G)$. We also show that $B_p(G)$ embeds contractively into the multiplier algebra of $A_…
By using structural and asymptotic properties of the Kontorovich-Lebedev transform associated with Minkowski's question mark function, we give an affirmative answer to the question posed by R. Salem (Trans. Amer. Math. Soc., 53 (3), (1943), p. 439) whether its Fourier-Stieltjes transform vanishes at infinity. This paper is substituted with a correct alternative and affirmative solution of Salem's problem and its generalization for derivatives of any order of the Fourier-Stieltjes transform of the Minkowski'i question mark function. The question is finally solved.
We study the following question: given a locally compact group when does its Fourier algebra coincide with the subalgebra of the Fourier-Stieltjes algebra consisting of functions vanishing at infinity? We provide sufficient conditions for this to be the case. As an application, we show that when P is the minimal parabolic subgroup in one of the classical simple Lie groups of real rank one or the exceptional such group, then the Fourier algebra of P coincides with the subalgebra of the Fourier-Stieltjes algebra of P consisting of functions vanishing at infinity. In particular, the regular repre…
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 f…
Let $H$ be an ultraspherical hypergroup associated to a locally compact group $ G $ and let $A(H)$ be the Fourier algebra of $H$. For a left Banach $A(H)$-submodule $X$ of $VN(H)$, define $Q_X$ to be the norm closure of the linear span of the set $\{uf: u\in A(H), f\in X\}$ in $B_{A(H)}(A(H), X^*)^*$. We will show that $B_{A(H)}(A(H), X^*)$ is a dual Banach space with predual $Q_X$, we characterize $Q_X$ in terms of elements in $A(H)$ and $ X$. Applications obtained on the multiplier algebra $ M(A(H))$ of the Fourier algebra $ A(H)$. In particular, we prove that $ G $ is amenable if and only i…
Let $G$ be a locally compact group. We show that its Fourier algebra $A(G)$ is amenable if and only if $G$ has an abelian subgroup of finite index, and that its Fourier-Stieltjes algebra $B(G)$ is amenable if and only if $G$ has a compact, abelian subgroup of finite index. We then show that $A(G)$ is weakly amenable if the component of the identity of $G$ is abelian, and we prove some partial results towards the converse.
In this paper we give an example of a Banach algebra $A$ and a closed ideal $I$ of $A$ such that the multiplier algebra of $I$ is equal to $A$ but $I$ does not have any bounded approximate identity. In the case that $I$ has an approximate identity, we give a necessary condition on $I$ for which $A=\mathcal{M}(I)$, where $\mathcal{M}(I)$ denotes the multiplier algebra of $I$. Finally, as a corollary of our results, we show that the Fourier algebra of an amenable group is strictly dense in the Fourier-Stieltjes algebra.
We introduce a concept of approximately invertible elements in non-unital normed algebras which is, on one side, a natural generalization of invertibility when having approximate identities at hand, and, on the other side, it is a direct extension of topological invertibility to non-unital algebras. Basic observations relate approximate invertibility with concepts of topological divisors of zero and density of (modular) ideals. We exemplify approximate invertibility in the group algebra, Wiener algebras, and operator ideals. For Wiener algebras with approximate identities (in particular, for t…
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…
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…
A measure on a locally compact Abelian group is said to have a natural spectrum if its spectrum is equal to the closure of the range of the Fourier-Stieltjes transform. In this paper we continue the study of spectrally reasonable measures (measures perturbing any measure with a natural spectrum to a measure with a natural spectrum) initiated in \cite{ow}. Particularly, we provide a full characterization of such measures for certain class of locally compact Abelian groups which includes the circle and the real line. We also elaborate on the spectral properties of measures with non-natural but r…
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).
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 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…
We consider the issue of describing all self-adjoint idempotents (projections) in $L^1(G)$ when $G$ is a unimodular locally compact group. The approach is to take advantage of known facts concerning subspaces of the Fourier-Stieltjes and Fourier algebras of $G$ and the topology of the dual space of $G$. We obtain an explicit description of any projection in $L^1(G)$ which happens to also lie in the coefficient space of a finite direct sum of irreducible representations. This leads to a complete description of all projections in $L^1(G)$ for $G$ belonging to a class of groups that includes $SL(…
Rajchman measures of locally compact Abelian groups are studied for almost a century now, and they play an important role in the study of trigonometric series. Eymard's influential work allowed generalizing these measures to the case of \emph{non-Abelian} locally compact groups $G$. The Rajchman algebra of $G$, which we denote by $B_0(G)$, is the set of all elements of the Fourier-Stieltjes algebra that vanish at infinity. In the present article, we characterize the locally compact groups that have amenable Rajchman algebras. We show that $B_0(G)$ is amenable if and only if $G$ is compact and …
We devise a fairly general method for estimating the size of quotients between algebras of functions on a locally compact group. This method is based on the concept of interpolation sets and unifies the approaches followed by many authors to obtain particular cases. Among the applications we find, we obtain that the quotients WAP(G)/B(G) (G being a locally compact group in the class [IN] or a nilpotent locally compact group) and CB(G)/LUC(G) (G being any non-compact non-discrete locally compact group) contain a linearly isometric copy of \ell_\infty(κ(G)) where κ(G) is the compact covering num…
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…
This is a short survey on idempotent states on locally compact groups and locally compact quantum groups. The central topic is the relationship between idempotent states, subgroups and invariant C*-subalgebras. We concentrate on recent results on locally compact quantum groups, but begin with the classical notion of idempotent probability measure. We also consider the `intermediate' case of idempotent states in the Fourier--Stieltjes algebra: this is the dual case of idempotent probability measures and so an instance of idempotent states on a locally compact quantum group.
We study various operator homological properties of the Fourier algebra $A(G)$ of a locally compact group $G$. Establishing the converse of two results of Ruan and Xu, we show that $A(G)$ is relatively operator 1-projective if and only if $G$ is IN, and that $A(G)$ is relatively operator 1-flat if and only if $G$ is inner amenable. We also exhibit the first known class of groups for which $A(G)$ is not relatively operator $C$-flat for any $C\geq1$. As applications of our techniques, we establish a hereditary property of inner amenability, answer an open question of Lau and Paterson, and answer…
A QSIN group is a locally compact group $G$ whose group algebra $L^1(G)$ admits a quasi-central bounded approximate identity. Examples of QSIN groups include every amenable group and every discrete group. It is shown that if $G$ is a QSIN group, $H$ is a closed subgroup of $G$, and $π$ is a unitary representation of $H$, then $π$ is weakly contained in $(\mathrm{Ind}_H^Gπ)|_H$. This provides a powerful tool in studying the C*-algebras of QSIN groups. In particular, it is shown that if $G$ is a QSIN group which contains a copy of $\mathbb F_2$ as a closed subgroup, then $C^*(G)$ is not locally …
Operator systems and positive extensions over discrete groups
National and Kapodistrian University of Athens（雅典国立卡波迪斯特里安大学）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）；University of Delaware（特拉华大学）；Radboud University Nijmegen（奈梅亨拉德堡德大学）
In this paper, we show that if the reduced Fourier-Stieltjes algebra $B_ρ(G)$ of a second countable locally compact group $G$ has either weak* fixed point property or asymptotic center property, then $G$ is compact. As a result, we give affirmative answers to open problems raised by Fendler and et al. in 2013. We then conclude that a second countable group with a discrete reduced dual must be compact. This generalizes a theorem of Baggett. We also construct a compact scattered Hausdorff space $Ω$ for which the dual of the scattered C*-algebra $C(Ω)$ lacks weak* fixed point property. The C*-alg…
