[論文レビュー] The classification of surfaces with p_g = q = 0 isogenous to a product of curves

Ingrid Bauer, Fabrizio Catanese+1 more|ArXiv.org|Oct 8, 2006

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

ひとこと要約

本稿は、幾何的 genus $p_g = 0$ かつ不正則性 $q = 0$ を満たす滑らかで射影的な曲面が、$g(C_1), g(C_2) \geq 2$ である2つの曲線の積 $C_1 \times C_2$ 上に自由かつ忠実に作用する有限群 $G$ の商 $(C_1 \times C_2)/G$ として得られることを証明する。主な貢献は、このような群 $G$ とそれに対応する分岐構造の完全な分類であり、これにより可能な群と曲面不変量の有限リストが得られる。

ABSTRACT

We classify all the surfaces with p_g = q = 0 which admit an unramified covering which is isomorphic to a product of curves. Beyond the trivial case \PP^1 x \PP^1 we find 17 families which we explicitly describe. We reduce the problem to a combinatorial description of certain generating systems for finite groups which we solve using also MAGMA's library of groups of small order.

研究の動機と目的

• 滑らかで射影的で、一般型であり、有理的でもルールドでもない、$p_g = q = 0$ を満たす曲線の積に同型な曲面をすべて分類すること。
• 曲線 $C_1 \times C_2$（$g(C_1), g(C_2) \geq 2$）上で自由に作用できる有限群 $G$ を特定し、商 $S = (C_1 \times C_2)/G$ が $p_g(S) = q(S) = 0$ を満たす条件を同定すること。
• 群 $G$ が積 $C_1 \times C_2$ の因子を保存するか交換するかに応じて、未混合（unmixed）および混合（mixed）の場合を区別すること。
• 非アーベル群を含め、すべての群について、明示的な分岐構造と群の表示（例：半直積としての表現）を提供すること。
• 各群に対して具体的なモデルを構成し、それら曲面のモジュライ空間が同じ次元を持つ有限個の既約成分を持つことを示すこと。

提案手法

• 曲面が高次の積に同型である理論を用い、$S \cong (C_1 \times C_2)/G$ かつ $G$ が積構造を保存して自由に作用する場合を扱う。
• 群 $G$ の曲線 $C_1$ および $C_2$ への作用に基づき、$G$ が因子を対角的に作用させる未混合の場合と、$C_1$ と $C_2$ の因子を入れ替える要素を含む混合の場合を区別して分類する。
• 組合せ的群論を用いて、分岐データに対応する群元の $k$-重組み合わせを分類し、商写像のシグニATURE とリーマン・フルイエッツの公式を適用する。
• 群 $G$ を $\mathbb{Z}_2^n \rtimes \mathbb{Z}_2^k$ の形の半直積として明示的な表示で構成し、作用と交換子関係を記述するホモモーフィズム $\Phi$ と双線形写像 $\Theta$ を用いる。
• 定義1.2の条件を満たすことで、分岐構造の整合性を検証し、有効な未混合または混合分岐構造であることを保証する。
• モジュライ空間理論を用いて、固定された $G$ および $g_1, g_2$ に対して、曲面が同じ次元 $D$ を持つ有限個の既約成分からなることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの有限群 $G$ が、$g \geq 2$ である2つの曲線の積 $C_1 \times C_2$ 上で自由に作用し、商曲面 $S = (C_1 \times C_2)/G$ が $p_g(S) = q(S) = 0$ を満たすか？
• RQ2 $p_g = q = 0$ を満たす曲線の積に同型な曲面を生成する有限群 $G$ とそれに対応する曲線の種数 $g_1, g_2$ の完全なリストは何か？
• RQ3 分岐構造（群元の組み合わせ）は、未混合および混合の場合の可能な商をどのように分類するか？
• RQ4 このような曲面を生成する群 $G$ の明示的な群表示および実現（例：半直積としての表現）は何か？
• RQ5 このような曲面のモジュライ空間にはいくつの既約成分があり、その次元は何か？

主な発見

• $p_g = q = 0$ を満たす曲線の積に同型な曲面は、$\mathbb{P}^1 \times \mathbb{P}^1$ または $g(C_1), g(C_2) \geq 2$ で $G$ が自由に作用する $(C_1 \times C_2)/G$ のみである。
• すべてのこのような群 $G$ は11個の同型型に分類される：$\mathfrak{A}_5$, $\mathfrak{S}_4$, $\mathfrak{D}_4 \times \mathbb{Z}_2$, $\mathfrak{S}_4 \times \mathbb{Z}_2$, $G(16)$, $G(32)$, $G(256,1)$, $G(256,2)$、および族 $\mathcal{N}_3, \mathcal{N}_4, \mathcal{N}_5, \mathcal{N}_6, \mathcal{M}_3, \mathcal{M}_4, \mathcal{M}_5, \mathcal{M}_6, \mathcal{M}_8$ からの他の群。
• 各群 $G$ に対して、明示的な分岐構造が提供されている。例えば、$G(32)$ はタイプ $([2,2,2,4]_8, [2,2,4,4]_4)$ の未混合分岐構造を有し、$G(256,1)$ はタイプ $[4,4,4]_{16}$ の3つの混合分岐構造を有する。
• $G(256,1)$ は、特定の行列 $\Phi_{e_1}, \Phi_{e_2}, \Phi_{e_3}$ と6つの非零ペアで定義される双線形写像 $\Theta$ を持つ、$\mathbb{Z}_2^5 \rtimes_\Phi \mathbb{Z}_2^3$ の形の半直積として実現されている。
• $G(256,2)$ は、異なる $\Phi$ と $\Theta$ を持つ $\mathbb{Z}_2^5 \rtimes_\Phi \mathbb{Z}_2^3$ と同型であり、タイプ $[4,4,4]_{16}$ の混合分岐構造を1つだけ有する。
• 各 $G$ に対して、曲面 $S = (C_1 \times C_2)/G$ のモジュライ空間は、有限個の既約成分からなる。すべての成分は同じ次元 $D$ を持ち、各 $G$ に対して成分数 $N$ も有限である。