2025/11/06 by Tomasz Kania, Kania, Tomasz
Mathematics · #46H10 #46H15 #46M05 #Advanced Operator Algebra Research #Advanced Topics in Algebra #FOS: Mathematics #Functional Analysis (math.FA) #Holomorphic and Operator Theory #Operator Algebras (math.OA)
paper · pdf · doi:10.48550/arxiv.2511.04314
openalex publication_date 2025/11/06 · openalex created_date 2025/11/08 · openalex updated_date 2026/07/28
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⊗πB. Choosing β so that the associated operator fails to factor through B\widehat⊗πB, by the theorem of Johnson--Szankowski, yields a contradiction. In the commutative case, we take β symmetric so A(β) is commutative.