[論文レビュー] A connected component of the moduli space of surfaces of general type with $p_g=0$

Margarida Mendes Lopes, Rita Pardini|ArXiv.org|Oct 4, 1999

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

ひとこと要約

この論文は、$p_g=0$、$K^2=6$ で、4次の中間 canonical 写像をもつ一般型の極小な表面が、ちょうどバーナンチ表面であることを証明し、一般型表面のモジュライ空間において、そのような表面が4次元の既約で連結な成分をなしていることを示している。この結果により、この特定のクラスの表面について、完全な分類と位相的連結性が確立される。

ABSTRACT

Let S be a minimal surface of general type with $p_g(S)=0$ and such that the bicanonical map $ϕ:S o \pp^{K^2_S}$ is a morphism: then the degree of $ϕ$ is at most 4 and if it is equal to 4 then $K^2_S\le 6$. Here we prove that if $K^2_S=6$ and $°ϕ=4$ then S is a so-called {\em Burniat surface}. In addition we show that minimal surfaces with $p_g=0$, $K^2=6$ and bicanonical map of degree 4 form a 4-dimensional irreducible connected component of the moduli space of surfaces of general type.

研究の動機と目的

• 一般型の極小表面で $p_g=0$ かつ $K^2=6$ であり、中間 canonical 写像の次数が4であるものの分類を行うこと。
• そのような表面のモジュライ空間の構造を特定すること。
• 一般型表面のモジュライ空間において、$p_g=0$、$K^2=6$ で中間 canonical 写像の次数が4である表面が連結成分をなすことの証明。
• そのような表面が必ずバーナンチ表面であることを証明すること。
• そのモジュライ空間の連結成分の次元と既約性を確立すること。

提案手法

• 一般型の極小表面で $p_g=0$ である場合の中間 canonical 写像 $\phi: S \to \mathbb{P}^{K^2_S}$ を分析すること。
• この場合、$\phi$ の次数が4未満であるという上限があり、特に次数が4である場合を調べること。
• $K^2_S = 6$ かつ $\deg \phi = 4$ の仮定の下で、幾何学的およびコhomオロジー的技法を用いて、可能な表面構造を制限すること。
• 既知の分類結果と不変量を用いて、これらの条件を満たす唯一の表面がバーナンチ表面であることを示すこと。
• 変形理論と連結性の性質を分析することで、そのような表面のモジュライ空間が既約的かつ4次元的であることを証明すること。
• 中間 canonical 写像が準同型であるという事実を用いて、剛性と有限個の変形型の存在を導出すること。

実験結果

リサーチクエスチョン

• RQ1 一般型の極小表面で $p_g=0$、$K^2=6$、中間 canonical 写像の次数が4であるもののモジュライ空間の構造は何か？
• RQ2 すべての $p_g=0$、$K^2=6$、$\deg \phi = 4$ を満たす表面は、バーナンチ表面と同型であるか？
• RQ3 これらの表面のモジュライ空間は既約的かつ連結的か？
• RQ4 このような表面を含むモジュライ空間の連結成分の次元は何か？
• RQ5 不変量 $p_g$、$K^2$、$\deg \phi$ は、表面のグローバル幾何にどのように制限を加えるか？

主な発見

• 一般型の極小表面で $p_g=0$、$K^2=6$、中間 canonical 写像の次数が4であるものは、ちょうどバーナンチ表面である。
• そのような表面は、一般型表面のモジュライ空間において4次元の既約で連結な成分をなす。
• 中間 canonical 写像 $\phi$ は準同型であり、$K^2_S = 6$ かつ表面がバーナンチ表面である場合に限り、次数が4である。
• 連結成分は既約的であるため、すべてのこのような表面は変形同値である。
• $p_g=0$ の表面では中間 canonical 写像の次数が4未満であるという上限があり、等号が成立するのは $K^2=6$ の場合に限る。
• 分類は完全である：$p_g=0$、$K^2=6$、$\deg \phi = 4$ を満たす表面はバーナンチ表面以外には存在しない。