[論文レビュー] Some (big) irreducible components of the moduli space of minimal surfaces of general type with $p_g=q=1$ and $K^2=4$

Roberto Pignatelli|ArXiv.org|Jan 8, 2008

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

ひとこと要約

本稿は、$p_g = q = 1$ かつ $K^2 = 4$ を満たす一般型の最小特異点付き表面の8つのユニラティonal族を構成し、それらはすべてモジュライ空間の既約成分である。著者らは、アーベルジャン線形系の下での2次標準線束の直接像がラインバンドルの直和であるという条件下で、これらの成分の次元が5または4であることを証明した。これは予想される次元よりも厳密に大きい。

ABSTRACT

In this paper we study the minimal surfaces of general type with $p_g=q=1$ and $K^2=4$ whose Albanese general fibre has genus 2, classifying those such that the direct image (under the Albanese morphism) of the bicanonical sheaf is sum of line bundles. We find 8 unirational families, all of dimension strictly bigger than the expected one. These families are pairwise disjoint irreducible components of the moduli space of minimal surfaces of general type.

研究の動機と目的

• アーベルジャン線形系の纤维が genus 2 であるような一般型最小表面 $p_g = q = 1$, $K^2 = 4$ を分類すること。
• アーベルジャン準同型 $\alpha$ の下での直接像 $\alpha_*\omega_S^2$ の構造を研究すること。
• 直接像 $\alpha_*\omega_S^2$ がラインバンドルの直和であるという条件が、モジュライ空間の既約成分をもたらすかどうかを特定すること。
• これらの成分の次元が、変形理論から得られる予想次元よりも厳密に大きい理由を説明すること。
• 新しく構成された族を、特にポリッツィの4次元族と比較すること。

提案手法

• Genus 2 フィブレーションの構造定理を適用し、アーベルジャン線形系の相対的 canonical 代数を分析する。
• 相対的 bicanonical 写像と、双曲的対称性による商として得られる円錐曲面バンドルの幾何学的性質を用いる。
• アーベルジャン準同型の臨界集合に沿った bicanonical 曲線の交点を分析し、$h^1(\mathcal{T}_S)$ を上界で評価する。
• 直接像 $\alpha_*\omega_S^2$ がラインバンドルの直和であるという条件を、可能な族を分類するための主要な技術的仮定として用いる。
• ノードの存在と円錐曲面バンドルの構造を分析することで、新しく構成された族とポリッツィの構成を比較する。
• cohomological な境界 $h^1(\mathcal{T}_S)$ を用いて、成分の既約性を証明し、bicanonical 系の部分系と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 $p_g = q = 1$, $K^2 = 4$ を満たし、$\alpha_*\omega_S^2$ がラインバンドルの直和に分解可能な表面族は、モジュライ空間の既約成分か？
• RQ2 なぜ構成された8つの族すべてが、予想される次元 $3$ よりも厳密に大きい次元を持つのか？
• RQ3 $\alpha_*\omega_S^2$ の直和成分の数は、変形的または位相的不変量か？
• RQ4 ポリッツィのノード付き表面の4次元族は、ここに新たに構成された族とどのように関係しているか？
• RQ5 $\alpha_*\omega_S^2$ がラインバンドルの直和であるという条件を、成分の既約性を保ちながら弱めることができるか？

主な発見

• モジュライ空間には8つの既約成分が存在する：次元5のもの1つと次元4のもの7つ。
• 8つの族すべてがユニラティonalであり、各族の一般な表面は正則な canonical 線束を持つ。
• 各成分の次元は、標準的な変形理論から得られる次元下限値3よりも厳密に大きい。
• ポリッツィのノード付き表面の4次元族は、5次元成分 $\mathcal{M}_{2,3}$ の真の部分族であり、codimension 1 である。
• $\alpha_*\omega_S^2$ がラインバンドルの直和であるという条件は閉じた性質ではあるが、それにもかかわらず既約成分を導くという、予想外の結果である。
• $h^1(\mathcal{T}_S) \leq 5$ の境界は、$\mathcal{M}_{2,3}$ 家族でのみ達成され、その場合、臨界集合を通る bicanonical 曲線の線形系が存在する。