Source author record

Matthew Daws

Matthew Daws appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

26works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

26 published item(s)

preprint2023arXiv

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

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.

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 $\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 $\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^*$-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 $L^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 $L^p$-analogues of the Cuntz algebra.

preprint2021arXiv

Completely bounded homomorphisms of the Fourier algebra revisited

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 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 $\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 $\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. 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 $\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)$, 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 $\mathbb G$ such that $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 $f$ of the Fourier algebra $A(G)$ arises from a pair of bounded continuous maps $α,β:G \rightarrow K$, where $K$ is a Hilbert space, and $f(s^{-1}t) = (β(t)|α(s))$ for all $s,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 $\ell_1(\Z)$

The Banach space $\ell_1(\Z)$ admits many non-isomorphic preduals, for example, $C(K)$ for any compact countable space $K$, along with many more exotic Banach spaces. In this paper, we impose an extra condition: the predual must make the bilateral shift on $\ell_1(\Z)$ weak$^*$-continuous. This is equivalent to making the natural convolution multiplication on $\ell_1(\Z)$ separately weak*-continuous and so turning $\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 $C_0(K)$ (for countable locally compact $K$) and $\ell_1(\Z)$ is $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 $c_0$. We then build some theory to study such preduals, showing that they arise from certain semigroup compactifications of $\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 $c_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 $A$, we can consider the convolution algebra $L^1(A)$ (which can be identified as the predual of the von Neumann algebra form of $A$). It is conjectured that $L^1(A)$ is operator biprojective if and only if $A$ 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 $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 $L^1$-convolution algebra, is amenable.

preprint2009arXiv

Characterising weakly almost periodic functionals on the measure algebra

Let $G$ be a locally compact group, and consider the weakly-almost periodic functionals on $M(G)$, the measure algebra of $G$, denoted by $\wap(M(G))$. This is a C$^*$-subalgebra of the commutative C$^*$-algebra $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 $G$ is discrete. A study of how $K_\wap$ is related to $G$ is made, and it is shown that $K_\wap$ is related to the weakly-almost periodic compactification of the discretisation of $G$. Similar results are shown for the space of almost periodic functionals on $M(G)$.

preprint2009arXiv

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

A locally compact group $G$ is amenable if and only if it has Reiter's property $(P_p)$ for $p=1$ or, equivalently, all $p \in [1,\infty)$, i.e., there is a net $(m_α)_α$ of non-negative norm one functions in $L^p(G)$ such that $\lim_α\sup_{x \in K} \| L_{x^{-1}} m_α- m_α\|_p = 0$ for each compact subset $K \subset G$ ($L_{x^{-1}} m_α$ stands for the left translate of $m_α$ by $x^{-1}$). We extend the definitions of properties $(P_1)$ and $(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 $(P_1)$ if and only if it is amenable and that it has $(P_2)$ if and only if its dual quantum group is co-amenable. As a consequence, $(P_2)$ implies $(P_1)$.

preprint2009arXiv

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

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 homomorphisms. We suggest a definition of a Figa-Talamanca--Herz algebra built out of these non-commutative $L^p$ spaces, say $A_p(\hat G)$. It is shown that $A_2(\hat G)$ is isometric to $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)$ of a locally compact group and the Fourier algebra $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 $C_0(G)$ of $M(G)$ and $C^*(G)$ of $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 $G$, the measure convolution algebra $M(G)$ carries a natural coproduct. In previous work, we showed that the canonical predual $C_0(G)$ of $M(G)$ is the unique predual which makes both the product and the coproduct on $M(G)$ weak$^*$-continuous. Given a discrete semigroup $S$, the convolution algebra $\ell^1(S)$ also carries a coproduct. In this paper we examine preduals for $\ell^1(S)$ making both the product and the coproduct weak$^*$-continuous. Under certain conditions on $S$, we show that $\ell^1(S)$ has a unique such predual. Such $S$ 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 $\ell^1(S)$ when $S$ is either $\mathbb Z_+\times\mathbb Z$ or $(\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)$, the measure algebra of a locally compact group $G$, is a C$^*$-subalgebra of $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

$p$-Operator Spaces and Figá-Talamanca-Herz Algebras

We study a generalisation of operator spaces modelled on $L_p$ spaces, instead of Hilbert spaces, using the notion of $p$-complete boundedness, as studied by Pisier and Le Merdy. We show that the Figá-Talamanca-Herz Algebras $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 $G$. We thus argue that we have presented a generalised of the use of operator spaces in studying the Fourier algebra $A(G)$, in the spirit of Ruan. Finally, we show that various notions of multipliers of $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$-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 $l^1(S,ω)$, we have that $l^1(S,ω)$ is Connes-amenable (with respect to the canonical predual $c_0(S)$) if and only if $l^1(S,ω)$ is amenable, which is in turn equivalent to $S$ 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.