[论文解读] The discriminant of a cubic surface

Andreas-Stephan Elsenhans, Jörg Jahnel|arXiv (Cornell University)|Jun 3, 2010

Algebraic Geometry and Number Theory参考文献 10被引用 5

一句话总结

本论文在有理数域 ℚ 上构造了具有有理系数的显式三次曲面，其处于五面体标准形式，使得作用在 27 条直线上的伽罗瓦群为 W(E₆) 的指数为 2 的子群，即阶为 25,920 的单群。作者证明该伽罗瓦群恰好在 (−3)Δ 为完全平方数时出现，其中 Δ 为曲面的判别式，并通过在沿判别式曲面（次数为 32）分支的 ℙ⁴ 的双重覆盖上进行有理点搜索，构造了此类曲面参数空间中的一个累积子簇，该曲面经广义克雷莫纳变换后降为次数 8。

ABSTRACT

We construct explicit examples of cubic surfaces over $\bbQ$ such that the 27 lines are acted upon by the index two subgroup of the maximal possible Galois group. This is the simple group of order $25 920$. Our examples are given in pentahedral normal form with rational coefficients. For such cubic surfaces, we study the discriminant and show its relation to the index two subgroup. On the corresponding parameter space, we search for rational points, discuss their asymptotic, and construct an accumulating subvariety.

研究动机与目标

• 构造 ℚ 上显式例子，其 27 条直线上的作用伽罗瓦群为 W(E₆) 的指数为 2 的子群，即阶为 25,920 的单群。
• 通过 (−3)Δ 为完全平方数的条件，刻画该伽罗瓦群出现的精确条件，其中 Δ 为曲面的判别式。
• 研究此类曲面参数空间上的有理点，特别是其渐近分布及累积子簇的存在性。
• 在马宁猜想及有理点分布的框架下，研究所构造的累积子簇的唯一性。

提出的方法

• 以有理系数 (a₀, ..., a₄) 表示处于五面体标准形式的三次曲面，将其参数化于 ℙ⁴ 中。
• 将判别式 Δ(a₀, ..., a₄) 定义为系数的对称齐次多项式，次数为 32，源自 27 条直线的交点矩阵。
• 证明当且仅当 (−3)Δ 在 ℚ 中为完全平方数时，伽罗瓦群包含于指数为 2 的子群 D¹W(E₆) 中。
• 构造 ℙ⁴ 的双重覆盖，其在次数为 32 的判别式曲面上分支，并应用广义克雷莫纳变换将次数降至 8。
• 在所得次数为 8 的双重覆盖上进行有理点搜索，分析有界高度点的渐近分布。
• 通过识别与坐标超平面相切的条件导出的方程组的有理解，构造一个累积子簇。

实验结果

研究问题

• RQ1 在五面体标准形式下，哪些有理系数 (a₀, ..., a₄) 使得作用在 27 条直线上的伽罗瓦群恰好为 W(E₆) 的指数为 2 的子群？
• RQ2 判别式 Δ 的精确条件是什么，以确保伽罗瓦群包含于 D¹W(E₆) 中？
• RQ3 有界高度的有理点在这些三次曲面的参数空间上如何分布？是否存在一个累积子簇？
• RQ4 在马宁猜想关于三次曲面有理点的框架下，所构造的累积子簇在多大程度上是唯一的？

主要发现

• 作用在 27 条直线上的伽罗瓦群包含于指数为 2 的子群 D¹W(E₆) 中，当且仅当 (−3)Δ 在 ℚ 中为完全平方数。
• 判别式 Δ 是 ℚ[a₀, ..., a₄] 中次数为 32 的对称、绝对不可约齐次多项式。
• 具有伽罗瓦群 D¹W(E₆) 的三次曲面参数空间双有理等价于 ℙ⁴ 的一个次数为 8 的双重覆盖，其在判别式曲面上分支。
• 在参数空间中存在一个累积子簇，通过一族与所有五个坐标超平面相切的二次曲面构造而成。
• 当 t = 3 和 t = 1/3 时，双重覆盖在同一个子簇 Q 上分裂，该子簇在坐标置换 (0)(13)(24) 下不变，证实了其几何重要性。
• 二元形式 (−3)Δ′(ιₜ(u,v)) 的六次因子在一般 t 下不可约，仅在特定 t（如 t = 3 和 t = 1/3）时成为完全平方数。