[论文解读] Triple Massey products in Galois cohomology

Eliyahu Matzri|arXiv (Cornell University)|Nov 15, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用 14

一句话总结

该论文证明了任意包含本原 p 次单位根的域 F 的模 p 伽罗瓦上同调中的三重 Massey 积始终包含零，从而证实了 Mináč 和 Tân 的一个猜想。利用 H^2(G_F) 与布饶尔群的 p- torsion 部分之间的同构关系，作者构造了显式的阿贝尔交叉积代数，并证明它们代表的元素属于 cup 积的像，从而对所有素数 p 和所有此类域 F 建立了该性质的消失性。

ABSTRACT

Fix an arbitrary prime $p$. Let $F$ be a field, containing a primitive $p$-th root of unity, with absolute Galois group $G_F$. The triple Massey product (in the mod-$p$ Galois cohomology) is a partially defined, multi-valued function $\langle \cdot,\cdot,\cdot angle: H^1(G_F)^3 ightarrow H^2(G_F).$ In this work we prove a conjecture made in [11] stating that any defined triple Massey product contains zero. As a result the pro-$p$ groups appearing in [11] are excluded from being absolute Galois groups of fields $F$ as above.

研究动机与目标

• 证明任意包含本原 p 次单位根的域 F 的模 p 伽罗瓦上同调中三重 Massey 积始终包含零的猜想。
• 通过排除某些 p-进群不能作为 Gal(F) 实现，建立绝对伽罗瓦群的强结构限制。
• 利用布饶尔群与阿贝尔交叉积，将 p=2 时的先前结果推广至任意素数 p。
• 通过伽罗瓦下降与范数映射构造显式代表元，提供统一的上同调证明，以说明消失性。

提出的方法

• 使用 Kummer 同构将 H^1(G_F) 与 F^×/(F^×)^p 识别，将上同调类转化为 F^× 中的元素。
• 利用伽罗瓦扩张 F_a 与 F_c（群为 Z/pZ）及满足范数条件的元素 u, v，构造一个次数为 p²、指数为 p 的阿贝尔交叉积代数 A_{u,v}。
• 证明 A_{u,v} 在 F_c 上的限制同构于符号代数 (a, w_c)_p,F_c，其中 w_c 是由 v 导出的类似范数的乘积。
• 通过核心限制与范数相容性，证明 A_{u,v} 在布饶尔群中等价于两个符号代数的张量积 (a,s)_p,F ⊗ (c,t)_p,F。
• 利用布饶尔群同构 Ψ: H^2(G_F) → Br_p(F) 的自然性，将上同调 Massey 积转化为关于阿贝尔交叉积结构的问题。
• 应用 Dwyer 等人关于 Massey 积与上同调消失性的结果，证明所构造的代数属于 χ_a ∪ H^1(G_F) + H^1(G_F) ∪ χ_c 的像，从而推出 0 ∈ ⟨χ_a, χ_b, χ_c⟩。

实验结果

研究问题

• RQ1 对于任意素数 p，任意包含本原 p 次单位根的域 F 的模 p 伽罗瓦上同调中三重 Massey 积是否始终包含零？
• RQ2 能否利用布饶尔群与交叉积代数，在所有素数 p 上统一建立三重 Massey 积的消失性？
• RQ3 当三重 Massey 积有定义时，其代表元的精确代数结构是什么？
• RQ4 范数映射与伽罗瓦下降构造如何与伽罗瓦上同调中更高阶 Massey 积的消失性相关？
• RQ5 由于三重 Massey 积不包含零，哪些 p-进群被排除在作为域 F 的绝对伽罗瓦群之外？

主要发现

• 对于任意包含本原 p 次单位根的域 F 及任意素数 p，H²(G_F) 中的三重 Massey 积 ⟨χ₁, χ₂, χ₃⟩ 始终包含零。
• 所构造的阿贝尔交叉积 A_{u,v} 代表 Massey 积中的一个元素，且在布饶尔群中等价于两个符号代数的张量积 (a,s)_p,F ⊗ (c,t)_p,F。
• A_{u,v} 在扩张 F_c 上的限制同构于符号代数 (a, w_c)_p,F_c，其中 w_c 是由 v 导出的类似范数的乘积。
• 由 A_{u,v} 代表的上同调类位于 χ_a ∪ H¹(G_F) 与 H¹(G_F) ∪ χ_c 的像之和中，从而推出 0 ∈ ⟨χ_a, χ_b, χ_c⟩。
• 该证明对所有绝对伽罗瓦群 G_F 建立了三重 Massey 积的消失性，从而在完全一般性下证实了 Mináč 和 Tân 的猜想。
• 作为推论，那些不满足消失性质的某些 p-进群被排除在作为域 F 的绝对伽罗瓦群的可能实现之外。