arXiv subjects

Matthew Daws

Publications and source records attributed to Matthew Daws.

45 records · Page 3Linked to original sources

arXiv2008

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)$.

math.FA↗

arXiv2008

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.

math.FA↗

arXiv2008

Can B(l^p) ever be amenable?

It is known that ${\cal B}(\ell^p)$ is not amenable for $p =1,2,\infty$, but whether or not ${\cal B}(\ell^p)$ is amenable for $p \in (1,\infty) \setminus \{2 \}$ is an open problem. We show that, if ${\cal B}(\ell^p)$ is amenable for $p \in (1,\infty)$, then so are $\ell^\infty({\cal B}(\ell^p))$ and $\ell^\infty({\cal K}(\ell^p))$. Moreover, if $\ell^\infty({\cal K}(\ell^p))$ is amenable so is $\ell^\infty(\mathbb{I},{\cal K}(E))$ for any index set $\mathbb I$ and for any infinite-dimensional ${\cal L}^p$-space $E$; in particular, if $\ell^\infty({\cal K}(\ell^p))$ is amenable for $p \in (1,\infty)$, then so is $\ell^\infty({\cal K}(\ell^p \oplus \ell^2))$. We show that $\ell^\infty({\cal K}(\ell^p \oplus \ell^2))$ is not amenable for $p =1,\infty$, but also that our methods fail us if $p \in (1,\infty)$. Finally, for $p \in (1,2)$ and a free ultrafilter $\cal U$ over $\posints$, we exhibit a closed left ideal of $({\cal K}(\ell^p))_{\cal U}$ lacking a right approximate identity, but enjoying a certain, very weak complementation property.

math.FA↗

arXiv2008

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.

math.FA↗

arXiv2007

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.

math.FA↗

arXiv2007

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

math.OA↗

arXiv2007

Weakly almost periodic functionals, representations, and operator spaces

A theorem of Davis, Figiel, Johnson and Pełczyński tells us that weakly-compact operators between Banach spaces factor through reflexive Banach spaces. The machinery underlying this result is that of the real interpolation method, which has been adapted to the category of operator spaces by Xu, showing the this factorisation result also holds for completely bounded weakly-compact maps. In this note, we show that Xu's ideas can be adapted to give an intrinsic characterisation of when a completely contractive Banach algebra arises as a closed subalgebra of the algebra of completely bounded operators on a reflexive operator space. This result was shown by Young for Banach algebras, and our characterisation is a direct analogue of Young's, involving weakly almost periodic functionals.

math.FA↗

arXiv2006

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.

math.FA↗

arXiv2005

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.

math.FA↗