[论文解读] Homology of subgroups of right-angled Artin groups

Graham Denham|ArXiv.org|Dec 24, 2006

Algebraic structures and combinatorial models参考文献 20被引用 3

一句话总结

该论文使用外代数Stanley-Reisner环与组合交换代数，计算了右角Artin群中坐标子群 $N_{\rho}$ 的整同调群作为 $\mathbb{Z}[\mathbb{Z}^m]$-模。关键结果建立了多项式环 $S$ 上同调模与Ext模之间的对偶同构，表明当团复形 $K_\Gamma$ 为Cohen-Macaulay时，有 $H_q(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}^m]) \cong \mathrm{Ext}^{d+1-q}_S(F_K, R)$，且上同调在度数 $d+1$ 之外消失。

ABSTRACT

We describe the (co)homology of a certain family of normal subgroups of right-angled Artin groups that contain the commutator subgroup, as modules over the quotient group. We do so in terms of (skew) commutative algebra of squarefree monomial ideals.

研究动机与目标

• 描述右角Artin群的正规子群 $N_{\rho}$ 的同调作为 $\mathbb{Z}[\mathbb{Z}^m]$-模。
• 通过组合交换代数，将这些子群的上同调与团复形 $K_\Gamma$ 的单纯拓扑联系起来。
• 当 $K_\Gamma$ 为Cohen-Macaulay时，建立同调模与Ext模之间的对偶同构。
• 使用外代数Stanley-Reisner环计算每个同调模 $H_p(N_{\rho}, \mathbb{Z})$ 的Krull维数。

提出的方法

• 使用部分乘积复形 $\mathcal{Z}_K(S^1)$ 建模右角Artin群 $G_\Gamma$ 的分类空间，其中 $K$ 是 $\Gamma$ 的团复形。
• 将坐标子群 $N_{\rho}$ 的同调表示为普遍阿贝尔覆叠 $\mathcal{Z}_K(S^1) \times_{\mathbb{Z}^n} \mathbb{Z}^m$ 的同调。
• 将群环 $\mathbb{Z}[\mathbb{Z}^m]$ 表示为外代数 $E$ 的商，并使用Koszul复形计算上同调。
• 应用Bernstein-Gelfand-Gelfand对偶性，将 $H_q(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}^m])$ 与 $\mathrm{Ext}^{d+1-q}_S(F_K, R)$ 关联，其中 $F_K$ 是Cartan复形模。
• 利用Eagon–Reiner定理，将 $K$ 的Cohen-Macaulay性质与对偶Stanley-Reisner理想 $I_{K^\star}$ 的线性分解联系起来。
• 应用Künneth公式并依 $m$ 进行归纳，将Bestvina–Brady情形的结果推广至任意坐标同态。

实验结果

研究问题

• RQ1 如何将右角Artin群中坐标子群 $N_{\rho}$ 的同调描述为 $\mathbb{Z}[\mathbb{Z}^m]$-模？
• RQ2 子群 $N_{\rho}$ 的上同调与团复形 $K_\Gamma$ 的单纯拓扑之间有何关系？
• RQ3 在何种条件下，上同调 $H^q(G_\Gamma, \mathbb{k}[G_\Gamma^{ab}])$ 仅在单一程度非零？
• RQ4 当 $K_\Gamma$ 为Cohen-Macaulay时，其如何影响 $N_{\rho}$ 同调的结构？
• RQ5 能否通过多项式环 $S$ 上的Ext与Tor函子之间的对偶同构来计算 $N_{\rho}$ 的同调？

主要发现

• 对于维数为 $d$ 的Cohen-Macaulay复形 $K$，上同调 $H^q(G_\Gamma, \mathbb{k}[G_\Gamma^{ab}])$ 在 $q \leq m - n + d$ 和 $q > d + 1$ 时消失，且非零上同调仅出现在度数 $d+1$。
• 当 $K$ 为维数 $d$ 的Cohen-Macaulay复形时，同调 $H_q(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}^m])$ 作为 $S$-模同构于 $\mathrm{Ext}^{d+1-q}_S(F_K, R)$。
• 紧支集上同调 $H^q_c(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}^m])$ 同构于 $\mathrm{Tor}^{S}_{d+1-q}(F_K, R)$，从而建立了对偶描述。
• 每个模 $H_p(N_{\rho}, \mathbb{Z})$ 的Krull维数可通过团复形 $K_\Gamma$ 的外代数Stanley-Reisner环计算。
• 当 $K$ 为同调球面（Gorenstein*）时，有 $F_K \cong I_{K^\star}$ 作为 $S$-模，从而简化了对偶同构。
• 该结果恢复并推广了Leary与Saadetoğlu对Bestvina–Brady群的有限维性准则，表明 $H^q(\mathcal{Z}_K(S^1), \mathbb{k}[\mathbb{Z}])$ 有限维当且仅当 $\widetilde{H}^{q-1}(K, \mathbb{k}) = 0$。