[论文解读] Weak amenability of Fourier algebras on compact groups

Brian Forrest, Ebrahim Samei+1 more|ArXiv.org|Aug 13, 2008

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

一句话总结

本文证明了紧致群 G 的傅里叶代数 A(G) 是弱殆换的，当且仅当单位元的连通分支 Gₑ 是阿贝尔的。该结果通过反角线上的谱合成及超-Tauber 性质之间的联系得以证明，并推广至具有小不变邻域或最大殆周期性的非紧致群，从而解决了算子代数调和分析领域长期存在的一个猜想。

ABSTRACT

We give for a compact group G, a full characterisation of when its Fourier algebra A(G) is weakly amenable: when the connected component of the identity G_e is abelian. This condition is also equivalent to the hyper-Tauberian property for A(G), and to having the anti-diagonal D^v={(s,s^{-1}):s is in G} being a set of spectral synthesis for A(GXG). We show the relationship between amenability and weak amenability of A(G), and (operator) amenability and (operator) weak amenability of A_D(G), an algebra defined by the authors in arXiv:0705.4277. We close by extending our results to some classes of non-compact, locally compact groups, including small invariant neighbourhood groups and maximally weakly almost periodic groups.

研究动机与目标

• 解决一个长期存在的猜想：A(G) 是弱殆换的，当且仅当紧致群 G 的单位元连通分支 Gₑ 是阿贝尔的。
• 建立 A(G) 的弱殆换性、A(G×G) 中反角线 Δ̌ 的谱合成性，以及超-Tauber 性质之间的等价关系。
• 将弱殆换性的刻画推广至非紧致局部紧致群，包括具有小不变邻域的群和最大殆周期群。
• 阐明 A(G) 中殆换性、弱殆换性与算子空间结构之间的关系，以及 A(G) 与相关代数 AΔ(G) 的联系。

提出的方法

• 通过理想理论与谱合成技术，证明若 A(G) 是弱殆换的，则 Gₑ 必为阿贝尔的。
• 利用正则性与理想结构，证明 A(G) 的弱殆换性等价于 A(G×G) 中反角线 Δ̌ 是局部合成集。
• 运用算子空间框架，将 A(G) 的弱殆换性与 A(G×G) 中理想 I′(Δ̌) 的算子弱殆换性联系起来。
• 应用文献 [10] 中关于代数 AΔ(G) 的结果，表明其捕捉了紧致群情况下 A(G) 的关键结构性信息。
• 通过分析同构于 A×K 的开子群 H（A 为阿贝尔群，K 为紧致群），利用不变性与自同构不变性，将结果推广至非紧致群。
• 利用单位分解与局部合成论证，将开子群上的全局性质提升至整个群 G。

实验结果

研究问题

• RQ1 何时紧致群 G 的傅里叶代数 A(G) 是弱殆换的？
• RQ2 G 的何种精确结构性条件可确保 A(G) 的弱殆换性？
• RQ3 在 A(G) 中，弱殆换性、反角线 Δ̌ 上的谱合成性与超-Tauber 性质之间有何关联？
• RQ4 弱殆换性的刻画能否超越紧致群，推广至小不变邻域群等非紧致类群？
• RQ5 连通分支 Gₑ 在决定 A(G) 的弱殆换性中起何种作用？

主要发现

• 对于紧致群 G，A(G) 是弱殆换的，当且仅当其连通分支 Gₑ 是阿贝尔的。
• 若 A(G) 允许任何弱殆换理想，则 Gₑ 必为阿贝尔的，表明该条件对理想而言亦为必要。
• 反角线 Δ̌ = {(s,s⁻¹) : s ∈ G} 是 A(G×G) 中的局部合成集，当且仅当 A(G) 是弱殆换的。
• A(G) 的超-Tauber 性质成立，当且仅当 Gₑ 是阿贝尔的，且该性质蕴含弱殆换性。
• 对于具有开子群 H ≅ A×K（A 为阿贝尔群，K 为紧致群）的群 G，A(G) 的弱殆换性等价于 Gₑ 为阿贝尔群。
• 该结果可推广至小不变邻域群与最大殆周期群，且在这些情形下，相同的刻画依然成立。