[论文解读] On Connes amenability of upper triangular matrix algebras

S. F. Shariati, A. Pourabbas+1 more|arXiv (Cornell University)|Jan 10, 2018

Advanced Topics in Algebra参考文献 4被引用 3

一句话总结

本文研究了上三角矩阵代数 $UP(I,\mathcal{A})$ 的 Connes 可约性，其中 $\mathcal{A}$ 是一个对偶 Banach 代数，$I$ 是一个全序集。通过利用 $\mathcal{A} \hat{\otimes} \mathcal{A}$ 中有界网的新刻画，建立了 $UP(I,\mathcal{A})$ 是 Connes 可约的充分必要条件是 $I$ 为单元素集且 $\mathcal{A}$ 是 Connes 可约的，并提供了若干 $\phi$-Connes 可约代数的例子，这些代数并非 Connes 可约。

ABSTRACT

In this paper, we study the notion of Connes amenability for a class of $I imes{I}$-upper triangular matrix algebra $UP(I,\mathcal{A})$, where $\mathcal{A}$ is a dual Banach algebra with a non-zero $wk^\ast$-continuous character and $I$ is a totally ordered set. For this purpose, we characterize the $ϕ$-Connes amenability of a dual Banach algebra $\mathcal{A}$ through the existence of a specified net in $\mathcal{A}\hat{\otimes}\mathcal{A}$, where $ϕ$ is a non-zero $wk^\ast$-continuous character. Using this, we show that $UP(I,\mathcal{A})$ is Connes amenable if and only if $I$ is singleton and $\mathcal{A}$ is Connes amenable. In addition, some examples of $ϕ$-Connes amenable dual Banach algebras, which is not Connes amenable are given.

研究动机与目标

• 研究当 $\mathcal{A}$ 是对偶 Banach 代数且 $I$ 是全序集时，$I\times I$ 阶上三角矩阵代数 $UP(I,\mathcal{A})$ 的 Connes 可约性。
• 通过 $\mathcal{A} \hat{\otimes} \mathcal{A}$ 中特定有界网的存在性，刻画对偶 Banach 代数 $\mathcal{A}$ 的 $\phi$-Connes 可约性，其中 $\phi$ 是一个非零 $wk^*\!$-连续特征标。
• 确定 $UP(I,\mathcal{A})$ 为 Connes 可约的精确条件，从而解决对偶 Banach 代数理论中的一个结构性问题。
• 提供明确的 $\phi$-Connes 可约对偶 Banach 代数例子，这些代数并非 Connes 可约，从而凸显这两种概念之间的区别。

提出的方法

• 通过将 $\phi$-Connes 可约性与 $\mathcal{A} \hat{\otimes} \mathcal{A}$ 中满足特定条件（涉及特征标 $\phi$）的有界网的存在性相联系，提出 $\phi$-Connes 可约性的一种新刻画。
• 通过将 $UP(I,\mathcal{A})$ 识别为 $\mathcal{A}$ 的 $\ell^1$-直和，利用其对偶结构，从而分析其对偶 Banach 代数性质。
• 应用 Runde 的准则：一个对偶 Banach 代数是 Connes 可约的，当且仅当它存在一个 $\sigma wc$-虚拟对角。
• 利用特征标和模映射的 $wk^*\!$-连续性，分析弱*拓扑下导子和双模的行为。
• 通过验证 $\mathcal{A} \hat{\otimes} \mathcal{A}$ 中存在满足 $\phi$-虚拟对角条件的合适元素，构造出 $\phi$-Connes 可约代数的显式例子。
• 利用 Connes 可约性蕴含 $\phi$-Connes 可约性这一事实，推导出必要条件，随后构造反例以说明其逆命题不成立。

实验结果

研究问题

• RQ1 当 $\mathcal{A}$ 是对偶 Banach 代数且 $I$ 是全序集时，上三角矩阵代数 $UP(I,\mathcal{A})$ 在何种条件下是 Connes 可约的？
• RQ2 对偶 Banach 代数 $\mathcal{A}$ 的 $\phi$-Connes 可约性能否通过 $\mathcal{A} \hat{\otimes} \mathcal{A}$ 中满足特定条件（涉及特征标 $\phi$）的有界网的存在性来刻画？
• RQ3 在对偶 Banach 代数类中，$\phi$-Connes 可约性与 Connes 可约性之间是否存在严格区别？若存在，能否通过显式例子加以证明？
• RQ4 $I$ 和 $\mathcal{A}$ 的哪些结构性质是 $UP(I,\mathcal{A})$ 为 Connes 可约的充分必要条件？

主要发现

• 上三角矩阵代数 $UP(I,\mathcal{A})$ 是 Connes 可约的，当且仅当 $I$ 是单元素集且 $\mathcal{A}$ 是 Connes 可约的。
• 对偶 Banach 代数 $\mathcal{A}$ 是 $\phi$-Connes 可约的，当且仅当存在 $\mathcal{A} \hat{\otimes} \mathcal{A}$ 中的有界网 $(m_\alpha)$，使得对所有 $a \in \mathcal{A}$，有 $a \cdot m_\alpha - m_\alpha \cdot a \to \phi(a) \cdot m_\alpha$ 且 $\pi_{\sigma wc}(m_\alpha) \to a$ 在弱*拓扑下成立，其中 $\phi$ 是一个非零 $wk^*\!$-连续特征标。
• 代数 $\mathcal{A} = \left\{ \begin{smallmatrix} \mathbb{C} & \mathbb{C} \\ 0 & 0 \end{smallmatrix} \right\}$ 是 $\phi$-Connes 可约的，但不是 Connes 可约的，这表明 $\phi$-Connes 可约性严格弱于 Connes 可约性。
• $\mathcal{A}$ 上存在 $wk^*\!$-连续特征标 $\phi$ 是 $\phi$-Connes 可约性刻画的关键，此类特征标用于定义网的条件。
• 通过元素 $u = \begin{pmatrix}1&1\\0&0\end{pmatrix} \otimes \begin{pmatrix}1&1\\0&0\end{pmatrix}$ 构造 $\mathcal{A} \hat{\otimes} \mathcal{A}$ 中的 $\sigma wc$-虚拟对角，确认了该例子代数的 $\phi$-Connes 可约性。
• 证明表明，若 $UP(I,\mathcal{A})$ 是 Connes 可约的，则 $\mathcal{A}$ 必须同构于 $\mathbb{C}$，而这种情况仅在 $I$ 为单元素集时成立，从而确立了该条件的必要性。