There is no universal separable Banach algebra
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917071440314368 |
|---|---|
| author | Kania, Tomasz |
| author_facet | Kania, Tomasz |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_04314 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | There is no universal separable Banach algebra Kania, Tomasz Functional Analysis Operator Algebras 46H10, 46H15, 46M05 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. |
| title | There is no universal separable Banach algebra |
| topic | Functional Analysis Operator Algebras 46H10, 46H15, 46M05 |
| url | https://arxiv.org/abs/2511.04314 |