[論文レビュー] A construction of numerical Campedelli Surfaces with \Z/6 torsion group

Jorge Neves, Stavros Argyrios Papadakis|ArXiv.org|Jul 2, 2007

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

ひとこと要約

本稿は、Kustin–Miller型の逐次アンプロジェクションを用いて、代数的基本群が ℤ/6ℤ である最初の既知の数値的キャンペデリ表面を構成した。この方法では、エタールな6対1被覆の正則環を構成するために、一般化されたパフィアンイデアルによるゴレンスタイン環を構築し、pg=5、K²=12 で、自由な ℤ/6ℤ作用を持つ特異点のない曲面の存在を示した。これにより、この torsion 群の存在問題が解決された。

ABSTRACT

We produce a family of numerical Campedelli surfaces with \Z/6 torsion by constructing the (Gorenstein codimension 5) canonical ring of the étale six to one cover using serial unprojection. In Section 2 we develop the necessary algebraic machinery. Section 3 contains the numerical Campedelli surface construction, while Section 4 contains remarks and open questions.

研究の動機と目的

• 代数的基本群が ℤ/6ℤ である数値的キャンペデリ表面の存在問題を解消すること。これは、以前は未知であった。
• 高度な代数幾何学的手法を用いて、数値的キャンペデリ表面のエタールな6対1被覆の正則環を構成すること。
• 明示的なアンプロジェクション手法を用いて、pg=5、K²=12 で、自由な ℤ/6ℤ作用を持つような曲面が存在することを示すこと。
• 逐次アンプロジェクションとヒルベルト系列を用いたフレームワークを提供し、ℤ/2ℤ や ℤ/3ℤ などの他の torsion 群への一般化を可能にする。

提案手法

• 著者らは、変数 $x_i, z_i, y_i, r_{d_1\cdots d_n}$ を持つ多項式環上に、ゴレンスタイン構造を保証するための次数付けを施した、一般化された $\binom{n}{2}$ パフィアンイデアルを定義する。
• このイデアルがコ dimension $n+1$ のゴレンスタイン的であることを証明し、Frantzen らの先行研究を一般化する。
• n=4 の場合、$\mathbb{P}(1^5,2^4)$ 内の3次元多様体 $V$ を、$\mathbb{P}(1^5)$ 内の次数4の超曲面からの4つの Kustin–Miller アンプロジェクションを用いて構成し、正しいヒルベルト系列を得る。
• 4つの次元5の線形部分空間をアンプロジェクトすることで、$\mathbb{P}(1^8,2^4)$ 内の6次元多様体を構成し、その後3つの線形および1つの二次的切断を施して、$p_g=5$、$K^2=12$ で、$\mathbb{Z}/6$-作用を持つ曲面を得る。
• 特性理論と $G$-ヒルベルト系列を用いて、良い $\mathbb{Z}/6$-作用を持つ部分族を同定し、商が数値的キャンペデリ表面であることを保証する。
• 作用の固有空間分解に関する特徴分析と背理法を用いて、$\mathbb{Z}/6$-作用が固定点を持たないことを検証する。

実験結果

リサーチクエスチョン

• RQ1 代数的基本群が ℤ/6ℤ である数値的キャンペデリ表面が存在するか。これは、以前は知られていなかった。
• RQ2 エタールな6対1被覆の正則環が、Kustin–Miller型の逐次アンプロジェクションによって構成可能か。
• RQ3 一般の $n$ に対して、一般化された $\binom{n}{2}$ パフィアンイデアルはコ dimension $n+1$ のゴレンスタイン的か。
• RQ4 アンプロジェクションフレームワークを、ℤ/2ℤ や ℤ/3ℤ などの異なる torsion 群を持つ他の数値的キャンペデリ表面の構成に拡張可能か。
• RQ5 本研究で構成された ℤ/6ℤ torsion 数値的キャンペデリ表面の族の次元は何か。

主な発見

• 本稿は、$p_g=5$、$K^2=12$ で、自由な $\mathbb{Z}/6$-作用を持つ特異点のない正則曲面を構成し、それが正則被覆として存在することを証明した。
• 一般化された $\binom{n}{2}$ パフィアンイデアルがコ dimension $n+1$ のゴレンスタイン的であることが示され、$n=4$ の場合の先行結果が一般化された。
• エタールな6対1被覆は、$\mathbb{P}(1^5,2^4)$ 内のファノ3次元多様体 $V$ の2次的切断として実現され、4回の逐次的 Kustin–Miller アンプロジェクションによって構成された。
• $\mathbb{Z}/6$-作用は、特性理論的解析と固有空間成分に関する背理法により、基本的でなく、固定点のないことが示された。
• 代数的基本群が $\pi_1^{\text{alg}} = \mathbb{Z}/6\mathbb{Z}$ である数値的キャンペデリ表面の存在が確認され、このような曲面の分類における空白が埋まった。
• 著者らは、ブラウンのデータベースに掲載された候補となるファノ3次元多様体を根拠に、同様のアンプロジェクション技法が ℤ/2ℤ や ℤ/3ℤ の torsion 状況に対しても構成を可能にするものと予想している。