[論文レビュー] 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の単純群である D¹W(E₆) となるように、有理係数を持つ。著者らは、このガロア群が発生するのは (−3)Δ が完全平方であるときであることを示し、32次の判別式多様体に沿って分岐する ℙ⁴ の2重被覆の有理点探索を通じて、そのパrameter空間内に累積的部分多様体を構成した。この被覆は一般化されたクレモナ変換により次数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)Δ が完全平方であるという条件であることを特徴づける。
• このような立方曲面のパrameter空間上の有理点、特にその漸近的分布と累積的部分多様体の存在を研究する。
• マンインの予想と有理点の分布の文脈において、構成された累積的部分多様体の一意性を検討する。

提案手法

• 有理係数 (a₀, ..., a₄) を用いた五面体標準形で立方曲面を表現し、それらを ℙ⁴ にパrameter化する。
• 27本の直線の交差行列から導かれる対称的かつ同次多項式として、判別式 Δ(a₀, ..., a₄) を定義し、係数に関する32次多項式とする。
• ガロア群が D¹W(E₆) に含まれるための必要十分条件が、(−3)Δ が ℚ 内で完全平方であることであることを証明する。
• 32次判別式多様体に沿って分岐する ℙ⁴ の2重被覆を構成し、一般化されたクレモナ変換を適用して次数を8に低減する。
• 得られた次数8の2重被覆上で有理点探索を行い、有界高さの点の漸近的分布を分析する。
• 座標超平面への接する条件から得られる方程式系の有理解を特定することで、累積的部分多様体を構成する。

実験結果

リサーチクエスチョン

• RQ1 五面体標準形の有理係数 (a₀, ..., a₄) に対して、27本の直線に作用するガロア群が W(E₆) の指数2部分群に丁度一致するのはどのような場合か？
• RQ2 判別式 Δ に対して、ガロア群が D¹W(E₆) に含まれるための正確な条件は何か？
• RQ3 有界高さの有理点は、このような立方曲面のパrameter空間上でどのように分布するのか？ また、累積的部分多様体は存在するか？
• RQ4 マンインの予想の枠組みにおいて、構成された累積的部分多様体はどの程度一意的か？

主な発見

• 27本の直線に作用するガロア群が D¹W(E₆) に含まれるための必要十分条件は、(−3)Δ が ℚ 内で完全平方であることである。
• 判別式 Δ は、ℚ[a₀, ..., a₄] 内の対称的かつ絶対的非可約な同次多項式であり、次数32である。
• ガロア群が D¹W(E₆] である立方曲面のパrameter空間は、32次判別式多様体に沿って分岐する ℙ⁴ の8次2重被覆と双有理同型である。
• パrameter空間内に累積的部分多様体が存在し、5つの座標超平面にすべて接する1パラメータ族の二次曲面から構成された。
• t = 3 および t = 1/3 のとき、2重被覆は同じ部分多様体 Q 上で分裂し、これは置換 (0)(13)(24) に関して不変であるため、幾何学的意義が確認された。
• 二進形式 (−3)Δ′(ιₜ(u,v)) の6次因子は一般の t に対して非可約であり、t = 3 および t = 1/3 のような特定の t でのみ完全平方となる。