特征 2 中作为射影平面二重覆盖的超奇异 K3 曲面

对于特征 2 中的每一个超奇异 $K3$ 曲面 $X$，存在一个 6 次齐次多项式 $G$，使得 $X$ 双有理等价于由 $w^2=G$ 定义的射影平面的纯不可分二重覆盖。我们给出一种算法，由 $G$ 计算 $X$ 的数值 Néron-Severi 格的一组生成元。作为一个应用，我们研究由 Artin 不变量在特征 2 中 2 次超奇异 $K3$ 曲面模空间上定义的层化。