[論文レビュー] On the extension of inner derivations from dense ideals in Banach algebras

Hamid Shafieasl, Amir Mohammad Tavakkoli|arXiv (Cornell University)|Mar 10, 2026

Advanced Operator Algebra Research被引用数 0

ひとこと要約

要旨：内導出が dense な理想 I への導出を全体の Banach 代数 A への導出へと一般化するかという問いに対して否定的な答えを与える。具体的には、K(H) から F(H) への導出（および Schatten p-クラスへの導出）はすべて内導出である一方、K(H) から K(H) への外導出が存在する。

ABSTRACT

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 o I$ are inner (implemented by elements in $I$) implies that all derivations $D: A o 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.

研究の動機と目的

• I dense in A であるとき D:A→I がすべて inner であるという性質が、すべての D:A→A を inner にするかを調べる。
• この含意の限界を明示的な反例で示す。
• Schatten p-クラスへの拡張と共同型解釈へ拡張する。
• この文脈で近似単位の役割を検討する。

提案手法

• A=K(H) および I=F(H) を separable な無限次元 H 上で用いて明示的な反例を構成する。
• すべての D:K(H)→F(H) が inner であること、しかし外導出 D:K(H)→K(H) が存在することを示す。
• Schatten p-クラスへ結果を一般化し、D:K(H)→S_p(H) が inner であることを証明する。
• Hochschild cohomology の概念を用いて Z^1 と inner 導出を解釈する。
• Johnson–Parrott 定理を適用して exchanges と乗算子構造を分析する。
• Lean 4 と mathlib を用いた結果の形式的検証。

実験結果

リサーチクエスチョン

• RQ1 dense な理想 I への導出の inner 性が環境代数 A への全導出の inner 性を保証するか？
• RQ2 dense 理想の係数における第一 Hochschild cohomology の消失が A へリフトされる条件を特徴付けられるか？
• RQ3 1≤p<∞ の Schatten p-クラスへ結果を Finite-rank 演算子から拡張できるか？
• RQ4 K(H) における外導出の存在における近似同一性の役割は何か？

主な発見

• All derivations D:K(H)→F(H) are inner and implemented by elements in F(H).
• There exist outer derivations D:K(H)→K(H).
• For Schatten p-classes with 1≤p<∞, every derivation D:K(H)→S_p(H) is inner and implemented by an element in S_p(H).
• Corollary: H^1(K(H),F(H))=0 while H^1(K(H),K(H))≠0.
• The results have a cohomological interpretation: vanishing of H^1 with coefficients in a dense sub-bimodule does not lift to A.