[论文解读] Generalized Bockstein maps and Massey products

Yeuk Hay Joshua Lam, Yuan Liu+3 more|arXiv (Cornell University)|Apr 24, 2020

Algebraic structures and combinatorial models参考文献 10被引用 5

一句话总结

本文引入广义Bockstein映射作为工具，通过在群代数 $G/N$ 的幂次增广理想上进行滤子，将一个概赋群 $G$ 中正规子群 $N$ 的Iwasawa上同调与 $G$ 的上同调联系起来。研究证明，这些映射的像在受限定义系统下对应于Massey乘积，从而提供了一套新的代数框架，可推导出非交换扩张中类群 $p$-秩的下界，并为伽罗瓦上同调中Massey三重乘积的消失性提供了新的代数证明。

ABSTRACT

Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of the rational numbers and to give a new proof of the vanishing of triple Massey products in Galois cohomology.

研究动机与目标

• 开发一个一般框架，通过 $\widehat{\mathbb{Z}}_p[[G/N]]$ 上增广理想的幂次滤子，比较概赋群 $G$ 与其中正规开子群 $N$ 的上同调。
• 定义广义Bockstein映射 $\Psi^{(n)}$，作为经典Bockstein同态的类比，将核心化映射推广至更高滤子层次。
• 在受限定义系统下，将这些映射的像与 $n$-重Massey乘积联系起来，从而减少不确定性。
• 将该理论应用于数论，推导出 $\mathbb{Q}(\mu_p)$ 的非交换 $p$-扩张中类群 $p$-秩的下界，特别是双循环与Heisenberg扩张的情形。
• 提供一个独立于几何或拓扑方法的、关于绝对伽罗瓦群中三重Massey乘积消失性的新代数证明。

提出的方法

• 作者在 $N$ 的Iwasawa上同调上定义了滤子，使用完成群环 $\widehat{\mathbb{Z}}_p[[H]]$ 中增广理想 $I^n$ 的幂次，其中 $H = G/N$，并研究其相应的分次项。
• 他们利用附录A中的同调代数技术，通过函子复合构造出广义Bockstein映射 $\Psi^{(n)}$，作为谱序列中的连接同态。
• 证明映射 $\Psi^{(n)}$ 通过Grothendieck谱序列论证，将滤子的第 $n$ 个分次项与 $\Psi^{(n)}$ 的余核联系起来。
• 为Massey乘积引入“合适定义系统”的新概念，该概念减少不确定性，并使 $\Psi^{(n)}$ 的像可被识别为Massey乘积的取值。
• 将该理论应用于特定群类型——拟循环群、拟双循环群、初等阿贝尔 $p$-群及Heisenberg群——在这些情形下显式计算广义Bockstein映射，并将其与Massey乘积关联。
• 利用该框架推导出算术后果，包括 $\mathbb{Q}(\mu_p)$ 的 $p$-分歧扩张中类群 $p$-秩的下界，并重新证明伽罗瓦上同调中的Massey消失性。

实验结果

研究问题

• RQ1 如何通过 $N$ 的Iwasawa上同调上的滤子，将概赋群 $G$ 的上同调与正规开子群 $N$ 的上同调联系起来？
• RQ2 广义Bockstein映射 $\Psi^{(n)}$ 在何种意义上推广了经典Bockstein同态？它们如何通过同调代数方法构造？
• RQ3 在受限定义系统下，$n$-重Massey乘积在多大程度上可被表示为 $\Psi^{(n)}$ 的像？
• RQ4 广义Bockstein映射与Massey乘积之间的关系在伽罗瓦上同调中会引出哪些算术后果？
• RQ5 能否利用此代数框架重新证明绝对伽罗瓦群中Massey三重乘积的消失性？

主要发现

• 增广滤子在 $N$ 的Iwasawa上同调上的第 $n$ 个分次项同构于广义Bockstein映射 $\Psi^{(n)}$ 的余核，从而建立了精确的上同调对应关系。
• 对于某些群 $H = G/N$，如初等阿贝尔 $p$-群与Heisenberg群，$\Psi^{(n)}$ 的像恰好是受限定义系统下 $n$-重Massey乘积的取值集合。
• 作者利用广义Bockstein映射的结构，证明了 $\mathbb{Q}(\mu_p)$ 的 $p$-分歧双循环与Heisenberg扩张中类群 $p$-秩的下界。
• 通过广义Bockstein映射的代数结构，获得了一个关于绝对伽罗瓦群中三重Massey乘积消失性的新证明。
• 该框架为Massey乘积的消失性提供了纯粹代数的解释，独立于诸如纽结补集等拓扑或几何类比。
• 结果通过同调代数工具（包括Grothendieck谱序列与导出函子）推导得出，附录A中的关键引理确保了构造的有效性。