Researcher profile

Matthew Daws

Matthew Daws contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
20works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

20 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.

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.

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.