Source author record

Matthew Daws

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

26works
4topics
4close collaborators

Published work

26 publications

preprint2023arXiv

(Non-)amenability of B(E)\mathcal B(E) and Banach space geometry

Let EE be a Banach space, and B(E)\mathcal B(E) the algebra of all bounded linear operators on EE. The question of amenability of B(E)\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 EE, which imply that B(E)\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 ℓp\ell_p for p∈[1,∞]p \in [1, \infty] and c0c_0, but also many new spaces: the numerous classes of spaces covered range from all Lp\mathcal{L}_p-spaces for p∈(1,∞)p \in (1, \infty) to Lorentz sequence spaces and reflexive Orlicz sequence spaces, to the Schatten classes SpS_p for p∈[1,∞]p \in [1,\infty], and to the James space JJ, the Schlumprecht space SS, and the Tsirelson space TT, among others. Our approach also highlights the geometric difference to the only space for which B(E)\mathcal B(E) \emph{is} known to be amenable, the Argyros--Haydon space, which solved the famous scalar-plus-compact problem.

preprint2023arXiv

The approximation property for locally compact quantum groups

We study the Haagerup--Kraus approximation property for locally compact quantum groups, generalising and unifying previous work by Kraus--Ruan and Crann. Along the way we discuss how multipliers of quantum groups interact with the C∗\mathrm{C}^*-algebraic theory of locally compact quantum groups. Several inheritance properties of the approximation property are established in this setting, including passage to quantum subgroups, free products of discrete quantum groups, and duals of double crossed products. We also discuss a relation to the weak∗^* operator approximation property. For discrete quantum groups, we introduce a central variant of the approximation property, and relate this to a version of the approximation property for rigid C∗\mathrm{C}^*-tensor categories, building on work of Arano--De Laat--Wahl.

preprint2022arXiv

A purely infinite Cuntz-like Banach ∗*-algebra with no purely infinite ultrapowers

We continue our investigation, from \cite{dh}, of the ring-theoretic infiniteness properties of ultrapowers of Banach algebras, studying in this paper the notion of being purely infinite. It is well known that a C∗C^*-algebra is purely infinite if and only if any of its ultrapowers are. We find examples of Banach algebras, as algebras of operators on Banach spaces, which do have purely infinite ultrapowers. Our main contribution is the construction of a "Cuntz-like" Banach ∗*-algebra which is purely infinite, but whose ultrapowers are not even simple, and hence not purely infinite. This algebra is a naturally occurring analogue of the Cuntz algebra, and of the LpL^p-analogues introduced by Phillips. However, our proof of being purely infinite is combinatorial, but direct, and so differs from existing proofs. We show that there are non-zero traces on our algebra, which in particular implies that our algebra is not isomorphic to any of the LpL^p-analogues of the Cuntz algebra.

preprint2021arXiv

Completely bounded homomorphisms of the Fourier algebra revisited

Let A(G)A(G) and B(H)B(H) be the Fourier and Fourier-Stieltjes algebras of locally compact groups GG and HH, respectively. Ilie and Spronk have shown that continuous piecewise affine maps α:Y⊆H→Gα: Y \subseteq H\rightarrow G induce completely bounded homomorphisms Φ:A(G)→B(H)Φ:A(G)\rightarrow B(H), and that when GG 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 instead of using topological arguments, is more combinatorial and makes use of measure theoretic ideas, following more closely the original ideas of Cohen.

preprint2013arXiv

The Haagerup property for locally compact quantum groups

The Haagerup property for locally compact groups is generalised to the context of locally compact quantum groups, with several equivalent characterisations in terms of the unitary representations and positive-definite functions established. In particular it is shown that a locally compact quantum group G has the Haagerup property if and only if its mixing representations are dense in the space of all unitary representations. For discrete G we characterise the Haagerup property by the existence of a symmetric proper conditionally negative functional on the dual quantum group G^\hat{G}; by the existence of a real proper cocycle on G, and further, if G is also unimodular we show that the Haagerup property is a von Neumann property of G. This extends results of Akemann, Walter, Bekka, Cherix, Valette, and Jolissaint to the quantum setting and provides a connection to the recent work of Brannan. We use these characterisations to show that the Haagerup property is preserved under free products of discrete quantum groups.

