Search

Let $E$ be a Banach space, and $\mathcal B(E)$ the algebra of all bounded linear operators on $E$. The question of amenability of $\mathcal B(E)$ goes back to Johnson's seminal memoir \cite{johnson} from 1972. We present the first general criteria applying to very wide classes of Banach spaces, given in terms of the Banach space geometry of $E$, which imply that $\mathcal B(E)$ is non-amenable. We cover all spaces for which this is known so far (with the exception of one particular example), with much shorter proofs, such as $\ell_p$ for $p \in [1, \infty]$ and $c_0$, but also many new spaces: the numerous classes of spaces covered range from all $\mathcal{L}_p$-spaces for $p \in (1, \infty)$ to Lorentz sequence spaces and reflexive Orlicz sequence spaces, to the Schatten classes $S_p$ for $p \in [1,\infty]$, and to the James space $J$, the Schlumprecht space $S$, and the Tsirelson space $T$, among others. Our approach also highlights the geometric difference to the only space for which $\mathcal B(E)$ \emph{is} known to be amenable, the Argyros--Haydon space, which solved the famous scalar-plus-compact problem., Comment: Withdrawn due to a non-repairable flaw in the proof of Theorem 2.5

We study fixed points of contractive convolution operators associated to contractive quantum measures on locally compact quantum groups. We characterise the existence of non-zero fixed points respectively on $L^\infty(\mathbb{G})$ and on $C_0(\mathbb{G})$, and exploit these results to obtain for example the structure of the fixed points on the non-commutative $L_p$-spaces. Some consequences for the fixed points of classical convolution operators and Herz-Schur multipliers are also indicated., Comment: 26 pages, v2 contains very minor changes. The paper will appear in the Indiana University Mathematics Journal

We prove that a locally compact group has the approximation property (AP), introduced by Haagerup-Kraus, if and only if a non-commutative Fej\'{e}r theorem holds for the associated $C^*$- or von Neumann crossed products. As applications, we answer three open problems in the literature. Specifically, we show that any locally compact group with the AP is exact. This generalizes a result by Haagerup-Kraus, and answers a problem raised by Li. We also answer a question of B\'{e}dos-Conti on the Fej\'{e}r property of discrete $C^*$-dynamical systems, as well as a question by Anoussis-Katavolos-Todorov for all locally compact groups with the AP. In our approach, which relies on operator space techniques, we develop a notion of Fubini crossed product for locally compact groups, and a dynamical version of the AP for actions associated with $C^*$- or $W^*$-dynamical systems., Comment: v1: 19 pages, v2: overall presentation significantly improved, established converse of main result, and added answer to a question of B\'edos-Conti. v3: minor corrections, v4: added a few remarks and references v5: journal version, Int. Math. Res. Not. IMRN, to appear, 20 pages

Let $\mathcal{A}$ be a $C^*$-algebra, and consider the Banach algebra $\mathcal{A} \otimes_\gamma \mathcal{A}$, where $\otimes_\gamma$ denotes the projective Banach space tensor product; if $\mathcal{A}$ is commutative, this is the Varopoulos algebra $V_\mathcal{A}$. It has been an open problem for more than 35 years to determine precisely when $\mathcal{A} \otimes_\gamma \mathcal{A}$ is Arens regular. Even the situation for commutative $\mathcal{A}$, in particular the case $\mathcal{A} = \ell_\infty$, has remained unsolved. We solve this classical question for arbitrary $C^*$-algebras by using von Neumann algebra and operator space methods, mainly relying on versions of the (commutative and non-commutative) Grothendieck Theorem, and the structure of completely bounded module maps. Establishing these links allows us to show that $\mathcal{A} \otimes_\gamma \mathcal{A}$ is Arens regular if and only if $\mathcal{A}$ has the Phillips property; equivalently, $\mathcal{A}$ is scattered and has the Dunford--Pettis Property. A further equivalent condition is that $\mathcal{A}^*$ has the Schur property, or, again equivalently, the enveloping von Neumann algebra $\mathcal{A}^{**}$ is finite atomic, i.e., a direct sum of matrix algebras. Hence, Arens regularity of $\mathcal{A} \otimes_\gamma \mathcal{A}$ is encoded in the geometry of the $C^*$-algebra $\mathcal{A}$. In case $\mathcal{A}$ is a von Neumann algebra, we conclude that $\mathcal{A} \otimes_\gamma \mathcal{A}$ is Arens regular (if and) only if $\mathcal{A}$ is finite-dimensional. For commutative $C^*$-algebras $\mathcal{A}$, we determine precisely the centre of the bidual, namely, $Z({V_\mathcal{A}}^{**})$ is Banach algebra isomorphic to $\mathcal{A}^{**} \otimes_{eh} \mathcal{A}^{**}$, where $\otimes_{eh}$ denotes the extended Haagerup tensor product.

