[論文レビュー] The Hesse pencil of plane cubic curves

Michela Artebani, Igor Dolgachev|ArXiv.org|Nov 19, 2006

Algebraic Geometry and Number Theory参考文献 26被引用数 14

ひとこと要約

本稿は、平面三次曲線のヘッセ包とその9個の変曲点および12本の直線からなるヘッセ配置との関係を調査し、不変の六次曲線を分岐曲線とする平面の二重被覆から生じるピカール数20の2つのK3表面が得られることを示している。主な結果として、1つのK3表面は$E_\epsilon \times E_\epsilon$のクマーモジュラー表面と双有理同型であり、ランク2の超越格子と交差形式$\left(\begin{smallmatrix}4&2\\2&4\end{smallmatrix}\right)$を持つ。また、群作用と格子論を用いて、自己同型群の構造が完全に解析されている。

ABSTRACT

This is a survey of the classical geometry of the Hesse configuration of 12 lines in the projective plane related to inflection points of a plane cubic curve. We also study two K3 surfaces with Picard number 20 which arise naturally in connection with the configuration.

研究の動機と目的

• 複素数体$\mathbb{C}$上での平面三次曲線上の9個の変曲点および12本の直線からなる古典的ヘッセ配置を研究し、その幾何学的および群論的性質を明らかにすること。
• ヘッセ包から導かれる不変六次曲線を分岐曲線とする二重被覆から生じるピカール数20の2つのK3表面を分析すること。
• これらのK3表面に作用する自己同型群の構造を特定すること、特に$\mathbb{F}_3^2 \rtimes Q_8$のシンプレクティック作用とその商$\mathrm{SL}(2,\mathbb{F}_3)$の構造を解明すること。
• 1つのK3表面が$E_\epsilon \times E_\epsilon$のクマーモジュラー表面と双有理同型であることを確立し、その超越格子を計算すること。

提案手法

• ヘッセ包$\lambda(x^3 + y^3 + z^3) + \mu xyz = 0$を用い、9個の変曲点とその配置を$(12_3, 9_4)$配置として分析する。
• ヘッセ配置から生じる不変六次曲線$C_6$および$C_6'$を分岐曲線とする$\mathbb{P}^2$への二重被覆によりK3表面を構成する。
• 群論的手法の適用：位数216のヘッセ群$G_{216}$が配置に作用し、その複素反射拡張$\overline{G}_{216}$（位数648）を用いて不変量を定義する。
• 格子論的技法の適用：交差形式と判別群を用いてネロン＝セバール格子と超越格子を計算し、特に$A_M \cong \mathbb{Z}/3\mathbb{Z}^3 \oplus \mathbb{Z}/6\mathbb{Z}^2$を分析する。
• 位数3の非シンプレクティック自己同型の作用を用いて超越格子の構造を制限し、表面がクマーモジュラー表面であることを同定する。
• ムカイのシンプレクティック自己同型群のリストおよびピカール数が最大のK3表面の分類結果を応用し、K3表面を$\mathrm{Kum}(E_\epsilon \times E_\epsilon)$として同定する。

実験結果

リサーチクエスチョン

• RQ1 ヘッセ配置の9個の変曲点および12本の直線は、ヘッセ包の幾何学およびその自己同型群とどのように関係しているか？
• RQ2 ヘッセ群に不変な六次曲線を分岐曲線とする平面の二重被覆から得られるK3表面は何か？
• RQ3 K3表面$X'$の超越格子の構造は何か？ そして、それがクマーモジュラー表面への双有理同型をどのように決定するか？
• RQ4 K3表面$X$および$X'$のシンプレクティックおよび非シンプレクティック自己同型は、ヘッセ群およびその部分群とどのように関係しているか？
• RQ5 K3表面$X'$は、2つの楕円曲線の積のクマーモジュラー表面として同定可能か？ その超越格子の明示的形は何か？

主な発見

• K3表面$X'$は、周期$1, \epsilon$を持つ楕円曲線$E_\epsilon$の積$E_\epsilon \times E_\epsilon$のクマーモジュラー表面$\mathrm{Kum}(E_\epsilon \times E_\epsilon)$と双有理同型であり、古典的配置とK3幾何学との深い関係を裏付ける。
• $X'$の超越格子はランク2で、交差行列が$\left(\begin{smallmatrix}4&2\\2&4\end{smallmatrix}\right)$である。これは[29]の分類におけるこの形式と$m=2$を満たす唯一の$K3$表面と一致する。
• 自己同型群$H \cong \mathrm{SL}(2,\mathbb{F}_3)$は$X'$にシンプレクティック自己同型として作用し、$X'$は$G_{216}$の正規部分群$\mathbb{F}_3^2$による商$X$と同型である。
• $X'$におけるジャコビアン線形系のセクションおよびファイバー成分が生成する格子$M$の判別群は$A_M \cong \mathbb{Z}/3\mathbb{Z}^3 \oplus \mathbb{Z}/6\mathbb{Z}^2$と同型であり、超越格子の可能な構造を制限する。
• $q'$によるファイバーの像は、8個の三重点および3個の尖点を持つ9次曲線であり、六次曲線$C_6'$と6つの追加の交点を持つ。これにより、不変六次曲線の幾何学的意義が裏付けられる。
• $X'$はモーデル＝ヴェイル群が$\mathbb{Z} \oplus \mathbb{Z}/3\mathbb{Z}$であるジャコビアン楕円線形系を備えており、$X'$上のすべての楕円線形系はジャコビアンであることが[42]で確立されている。