On the extension of inner derivations from dense ideals in Banach algebras
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918387640172544 |
|---|---|
| author | Shafieasl, Hamid Tavakkoli, Amir Mohammad |
| author_facet | Shafieasl, Hamid Tavakkoli, Amir Mohammad |
| contents | Let $A$ be a Banach algebra and $I$ a dense ideal in $A$. A natural question in the theory of operator algebras is whether the property that all derivations $D: A \to I$ are inner (implemented by elements in $I$) implies that all derivations $D: A \to A$ are inner (implemented by elements in $A$). We present a rigorous negative answer to this question. By utilizing the algebra of compact operators $A = K(H)$ and the dense ideal of finite-rank operators $I = F(H)$ on a separable infinite-dimensional Hilbert space $H$, we demonstrate that while every derivation into $F(H)$ is inner, there exist outer derivations on $K(H)$. Furthermore, we generalize this result to Schatten $p$-classes and discuss the cohomological implications and the role of approximate identities. Moreover, the main results and counterexamples presented in this paper have been formally verified using the Lean theorem prover. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_09198 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On the extension of inner derivations from dense ideals in Banach algebras Shafieasl, Hamid Tavakkoli, Amir Mohammad Functional Analysis Primary 47B47, Secondary 46H05, 46L05, 46M20 Let $A$ be a Banach algebra and $I$ a dense ideal in $A$. A natural question in the theory of operator algebras is whether the property that all derivations $D: A \to I$ are inner (implemented by elements in $I$) implies that all derivations $D: A \to A$ are inner (implemented by elements in $A$). We present a rigorous negative answer to this question. By utilizing the algebra of compact operators $A = K(H)$ and the dense ideal of finite-rank operators $I = F(H)$ on a separable infinite-dimensional Hilbert space $H$, we demonstrate that while every derivation into $F(H)$ is inner, there exist outer derivations on $K(H)$. Furthermore, we generalize this result to Schatten $p$-classes and discuss the cohomological implications and the role of approximate identities. Moreover, the main results and counterexamples presented in this paper have been formally verified using the Lean theorem prover. |
| title | On the extension of inner derivations from dense ideals in Banach algebras |
| topic | Functional Analysis Primary 47B47, Secondary 46H05, 46L05, 46M20 |
| url | https://arxiv.org/abs/2603.09198 |