Researcher profile

Yemon Choi

Yemon Choi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
24works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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

24 published item(s)

preprint2020arXiv

A twisted inclusion between tensor products of operator spaces

Given operator spaces $V$ and $W$, let $\widetilde{W}$ denote the opposite operator space structure on the same underlying Banach space. Although the identity map $W\to \widetilde{W}$ is in general not completely bounded, we show that the identity map on $V\otimes W$ extends to a contractive linear map $V\widehat{\otimes} W \to V\otimes_{\min} \widetilde{W}$, where $\widehat{\otimes}$ and $\otimes_{\rm min}$ denote the projective and injective tensor products of operator spaces. In future work, this will be applied to construct antisymmetric $2$-cocycles on certain Fourier algebras.

preprint2016arXiv

Triviality of the generalized Lau product associated to a Banach algebra homomorphism

Several papers have, as their raison d'etre, the exploration of the \emph{generalized Lau product} associated to a homomorphism $T:B\to A$ of Banach algebras. In this short note, we demonstrate that the generalized Lau product is isomorphic as a Banach algebra to the usual direct product $A\oplus B$. We also correct some misleading claims made about the relationship between this generalized Lau product, and an older construction of Monfared (Studia Mathematica, 2007).

preprint2015arXiv

A gap theorem for the ZL-amenability constant of a finite group

It was shown in [A. Azimifard, E. Samei, N. Spronk, JFA 2009; arxiv 0805.3685] that the ZL-amenability constant of a finite group is always at least 1, with equality if and only if the group is abelian. It was also shown in the same paper that for any finite non-abelian group this invariant is at least 301/300, but the proof relies crucially on a deep result of D. A. Rider on norms of central idempotents in group algebras. Here we show that if G is finite and non-abelian then its ZL-amenability constant is at least 7/4, which is known to be best possible. We avoid use of Rider's result, by analyzing the cases where G is just non-abelian, using calculations from [M. Alaghmandan, Y. Choi, E. Samei, CMB 2014; arxiv 1302.1929], and establishing a new estimate for groups with trivial centre.

preprint2015arXiv

Realization of compact spaces as cb-Helson sets

