[论文解读] The surface parametrizing cuboids

Stoll, Michael, Testa, Damiano|arXiv (Cornell University)|Sep 2, 2010

Computational Geometry and Mesh Generation参考文献 5被引用 27

一句话总结

本文确定了参数化有理长方体的曲面 $ \bar{S} $ 的最小解析化 $ S $ 的完整几何 Picard 群，通过伽罗瓦群与自同构群（阶为 1536）的联合作用，证明其秩为 64，判别式为 $-2^{28}$，并确立了饱和性。结果表明，所有已知的 $ \bar{S} $ 上的曲线均生成完整的 Picard 群，对有理长方体问题和 Bombieri-Lang 猜想具有重要意义。

ABSTRACT

We study the surface $\bar{S}$ parametrizing cuboids: it is defined by the equations relating the sides, face diagonals and long diagonal of a rectangular box. It is an open problem whether a `rational box' exists, i.e., a rectangular box all of whose sides, face diagonals and long diagonal have (positive) rational length. The question is equivalent to the existence of nontrivial rational points on $\bar{S}$. Let $S$ be the minimal desingularization of $\bar{S}$ (which has 48 isolated singular points). The main result of this paper is the explicit determination of the Picard group of $S$, including its structure as a Galois module over $\mathbb Q$. The main ingredient for showing that the known subgroup is actually the full Picard group is the use of the combined action of the Galois group and the geometric automorphism group of $S$ (which we also determine) on the Picard group. This reduces the proof to checking that the hyperplane section is not divisible by 2 in the Picard group. We use our explicit knowledge of the Picard group, together with that of a K3 surface obtained as a quotient of $S$, to study curves of low degree on $\bar{S}$. In this way, we completely classify all integral curves of degree at most 6 on $\bar{S}$.

研究动机与目标

• 确定参数化长方体的曲面 $ \bar{S} $ 的最小解析化 $ S $ 的完整几何 Picard 群结构。
• 通过证明已知的 Picard 子群实际上是整个群（即其饱和性），证明该子群即为完整群。
• 理解伽罗瓦群与自同构群在 Picard 群上的作用，将饱和性问题简化为单个可除性检验。
• 研究 Picard 群结构对 $ \bar{S} $ 上有理点存在性的影响，特别是与有理长方体问题的关系。

提出的方法

• 作者计算了 $ \bar{S} $ 的最小解析化 $ S $，其包含 48 个孤立的 $ A_1 $ 奇点。
• 他们确定了 $ S $ 的完整自同构群，证明其阶为 1536，且在 $ \mathbb{P}^6 $ 上线性作用，扩展了其在 $ \bar{S} $ 上的作用。
• 他们利用伽罗瓦群 $ \operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) $ 与几何自同构群在 Picard 群上的联合作用，将饱和性问题简化为验证超平面截面不可被 2 整除。
• 他们通过证明子群中不存在可被 2 整除的本原元素，证明了由显式曲线和例外除子生成的已知 Picard 子群是饱和的。
• 他们使用计算代数（Magma）验证了伽罗瓦上同调群 $ \operatorname{H}^1(\operatorname{Gal}(\mathbb{Q}(i,\sqrt{2})/\mathbb{Q}), \operatorname{Pic} S) $ 为零，支持了布饶尔群扩张的平凡性。

实验结果

研究问题

• RQ1 已知的 $ S $ 的几何 Picard 群子群是否实际上就是完整的 Picard 群，还是仅为有限指数子群？
• RQ2 $ S $ 的自同构群的精确结构是什么？其在 Picard 群上的作用如何？
• RQ3 $ S $ 的代数布饶尔群是否完全源自 $ \mathbb{Q} $，还是存在额外的代数布饶尔类？
• RQ4 所有在 $ S $ 上的整曲线（亏格不超过 1）是否都包含在由圆锥曲线和例外除子生成的已知子群 $ \mathcal{G} $ 中？
• RQ5 Picard 群的结构能否用于排除 $ \bar{S} $ 上有理点的存在性，或用于约束有理长方体问题？

主要发现

• $ S $ 的几何 Picard 群的秩为 64，这是与曲面的霍奇理论一致的可能最大秩。
• 在 $ \operatorname{Pic} S_{\overline{\mathbb{Q}}} $ 上的交形式的判别式为 $-2^{28}$，且该群无挠。
• $ \overline{\mathbb{Q}} $ 上 $ S $ 的自同构群阶为 1536，且在 $ \mathbb{P}^6 $ 上线性作用，扩展了其在 $ \bar{S} $ 上的作用。
• 已知的 Picard 群子群是饱和的，即其为完整群，通过证明超平面截面不可被 2 整除而得证。
• $ S $ 的代数布饶尔群同构于 $ \mathbb{Q} $ 的布饶尔群，意味着不存在代数布饶尔–曼因障碍阻碍弱逼近。
• 所有在 $ \bar{S} $ 上的圆锥曲线，以及所有次数为 4、算术亏格为 1 的曲线，都包含在已知子群 $ \mathcal{G} $ 中，且在 $ \bar{S} $ 上不存在光滑的四次有理曲线。