$\mathbb{P}^1_{\mathbb{Q}} - \{0,1,\infty\}$ 的 $\pi_1$ 截口的 3-幂零障碍

我们研究 $\mathbb{P}^1_K -\{0,1,\infty\}$ 的雅可比簇的哪些有理点可以提升为绝对伽罗瓦群上平展 $\pi_1$ 的几何 3-幂零商的截口。这等价于计算 $H^1(G_K)$ 中元素的某些三重 Massey 积。对于 $K=\mathbb{Q}_p$ 或 $\mathbb{R}$，我们给出了完整的模 2 计算。这允许对 $K = \mathbb{Q}$ 进行一些模 2 计算。这些是 Jordan Ellenberg 障碍的计算。