[論文レビュー] On the classification of degree 1 elliptic threefolds with constant $j$-invariant

Remke Kloosterman|arXiv (Cornell University)|Dec 16, 2008

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

ひとこと要約

本稿は、有理曲面を基とする定数 $j$-不変量をもつ1次楕円3次元多重被覆を分類し、モーデル・ヴェイユ群の構造と特異ファイバーの配置に注目する。重み付き射影空間 $\mathbf{P}(2,3,1,1,1)$ におけるワイエルシュトラスモデルを用い、局所コホモロジーとホッジ理論を含むコホモロジー的技法によりモーデル・ヴェイユ群を計算し、$j=0$ の場合、モーデル・ヴェイユ群が $0$、$\mathbf{Z}/3\mathbf{Z}$、$(\mathbf{Z}/2\mathbf{Z})^2$、または $\mathbf{Z}^{2r}$（$r=1,2,3$）となり得ることを示した。これは判別曲線の明示的な幾何的条件に依存する。

ABSTRACT

We describe the possible Mordell-Weil groups for degree 1 elliptic threefold with rational base and constant $j$-invariant. Moreover, we classify all such elliptic threefolds if the $j$-invariant is nonzero. We can use this classification to describe a class of singular hypersurfaces in $\Ps(2,3,1,1,1)$ that admit no variation of Hodge structure.

研究の動機と目的

• コーン構成を除く、有理曲面を基とする1次楕円3次元多重被覆で、定数 $j$-不変量をもつものすべてを分類すること。
• 特に $j=0$、$j=1728$、$j\neq 0,1728$ の場合に、このような3次元多重被覆の可能なモーデル・ヴェイユ群を特定すること。
• ワイエルシュトラスモデルにおける判別曲線の特異点配置と、モーデル・ヴェイユ群の構造との関係を明らかにすること。
• コホモロジー的純度とホッジ型に基づき、このような3次元多重被覆がホッジ構造の変化を持たない条件を同定すること。

提案手法

• $j \neq 0,1728$ の場合、$y^2 = x^3 + AP^2x + BP^3$ で定義される、$\mathbf{P}(2,3,1,1,1)$ に含まれる超曲面 $Y \subset \mathbf{P}(2,3,1,1,1)$ として楕円3次元多重被覆をモデル化する。$j=0$ または $j=1728$ の場合、それぞれ $y^2 = x^3 + R$ または $y^2 = x^3 + Qx$ で与えられ、$P$、$Q$、$R$ はそれぞれ次数2、4、6の同次多項式である。
• 特異点における局所コホモロジーを用いてモーデル・ヴェイユランクを計算するため、同型 $\operatorname{MW}(\pi) \cong \operatorname{coker}(F^2H^4(\mathbf{P} \setminus Y, \mathbf{C}) \to \bigoplus_{p \in \mathcal{P}} H^4_p(Y, \mathbf{C}))$ を用いる。
• 孤立的かつ半重み付き斉次特異点に対してはDimcaの手法を、非孤立的重み付き斉次特異点に対してはHulek-Kloostermanの一般化を適用する。
• 非重み付き斉次孤立特異点に対してはBrieskornの手法とSingularを用いるが、実装依存の結果は条件付きであると注記する。
• 複素乗法の下での固有空間へのコホモロジー群の分解により、モーデル・ヴェイユ群のランクを解析する。
• 判別曲線の幾何とモーデル・ヴェイユ群の関係を明らかにする。例えば $j=0$ の場合、6次曲線上のcusps（尖点）の数と配置が群構造を決定する。

実験結果

リサーチクエスチョン

• RQ1 コーン構成を除く、有理曲面を基とする1次楕円3次元多重被覆で、定数 $j$-不変量をもつものに対して、可能なモーデル・ヴェイユ群は何か？
• RQ2 特に $j=0$ の場合、特異ファイバーの配置――特に尖点の数と配置――は、モーデル・ヴェイユ群にどのように影響するか？
• RQ3 判別曲線のどの幾何的条件が、モーデル・ヴェイユ群が $\mathbf{Z}^{2r}$（$r=1,2,3$）となることを保証するか？
• RQ4 なぜ $j=0$ で尖点が9個ある特定の3次元多重被覆は、ホッジ構造の変化を持たないのか？
• RQ5 6本の直線からなる6次曲線に対して、モーデル・ヴェイユ群が $\mathbf{Z}^8$ になり得るか？もし不可能なら、その理由は何か？

主な発見

• $j \neq 0,1728$ の場合、モーデル・ヴェイユ群は常に $({\mathbf{Z}}/2{\mathbf{Z}})^2$ であり、これは判別曲線が滑らかな二次曲線であることに一致する。
• $j=1728$ の場合、モーデル・ヴェイユ群は判別曲線 $Q=0$ の配置に応じて、$({\mathbf{Z}}/2{\mathbf{Z}})$、$({\mathbf{Z}}/2{\mathbf{Z}})^2$、または $({\mathbf{Z}}/2{\mathbf{Z}}) \times {\mathbf{Z}}^2$ に同型となる。
• $j=0$ の場合、モーデル・ヴェイユ群は $0$、${\mathbf{Z}}/3{\mathbf{Z}}$、$({\mathbf{Z}}/2{\mathbf{Z}})^2$、または ${{\mathbf{Z}}}^{2r}$（$r=1,2,3$）となり得る。$r=3$ は判別曲線に9個の尖点がある場合に実現される。
• 判別曲線が9個の尖点を持つ非特異な6次曲線（滑らかな3次曲線の双対）であるとき、モーデル・ヴェイユランクは6であり、$H^4(Y,\mathbf{Q}) \cong \mathbf{Q}(-2)^7$ であるため、ホッジ構造の変化は存在しない。
• 6本の直線からなる6次曲線に対しては、モーデル・ヴェイユ群 $\mathbf{Z}^8$ は不可能である。このような特異点は自明な局所コホモロジーをもたらし、結果として有限のモーデル・ヴェイユ群を強制する。
• $r=0,1,2,3$ に対して $\mathbf{Z}^{2r}$ の存在が確認された：$r=0$ は $m \leq 5$ または $m=6$ で尖点が二次曲線上にない場合、$r=1$ は $m=6$ で二次曲線上にある場合、$r=2,3$ はそれぞれ $m=8,9$ の場合に成立する。