[論文レビュー] Quintic surfaces with maximum and other Picard numbers

Matthias Schuett|arXiv (Cornell University)|Dec 18, 2008

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

ひとこと要約

本稿は、Delsarte表面の構成を用いて、最大のピカール数 $\rho = 45$ を達成する複素5次的曲面の、これまでに知られていた唯一の例を提示する。3種類の異なる証明法——フェルマー曲面のガロア商、有理曲線による生成、トランスセンドentalサイクルへのガロア作用——を用いてピカール数を確立し、ゼータ関数を計算する。この手法により、1, 5, 13, 17 など、これまで達成されていなかったピカール数を有する5次的曲面が得られ、45まで達する。

ABSTRACT

This paper investigates the Picard numbers of quintic surfaces. We give the first example of a complex quintic surface in IP^3 with maximum Picard number 45. We also investigate its arithmetic and determine the zeta function. Similar techniques are applied to produce quintic surfaces with several other Picard numbers that have not been achieved before.

研究の動機と目的

• 複素5次的曲面 $\mathbb{P}^3$ において、最大ピカール数 $\rho = 45$ を達成する初の明示的例を構成すること。
• この曲面の算術的性質、特にそのゼータ関数の計算を調査すること。
• 5次的曲面の既知のピカール数を、特に $3 \bmod 4$ に合同な奇数を含む、これまでに達成されていなかった値へと拡張すること。
• Delsarte曲面とフェルマー被覆に基づく体系的な技法を発展・適用し、所望のピカール数を有する曲面を生成すること。
• ピカール数 $\rho = 45$ が、$A_9$ 特異点のみを有する5次的曲面で達成可能であることを示し、塩田が提起した疑問に答えること。

提案手法

• 群作用によるフェルマー曲面のガロア商として、方程式 $yzw^3 + xyz^3 + wxy^3 + zwx^3 = 0$ によってDelsarte曲面を構成する。
• ガロア商法を用いて、被覆するフェルマー曲面の不変コホロジーと、解体された曲面のネロン＝セバール群との関係を確立する。
• フェルマー曲面における固有空間分解を用い、シドーの手法を適用してホッジ型を計算し、$(2,0)$-形式を同定し、$h^{2,0} = 4$ を保証する。
• 曲面上の有理曲線を用いて、ネロン＝セバール群を有限インデックスまで生成し、$\rho$ の下界を得る。
• 位数15の巡回群の作用を用いて、$\mathbb{Q}$-トランスセンドentalサイクルが $\mathbb{Q}(\zeta_{15})$ 上の1次元空間をなすことを示し、ピカール数の計算を裏付ける。
• ガロア商法と有理曲線法を組み合わせ、有限体上の点数えとLefschetz固定点定理を用いて、曲面のゼータ関数を計算する。

実験結果

リサーチクエスチョン

• RQ1 5次的曲面 $\mathbb{P}^3$ は、最大ピカール数 $\rho = 45$ を達成できるか？
• RQ2 最大ピカール数を有する5次的曲面のゼータ関数は何か？ そして、算術幾何学からどのように計算できるか？
• RQ3 有理二重点特異点のみを有する5次的曲面において、1から45までのどのピカール数が実現可能か？
• RQ4 $3 \bmod 4$ に合同なピカール数を有する5次的曲面は存在するか？ また、それらは明示的に構成可能か？
• RQ5 Delsarte曲面の構成を体系的に用いて、所望のピカール数を有する5次的曲面を生成できるか？

主な発見

• 本稿は、方程式 $yzw^3 + xyz^3 + wxy^3 + zwx^3 = 0$ を用いて、複素5次的曲面 $\mathbb{P}^3$ においてピカール数 $\rho = 45$ を達成する、これまでに知られていた唯一の例を構成する。
• この曲面は正確に4つの $A_9$ 特異点を有し、その最小解体において $\rho = 45$ であることが確認され、5次的曲面として達成可能な最大ピカール数であることが裏付けられる。
• 3つの独立した証明が提供されている：フェルマー曲面のガロア商、ネロン＝セバール群における有理曲線の生成、トランスセンドentalサイクルへのガロア作用。
• ガロア商法と有理曲線法の組み合わせにより、算術と幾何の接続を確立し、曲面のゼータ関数が計算される。
• 本稿は、ピカール数 $\rho = 1, 5, 13, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41, 43, 45$ を有する5次的曲面を構成し、$3 \bmod 4$ に合同な奇数で、これまで実現可能であると知られていなかったものが多数含まれる。
• $\rho = 45$ に対して、有理二重点のみを有する5次的Delsarte曲面として、座標変換を除き一意的であることが示され、分類結果が確立される。