[論文レビュー] Extending hyperelliptic K3 surfaces, and Godeaux surfaces with torsion Z/2

Stephen Coughlan|ArXiv.org|Sep 30, 2009

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

ひとこと要約

本稿では、超楕円的K3表面を射影・逆射投影技法を用いてファノ6foldへ拡張することで、ℤ/2 torsionを持つ8パラメータ族のGodeaux表面を構成する。このファノ6foldを「キーデータ」として用い、一般型でp_g=1、K²=2である超楕円的表面を実現し、その後ℤ/2商をとることでGodeaux表面を得る。この方法により、そのようなK3表面とそのファノ6fold拡張との間に一対一対応が確立される。

ABSTRACT

We study the extension of a hyperelliptic K3 surface to a Fano 6-fold. This determines a family of surfaces of general type with p_g=1, K^2=2 and hyperelliptic canonical curve, where each surface is a weighted complete intersection inside a Fano 6-fold. Finally, we use these hyperelliptic surfaces to determine an 8-parameter family of Godeaux surfaces with torsion Z/2.

研究の動機と目的

• 超楕円的K3表面を射影・逆射投影構成によりファノ6foldに拡張すること。
• 一般型でp_g=1、K²=2、自明な torsion を持つ超楕円的表面の15パラメータ族を構成すること。
• これらの表面を基盤として、ℤ/2商を用いてℤ/2 torsionを持つGodeaux表面を構成すること。
• 超楕円的K3表面のモジュライとそのファノ6fold拡張の間の幾何的対応関係を確立すること。
• Godeaux表面にℤ/2 torsionを持つ新たな構成法を提供し、モジュライ空間に8次元の非可約成分が得られる可能性を示すこと。

提案手法

• 射影・逆射投影技法を用いて、超楕円的K3表面T ⊂ ℙ(2⁴,3⁴,4)を、10×1/2点を持つファノ6fold W ⊂ ℙ(1⁴,2⁴,3⁴,4)に拡張する。
• D ⊂ T ⊂ W³ ⊂ W⁴ ⊂ W⁵ ⊂ W⁶のバリエーションの塔を構成し、各W^iが次のものにおける重み付き完全交差であるようにする。
• 曲線D上の超楕円的対称性をK3表面Tへ、さらにファノ6fold Wへ等変逆射投影を用いて持ち上げる。
• 環R(W,A)上でℤ⊕ℤ/2-二重次数を持つように、ファノ6fold W上のGodeaux対称性を定義する。
• Godeaux表面Xを、Wにおける型(1⁺,1⁺,1⁻,2⁻)の完全交差Yのℤ/2商として構成する。
• 完全交差YがWの10×1/2特異点を避けるように保証する。これは、商が滑らかになることを保証する開条件である。

実験結果

リサーチクエスチョン

• RQ1 10×1/2特異点を持つクェーシィスムースな超楕円的K3表面Tは、一意的にクェーシィスムースなファノ6fold Wに拡張可能か？
• RQ2 一般型でp_g=1、K²=2、自明なtorsionを持つ超楕円的表面のモジュライ次元は何か？
• RQ3 Godeaux対称性が超楕円的曲線上で定義可能であり、それがファノ6foldへ持ち上げられ、完全交差上で固定点のない対称性へ拡張可能か？
• RQ4 この構成により、ℤ/2 torsionを持つGodeaux表面のモジュライ空間に8次元の非可約成分が得られるか？
• RQ5 ファノ6foldによるキーデータ法は、指定された不変量とtorsionを持つ一般型表面の構成をどのように促進するか？

主な発見

• 主定理1.1は、任意のクェーシィスムースな超楕円的K3表面T ⊂ ℙ(2⁴,3⁴,4)が、10×1/2点を共有するクェーシィスムースなファノ6fold W ⊂ ℙ(1⁴,2⁴,3⁴,4)に一意に拡張可能であることを確立する。
• 系1.2は、一般型でp_g=1、q=0、K²=2、自明なtorsionを持つ15パラメータ族の超楕円的表面Yを構成し、それぞれがWにおける型(1,1,1,2)の完全交差であることを示す。
• 定理1.3は、系1.2のYから得られるℤ/2商として、ℤ/2 torsionを持つ8パラメータ族のGodeaux表面Xの存在を証明する。
• 構成されたGodeaux表面はp_g=0、K²=1、torsion群がℤ/2であり、モジュライ空間が非可約かつ8次元であると予想される。
• ファノ6fold W上の対称性はK3表面Tから持ち上がり、正確に4つの孤立した1/2型の固定点を持つことが示され、商が適切に定義されることを保証する。
• 本構成は、ℤ/2 torsionを持つGodeaux表面に到達する新たな幾何的手法を提供し、モジュライ空間に8次元の非可約成分が得られる可能性を示唆する。