[论文解读] Pseudo-amenability of Brandt semigroup algebras

Maysam Maysami Sadr|arXiv (Cornell University)|Jul 29, 2019

Advanced Algebra and Logic参考文献 8被引用 10

一句话总结

该论文证明了，对于任意离散群 $G$ 和任意指标集 $I$（无论有限或无限），当 $G$ 是可均群时，Brandt半群 $S$ 的 Banach 半群代数 $\pi^1(S)$ 均为拟可均代数。证明通过在 $\ell^1(T)\hat{\otimes}\ell^1(T)$ 中构造一个近似对角，利用 $\ell^1(G)$ 中的有界近似对角并对其在 $I$ 的有限子集上进行平均，从而验证了拟可均性所需的模作用与范数收敛条件。

ABSTRACT

The pseudo-amenability of Brandt Banach semigroup algebras is considered.

研究动机与目标

• 研究任意指标集 $I$ 下 Brandt 半群代数 $\ell^1(S)$ 的拟可均性。
• 确定群 $G$ 的可均性是否蕴含 $\ell^1(S)$ 的拟可均性，即使 $I$ 为无限集。
• 将先前关于 $\ell^1(S)$ 的可均性与近似可均性的结果推广至更弱的拟可均性概念。
• 阐明群的可均性与半群代数的代数性质之间的关系。

提出的方法

• 通过在 $I$ 的有限子集 $F \subset I$ 和 $\ell^1(G)\hat{\otimes}\ell^1(G)$ 中的有界近似对角 $m_\lambda$ 上对元素 $E^{m_\lambda}_{(i,j,j,k)}$ 进行平均，构造 $\ell^1(T)\hat{\otimes}\ell^1(T)$ 中的网 $(W_{F,\lambda})$。
• 利用同构 $\ell^1(S) \cong \ell^1(T) \oplus \mathbb{C}$ 将问题约化为对 $\ell^1(T)$ 的分析，借助引理 1 和短正合列的分裂性质。
• 应用模作用公式 (2) 和 (3)，计算 $\delta_{(u,g,v)} \cdot W_{F,\lambda} - W_{F,\lambda} \cdot \delta_{(u,g,v)}$，并通过在 $F$ 与 $I \setminus F$ 上的分解控制其范数。
• 通过利用 $\|m_\lambda\|$ 的一致有界性，对 $F \times F$、$F \times (I \setminus F)$ 和 $(I \setminus F) \times F$ 项的贡献进行有界估计，证明对所有 $a \in \ell^1(T)$ 有范数收敛 $\|a \cdot W_{F,\lambda} - W_{F,\lambda} \cdot a\| \to 0$。
• 通过将 $\pi(W_{F,\lambda})a$ 分解为 $i \in F$ 和 $u \in I \setminus F$ 的部分，并利用 $\pi(m_\lambda) \to 1$ 在群代数中的收敛性，证明 $\|\pi(W_{F,\lambda})a - a\| \to 0$。
• 利用 $\ell^1(T)$ 在 $G$ 可均时为拟可均代数的事实，并应用引理 2，得出 $\ell^1(S)$ 为拟可均代数的结论。

实验结果

研究问题

• RQ1 群 $G$ 的可均性是否蕴含对任意指标集 $I$，Brandt 半群代数 $\ell^1(S)$ 的拟可均性？
• RQ2 能否将 $\ell^1(G)$ 的近似对角构造提升至 $\ell^1(T)$，再通过在 $I$ 的有限子集上平均，进而提升至 $\ell^1(S)$？
• RQ3 在 Brandt 半群设定下，$\ell^1(S)$ 的拟可均性是否严格弱于可均性或近似可均性？
• RQ4 $\ell^1(S)$ 的结构为 $\ell^1(T) \oplus \mathbb{C}$ 时，若 $\ell^1(T)$ 为拟可均代数，是否保持 $\ell^1(S)$ 的拟可均性？

主要发现

• 若 $G$ 是可均群，则对任意指标集 $I$（包括无限集），$\ell^1(S)$ 均为拟可均代数。
• 对 $\ell^1(T)$ 的近似对角构造为 $W_{F,\lambda} = \frac{1}{\#F} \sum_{i,j \in F} E^{m_\lambda}_{(i,j,j,i)}$，其中 $m_\lambda$ 是 $\ell^1(G)\hat{\otimes}\ell^1(G)$ 中的有界近似对角。
• 网 $(W_{F,\lambda})$ 满足对所有 $a \in \ell^1(T)$ 有 $\|a \cdot W_{F,\lambda} - W_{F,\lambda} \cdot a\| \to 0$，该结论通过在 $F$ 与 $I \setminus F$ 上的范数估计得以证明。
• 该网还满足对所有 $a \in \ell^1(T)$ 有 $\|\pi(W_{F,\lambda})a - a\| \to 0$，其收敛性由 $\pi(m_\lambda) \to 1$ 在 $\ell^1(G)$ 中的收敛性控制。
• 该结果对 $I$ 的势大小保持一致，表明拟可均性不依赖于 $I$ 的有限性，而可均性或近似可均性则需要 $I$ 有限。
• 论文未解决 $\ell^1(S)$ 的拟可均性是否蕴含 $G$ 的可均性，将其作为未来研究的自然问题提出。