Cohomology rings and $p$-local behavior of even Artin groups

技术摘要：偶 Artin 群的上同调环与 $p$-局部行为

问题陈述
右角 Artin 群（RAAGs）具有被充分理解的上同调性质，包括其上同调环的显式描述、无扭下降中心序列李环，以及在 pro-$p$ 完成方面的良好行为。Artin 群理论中的一个核心挑战是确定这些性质在更广泛的 Artin 群类（特别是非右角 Artin 群）中是否仍然成立。虽然一般 Artin 群的 $K(\pi, 1)$ 猜想仍是一个开放问题，但将研究范围限制在偶 Artin 群（即定义图中所有边标签均为偶整数）这一易于处理的子类中，为研究提供了可行性。本文旨在解决 FC 型（即每个完全子图都定义了一个球面型 Artin 群）背景下，这些群的上同调环计算、pro-$p$ 完成结构以及相关的 $p$-Zassenhaus 限制李代数问题。

方法论
作者结合了组合群论、同调代数和限制李代数理论。

1. 上同调计算： 作者利用了 Salvetti 复形链复形，该复形用于计算满足 $K(\pi, 1)$ 猜想的 Artin 群的上同调。由于偶 Artin 群已知满足该猜想，作者分析了该复形中的微分。他们证明了对于偶 Artin 群，这些微分为零，从而显著简化了上同调的计算。
2. 收缩性质（Retract Properties）： 一个关键的结构工具是观察到对于偶 Artin 群，任何由子图生成的子群都是原群的一个收缩（retract）。这一性质允许作者通过从较小的子图（特别是分解为循环群和二面体群乘积的球面型子图）进行归纳来构建结果。
3. Pro-$p$ 完成与李代数： 对 pro-$p$ 完成的研究涉及对 $p$-Zassenhaus 中心序列 $\gamma^{[p]}_i(G)$ 的分析。作者利用 Quillen-Jennings-Lazard 定理，通过研究群环过滤来联系该序列。他们构造了相关的 $p$-限制李代数 $\text{gr}^{[p]}_\bullet(G)$，并将其与泛包络代数进行比较。
4. Magnus 映射与谱序列： 文中引入了 $p$-Magnus 群的概念，其中群环完成与 $p$-Zassenhaus 李代数的完成泛包络代数同构。作者使用 May 型谱序列来联系 pro-$p$ 完成的连续上同调与李代数的 Ext 代数之间的关系。

主要贡献与结果

• 定理 A（上同调环结构）： 本文为偶 Artin 群 $A_\Gamma$ 在交换环 $R$ 上的上同调环 $H^\bullet(A_\Gamma, R)$ 提供了一个显式表示。该环由 1 次元素 $\sigma_v$（顶点）和 2 次元素 $\sigma_e$（标签 $>2$ 的边）生成。其关系式为：

  • 若边 $e=\{u,v\}$ 的标签为 $2m$（其中 $u<v$），则 $\sigma_u \sigma_v = m \sigma_e$。
  • 若 $X_1 \cap X_2 \neq \emptyset$ 或 $X_1 \cup X_2$ 不是球面的，则 $\sigma_{X_1} \sigma_{X_2} = 0$。
    与 RAAGs 不同，该环不一定仅由 1 次元素生成，且其结构取决于系数环。

• 定理 B（Pro-$p$ 完成）： Artin 群 $A_\Gamma$ 的 pro-$p$ 完成被证明同构于由图 $\Gamma$ 的偶 $p$-部分定义的 Artin 群 $A_{\Gamma_p}$。图 $\Gamma_p$ 的获得方式是：识别奇数标签边的端点，并将偶数标签 $2k p^t$（其中 $p \nmid k$）约化为 $2p^t$。这暗示了 pro-$p$ 完成始终是一个偶 Artin 群。

• 定理 C（限制 $p$-李代数）： 对于 pro-$p$ FC Artin 群，其 $p$-Zassenhaus 限制李代数具有显式表示。生成元对应于顶点，其关系如下：

  • 若 $\{a,b\}$ 为奇数标签，则 $a = b$。
  • 若 $\{a,b\}$ 为偶数标签 $2k p^t$（其中 $p \nmid k$），则 $[(a+b)^{[p]t}, b] = 0$。
    这一结果强调，尽管 RAAGs 在其上同调环与李代数之间表现出某种对偶性，但这种对偶性在特征 $p$ 下对于偶 Artin 群通常会失效。

• 定理 D（Magnus 与完备性性质）： 对于 pro-$p$ FC Artin 群，作者证明了该群是剩余-$p$ 的、$p$-Magnus 的且是上同调 $p$-完备的。这推广了关于 RAAGs 的已知结论。证明依赖于 $p$-Magnus 性质在沿收缩（retracts）的自由并合下的保持（定理 5.6）。

• 定理 E（刚性）： 建立了一个刚性结果：如果两个 pro-$p$ FC Artin 群 $A_\Gamma$ 和 $A_\Delta$ 同构，那么它们的定义图的 $p$-部分是同构的（$\Gamma_p \cong \Delta_p$），对于每个素数 $p$ 均成立。

意义与局限性
本文表明，尽管偶 Artin 群与 RAAGs 共享收缩性质，但它们表现出截然不同的上同调和李理论行为，特别是在正特征下。

• 同构问题： 作者展示了上同调环（即使带有整数系数）并不能完全分类偶 Artin 群。他们构造了一个反例（命题 2.6），即两个非同构的偶 Artin 群具有同构的上同调环。为了区分它们，作者利用了 $\Sigma$-不变量（特别是 $\Sigma_1$），证明了定义图中标签为 2 的边的数量是群同构类型的性质（命论文 2.9）。
• 李代数与群结构： 作者构造了示例（定理 7.2），表明不同的群可以共享相同的 $p$-Zassenhaus 限制李代数。具体而言，对于任何 pro-$p$ FC Artin 群，都存在一个具有相同 $p$-Zassenhaus 李代数的剩余无扭幂零群，这说明李代数并不能捕捉到群的全部剩余性质。

结论
这项工作成功地将 RAAGs 的若干经典结果推广到了 FC 型偶 Artin 群，为其上同调环和 $p$-局部结构提供了显式的代数描述。然而，它也划定了这些推广的应用边界，表明 RAAGs 的“优良”行为（如无扭李环和通过环结构实现的上同调刚性）在偶 Artin 设置下并未完全延续。这些结果高度依赖于偶数标签的特定组合特性以及 FC 条件，而一般 Artin 群的行为仍是一个开放领域。