There is no universal separable Banach algebra
Tomasz Kania
TL;DR
This work proves that there is no separable Banach algebra universal for bounded (or contractive) homomorphic embeddings of all separable Banach algebras, in both the commutative and noncommutative settings. The authors introduce a unified construction that attaches a separable test algebra $A(\\beta)$ to a bounded bilinear form $\\beta$, with multiplication designed to encode $\\beta$; any embedding of $A(\\beta)$ into a candidate $B$ forces the linearisation $\\widetilde{\\beta}$ to factor through the projective tensor product $G = B\\widehat{\\otimes}_{\\pi} B$. By selecting $\\beta$ so that this factorisation cannot occur—via the Johnson–Szankowski obstruction—the existence of a universal object is contradicted. In the commutative case, symmetry of $\\beta$ ensures $A(\\beta)$ is commutative, while the core obstruction argument remains unchanged. Consequently, no separable universal Banach algebra exists for the four considered universality notions, highlighting fundamental limits in universal constructions for Banach algebras.
Abstract
We prove that no separable Banach algebra is universal for homomorphic embeddings of all separable Banach algebras, whether embeddings are merely bounded or required to be contractive. The same holds in the commutative category. The proof uses the following scheme. To each bounded bilinear form $β$ we attach a separable test algebra $A(β)$ whose multiplication records $β$. Any homomorphic embedding of $A(β)$ into a candidate $B$ forces the linearisation of $β$ to factor through the fixed separable space $B\widehat{\otimes}_πB$. Choosing $β$ so that the associated operator fails to factor through $B\widehat{\otimes}_πB$, by the theorem of Johnson--Szankowski, yields a contradiction. In the commutative case, we take $β$ symmetric so $A(β)$ is commutative.