[论文解读] On the Amenability of Compact and Discrete Hypergroup Algebras

Ahmadreza Azimifard|ArXiv.org|Aug 11, 2009

Advanced Operator Algebra Research参考文献 11被引用 4

一句话总结

本文证明了，对于交换紧致超群 $K$，其超群代数 $L^1(K)$ 是可约的，当且仅当其对偶空间 $\widehat{K}$ 上的 Plancherel 测度 $\pi_K$ 有界。对于无限离散超群，若存在一个在无穷远处趋于零的特征标 $\alpha \in \widehat{K}$，则 $L^1(K)$ 不是可约的，且当 $\pi_K(\{\alpha\}) = 0$ 时，甚至不是 $\alpha$-左可约的。这些结果将群代数的可约性准则推广至超群代数，借助对偶性和模理论导出。

ABSTRACT

Let $K$ be a commutative compact hypergroup and $L^1(K)$ the hypergroup algebra. We show that $L^1(K)$ is amenable if and only if $π_K$, the Plancherel weight on the dual space $\widehat{K}$, is bounded. Furthermore, we show that if $K$ is an infinite discrete hypergroup and there exists $α\in \widehat{K}$ which vanishes at infinity, then $L^1(K)$ is not amenable. In particular, $L^1(K)$ fails to be even $α$-left amenable if $π_K(\{α\})=0$.

研究动机与目标

• 确定交换紧致超群 $K$ 的超群代数 $L^1(K)$ 可约的条件。
• 将群代数已知的可约性准则推广至更广泛的超群代数范畴。
• 研究对偶空间 $\widehat{K}$ 上的 Plancherel 测度 $\pi_K$ 在决定 $L^1(K)$ 可约性中的作用。
• 分析在无限离散超群中，具有在无穷远处趋于零的特征标时，可约性为何会失效。
• 澄清在超群代数语境下，可约性与 $\alpha$-左可约性之间的区别。

提出的方法

• 通过 $\widehat{K}$ 上 Plancherel 测度 $\pi_K$ 的有界性，建立了对交换紧致超群 $L^1(K)$ 可约性的刻画。
• 将 $L^1(K) \otimes_p L^1(K)$ 中有界逼近对角的存在性作为可约性的判据，依赖于卷积映射 $\pi$。
• 为某个合适的 Banach $L^1(K)$-双模 $X$ 构造了一个非内导子 $D: L^1(K) \to X$，证明当 $\pi_K$ 无界时，该导子不可能是内导子。
• 利用 $X^*$ 上的模结构及 $L^1(K)$ 通过特征标 $\alpha \in \widehat{K}$ 的作用，定义了 $\alpha$-左模作用，并分析了 $\alpha$-左可约性。
• 运用 Fourier-Stieltjes 变换，并通过同态 $\varphi_\alpha(f) = \widehat{f}(\alpha)$ 的核识别极大理想。
• 应用对偶性与弱*拓扑论证，证明 $X$ 是对偶模，且取值于 $X$ 的导子是良定义且连续的。

实验结果

研究问题

• RQ1 对于交换紧致超群 $K$，何时其超群代数 $L^1(K)$ 是可约的？
• RQ2 对偶空间 $\widehat{K}$ 上的 Plancherel 测度 $\pi_K$ 如何影响 $L^1(K)$ 的可约性？
• RQ3 在何种条件下，对于离散超群 $K$ 与 $\alpha \in \widehat{K}$，$L^1(K)$ 甚至不是 $\alpha$-左可约的？
• RQ4 群代数的可约性准则能否推广至超群代数，特别是在紧致与离散情形？
• RQ5 特征标在无穷远处衰减与离散超群中 $L^1(K)$ 的非可约性之间存在何种关系？

主要发现

• 超群代数 $L^1(K)$ 是可约的，当且仅当其对偶空间 $\widehat{K}$ 上的 Plancherel 测度 $\pi_K$ 有界。
• 对于无限离散超群 $K$，若存在 $\alpha \in \widehat{K}$ 在无穷远处趋于零，则 $L^1(K)$ 不是可约的。
• 若对这样的 $\alpha$ 有 $\pi_K(\{\alpha\}) = 0$，则 $L^1(K)$ 甚至不是 $\alpha$-左可约的。
• 当 $\pi_K(\{\alpha\}) > 0$ 时，$L^1(K)$ 仍可能不可约，但可能具有 $\alpha$-左可约性。
• 在 Jacobi 多项式超群 $K = [-1,1]$ 的情形下，$L^1(K)$ 是可约的，当且仅当 $\alpha = \beta = -\frac{1}{2}$，对应于有界的 Plancherel 权重。
• 对于紧致 $P_*$-超群 $H_a$，Plancherel 测度 $\pi(k) = \frac{1-a}{a^k}$（$k \geq 1$）随 $k \to \infty$ 无界增长，因此 $L^1(H_a)$ 不是可约的。