preprint2012arXiv

Closed quantum subgroups of locally compact quantum groups

We investigate the fundamental concept of a closed quantum subgroup of a locally compact quantum group. Two definitions - one due to S.Vaes and one due to S.L.Woronowicz - are analyzed and relations between them discussed. Among many reformulations we prove that the former definition can be phrased in terms of quasi-equivalence of representations of quantum groups while the latter can be related to an old definition of Podleś from the theory of compact quantum groups. The cases of classical groups, duals of classical groups, compact and discrete quantum groups are singled out and equivalence of the two definitions is proved in the relevant context. A deep relationship with the quantum group generalization of Herz restriction theorem from classical harmonic analysis is also established, in particular, in the course of our analysis we give a new proof of Herz restriction theorem.

preprint2012arXiv

Completely bounded representations of convolution algebras of locally compact quantum groups

Given a locally compact quantum group G\mathbb G, we study the structure of completely bounded homomorphisms π:L1(G)→B(H)π: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)A(G)), we are led to consider the associated map π∗:L♯1(G)→B(H)π^*:L^1_\sharp(\mathbb G) \rightarrow \mathcal B(H) given by π∗(ω)=π(ω♯)∗π^*(ω) = π(ω^\sharp)^*. We show that the corepresentation VπV_π of L∞(G)L^\infty(\mathbb G) associated to ππ is invertible if and only if both ππ and π∗π^* are completely bounded. Moreover, we show that the co-efficient operators of such representations give rise to completely bounded multipliers of the dual convolution algebra $L^1(\hat \mathbb G)$. An application of these results is that any (co)isometric corepresentation is automatically unitary. An averaging argument then shows that when G\mathbb G is amenable, ππ is similar to a *-homomorphism if and only if π∗π^* is completely bounded. For compact Kac algebras, and for certain cases of A(G)A(G), we show that any completely bounded homomorphism ππ is similar to a *-homomorphism, without further assumption on π∗π^*. Using free product techniques, we construct new examples of compact quantum groups G\mathbb G such that L1(G)L^1(\mathbb G) admits bounded, but not completely bounded, representations.

preprint2012arXiv

Isometries between quantum convolution algebras

Given locally compact quantum groups $\G_1$ and $\G_2$, we show that if the convolution algebras $L^1(\G_1)$ and $L^1(\G_2)$ are isometrically isomorphic as algebras, then $\G_1$ is isomorphic either to $\G_2$ or the commutant $\G_2'$. Furthermore, given an isometric algebra isomorphism $θ:L^1(\G_2) \rightarrow L^1(\G_1)$, the adjoint is a *-isomorphism between $L^\infty(\G_1)$ and either $L^\infty(\G_2)$ or its commutant, composed with a twist given by a member of the intrinsic group of $L^\infty(\G_2)$. This extends known results for Kac algebras (although our proofs are somewhat different) which in turn generalised classical results of Wendel and Walter. We show that the same result holds for isometric algebra homomorphisms between quantum measure algebras (either reduced or universal). We make some remarks about the intrinsic groups of the enveloping von Neumann algebras of C∗^*-algebraic quantum groups.

preprint2011arXiv

Multipliers of locally compact quantum groups via Hilbert C∗^*-modules

A result of Gilbert shows that every completely bounded multiplier ff of the Fourier algebra A(G)A(G) arises from a pair of bounded continuous maps α,β:G→Kα,β:G \rightarrow K, where KK is a Hilbert space, and f(s−1t)=(β(t)∣α(s))f(s^{-1}t) = (β(t)|α(s)) for all s,t∈Gs,t\in G. We recast this in terms of adjointable operators acting between certain Hilbert C∗^*-modules, and show that an analogous construction works for completely bounded left multipliers of a locally compact quantum group. We find various ways to deal with right multipliers: one of these involves looking at the opposite quantum group, and this leads to a proof that the (unbounded) antipode acts on the space of completely bounded multipliers, in a way which interacts naturally with our representation result. The dual of the universal quantum group (in the sense of Kustermans) can be identified with a subalgebra of the completely bounded multipliers, and we show how this fits into our framework. Finally, this motivates a certain way to deal with two-sided multipliers.

