[論文レビュー] Moduli of Gorenstein Q-homology projective planes

Matthias Schuett|arXiv (Cornell University)|May 15, 2015

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

ひとこと要約

本稿では、数的に自明な正則線形系列を持つ複素Gorenstein ℚ-同調的射影平面を完全に分類し、31種類の型が存在することを示した。各型は、ℚ 上で定義された1次元の有理的モジュライ空間を持つ。分類は、極小な有理楕円曲面と、基本変換型のEnriques自己同型を用いた明示的パラメトライゼーションにより達成され、すべてのモジュライ族が明示的に構成され、ℚ 上で定義された有理的族であることが示された。

ABSTRACT

We give a complete classification of complex Q-homology projective planes with isolated rational double point singularities and numerically trivial canonical bundle. There are 31 types, and each has one-dimensional moduli. In fact, all moduli curves are rational and defined over Q, and we determine all families explicitly using extremal rational elliptic surfaces and Enriques involutions of base change type.

研究の動機と目的

• 数的に自明な正則線形系列を持つGorenstein ℚ-同調的射影平面の分類を完全化すること。これは、部分的な結果は得られているが、未解決の事例であった。
• このような曲面上の有理的ダブル点特異点の31通りの可能なルート型それぞれに対するモジュライ空間を特定すること。
• 各モジュライ空間が1次元的で、有理的であり、ℚ 上で定義されることを証明し、これらの族の次元と有理的性に関する予想を解決すること。
• 極小な有理楕円曲面と、基本変換型のEnriques自己同型を用いて、すべての族を明示的にパラメトライズすること。
• 各ルート型に対するモジュライ成分を区別すること。特に、複数の成分を含む場合の曖昧さを解消すること。

提案手法

• Enriques–Kodaira分類を用いて、このような曲面の最小解消がEnriques曲面であることを示し、正則線形系列が数的に自明であることを利用した。
• 格子論的技法を用いて、Enriques曲面上の(-2)-曲線の31通りの最大ルート型を分類し、それらがℚ-同調的射影平面を導く可能性を特定した。
• 極小な有理楕円曲面におけるEnriques自己同型の基本変換型構成を用いて、必要な楕円曲線ファイブレーションを生成した。
• Enriques曲面のK3被覆を用いて、Mordell-Weil群と高さペアリングを解析し、族の明示的パラメトライズを可能にした。
• [21, §11 (22)] を用いて、K3被覆の一般Néron–Severi格子の判別式を計算し、モジュライ成分を区別した。
• 二重断面とねじれセクションを用いた幾何的議論により、特異ファイバーの構造を検証し、モジュライ成分の相異なる性質を保証した。

実験結果

リサーチクエスチョン

• RQ1 Enriques曲面上の31通りの最大ルート型は、数的に自明な正則線形系列を持つGorenstein ℚ-同調的射影平面の特異点として実現可能か？
• RQ2 これらのルート型に対するモジュライ空間は、1次元的で、有理的であり、ℚ 上で定義された族であるという予想は正しいか？
• RQ3 すべてのこのような族は、極小な有理楕円曲面と、基本変換型のEnriques自己同型を用いて明示的にパラメトライズ可能か？
• RQ4 1つのルート型に対して、最大で何個のモジュライ成分が生じ得るか？ そして、それらは幾何的または算術的にどのように区別できるか？
• RQ5 過去の報告で孤立したモジュライとされた $2A_3 + 3A_1$ が、実際には1次元族であることが示されたことで、1次元モジュライの一般予想が確認されたか？

主な発見

• Enriques曲面上の(-2)-曲線の最大ルート型として、数的に自明な正則線形系列を持つGorenstein ℚ-同調的射影平面を導くものが、正確に31種類存在する。
• 31種類すべての型について、モジュライ空間は1次元的で、有理的であり、ℚ 上で定義されており、族の有理的性と算術的性質が確認された。
• すべての族は、極小な有理楕円曲面と、基本変換型のEnriques自己同型を用いて明示的にパラメトライズされ、構成方法は表5に詳細に記載されている。
• 1つのルート型に対して最大3つの成分が生じ得る。$3A_3$、$D_6 + 3A_1$、$A_7 + 2A_1$ でその例が示された。
• K3被覆の一般Néron–Severi格子の判別式（例：16, 4, 64, 128, 32, 8）が、モジュライ成分を区別するのに用いられ、それらの相異なる性質が確認された。
• 文献[10]における誤りを是正し、$2A_3 + 3A_1$ が孤立例ではなく、1次元族を形成することを示した。これにより、1次元モジュライ族に関する一般予想が裏付けられた。