[論文レビュー] Explicit Schoen surfaces

Carlos Rito, Xavier Roulleau+1 more|arXiv (Cornell University)|Sep 8, 2016

Algebraic Geometry and Number Theory参考文献 21被引用数 3

ひとこと要約

本稿は、シューゼン表面の canonical 表現である ℙ⁴ 内の 40 個のノードを持つ完全交差曲面について、初めて明示的な方程式を提供する。これらはイグザ四次三様体と特別に選ばれた二次曲面の交わりとして構成される。主な貢献は、4 パラメータの族を含むこのような曲面の構成であり、240 個の自己同型と最大のピカール数を持つ明示例が得られ、長年の理論的存在結果が代数的幾何学的道具で具体化された。

ABSTRACT

We give an explicit construction for the $4$-dimensional family of Schoen surfaces by computing equations for their canonical images, which are $40$-nodal complete intersections of a quadric and the Igusa quartic in $\mathbb P^4$. We then study a particularly interesting example, with $240$ automorphisms and maximal Picard number.

研究の動機と目的

• シューゼン表面の canonical 表現が、これまで理論的にしか知られていなかったが、明示的な多項式方程式を提供すること。
• イグザ四次三様体と二次曲面の完全交わりとして、ℙ⁴ 内の 40 個のノードを持つ次数 8 の曲面の 4 次元族を構成すること。
• 240 個の自己同型と最大ピカール数を持つ特別なシューゼン曲面を特定・分析し、このような曲面の稀な幾何的例を提供すること。
• 一般の 15 個のノードを持つ四次 K3 曲面がイグザ四次三様体の超平面切断として現れることを示し、モジュライ的関係を確立すること。

提案手法

• 構成には、15 条の A₁ 奇点を含む直線に沿って特異な ℙ⁴ 内のイグザ四次三様体 I₄ ⊂ ℙ⁴ を用い、一般の二次曲面 Q₂ と交わると、30 個のノードを持つ次数 8 の曲面が得られる。
• 鍵となるステップは、15 個の特異直線に対して横断的であるが、I₄ に 10 つの追加点で接する二次曲面 Q₂ を見つけることにより、ノード数を 40 に増やすこと。
• コンピュータ代数を用い、イグザ四次三様体とその双対であるセグレ三様体の幾何学を活用して、Q₂ の係数を 4 パラメータの関数として明示的に計算する。
• 得られた曲面 X₄₀ の canonical 写像が 2 対 1 であり、分岐集合が正確に 40 個のノードであることを示し、これによりシューゼン表面 S → X₄₀ として二重被覆を構成する。
• 240 自己同型を持つ例について、格子論的技法とネロン＝セベリ群の解析を用いて、そのアーベル多様体のピカール数と同種類を計算する。
• Néron-Severi 格子 N を用いた 15 個のノードを持つ K3 曲面のモジュライ空間を分析し、それが非可約であり、算術的商 D_N / Γ に同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ℙ⁴ 内の 40 個のノードを持つ次数 8 の曲面（シューゼン表面の canonical 表現）が、多項式方程式で明示的に構成可能か？
• RQ2 240 個の自己同型を持つようなシューゼン曲面の幾何学的・算術的構造は何か？
• RQ3 15 個のノードを持つ K3 曲面のネロン＝セベリ群が、格子 N = U(2)⊕U(2)⊕⟨-2⟩⊕⟨-4⟩ に等長的であるか？そしてこれは四次曲面としての射影的モデルを意味するか？
• RQ4 一般の 15 個のノードを持つ四次 K3 曲面は、イグザ四次三様体の超平面切断として実現可能か？
• RQ5 15 個のノードを持つ K3 曲面のモジュライ空間は何か？非可約か？

主な発見

• 本稿は、イグザ四次三様体と 4 パラメータを含む二次曲面 Q₂ の完全交わりとして、ℙ⁴ 内の 40 個のノードを持つ次数 8 の曲面の最初の明示的方程式を構成する。
• シューゼン表面の canonical 写像は、40 個のノードが分岐集合となる X₄₀ へ 2 対 1 であることが示され、その結果として二重被覆 S → X₄₀ が得られる。
• 240 個の自己同型を持つシューゼン曲面の例が構成され、そのアーベル多様体が複素乗法を持つ楕円曲線の積と同種であることが示された。
• この特別なシューゼン曲面のピカール数は最大で 20 に達し、代数的曲面の研究において稀で重要な事実である。
• 15 個のノードを持つ K3 曲面のモジュライ空間は非可約であり、D_N / Γ に同型であることが証明された。ここで N の直交補空間は U(2)⊕U(2)⊕⟨-2⟩⊕⟨-4⟩ に等しい。
• 一般の 15 個のノードを持つ四次曲面がイグザ四次三様体の超平面切断として現れることを示し、完全なモジュライ的特徴づけが確立された。