[论文解读] Homomorphisms, amenability and weak amenability of Banach algebras

M‎. ‎Eshaghi Gordji|ArXiv.org|Oct 3, 2006

Advanced Operator Algebra Research参考文献 7被引用 3

一句话总结

本文通过同态映射到其他巴拿赫代数，建立了巴拿赫代数的可约性与弱可约性的等价条件。证明了巴拿赫代数 𝒜 可约当且仅当对每个单射同态 φ: 𝒜 → 𝒷，一阶上同调群 H¹(𝒜, 𝒷*ₚ) 为零，提出了一种新的表征方法，将可约性与同态诱导的双模联系起来，并通过二阶对偶和模扩张推广至弱可约性和超弱可约性。

ABSTRACT

In this paper we find some necessary and sufficient conditions for a Banach algebra to be amenable or weakly amenable, by applying the homomorphisms on Banach algebras.

研究动机与目标

• 通过同态映射到其他巴拿赫代数，提供巴拿赫代数可约性的新必要充分条件。
• 将弱可约性和超弱可约性的概念与同态诱导的双模及上同调群消失联系起来。
• 通过引入模扩张巴拿赫代数和二阶对偶结构，推广现有的可约性上同调表征。
• 研究原代数的可约性性质如何受其二阶对偶代数可约性的影响。

提出的方法

• 使用模扩张巴拿赫代数 X ⊕₁ 𝒜，从同态 φ: 𝒜 → 𝒷 构造双模。
• 为同态 φ: 𝒜 → 𝒷 定义 𝒷*ₚ 上的双模结构，其中 𝒷*ₚ 是由 φ 诱导的 𝒜-双模的对偶。
• 应用上同调技术：H¹(𝒜, X*) = {0} 表征可约性，而 H¹(𝒜, 𝒜*) = {0} 定义弱可约性。
• 利用二阶对偶 𝒜** 及第一阿伦斯乘积，扩展导子并分析对偶空间中的上同调。
• 使用同态 φ 的二阶转置 φ**，将 𝒜 的上同调与 𝒜** 的上同调联系起来。
• 应用点导子及其在 𝒜** 上的扩张概念，研究非零连续点导子的缺失。

实验结果

研究问题

• RQ1 对于巴拿赫代数 𝒜，哪些条件可确保对每个单射同态 φ: 𝒜 → 𝒷，都有 H¹(𝒜, 𝒷*ₚ) = {0}？
• RQ2 同态 φ: 𝒜 → 𝒷 如何诱导出表征可约性和弱可约性的双模？
• RQ3 𝒜** 的超弱可约性与 𝒜 的超弱可约性之间有何关系？
• RQ4 在何种条件下，𝒜** 的可约性可推出 𝒜 的可约性？
• RQ5 当对所有 a,b ∈ 𝒜，都有 ⟨dφ(a), φ(b)⟩ + ⟨dφ(b), φ(a)⟩ = 0 时，何时可推出 dφ 是内导子？

主要发现

• 巴拿赫代数 𝒜 可约当且仅当对每个单射同态 φ: 𝒜 → 𝒷，都有 H¹(𝒜, 𝒷*ₚ) = {0}。
• 若对每个单射同态 φ: 𝒜 → 𝒷 及所有满足 ⟨dφ(a), φ(b)⟩ + ⟨dφ(b), φ(a)⟩ = 0 的导子 dφ，均有 H¹(𝒜, 𝒷*ₚ) = {0}，则 𝒜 可约。
• 若 𝒜** 是超弱可约的，则在 𝒜 满足条件 (i)–(iii)（如在 𝒜** 中为左理想或阿伦斯正则）时，𝒜 是超弱可约的。
• 若 𝒜** 是超弱可约的，则 𝒜 是本质的，且不存在非零连续点导子。
• 存在一个半弱可约的巴拿赫代数 𝒜，使得 𝒜# 是超弱可约的，但 𝒜 本身不是超弱可约的，这表明可约性性质之间存在严格层级。
• 对所有对偶双模 X*，上同调群 H¹(𝒜, (X ⊕₁ 𝒜)*) 为零，这意味着每个导子 D: 𝒜 → X* 都是内导子，从而确立了可约性。