The surface parametrizing cuboids
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2010
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917934526365696 |
|---|---|
| author | Stoll, Michael Testa, Damiano |
| author_facet | Stoll, Michael Testa, Damiano |
| contents | 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}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1009_0388 |
| institution | arXiv |
| publishDate | 2010 |
| record_format | arxiv |
| spellingShingle | The surface parametrizing cuboids Stoll, Michael Testa, Damiano Algebraic Geometry 14J29, 14C22, 14J50, 14G05 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}$. |
| title | The surface parametrizing cuboids |
| topic | Algebraic Geometry 14J29, 14C22, 14J50, 14G05 |
| url | https://arxiv.org/abs/1009.0388 |