We initiate the study of a new notion of duality defined with respect to the module Haagerup tensor product. This notion not only recovers the standard operator space dual for Hilbert $C^*$-modules, it also captures quantum group duality in a fundamental way. We compute the so-called Haagerup dual for various operator algebras arising from $\ell^p$ spaces. In particular, we show that the dual of $\ell^1$ under any operator space structure is $\min\ell^\infty$. In the setting of abstract harmonic analysis we generalize a result of Varopolous by showing that $C(\mathbb{G})$ is an operator algebra under convolution for any compact Kac algebra $\mathbb{G}$. We then prove that the corresponding Haagerup dual $C(\mathbb{G})^h=\ell^\infty(\widehat{\mathbb{G}})$, whenever $\widehat{\mathbb{G}}$ is weakly amenable. Our techniques comprise a mixture of quantum group theory and the geometry of operator space tensor products., Comment: 18 pages

We study the dual relationship between quantum group convolution maps $L^1(\mathbb{G})\rightarrow L^{\infty}(\mathbb{G})$ and completely bounded multipliers of $\widehat{\mathbb{G}}$. For a large class of locally compact quantum groups $\mathbb{G}$ we completely isomorphically identify the mapping ideal of row Hilbert space factorizable convolution maps with $M_{cb}(L^1(\widehat{\mathbb{G}}))$, yielding a quantum Gilbert representation for completely bounded multipliers. We also identify the mapping ideals of completely integral and completely nuclear convolution maps, the latter case coinciding with $\ell^1(\widehat{b\mathbb{G}})$, where $b\mathbb{G}$ is the quantum Bohr compactification of $\mathbb{G}$. For quantum groups whose dual has bounded degree, we show that the completely compact convolution maps coincide with $C(b\mathbb{G})$. Our techniques comprise a mixture of operator space theory and abstract harmonic analysis, including Fubini tensor products, the non-commutative Grothendieck inequality, quantum Eberlein compactifications, and a suitable notion of quasi-SIN quantum group, which we introduce and exhibit examples from the bicrossed product construction. Our main results are new even in the setting of group von Neumann algebras $VN(G)$ for quasi-SIN locally compact groups $G$., Comment: 37 pages

The Ghahramani-Lau conjecture is established; in other words, the measure algebra of every locally compact group is strongly Arens irregular. To this end, we introduce and study certain new classes of measures (called approximately invariant, respectively, strongly singular) which are of interest in their own right. Moreover, we show that the same result holds for the measure algebra of any (not necessarily locally compact) Polish group.

For a locally compact quantum group $\mathbb{G}$, consider the convolution action of a quantum probability measure $\mu$ on $L_\infty(\mathbb{G})$. As shown by Junge--Neufang--Ruan, this action has a natural extension to a Markov map on $\mathcal{B}(L_2(\mathbb{G}))$. We prove that the Poisson boundary of the latter can be realized concretely as the von Neumann crossed product of the Poisson boundary associated with $\mu$ under the action of $\mathbb{G}$ induced by the coproduct. This yields an affirmative answer, for general locally compact quantum groups, to a problem raised by Izumi (2004) in the commutative situation, in which he settled the discrete case, and unifies earlier results of Jaworski, Neufang and Runde.

The Banach algebra LUC(G)* associated to a topological group G has been of interest in abstract harmonic analysis. A number of authors have studied the topological centre of LUC(G)*, which is defined as the set of elements in LUC(G)* for which the left multiplication is w*--w*-continuous on LUC(G)*. Several recent works show that for a locally compact group G it is sufficient to test the continuity of the left multiplication at just one specific point in order to determine whether an element of LUC(G)* belongs to the topological centre. In this work we extend some of these results to a much larger class of groups which includes many non-locally compact groups as well as all the locally compact ones. This answers a question raised by H.G. Dales. We also obtain a corollary about the topological centre of any subsemigroup of LUC(G)* containing the uniform compactification of G. In particular, we prove that there are sets of just one point determining the topological centre of the uniform compactification itself., Comment: 7 pages; version 2 incorporates minor editing changes

