[論文レビュー] Burniat surfaces I: fundamental groups and moduli of primary Burniat surfaces

Ingrid Bauer, Fabrizio Catanese|ArXiv.org|Sep 21, 2009

Geometric Analysis and Curvature Flows参考文献 14被引用数 18

ひとこと要約

この論文は、$p_g=0$ かつ $K^2=6,5,4,3,2$ を満たす主バニヤール面——一般型の複素表面——が、一般型表面のギーゼッカー埋め込みモジュライ空間において、すべて非可約な連結成分を形成することを確立している。トランスセンドentalおよび代数的技法の組み合わせを用いて、任意の主バニヤール面とホモトピー同値な表面は、自身がバニヤール面であることを証明し、その基本群および第一ホモロジー群を正確に計算することで、以前の torsion 群に関する主張を確認・是正した。

ABSTRACT

This is the first in a series of articles on the moduli spaces of Burniat surfaces. We prove that Burniat surfaces are Inoue surfaces and we calculate their fundamental groups. As a main result of this paper we prove that every smooth projective surface which is homotopically equivalent to a primary Burniat surface (i.e., a Burniat surface with K^2 = 6) is indeed a primary Burniat surface.

研究の動機と目的

• 主バニヤール面が $K^2=6,5,4,3,2$ の場合に、一般型表面のギーゼッカー埋め込みモジュライ空間において非可約な連結成分を形成することを証明すること。
• キム＝ナエ表面の基本群に同型な $K^2=4$ の表面が実際にキム＝ナエ表面であるかどうかという未解決問題を、バニヤール表面に拡張することで解決すること。
• バニヤールの二重被覆構成とイヌエの $(\mathbb{Z}/2\mathbb{Z})^3$-商構成との間の正確な対応関係を確立し、両者が同じ表面を記述することを証明すること。
• バニヤール面の第一ホモロジー群 $H_1(S,\mathbb{Z})$ の構造を是正・確認し、$K^2 \neq 2$ の場合にのみ $ (\mathbb{Z}/2\mathbb{Z})^{K^2} $ であることを示し、$K^2=2$ の場合が例外であることを明らかにすること。

提案手法

• イヌエの構成から得られるトランスセンドental手法と、楕円曲線上の2 torsion 点の明示的代数的標準形を組み合わせ、バニヤール面とイヌエ面の同値性を確立する。
• $K^2=6$ の場合に、$
  \mathbb{C}^3$ 上に作用するアフィン群 $\Gamma$ の明示的記述を用いて基本群を計算し、$3 \leq K^2 \leq 5$ の場合に $
  \mathbb{H} \oplus (\mathbb{Z}/2\mathbb{Z})^{K^2-2}$ を同定する。
• 変形理論とホモトピー不変性の応用：任意の主バニヤール面とホモトピー同値な表面は、自身がバニヤール面であることを示す。
• 8次元のデル・ペッツォ表面へのバイダブル被覆としての二分 canonical 写像を用い、すべての $K^2$ 値に対して一様な記述を可能にする。
• $(\mathbb{Z}/2\mathbb{Z})^3$-被覆におけるガロア群作用および分岐除集合の配置を $\mathbb{P}^2$ 上で検証し、被覆のタウトロジカル性を確認する。
• デル・ペッツォ表面から被覆への対合の持ち上げを用いて、完全なガロア構造を検証し、表面が実際にバニヤール面であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 任意の主バニヤール面とホモトピー同値な表面は、実際にバニヤール面であるか？
• RQ2 主バニヤール面の各族（$K^2=6,5,4,3,2$）について、基本群および第一ホモロジー群の正確な構造は何か？
• RQ3 イヌエの主張、すなわちバニヤール面は3つの楕円曲線の積上の超曲面の $(\mathbb{Z}/2\mathbb{Z})^3$-商である、という主張は、$K^2=2$ を含むすべての $K^2$ 値で正しいか？
• RQ4 $K^2=4$ のバニヤール面を生成する $
  \mathbb{P}^2$ 上の直線の2つの異なる配置それぞれが、モジュライ空間において非可約な連結成分を生成するか？
• RQ5 公式 $H_1(S,\mathbb{Z}) \cong (\mathbb{Z}/2\mathbb{Z})^{K^2}$ が $K^2=2$ の場合に失敗するのはなぜか？正しい構造は何か？

主な発見

• $K^2=6$ の場合、基本群は $
  \mathbb{C}^3$ 上の変換のアフィン群 $\Gamma$ であり、$H_1(S,\mathbb{Z}) \cong (\mathbb{Z}/2\mathbb{Z})^6$ である。
• $3 \leq K^2 \leq 5$ の場合、基本群は $\mathbb{H} \oplus (\mathbb{Z}/2\mathbb{Z})^{K^2-2}$ であり、$H_1(S,\mathbb{Z}) \cong (\mathbb{Z}/2\mathbb{Z})^{K^2}$ である。
• $K^2=2$ の場合、基本群および $H_1(S,\mathbb{Z})$ は両方とも $(\mathbb{Z}/2\mathbb{Z})^3$ に同型であり、イヌエの主張（$(\mathbb{Z}/2\mathbb{Z})^2$ であるはず）に反する。
• $K^2=6$ のバニヤール面のモジュライ空間成分は、非可約で、正規で、ユニラティョナルであり、次元4である。これは基本群の不変性により証明された。
• $K^2=4$ の2つの族（ノードありおよびノードなし）それぞれが、モジュライ空間において次元2の非可約連結成分を形成する。
• $K^2=2$ のバニヤール面は、6次元の標準キャンペッリ・サーフェス族の特別な場合であり、8次元のバイカノニカル写像を持つ。