[論文レビュー] New explicit constructions of surfaces of general type

Lev Borisov, Enrico Fatighenti|arXiv (Cornell University)|Apr 6, 2020

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

ひとこと要約

本稿では、$\mathrm{Gr}(3,V_6)$ 内の完全交差の自由商を用いて、$p_g = q = 0$、$K^2 = 3$、巡回基本群 $C_{14}$ を持つ、一般型の滑らかな曲面の4次元族の新規構成を提示する。この手法により、高度なコンピュータ代数を用いて、6組の新しい偽射影平面の明示的方程式が計算可能となり、同様の曲面の分類が拡張される。

ABSTRACT

We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find (complicated) explicit equations of six new pairs of fake projective planes. Our methods for finding new fake projective planes involve nontrivial computer calculations which we hope will be applicable in other settings.

研究の動機と目的

• 一般型曲面の4次元族を、$p_g = q = 0$、$K^2 = 3$、基本群 $C_{14}$ を満たすように、明示的に構成すること。
• 退化と群作用を用いて、偽射影平面（FPP）の明示的方程式を決定する計算手法を開発すること。
• 既知の例と同一の共役類に属する偽射影平面の分類を拡張すること。
• 高次多項式および数体上の多変数方程式系を解くために、コンピュータ代数システムを用いることで、代数幾何学の難解な問題を解く可能性を示すこと。
• $p_g$ や $q$ が小さい曲面の明示的構成に応用可能なフレームワークを提供すること。

提案手法

• 13次元の代数的多様体 $W \subset \mathbb{P}^{12}$ を構成し、$p_g(W) = 13$、$q(W) = 0$、$K^2_W = 42$ であり、自由な $C_{14}$-作用を持つようにする。
• 求められる曲面 $S$ を $S = W / C_{14}$ として商として得る。これにより、$p_g(S) = q(S) = 0$、$K^2_S = 3$、$\pi_1(S) \cong C_{14}$ の不変量を継承する。
• 退化技術を用いて、商曲面を偽射影平面と関連づけ、特に既知の FPP の $C_3$-商を通じて関連付ける。
• コンピュータ代数システムを用いて、$\mathbb{Q}(\sqrt{-15})$ 上の8変数における10個の同次方程式の連立一次方程式系を解く。このうち、3次および4次形式を含む。
• ガロア対称性と自己同型を活用し、方程式数を削減する。$\sigma$-共役関係を用いて、基本的な方程式集合から追加の式を生成する。
• 得られた多様体が、$p_g = q = 0$、$K^2 = 3$、基本群 $C_{14}$ を持つ滑らかな一般型曲面であることを検証し、偽射影平面としての同定を確認する。

実験結果

リサーチクエスチョン

• RQ1 一般型曲面の4次元族を、$p_g = q = 0$、$K^2 = 3$、$\pi_1 = C_{14}$ を満たすように、幾何的商構成法により明示的に構成できるか？
• RQ2 退化と群作用を用いて、既知の例から偽射影平面の明示的方程式を回復できるか？
• RQ3 数体上での高次多項式・多変数連立方程式系を解くために、どのような計算技法が有効か？
• RQ4 同じ共役類に属する他の偽射影平面のペアを同様の手法で一般化して発見できるか？
• RQ5 ガロア対称性と自己同型は、このような曲面の多項式方程式の複雑さを低減するために果たす役割は何か？

主な発見

• 本稿では、$\mathrm{Gr}(3,V_6)$ 内の完全交差の自由商として、$p_g = q = 0$、$K^2 = 3$、基本群 $C_{14}$ を持つ、一般型曲面の4次元族を構成した。
• 6組の新しい偽射影平面のペアが明示的に構成され、そのうち1組は第1ホモロジー群が $C_{14}$ で、対称性群が $C_3 \times C_3$ であり、既知の FPP と同じ共役類に属することを確認した。
• 著者らは、これらの曲面の明示的方程式を計算した：$\mathbb{Q}(\sqrt{-15})$ 上の8変数における10個の同次方程式で、6つは3次式、4つは偶数次3次式であり、係数に $\sqrt{-15}$ を含む。
• コンピュータ代数により方程式が検証され、$p_g = q = 0$、$K^2 = 3$、基本群 $C_{14}$ を持つ滑らかな一般型曲面を定義することが確認され、偽射影平面としての同定が成立した。
• この手法により、同じ共役類に属する5組の追加の偽射曲面ペアが回復され、この分野における計算代数幾何学の強力さが示された。
• 構成には、高次多項式およびガロア共役を含む非自明なコンピュータ計算が不可欠であり、同様の問題に対する分類への広範な応用可能性を示唆している。