preprint2011arXiv

Shift invariant preduals of ℓ1(Z)\ell_1(\Z)

The Banach space ℓ1(Z)\ell_1(\Z) admits many non-isomorphic preduals, for example, C(K)C(K) for any compact countable space KK, along with many more exotic Banach spaces. In this paper, we impose an extra condition: the predual must make the bilateral shift on ℓ1(Z)\ell_1(\Z) weak∗^*-continuous. This is equivalent to making the natural convolution multiplication on ℓ1(Z)\ell_1(\Z) separately weak*-continuous and so turning ℓ1(Z)\ell_1(\Z) into a dual Banach algebra. We call such preduals \emph{shift-invariant}. It is known that the only shift-invariant predual arising from the standard duality between C0(K)C_0(K) (for countable locally compact KK) and ℓ1(Z)\ell_1(\Z) is c0(Z)c_0(\Z). We provide an explicit construction of an uncountable family of distinct preduals which do make the bilateral shift weak∗^*-continuous. Using Szlenk index arguments, we show that merely as Banach spaces, these are all isomorphic to c0c_0. We then build some theory to study such preduals, showing that they arise from certain semigroup compactifications of Z\Z. This allows us to produce a large number of other examples, including non-isometric preduals, and preduals which are not Banach space isomorphic to c0c_0.

preprint2010arXiv

Multipliers, Self-Induced and Dual Banach Algebras

In the first part of the paper, we present a short survey of the theory of multipliers, or double centralisers, of Banach algebras and completely contractive Banach algebras. Our approach is very algebraic: this is a deliberate attempt to separate essentially algebraic arguments from topological arguments. We concentrate upon the problem of how to extend module actions, and homomorphisms, from algebras to multiplier algebras. We then consider the special cases when we have a bounded approximate identity, and when our algebra is self-induced. In the second part of the paper, we mainly concentrate upon dual Banach algebras. We provide a simple criterion for when a multiplier algebra is a dual Banach algebra. This is applied to show that the multiplier algebra of the convolution algebra of a locally compact quantum group is always a dual Banach algebra. We also study this problem within the framework of abstract Pontryagin duality, and show that we construct the same weak∗^*-topology. We explore the notion of a Hopf convolution algebra, and show that in many cases, the use of the extended Haagerup tensor product can be replaced by a multiplier algebra.

preprint2009arXiv

A Note on Operator Biprojectivity of Compact Quantum Groups

Given a (reduced) locally compact quantum group AA, we can consider the convolution algebra L1(A)L^1(A) (which can be identified as the predual of the von Neumann algebra form of AA). It is conjectured that L1(A)L^1(A) is operator biprojective if and only if AA is compact. The "only if" part always holds, and the "if" part holds for Kac algebras. We show that if the splitting morphism associated with L1(A)L^1(A) being biprojective can be chosen to be completely positive, or just contractive, then we already have a Kac algebra. We give another proof of the converse, indicating how modular properties of the Haar state seem to be important.

preprint2009arXiv

Amenability of ultraproducts of Banach algebras

We study when certain properties of Banach algebras are stable under ultrapower constructions. In particular, we consider when every ultrapower of $\mc A$ is Arens regular, and give some evidence that this is if and only if $\mc A$ is isomorphic to a closed subalgebra of operators on a super-reflexive Banach space. We show that such ideas are closely related to whether one can sensibly define an ultrapower of a dual Banach algebra. We study how tensor products of ultrapowers behave, and apply this to study the question of when every ultrapower of $\mc A$ is amenable. We provide an abstract characterisation in terms of something like an approximate diagonal, and consider when every ultrapower of a C∗^*-algebra, or a group L1L^1-convolution algebra, is amenable.