We present a new application of harmonic analysis to quantum information by constructing intriguing classes of quantum channels stemming from specific representations of multiplier algebras over locally compact groups $G$. Beginning with a representation of the measure algebra $M(G)$, we unify and elaborate on recent counter-examples to fixed point subalgebras in infinite dimensions, as well as present an application to the noiseless subsystems method of quantum error correction. Using a representation of the completely bounded Fourier multiplier algebra $McbA(G)$, we provide a new class of counter-examples to the recently solved asymptotic quantum Birkhoff conjecture, along with a systematic method of producing the examples using a geometric representation of Schur maps. Further properties of our channels including duality, quantum capacity, and entanglement preservation are discussed along with potential applications to additivity conjectures., Comment: 20 pages; a few typos corrected from original

A general form of contractive idempotent functionals on coamenable locally compact quantum groups is obtained, generalising the result of Greenleaf on contractive measures on locally compact groups. The image of a convolution operator associated to a contractive idempotent is shown to be a ternary ring of operators. As a consequence a one-to-one correspondence between contractive idempotents and a certain class of ternary rings of operators is established., Comment: 16 pages, v2 contains very minor changes and updates the references. The paper will appear in the Indiana University Journal of Mathematics

As is well known, the equivalence between amenability of a locally compact group $G$ and injectivity of its von Neumann algebra $\mathcal{L}(G)$ does not hold in general beyond inner amenable groups. In this paper, we show that the equivalence persists for all locally compact groups if $\mathcal{L}(G)$ is considered as a $\mathcal{T}(L_2(G))$-module with respect to a natural action. In fact, we prove an appropriate version of this result for every locally compact quantum group., Comment: 23 pages, updated version

The dual space of the C*-algebra of bounded uniformly continuous functions on a uniform space carries several natural topologies. One of these is the topology of uniform convergence on bounded uniformly equicontinuous sets, or the UEB topology for short. In the particular case of a topological group and its right uniformity, the UEB topology plays a significant role in the continuity of convolution. In this paper we derive a useful characterisation of bounded uniformly equicontinuous sets on locally compact groups. Then we demonstrate that for every locally compact group G the UEB topology on the space of finite Radon measures on G coincides with the right multiplier topology. In this sense the UEB topology is a generalisation to arbitrary topological groups of the multiplier topology for locally compact groups. In the final section we prove results about UEB continuity of convolution., Comment: 9 pages

We present versions of several classical results on harmonic functions and Poisson boundaries in the setting of locally compact quantum groups. In particular, the Choquet--Deny theorem holds for compact quantum groups; also, the result of Kaimanovich--Vershik and Rosenblatt, which characterizes group amenability in terms of harmonic functions, admits a non-commutative analogue in the separable case. We also explore the relation between classical and quantum Poisson boundaries by investigating the spectrum of the quantum group. We apply this machinery to find a concrete realization of the Poisson boundaries of the compact quantum group $SU_{q}(2)$ arising from measures on its spectrum., Comment: 18 pages

In this paper we use the recent developments in the representation theory of locally compact quantum groups, to assign, to each locally compact quantum group $\mathbb{G}$, a locally compact group $\tilde \mathbb{G}$ which is the quantum version of point-masses, and is an invariant for the latter. We show that "quantum point-masses" can be identified with several other locally compact groups that can be naturally assigned to the quantum group $\mathbb{G}$. This assignment preserves compactness as well as discreteness (hence also finiteness), and for large classes of quantum groups, amenability. We calculate this invariant for some of the most well-known examples of non-classical quantum groups. Also, we show that several structural properties of $\mathbb{G}$ are encoded by $\tilde \mathbb{G}$: the latter, despite being a simpler object, can carry very important information about $\mathbb{G}$., Comment: 19 pages

