[论文解读] Rapid decay and Baum-Connes for large type Artin groups

Laura Ciobanu, Derek F. Holt+1 more|arXiv (Cornell University)|Mar 6, 2012

Geometric and Algebraic Topology参考文献 14被引用 4

一句话总结

本文在特定组合条件下（特别是排除标签为 (3,3,m) 的三角形）建立了大型型 Artin 群的快速衰减（RD）性质，并证明当满足某些结构约束（如三生成、无三角形或存在合适的边定向）时，此类群在无系数情况下满足 Baum-Connes 猜想。结果将 RD 和 Baum-Connes 猜想的有效性扩展至所有超大型型 Artin 群及许多大型型群。

ABSTRACT

We prove that many Artin groups of large type satisfy the rapid decay property, including all those of extra-large type. For many of these, including all 3-generator groups of extra-large type, a result of Lafforgue applies to show that the groups satisfy the Baum-Connes conjecture without coefficients. Our proof of rapid decay combines elementary analysis with combinatorial techniques, and relies on properties of geodesic words in Artin groups of large type that were observed in an earlier publication by two of the authors of this current article.

研究动机与目标

• 建立排除其定义图中某些三角形构型的大型型 Artin 群的快速衰减（RD）性质。
• 通过验证 RD 条件，将 Lafforgue 定理在 Baum-Connes 猜想上的适用性扩展至一大类 Artin 群。
• 提供一种基于测地词结构与 Artin 群中长度减少序列的组合与分析性 RD 证明。
• 识别 Artin 群满足无系数 Baum-Connes 猜想的充分条件，包括三生成、无三角形性以及边结构可定向等。
• 将已知关于 braid 群与右角 Artin 群的 RD 与 Baum-Connes 结果推广至更广泛的 Artin 群类，包括超大型型群。

提出的方法

• 结合大型型 Artin 群中测地词的初等分析与组合技术，借鉴 [17] 中关于词结构的先前结果。
• 在群上使用长度函数 ℓ 定义 Sobolev 范数 ||·||_{2,r,ℓ}，并通过 RD 不等式 ||φ||_* ≤ C||φ||_{2,r,ℓ} 将其与算子范数 ||·||_* 进行比较。
• 应用命题 7.1 与 7.3 分析群元素的测地因子分解，特别关注右除数与左除数的结构。
• 对词中长度减少序列进行分类讨论，表明某些构型（例如涉及满足 m_{ij} ≥ 4 的生成元 a, b, c）会阻止此类序列穿过中间部分，从而保持测地性。
• 通过固定参数如 c^q 与 e''₁，利用多项式界 P₁(k) 与 P²ᵢʲ(k)，对集合 S(g,k,l) 中的三元组 (f₁, Δᵢⱼʳ, f₂) 进行计数，得出此类因子分解的有限数量。
• 利用 Lafforgue 的结果：若 RD 成立且存在合适的群作用，则可推出无系数 Baum-Connes 猜想，将其应用于满足 RD 条件的 Artin 群。

实验结果

研究问题

• RQ1 排除标签为 (3,3,m) 的三角形的大型型 Artin 群是否满足快速衰减性质？
• RQ2 在何种条件下，快速衰减性质可推出 Artin 群的无系数 Baum-Connes 猜想？
• RQ3 Artin 群中测地词的组合结构能否用于控制因子分解数量并验证 RD 条件？
• RQ4 所有超大型型 Artin 群是否均满足快速衰减性质？
• RQ5 何种结构约束（如三生成、无三角形、边可定向）可确保 Artin 群满足无系数 Baum-Connes 猜想？

主要发现

• 所有超大型型 Artin 群均满足快速衰减性质，因为其满足定理 1.1 中的三角形排除条件。
• 所有定义图中不包含边标签为 (3,3,m)（m 为有限整数且 m ≥ 3）的三角形的大型型 Artin 群均满足快速衰减性质。
• 对于满足三角形条件的三生成大型型 Artin 群，由于 RD 与 Lafforgue 定理的结合，其无系数 Baum-Connes 猜想成立。
• 定义图无三角形的 Artin 群满足无系数 Baum-Connes 猜想，因其符合推论 1.2 的条件。
• 若定义图的边可定向以避免两种特定子图类型，则该群满足无系数 Baum-Connes 猜想。
• 群元素的测地因子分解数量受 k 的多项式有界，从而得出有限计数，支持通过组合控制验证 RD 条件。