[论文解读] Amenability properties of Banach algebra valued continuous functions

Reza Ghamarshoushtari, Yong Zhang|arXiv (Cornell University)|Jan 22, 2020

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

一句话总结

本文通过利用Grothendieck不等式构造有界渐近对角线，证明了紧致Hausdorff空间$ X $上取值于Banach代数$ A $的连续函数的Banach代数$ C(X,A) $是可约的，当且仅当系数代数$ A $是可约的。此外，本文还证明：若$ A $具有紧致中心渐近对角线，则$ C(X,A) $继承一个紧致渐近对角线；当$ A $为交换代数、弱可约且具有有界渐近单位元时，$ C(X,A) $是弱可约的。

ABSTRACT

Let $X$ be a compact Hausdorff space and $A$ a Banach algebra. We investigate amenability properties of the algebra $C(X,A)$ of all $A$-valued continuous functions. We show that $C(X,A)$ has a bounded approximate diagonal if and only if $A$ has a bounded approximate diagonal; if $A$ has a compactly central approximate diagonal (unbounded) then $C(X,A)$ has a compactly approximate diagonal. Weak amenability of $C(X,A)$ for commutative $A$ is also considered.

研究动机与目标

• 确定紧致Hausdorff空间$ X $上取值于Banach代数$ A $的连续函数的Banach代数$ C(X,A) $的可约性性质。
• 刻画$ C(X,A) $何时允许有界渐近对角线、紧致渐近对角线或为弱可约代数。
• 将关于$ C(X) $可约性的已知结果推广至取值于任意Banach代数$ A $的更一般情形$ C(X,A) $。
• 研究系数代数$ A $的可约性相关性质如何传递至函数代数$ C(X,A) $。

提出的方法

• 利用Grothendieck不等式控制$ C(X) \hat{\otimes} C(X) $中初等张量的项目张量范数，确保渐近对角线的统一有界性。
• 通过张量积技巧与项目范数，将$ A $中的有界渐近对角线提升至$ C(X,A) $，从而构造出$ C(X,A) $的有界渐近对角线。
• 通过在$ C(X,A) $的紧致子集上要求一致逼近，定义$ C(X,A) $的紧致渐近对角线，利用$ A $的紧致中心渐近对角线。
• 应用Johnson建立的通过有界渐近对角线刻画可约性的方法，将问题约化为在$ C(X,A) \hat{\otimes} C(X,A) $中构造此类网。
• 利用有界渐近单位元上导子的弱*极限，证明当$ A $为弱可约且交换时，$ C(X,A) $上的所有连续导子均内蕴。
• 利用对偶关系$ C(X,A)^* \cong I_1(C(X), A^*) $分析进入对偶空间的导子，并建立弱可约性。

实验结果

研究问题

• RQ1 在何种条件下$ C(X,A) $是可约的，其可约性与系数代数$ A $的可约性有何关系？
• RQ2 在何种条件下$ C(X,A) $允许紧致渐近对角线，这与$ A $的结构有何关联？
• RQ3 能否将$ A $的弱可约性提升至$ C(X,A) $，需要哪些额外假设？
• RQ4 Grothendieck不等式与项目张量范数在$ C(X,A) $中构造渐近对角线的过程中起到何种作用？

主要发现

• 通过利用Grothendieck常数$ K_G^\mathbb{C} $控制项目范数，借助张量积映射将$ A $中的有界渐近对角线提升至$ C(X,A) $，在$ C(X,A) \hat{\otimes} C(X,A) $中构造出有界渐近对角线，从而证明$ C(X,A) $是可约的，当且仅当系数代数$ A $是可约的。
• 若$ A $具有紧致中心渐近对角线，则$ C(X,A) $具有紧致渐近对角线，确保在$ C(X,A) $的紧致子集上的一致逼近。
• 当$ A $为交换代数时，若$ A $是弱可约且具有有界渐近单位元，则$ C(X,A) $是弱可约的，因为其对偶空间中的每个连续导子均为内蕴导子。
• 在$ C(X,A) $中构造渐近对角线的关键在于通过张量积映射将$ A $中的有界渐近对角线提升，并利用Grothendieck常数$ K_G^\mathbb{C} $控制项目范数。
• 弱可约性的证明利用了有界渐近单位元上导子的弱*极限，并表明诱导出的$ C(X) $上的导子由于$ C(X) $的可约性而消失。
• 对偶空间$ C(X,A)^* $等距同构于从$ C(X) $到$ A^* $的1-积分算子空间，这对弱可约性论证中分析导子至关重要。