[论文解读] Derivations in the Banach ideals of $τ$-compact operators

A. F. Ber, Fedor Sukochev|arXiv (Cornell University)|Apr 18, 2012

Advanced Operator Algebra Research参考文献 12被引用 5

一句话总结

该论文证明了，当对称算子空间 E(τ) 满足温和条件（例如自反性）时，从冯诺依曼代数 𝒩 到 τ-紧算子的对称算子空间 E(τ) 的所有导出映射都是内导出映射。其核心方法利用了单位元在 E(τ) 上通过仿射等距作用的群作用，并应用不动点定理（Namioka-Phelps 或 Ryll-Nardzewski）构造出实现元素 d，使得 δ(x) = [d,x]。一个核心结果是：对于所有 1 < p < ∞，从 𝒩 到 L_p(𝒫,τ) 的每个导出映射都是内导出映射，从而解决了非交换分析中长期悬而未决的问题。

ABSTRACT

Let $\mathcal{M}$ be a von Neumann algebra equipped with a faithful normal semi-finite trace $τ$ and let $S_0(τ)$ be the algebra of all $τ$-compact operators affiliated with $\mathcal{M}$. Let $E(τ)\subseteq S_0(τ)$ be a symmetric operator space (on $\mathcal{M}$) and let $\mathcal{E}$ be a symmetrically-normed Banach ideal of $τ$-compact operators in $\mathcal{M}$. We study (i) derivations $δ$ on $\mathcal{M}$ with the range in $E(τ)$ and (ii) derivations on the Banach algebra $\mathcal{E}$. In the first case our main results assert that such derivations are continuous (with respect to the norm topologies) and also inner (under some mild assumptions on $E(τ)$). In the second case we show that any such derivation is necessarily inner when $\mathcal{M}$ is a type $I$ factor. As an interesting application of our results for the case (i) we deduce that any derivation from $\mathcal{M}$ into an $L_p$-space, $L_p(\mathcal{M},τ)$, ($1

研究动机与目标

• 确定从冯诺依曼代数 𝒩 到 τ-紧算子的对称算子空间 E(τ) 的导出映射是否在 E(τ) 的范数拓扑下连续且为内导出映射。
• 解决关于 τ-可测算子代数上导出映射结构的开放问题，特别是在非交换 L_p 空间背景下的问题。
• 将 C*-代数和对称范数理想中的经典导出映射结果推广到更广泛的冯诺依曼代数以及 τ-紧算子的对称范数 Banach 理想的设置中。
• 为在非交换测度论中使用群作用和不动点定理证明内导出映射提供一个通用框架。

提出的方法

• 通过定义群作用 T_u 作用于 E(τ)，其中 T_u(x) = uxu* + δ(u)u*，将 𝒰(𝒫) 中的单位元映射为 Banach 空间 E(τ) 上的仿射等距映射。
• 证明轨道 T(0) 及其凸包在 E(τ) 中有界且弱*紧，利用 Banach-Alaoglu 定理，前提是 E(τ) 自反或可分。
• 将 Namioka-Phelps 不动点定理应用于 T 在 co(T(0)) 的弱*闭包上的作用，得到一个不动点 d ∈ E(τ)，使得对所有 u ∈ 𝒰(𝒫) 有 d = T_u(d)。
• 由不动点条件推导出：对所有单位元 u ∈ 𝒰(𝒫)，有 δ(u) = [d,u]，并利用线性性将此结果延拓至 𝒩 中所有 x。
• 利用 𝒩 中任意元素均可表示为单位元的线性组合这一事实，得出对所有 x ∈ 𝒩 有 δ(x) = [d,x]，从而证明导出映射是内导出映射。
• 证明 d 的范数满足 ‖d‖_E ≤ ‖δ‖，从而为实现元素提供了定量估计。

实验结果

研究问题

• RQ1 从冯诺依曼代数 𝒩 到 τ-紧算子的对称算子空间 E(τ) 的导出映射是否在 E(τ) 的范数拓扑下必然连续？
• RQ2 在何种条件下此类导出映射是内导出映射，即存在 d ∈ E(τ) 使得 δ(x) = [d,x]？
• RQ3 从冯诺依曼代数 𝒩 到 L_p(𝒫,τ)（1 < p < ∞）的每个导出映射是否都是内导出映射？
• RQ4 能否在非交换 L_p 空间中通过群作用和不动点定理证明内实现的存在性？
• RQ5 L_∞(0,1) 上任意非平凡导出映射的像是否不包含于 S(τ) 中的任何 Banach 𝒫-双模？

主要发现

• 所有连续导出映射 δ: 𝒩 → E(τ)，其中 E(τ) 自反，均为内导出映射，即存在 d ∈ E(τ) 满足 δ(x) = [d,x]，且其范数满足 ‖d‖_E ≤ ‖δ‖。
• 对所有 1 < p < ∞，导出映射 δ: 𝒩 → L_p(𝒫,τ) 均为内导出映射，解决了非交换分析中的一个关键开放问题。
• 实现元素 d 的构造依赖于将 Namioka-Phelps 不动点定理应用于单位元群作用下轨道 {T_u(0)} 的凸包的弱*闭包。
• 群作用 T_u(x) = uxu* + δ(u)u* 是 E(τ) 上的仿射等距映射，其不动点 d 满足对所有 u ∈ 𝒰(𝒫) 有 d = T_u(d)。
• 即使 E(τ) 不是 C*-代数，该结果依然成立，从而将经典结果从紧算子推广到 τ-紧算子的一般对称范数理想。
• 任何非平凡导出映射在 L_∞(0,1) 上的像不包含于 S(τ) 中的任何 Banach 𝒫-双模，证实了文献中的一项猜想。