preprint2009arXiv

Characterising weakly almost periodic functionals on the measure algebra

Let GG be a locally compact group, and consider the weakly-almost periodic functionals on M(G)M(G), the measure algebra of GG, denoted by $\wap(M(G))$. This is a C∗^*-subalgebra of the commutative C∗^*-algebra M(G)∗M(G)^*, and so has character space, say $K_\wap$. In this paper, we investigate properties of $K_\wap$. We present a short proof that $K_\wap$ can naturally be turned into a semigroup whose product is separately continuous: at the Banach algebra level, this product is simply the natural one induced by the Arens products. This is in complete agreement with the classical situation when GG is discrete. A study of how $K_\wap$ is related to GG is made, and it is shown that $K_\wap$ is related to the weakly-almost periodic compactification of the discretisation of GG. Similar results are shown for the space of almost periodic functionals on M(G)M(G).

preprint2009arXiv

Reiter's properties (P_1) and (P_2) for locally compact quantum groups

A locally compact group GG is amenable if and only if it has Reiter's property (Pp)(P_p) for p=1p=1 or, equivalently, all p∈[1,∞)p \in [1,\infty), i.e., there is a net (mα)α(m_α)_α of non-negative norm one functions in Lp(G)L^p(G) such that lim⁡αsup⁡x∈K∥Lx−1mα−mα∥p=0\lim_α\sup_{x \in K} \| L_{x^{-1}} m_α- m_α\|_p = 0 for each compact subset K⊂GK \subset G (Lx−1mαL_{x^{-1}} m_α stands for the left translate of mαm_α by x−1x^{-1}). We extend the definitions of properties (P1)(P_1) and (P2)(P_2) from locally compact groups to locally compact quantum groups in the sense of J. Kustermans and S. Vaes. We show that a locally compact quantum group has (P1)(P_1) if and only if it is amenable and that it has (P2)(P_2) if and only if its dual quantum group is co-amenable. As a consequence, (P2)(P_2) implies (P1)(P_1).

preprint2009arXiv

Representing multipliers of the Fourier algebra on non-commutative LpL^p spaces

We show that the multiplier algebra of the Fourier algebra on a locally compact group GG can be isometrically represented on a direct sum on non-commutative LpL^p spaces associated to the right von Neumann algebra of GG. 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 LpL^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 homomorphisms. We suggest a definition of a Figa-Talamanca--Herz algebra built out of these non-commutative LpL^p spaces, say Ap(G^)A_p(\hat G). It is shown that A2(G^)A_2(\hat G) is isometric to L1(G)L^1(G), generalising the abelian situation.

preprint2008arXiv

Conditions implying the uniqueness of the weak∗^*-topology on certain group algebras

We investigate possible preduals of the measure algebra M(G)M(G) of a locally compact group and the Fourier algebra A(G)A(G) of a separable compact group. Both of these algebras are canonically dual spaces and the canonical preduals make the multiplication separately weak∗^*-continuous so that these algebras are dual Banach algebras. In this paper we find additional conditions under which the preduals C0(G)C_0(G) of M(G)M(G) and C∗(G)C^*(G) of A(G)A(G) are uniquely determined. In both cases we consider a natural coassociative multiplication and show that the canonical predual gives rise to the unique weak∗^*-topology making both the multiplication separately weak∗^*-continuous and the coassociative multiplication weak∗^*-continuous. In particular, dual cohomological properties of these algebras are well defined with this additional structure.

preprint2008arXiv

Preduals of semigroup algebras

For a locally compact group GG, the measure convolution algebra M(G)M(G) carries a natural coproduct. In previous work, we showed that the canonical predual C0(G)C_0(G) of M(G)M(G) is the unique predual which makes both the product and the coproduct on M(G)M(G) weak∗^*-continuous. Given a discrete semigroup SS, the convolution algebra ℓ1(S)\ell^1(S) also carries a coproduct. In this paper we examine preduals for ℓ1(S)\ell^1(S) making both the product and the coproduct weak∗^*-continuous. Under certain conditions on SS, we show that ℓ1(S)\ell^1(S) has a unique such predual. Such SS include the free semigroup on finitely many generators. In general, however, this need not be the case even for quite simple semigroups and we construct uncountably many such preduals on ℓ1(S)\ell^1(S) when SS is either Z+×Z\mathbb Z_+\times\mathbb Z or (N,⋅)(\mathbb N,\cdot).