In this paper we study various convolution-type algebras associated with a locally compact quantum group from cohomological and geometrical points of view. The quantum group duality endows the space of trace class operators over a locally compact quantum group with two products which are operator versions of convolution and pointwise multiplication, respectively; we investigate the relation between these two products, and derive a formula linking them. Furthermore, we define some canonical module structures on these convolution algebras, and prove that certain topological properties of a quantum group, can be completely characterized in terms of cohomological properties of these modules. We also prove a quantum group version of a theorem of Hulanicki characterizing group amenability. Finally, we study the Radon--Nikodym property of the $L^1$-algebra of locally compact quantum groups. In particular, we obtain a criterion that distinguishes discreteness from the Radon--Nikodym property in this setting., Comment: 17 Pages

The notions of column and row operator space were extended by A. Lambert from Hilbert spaces to general Banach spaces. In this paper, we use column and row spaces over quotients of subspaces of general $L_p$-spaces to equip several Banach algebras occurring naturally in abstract harmonic analysis with canonical, yet not obvious operator space structures that turn them into completely bounded Banach algebras. We use these operator space structures to gain new insights on those algebras., Comment: 21 pages; some nip 'n tuck

We study multiplier algebras for a large class of Banach algebras which contains the group algebra $L_1(G)$, the Beurling algebras $L_1(G, \omega)$, and the Fourier algebra $A(G)$ of a locally compact group $G$. This study yields numerous new results and unifies some existing theorems on $L_1(G)$ and $A(G)$ through an abstract Banach algebraic approach. Applications are obtained on representations of multipliers over locally compact quantum groups and on topological centre problems. In particular, five open problems in abstract harmonic analysis are solved., Comment: 38 pages

Column and row operator spaces - which we denote by COL and ROW, respectively - over arbitrary Banach spaces were introduced by the first-named author; for Hilbert spaces, these definitions coincide with the usual ones. Given a locally compact group $G$ and $p,p' \in (1,\infty)$ with $\frac{1}{p} + \frac{1}{p'} = 1$, we use the operator space structure on $CB(COL(L^{p'}(G)))$ to equip the Figa-Talamanca-Herz algebra $A_p(G)$ with an operator space structure, turning it into a quantized Banach algebra. Moreover, we show that, for $p \leq q \leq 2$ or $2 \leq q \leq p$ and amenable $G$, the canonical inclusion $A_q(G) \subset A_p(G)$ is completely bounded (with cb-norm at most $K_G^2$, where $K_G$ is Grothendieck's constant). As an application, we show that $G$ is amenable if and only if $A_p(G)$ is operator amenable for all - and equivalently for one - $p \in (1,\infty)$; this extends a theorem by Z.-J. Ruan., Comment: 25 pages; some minor, hopefully clarifying revisions

Let (M,N) be a pair of von Neumann algebras, or of dual operator spaces with at least one of them having property S_\sigma, 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 amplification in connection with the investigations made by May-Neuhardt-Wittstock, where the special case M=B(H) and N=B(K) has been considered (for Hilbert spaces H and K). We will then mainly focus on various applications, such as a purely algebraic characterization of w^*-continuity using amplifications, as well as a generalization of the so-called Ge-Kadison Lemma (in connection with the uniqueness problem of amplifications). Our study will eventually enable us to show that the essential assertion of the main result obtained in the above-mentioned work of May-Neuhardt-Wittstock concerning completely bounded bimodule homomorphisms actually relies on a basic property of Tomiyama's slice maps., Comment: 26 pages

Let G be a locally compact non-compact group. We show that under a very mild assumption on the weight function w, the weighted group algebra L_1(G,w) is strongly Arens irregular in the sense of Dales-Lamb-Lau. To this end, we first derive a general factorization theorem for bounded families in the L_\infty(G,1/w)^*-module L_\infty(G,1/w)., Comment: 6 pages

Let G be a locally compact group. Consider the Banach algebra L_1(G)^**, equipped with the first Arens multiplication, as well as the algebra LUC(G)^*, the dual of the space of bounded left uniformly continuous functions on G, whose product extends the convolution in the measure algebra M(G). We present (for the most interesting case of a non-compact group) completely different - in particular, direct - proofs and even obtain sharpened versions of the results, first proved by Lau-Losert and Lau, that the topological centres of the latter algebras precisely are L_1(G) and M(G), respectively. The special interest of our new approach lies in the fact that it shows a fairly general pattern of solving the topological centre problem for various kinds of Banach algebras; in particular, it avoids the use of any measure theoretical techniques. At the same time, deriving both results in perfect parallelity, our method reveals the nature of their close relation., Comment: 8 pages