[论文解读] Degenerate fourfold Massey products over arbitrary fields

Alexander Merkurjev, Federico Scavia|arXiv (Cornell University)|Aug 27, 2022

Algebraic Geometry and Number Theory被引用 5

一句话总结

本文证明了：对于任意特征不为2的域 $F$ 及所有 $a,b,c \in F^\times$，当定义时，模2的Massey积 $\langle a,b,c,a \rangle$ 恒为零。此外，本文构造了包含所有单位根的域，使得其绝对伽罗瓦群的模2上链微分群代数（DGA）非形式化，从而回答了Positselski提出的问题，并确立了 $n=4$ 且 $p=2$ 时强Massey消去猜想的关键情形。该结果依赖于使用Kummer理论和二次扩张中的范数群进行显式上同调计算。

ABSTRACT

We prove that, for all fields $F$ of characteristic different from $2$ and all $a,b,c\in F^ imes$, the mod $2$ Massey product $\langle a,b,c,a angle$ vanishes as soon as it is defined. For every field $F_0$, we construct a field $F$ containing $F_0$ and $a,b,c,d\in F^ imes$ such that $\langle a,b,c angle$ and $\langle b,c,d angle$ vanish but $\langle a,b,c,d angle$ is not defined. As a consequence, we answer a question of Positselski by constructing the first examples of fields containing all roots of unity and such that the mod $2$ cochain DGA of the absolute Galois group is not formal.

研究动机与目标

• 证明：当定义时，模2 Massey积 $\langle a,b,c,a \rangle$ 在任意特征 $\neq 2$ 的域 $F$ 上恒为零。
• 对任意给定的域 $F_0$，构造一个域扩张 $F$，使得 $F$ 包含 $F_0$，且存在 $a,b,c,d \in F^\times$，满足 $\langle a,b,c \rangle$ 和 $\langle b,c,d \rangle$ 为零，但 $\langle a,b,c,d \rangle$ 未定义。
• 通过构造包含所有单位根的域，使得其绝对伽罗瓦群的模2上链DGA非形式化，从而回答Positselski提出的问题。
• 在 $ad$ 和 $abc$ 为 $F$ 中平方数的条件下，完全刻画Massey积 $\langle a,b,c,d \rangle$ 的定义与消去性。

提出的方法

• 利用Kummer理论将 $H^1(F, \mathbb{Z}/2\mathbb{Z})$ 与 $F^\times / F^{\times 2}$ 对应，从而通过 $F^\times$ 中的元素研究Massey积。
• 通过双二次扩张 $F_{a,b} = F(\sqrt{a}, \sqrt{b})$ 中的范数群 $N_{a,b}$ 的结构分析Massey积，特别运用Hilbert定理90。
• 应用范数剩余同构及上同调工具，将Massey积的消去性与某些上积的平凡性以及范数群中解的存在性联系起来。
• 在二次扩张中利用迹与范数映射构造满足所需上同调条件的显式元素，尤其在引理A.4中。
• 通过分析 $F_{a,b,c,d}$-点的结构与范数群的交集，证明在 $ad$ 与 $abc$ 为平方数的条件下，$\langle a,b,c,d \rangle$ 的定义性与消去性等价。
• 通过利用Massey积虽未定义但相邻上积为平凡的事实，构造了对消去条件逆命题的反例。

实验结果

研究问题

• RQ1 当定义时，模2 Massey积 $\langle a,b,c,a \rangle$ 是否在任意特征 $\neq 2$ 的域 $F$ 上恒为零？
• RQ2 能否构造一个包含所有单位根的域 $F$，使得 $\operatorname{Gal}(\bar{F}/F)$ 的模2上链DGA非形式化？
• RQ3 是否存在一个域 $F$ 及元素 $a,b,c,d \in F^\times$，使得 $\langle a,b,c \rangle$ 和 $\langle b,c,d \rangle$ 为零，但 $\langle a,b,c,d \rangle$ 未定义？
• RQ4 当 $ad$ 与 $abc$ 为 $F$ 中平方数时，$a,b,c,d \in F^\times$ 满足何种条件，使得Massey积 $\langle a,b,c,d \rangle$ 既定义又消去？

主要发现

• 对于任意特征 $\neq 2$ 的域 $F$ 及所有 $a,b,c \in F^\times$，当定义时，模2 Massey积 $\langle a,b,c,a \rangle$ 恒为零。
• 本文对任意域 $F_0$，构造了域扩张 $F$ 及元素 $a,b,c,d \in F^\times$，使得 $\langle a,b,c \rangle$ 和 $\langle b,c,d \rangle$ 为零，但 $\langle a,b,c,d \rangle$ 未定义。
• 本文提供了完全刻画：当 $a,b,c,d \in F^\times$ 且 $ad$ 与 $abc$ 为 $F$ 中平方数时，Massey积 $\langle a,b,c,d \rangle$ 既定义又消去当且仅当 $(b,c) = 0$ 在 $\operatorname{Br}(F)$ 中，且 $-1 \in N_{b,c}$。
• 作者构造了首个已知的包含所有单位根的域，其绝对伽罗瓦群的模2上链DGA非形式化，从而解决了Positselski提出的问题。
• 在 $ad$ 与 $abc$ 为 $F$ 中平方数的条件下，$\langle a,b,c,d \rangle$ 的定义性与消去性等价，且其消去当且仅当 $-1 \in N_{b,c}$ 且 $(b,c) = 0$ 在Brauer群中。
• 证明依赖于对双二次扩张中范数群与迹映射的详细分析，特别运用了Hilbert定理90及 $F_{a,b}$-点的结构。