preprint2008arXiv

Weakly almost periodic functionals on the measure algebra

It is shown that the collection of weakly almost periodic functionals on the convolution algebra of a commutative Hopf von Neumann algebra is a C∗^*-algebra. This implies that the weakly almost periodic functionals on M(G)M(G), the measure algebra of a locally compact group GG, is a C∗^*-subalgebra of M(G)∗=C0(G)∗∗M(G)^* = C_0(G)^{**}. The proof builds upon a factorisation result, due to Young and Kaiser, for weakly compact module maps. The main technique is to adapt some of the theory of corepresentations to the setting of general reflexive Banach spaces.

preprint2007arXiv

pp-Operator Spaces and Figá-Talamanca-Herz Algebras

We study a generalisation of operator spaces modelled on LpL_p spaces, instead of Hilbert spaces, using the notion of pp-complete boundedness, as studied by Pisier and Le Merdy. We show that the Figá-Talamanca-Herz Algebras Ap(G)A_p(G) becomes quantised Banach algebras in this framework, and that the cohomological notion of amenability of these algebras corresponds to amenability of the locally compact group GG. We thus argue that we have presented a generalised of the use of operator spaces in studying the Fourier algebra A(G)A(G), in the spirit of Ruan. Finally, we show that various notions of multipliers of Ap(G)A_p(G) (including Herz's generalisation of the Fourier-Stieltjes algebra) naturally fit into this framework.

preprint2007arXiv

Ultrapowers of Banach algebras and modules

The Arens products are the standard way of extending the product from a Banach algebra $\mc A$ to its bidual $\mc A''$. Ultrapowers provide another method which is more symmetric, but one that in general will only give a bilinear map, which may not be associative. We show that if $\mc A$ is Arens regular, then there is at least one way to use an ultrapower to recover the Arens product, a result previously known for C∗^*-algebras. Our main tool is a Principle of Local Reflexivity result for modules and algebras.

preprint2006arXiv

Dual Banach algebras: representations and injectivity

We study representations of Banach algebras on reflexive Banach spaces. Algebras which admit such representations which are bounded below seem to be a good generalisation of Arens regular Banach algebras; this class includes dual Banach algebras as defined by Runde, but also all group algebras, and all discrete (weakly cancellative) semigroup algebras. Such algebras also behave in a similar way to C∗^*- and W∗^*-algebras; we show that interpolation space techniques can be used in the place of GNS type arguments. We define a notion of injectivity for dual Banach algebras, and show that this is equivalent to Connes-amenability. We conclude by looking at the problem of defining a well-behaved tensor product for dual Banach algebras.

preprint2005arXiv

Connes-amenability of bidual and weighted semigroup algebras

We investigate the notion of Connes-amenability for dual Banach algebras, as introduced by Runde, for bidual algebras and weighted semigroup algebras. We provide some simplifications to the notion of a σWCσWC-virtual diagonal, as introduced by Runde, especially in the case of the bidual of an Arens regular Banach algebra. We apply these results to discrete, weighted, weakly cancellative semigroup algebras, showing that these behave in the same way as C∗^*-algebras with regards Connes-amenability of the bidual algebra. We also show that for each one of these cancellative semigroup algebras l1(S,ω)l^1(S,ω), we have that l1(S,ω)l^1(S,ω) is Connes-amenable (with respect to the canonical predual c0(S)c_0(S)) if and only if l1(S,ω)l^1(S,ω) is amenable, which is in turn equivalent to SS being an amenable group. This latter point was first shown by Gr{ö}nbæk, but we provide a unified proof. Finally, we consider the homological notion of injectivity, and show that here, weighted semigroup algebras do not behave like C∗^*-algebras.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.