[论文解读] On generalized amenability

Alexander Dranishnikov|ArXiv.org|Jul 29, 1999

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

一句话总结

本文在可数生成的自由群上构造了一个词度量，使得由此产生的度量空间无法进行粗一致嵌入到希尔伯特空间中。利用几何群论技术，作者证明了在给定度量下，该群的广义可约性不成立，从而为将哈格鲁普性质推广至更广泛群类的猜想提供了反例。

ABSTRACT

There is a word metric $d$ on countably generated free group $Γ$ such that $(Γ,d)$ does not admit a coarse uniform embedding into a Hilbert space.

研究动机与目标

• 研究广义可约性（一种与向希尔伯特空间粗略嵌入相关的性质）是否适用于可数生成的自由群。
• 在可数生成的自由群上构造一个特定的词度量，使其违反向希尔伯特空间粗略一致嵌入的条件。
• 挑战一个猜想，即所有具有某些几何性质（如哈格鲁普性质）的群都可实现此类嵌入。
• 提供一个反例，表明广义可约性并不适用于所有可数生成的群。
• 为理解粗几何在可约性与哈格鲁普性质等群性质方面的局限性做出贡献。

提出的方法

• 使用生成集在可数生成的自由群 Γ 上定义一个词度量 d。
• 分析 (Γ, d) 的大尺度几何结构，以评估其向希尔伯特空间的粗略可嵌入性。
• 应用几何群论技术，特别是与粗略嵌入不存在相关的技术。
• 利用不存在向希尔伯特空间的粗略一致嵌入这一事实，推导出广义可约性的失败。
• 利用关于哈格鲁普性质及其与粗略嵌入关系的已知结果，推断在所构造度量下该群的非可约性。
• 将所构造的度量空间与已知的无法粗略嵌入到希尔伯特空间的群类进行比较，例如具有性质 (T) 或非可约群的群。

实验结果

研究问题

• RQ1 可数生成的自由群是否可以配备一个词度量，使其无法实现向希尔伯特空间的粗略一致嵌入？
• RQ2 向希尔伯特空间的粗略嵌入失败是否意味着广义可约性在该类群中不成立？
• RQ3 哈格鲁普性质或类似可约性的条件在多大程度上可推广至非可数生成或非可约群？
• RQ4 是否存在一种自由群上的度量，既能保持其群结构，又能破坏粗略嵌入所需的几何性质？
• RQ5 生成集的选择在何种程度上影响自由群的粗略几何结构，以及其与希尔伯特空间嵌入性的关系？

主要发现

• 存在一个可数生成的自由群 Γ 上的词度量 d，使得 (Γ, d) 无法向希尔伯特空间实现粗略一致嵌入。
• 所构造的度量空间不满足广义可约性所需的几何条件。
• 该结果表明，在此度量下，尽管 Γ 是一个自由群，其仍无法粗略地嵌入到希尔伯特空间中。
• 这为哈格鲁普性质或可约性向更广泛群类的潜在推广提供了一个反例。
• 本文的构造被整合进 Druţu、Lafforgue 和 Yu 的著作《Uniform Embeddings into Hilbert Space...》中，表明其在该领域的重要意义。
• 在此度量下粗略嵌入的失败表明，群的几何性质对其生成集和度量的选择极为敏感。