[論文レビュー] The surface parametrizing cuboids

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

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

ひとこと要約

この論文は、有理的立方体をパラメトライズする表面 $ \bar{S} $ の最小特異点解消 $ S $ の完全な幾何的ピカード群を決定し、それがランク64で判別式 $-2^{28}$ であることを示している。ガロア群と自己同型群（位数1536）の併合作用を用いて飽和性を確立した。この結果は、$ \bar{S} $ 上の既知の曲線がピカード群を完全に生成することを示し、有理的立方体問題およびボンビエリ＝ラング予想に影響を与える。

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 $ の完全な幾何的ピカード群の構造を特定すること。
• 既知のピカード群の部分群が実際に完全な群であることを示すために、それが飽和していることを証明すること。
• ガロア群と自己同型群のピカード群への作用を理解し、飽和問題を1つの可除性の確認に還元すること。
• ピカード群の構造が $ \bar{S} $ 上の有理点の存在に与える影響を調査すること、特に有理的立方体問題との関係を明らかにすること。

提案手法

• 著者たちは、$ \bar{S} $ の最小特異点解消 $ S $ を計算し、48個の孤立した $ A_1 $ 特異点を持つことを特定した。
• 彼らは $ S $ の完全な自己同型群を特定し、その位数が1536であり、$ \mathbb{P}^6 $ 上に線形に作用することを示した。この作用は $ \bar{S} $ 上の作用を拡張する。
• ガロア群 $ \operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) $ と幾何的自己同型群のピカード群への併合作用を用いて、飽和問題を、超平面切断が2で可除でないことを確認することに還元した。
• 明示的な曲線と特異点除法子によって生成される既知のピカード群の部分群が、2で可除な原始的要素を含まないことを示すことにより、その部分群が飽和していることを証明した。
• 計算代数（Magma）を用いて、ガロアコhomology群 $ \operatorname{H}^1(\operatorname{Gal}(\mathbb{Q}(i,\sqrt{2})/\mathbb{Q}), \operatorname{Pic} S) $ が消えることを検証し、ブレア群拡張の自明性を支持した。

実験結果

リサーチクエスチョン

• RQ1 $ S $ の幾何的ピカード群の既知の部分群が実際に完全なピカード群であるか、それとも有限指数部分群であるか？
• RQ2 $ S $ の自己同型群の正確な構造は何か？ また、それはピカード群にどのように作用するか？
• RQ3 $ S $ の代数的ブレア群は $ \mathbb{Q} $ から生じるだけであり、それ以上の代数的ブレアクラスは存在しないのか？
• RQ4 $ S $ 上のすべての整数的曲線で、種数が1以下であるものは、円錐曲線と特異点除法子によって生成される既知の部分群 $ \mathcal{G} $ に含まれるか？
• RQ5 ピカード群の構造を用いて、$ \bar{S} $ 上に有理点が存在しないことを除外するか、あるいは有理的立方体問題を制約できるか？

主な発見

• $ S $ の幾何的ピカード群のランクは64であり、これは表面のホッジ理論に整合する最大の可能なランクである。
• $ \operatorname{Pic} S_{\overline{\mathbb{Q}}} $ 上の交差形式の判別式は $-2^{28}$ であり、群は torsion-free である。
• $ \overline{\mathbb{Q}} $ 上の $ S $ の自己同型群の位数は1536であり、$ \mathbb{P}^6 $ 上に線形に作用し、$ \bar{S} $ 上の作用を拡張する。
• 既知のピカード群の部分群は飽和している、つまり完全な群である。これは超平面切断が2で可除でないことを示すことにより証明された。
• $ S $ の代数的ブレア群は $ \mathbb{Q} $ のブレア群に同型であり、弱近似に対する代数的ブレア＝マニンの障害は存在しないことを示唆する。
• すべての $ \bar{S} $ 上の円錐曲線、および算術的種数1の4次曲線は、既知の部分群 $ \mathcal{G} $ に含まれる。また、$ \bar{S} $ 上に滑らかな4次有理曲線は存在しない。