[論文レビュー] A plane sextic with finite fundamental group

Alex Degtyarev, Mutsuo Oka|arXiv (Cornell University)|Nov 20, 2007

Advanced Differential Equations and Dynamical Systems参考文献 4被引用数 7

ひとこと要約

本稿では、$K3$-表面技術とvan Kampenの方法による$π_1$計算を用いて、$π_1$が二面体群$π_{14}$に因数分解する一パラメータ族の、非可約平面6次曲線の明示的方程式を構成する。主な結果は、3つの$\mathbf{A}_6$特異点をもつ曲線に対して、基本群が$\mathbb{D}_{14} \times \mathbb{Z}_3$に同型であることを示し、非トーラス的6次曲線に対するOkaの予想の修正版を確認することにある。

ABSTRACT

We analyze irreducible plane sextics whose fundamental group factors to $D_{14}$. We produce explicit equations for all curves and show that, in the simplest case of the set of singularities $3A_6$, the group is $D_{14} imes Z_3$.

研究の動機と目的

• 3つの$× \mathbf{A}_6$特異点をもつ$π_{14}$-6次曲線の基本群を計算すること。
• $π_3$-対称性を用いて、すべての$π_{14}$-6次曲線の明示的射影的方程式を構成すること。
• 基本群が有限であることを確認し、非トーラス的6次曲線に対するOkaの予想の修正版を支持すること。
• 群の表示による上界と下界を組み合わせることで、群構造が$\mathbb{D}_{14} \times \mathbb{Z}_3$であることを示すこと。

提案手法

• $K3$-表面理論を用いて、任意の$π_{14}$-6次曲線上に正則な$π_3$-対称性が存在することを証明し、その対称性が3つの$× \mathbf{A}_6$特異点を巡回的に置き換えること。
• $π_3$-対称性を用いて、同次座標における一パラメータ族の6次方程式を導出する。パラメータ$t \in \mathbb{C}$、$t^3 \neq 1$で、6次対称多項式として与えられる。
• 実の線の束にvan Kampenの方法を適用し、実的臨界値にのみ注目することで、基本群の上界を求める。
• 曲線が$π_{14}$-6次曲線であるという事実を用いて、群の位数の下界を求める。
• 群の表示を用いて上界と下界を比較し、生成元の変更により標準的表示と一致させることで、基本群が$\mathbb{D}_{14} \times \mathbb{Z}_3$に同型であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 3つの$× \mathbf{A}_6$特異点をもつ$π_{14}$-6次曲線の基本群は何か？
• RQ2 $π_3$-対称性の存在は、$π_{14}$-6次曲線の定義方程式の形を制約するか？
• RQ3 非トーラス的$π_{14}$-6次曲線の基本群は、修正版Okaの予想が予測するように有限であるか？
• RQ4 3$\mathbf{A}_6$特異点をもつ$π_{14}$-6次曲線に対して、群$\mathbb{D}_{14} \times \mathbb{Z}_3$が正しい群か？

主な発見

• 3つの$× \mathbf{A}_6$特異点をもつ$π_{14}$-6次曲線の補集合の基本群は、定理1.1.1で示されるように$\mathbb{D}_{14} \times \mathbb{Z}_3$に同型である。
• すべての$π_{14}$-6次曲線は、$t \in \mathbb{C}$、$t^3 \neq 1$をパラメータとする一パラメータ族$B(t)$をなし、$z_0, z_1, z_2$に関する係数が$t$に依存する対称的6次多項式として与えられる。
• 曲線は、3つの$× \mathbf{A}_6$特異点を巡回的に置き換える正則な$π_3$-作用をもつことが、定理2.1.2で確立されている。
• 実的臨界値に着目したvan Kampenの方法から得られる群表示は、$\mathbb{D}_{14} \times \mathbb{Z}_3$に同型であり、上界が確認される。
• 基本群の位数は正確に84であり、$|\mathbb{D}_{14}| \times |\mathbb{Z}_3| = 14 \times 6 = 84$と一致しており、アーベル化および商の条件を満たすより大きな群は存在しない。
• この結果により、基本群が有限であることが確認され、単純特異点をもつ非トーラス的6次曲線に対するOkaの予想の修正版が支持される。