We show that, given a compact Hausdorff space $Ω$, there is a compact group ${\mathbb G}$ and a homeomorphic embedding of $Ω$ into ${\mathbb G}$, such that the restriction map ${\rm A}({\mathbb G})\to C(Ω)$ is a complete quotient map of operator spaces. In particular, this shows that there exist compact groups which contain infinite cb-Helson subsets, answering a question raised in [Choi--Samei, Proc. AMS 2013; cf. http://arxiv.org/abs/1104.2953]. A negative result from the same paper is also improved.

preprint2015arXiv

Weak amenability for Fourier algebras of 1-connected nilpotent Lie groups

A special case of a conjecture raised by Forrest and Runde (Math. Zeit., 2005) asserts that the Fourier algebra of every non-abelian connected Lie group fails to be weakly amenable; this was aleady known to hold in the non-abelian compact cases, by earlier work of Johnson (JLMS, 1994) and Plymen (unpublished note). In recent work (JFA, 2014) the present authors verified this conjecture for the real ax+b group and hence, by structure theory, for any semisimple Lie group. In this paper we verify the conjecture for all 1-connected, non-abelian nilpotent Lie groups, by reducing the problem to the case of the Heisenberg group. As in our previous paper, an explicit non-zero derivation is constructed on a dense subalgebra, and then shown to be bounded using harmonic analysis. En route, we use the known fusion rules for Schrödinger representations to give a concrete realization of the "dual convolution" for this group as a kind of twisted, operator-valued convolution. We also give some partial results for solvable groups which give further evidence to support the general conjecture.

preprint2014arXiv

Directly finite algebras of pseudofunctions on locally compact groups

An algebra $A$ is said to be directly finite if each left invertible element in the (conditional) unitization of $A$ is right invertible. We show that the reduced group ${\rm C}^\ast$-algebra of a unimodular group is directly finite, extending known results for the discrete case. We also investigate the corresponding problem for algebras of $p$-pseudofunctions, showing that these algebras are directly finite if $G$ is amenable and unimodular, or unimodular with the Kunze--Stein property. An exposition is also given of how existing results from the literature imply that $L^1(G)$ is not directly finite when $G$ is the affine group of either the real or complex line.

preprint2014arXiv

Extension of derivations, and Connes-amenability of the enveloping dual Banach algebra

If $D:A \to X$ is a derivation from a Banach algebra to a contractive, Banach $A$-bimodule, then one can equip $X^{**}$ with an $A^{**}$-bimodule structure, such that the second transpose $D^{**}: A^{**} \to X^{**}$ is again a derivation. We prove an analogous extension result, where $A^{**}$ is replaced by $\F(A)$, the \emph{enveloping dual Banach algebra} of $A$, and $X^{**}$ by an appropriate kind of universal, enveloping, normal dual bimodule of $X$. Using this, we obtain some new characterizations of Connes-amenability of $\F(A)$. In particular we show that $\F(A)$ is Connes-amenable if and only if $A$ admits a so-called WAP-virtual diagonal. We show that when $A=L^1(G)$, existence of a WAP-virtual diagonal is equivalent to the existence of a virtual diagonal in the usual sense. Our approach does not involve invariant means for $G$.

preprint2014arXiv

Weak and cyclic amenability for Fourier algebras of connected Lie groups

Using techniques of non-abelian harmonic analysis, we construct an explicit, non-zero cyclic derivation on the Fourier algebra of the real $ax+b$ group. In particular this provides the first proof that this algebra is not weakly amenable. Using the structure theory of Lie groups, we deduce that the Fourier algebras of connected, semisimple Lie groups also support non-zero, cyclic derivations and are likewise not weakly amenable. Our results complement earlier work of Johnson (JLMS, 1994), Plymen (unpublished note) and Forrest--Samei--Spronk (IUMJ 2009). As an additional illustration of our techniques, we construct an explicit, non-zero cyclic derivation on the Fourier algebra of the reduced Heisenberg group, providing the first example of a connected nilpotent group whose Fourier algebra is not weakly amenable.

preprint2013arXiv

A nonseparable amenable operator algebra which is not isomorphic to a C*-algebra

It has been a longstanding problem whether every amenable operator algebra is isomorphic to a (necessarily nuclear) C*-algebra. In this note, we give a nonseparable counterexample. The existence of a separable counterexample remains an open problem. We also initiate a general study of unitarizability of representations of amenable groups in C*-algebras and show that our method cannot produce a separable counterexample.

preprint2013arXiv

Approximately multiplicative maps from weighted semilattice algebras

We investigate which weighted convolution algebras $\ell^1_ω(S)$, where $S$ is a semilattice, are AMNM in the sense of Johnson (JLMS, 1986). We give an explicit example where this is not the case. We show that the unweighted examples are all AMNM, as are all $\ell^1_ω(S)$ where $S$ has either finite width or finite height. Some of these finite-width examples are isomorphic to function algebras studied by Feinstein (IJMMS, 1999). We also investigate when $(\ell^1_ω(S),{\bf M}_2)$ is an AMNM pair in the sense of Johnson (JLMS, 1988), where ${\bf M}_2$ denotes the algebra of 2-by-2 complex matrices. In particular, we obtain the following two contrasting results: (i) for many non-trivial weights on the totally ordered semilattice ${\bf N}_{\min}$, the pair $(\ell^1_ω({\bf N}_{\min}),{\bf M}_2)$ is not AMNM; (ii) for any semilattice $S$, the pair $(\ell^1(S),{\bf M}_2)$ is AMNM. The latter result requires a detailed analysis of approximately commuting, approximately idempotent $2\times 2$ matrices.

preprint2013arXiv

Quotients of Fourier algebras, and representations which are not completely bounded

We observe that for a large class of non-amenable groups $G$, one can find bounded representations of $A(G)$ on Hilbert space which are not completely bounded. We also consider restriction algebras obtained from $A(G)$, equipped with the natural operator space structure, and ask whether such algebras can be completely isomorphic to operator algebras; partial results are obtained, using a modified notion of Helson set which takes account of operator space structure. In particular, we show that if $G$ is virtually abelian, then the restriction algebra $A_G(E)$ is completely isomorphic to an operator algebra if and only if $E$ is finite.

preprint2013arXiv

ZL-amenability and characters for the restricted direct products of finite groups

Let $G$ be a restricted direct product of finite groups $\{G_i \}_{i\in I}$, and let $\Zl^1(G)$ denote the centre of its group algebra. We show that $\Zl^1(G)$ is amenable if and only if $G_i$ is abelian for all but finitely many $i$, and characterize the maximal ideals of $\Zl^1(G)$ which have bounded approximate identities. We also study when an algebra character of $\Zl^1(G)$ belongs to $c_0$ or $\ell^p$ and provide a variety of examples.

preprint2012arXiv

Singly generated operator algebras satisfying weakened versions of amenability

We construct a singly generated subalgebra of ${\mathcal K}({\mathcal H})$ which is non-amenable, yet is boundedly approximately contractible. The example embeds into a homogeneous von Neumann algebra. We also observe that there are singly generated, biflat subalgebras of finite Type I von Neumann algebras, which are not amenable (and hence are not isomorphic to C*-algebras). Such an example can be used to show that a certain extension property for commutative operator algebras, which is shown in arXiv:1012.4259 to follow from amenability, does not necessarily imply amenability.

preprint2011arXiv

On commutative, operator amenable subalgebras of finite von Neumann algebras

An open question, raised independently by several authors, asks if a closed amenable subalgebra of ${\mathcal B}({\mathcal H})$ must be similar to an amenable C*-algebra; the question remains open even for singly-generated algebras. In this article we show that any closed, commutative, operator amenable subalgebra of a finite von Neumann algebra ${\mathcal M}$ is similar to a commutative C*-subalgebra of ${\mathcal M}$, with the similarity implemented by an element of ${\mathcal M}$. Our proof makes use of the algebra of measurable operators affiliated to ${\mathcal M}$.

preprint2011arXiv

Simplicial cohomology of band semigroup algebras

We establish simplicial triviality of the convolution algebra $\ell^1(S)$, where $S$ is a band semigroup. This generalizes results of the first author [Glasgow Math. J. 2005, Houston J. Math. 2010]. To do so, we show that the cyclic cohomology of this algebra vanishes in all odd degrees, and is isomorphic in even degrees to the space of continuous traces on $\ell^1(S)$. Crucial to our approach is the use of the structure semilattice of $S$, and the associated grading of $S$, together with an inductive normalization procedure in cyclic cohomology; the latter technique appears to be new, and its underlying strategy may be applicable to other convolution algebras of interest.

preprint2010arXiv

Characterising derivations from the disc algebra to its dual

We show that the space of all bounded derivations from the disc algebra into its dual can be identified with the Hardy space $H^1$; using this, we infer that all such derivations are compact. Also, given a fixed derivation $D$, we construct a finite, positive Borel measure $μ_D$ on the closed disc, such that $D$ factors through $L^2(μ_D)$. Such a measure is known to exist, for any bounded linear map from the disc algebra to its dual, by results of Bourgain and Pietsch, but these results are highly non-constructive.

preprint2010arXiv

Group representations with empty residual spectrum

Let $X$ be a Banach space on which a discrete group $Γ$ acts by isometries. For certain natural choices of $X$, every element of the group algebra, when regarded as an operator on $X$, has empty residual spectrum. We show, for instance, that this occurs if $X$ is $\ell^2(\Gm)$ or the group von Neumann algebra $VN(\Gm)$. In our approach, we introduce the notion of a {\em surjunctive pair}, and develop some of the basic properties of this construction. The cases $X=\ell^p(\Gm)$ for $1<p<2$ or $2<p<\infty$ are more difficult. If $\Gm$ is amenable we can obtain partial results, using a majorization result of Herz; an example of Willis shows that some condition on $\Gm$ is necessary.

preprint2010arXiv

Translation-finite sets, and weakly compact derivations from $\lp{1}(\Z_+)$ to its dual

We characterize those derivations from the convolution algebra $\ell^1({\mathbb Z}_+)$ to its dual which are weakly compact. In particular, we provide examples which are weakly compact but not compact. The characterization is combinatorial, in terms of &#34;translation-finite&#34; subsets of ${\mathbb Z}_+$, and we investigate how this notion relates to other notions of &#34;smallness&#34; for infinite subsets of ${\mathbb Z}_+$. In particular, we show that a set of strictly positive Banach density cannot be translation-finite; the proof has a Ramsey-theoretic flavour.

preprint2009arXiv

Approximate amenability of Schatten classes, Lipschitz algebras and second duals of Fourier algebras

Amenability of any of the algebras described in the title is known to force them to be finite-dimensional. The analogous problems for \emph{approximate} amenability have been open for some years now. In this article we give a complete solution for the first two classes, using a new criterion for showing that certain Banach algebras without bounded approximate identities cannot be approximately amenable. The method also provides a unified approach to existing non-approximate amenability results, and is applied to the study of certain commutative Segal algebras. Using different techniques, we prove that \emph{bounded} approximate amenability of the second dual of a Fourier algebra implies that it is finite-dimensional. Some other results for related algebras are obtained.

preprint2008arXiv

Hochschild homology and cohomology of {\ell}^1({\mathbb Z}_+^k)

Building on the recent determination of the simplicial cohomology groups of the convolution algebra ${\ell}^1({\mathbb Z}_+^k)$ [Gourdeau, Lykova, White, 2005] we investigate what can be said for cohomology of this algebra with more general symmetric coefficients. Our approach leads us to a discussion of Harrison homology and cohomology in the context of Banach algebras, and a development of some of its basic features. As an application of our techniques we reprove some known results on second-degree cohomology.

preprint2008arXiv

Simplicial homology of strong semilattices of Banach algebras

Certain semigroups are known to admit a `strong semilattice decomposition&#39; into simpler pieces. We introduce a class of Banach algebras that generalise the $\ell^1$-convolution algebras of such semigroups, and obtain a disintegration theorem for their simplicial homology. Using this we show that for any Clifford semigroup $S$ of amenable groups, $\lp{1}(S)$ is simplicially trivial: this generalises results in \cite{YC_GMJ}. Some other applications are presented.

preprint2007arXiv

Injective convolution operators on ${\ell}^{\infty}(Γ)$ are surjective

Let $Γ$ be a discrete group and let $f \in \ell^1(Γ)$. We observe that if the natural convolution operator $ρ_f:\ell^{\infty}(Γ)\to \ell^{\inf ty}(Γ)$ is injective, then f is invertible in $\ell^1(Γ)$. Our proof simplifies and generalizes calculations in a preprint of Deninger and Schmidt, by appealing to the direct finiteness of the algebra $\ell^1(Γ)$. We give simple examples to show that in general one cannot replace $\ell^{\infty}$ with $\ell^p$, $1\leq p< \infty$, nor with $L^{\infty}(G)$ for nondiscrete G. Finally, we consider the problem of extending the main result to the case of weighted convolution operators on $Γ$, and give some partial results.