[論文レビュー] Some bidouble planes with $p_g=q=0$ and $4\leq K^2\leq 7$

Carlos Rito|arXiv (Cornell University)|Mar 15, 2011

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

ひとこと要約

本稿は、射影平面の双二重被覆を用いて、$p_g = 0$ かつ $K^2 = 4$ から $7$ である一般型の新規な曲面を構成し、特にエンリケス曲面の二重被覆として実現する。主な貢献は、2次 canonical 写像が非シンプレクティックな対合と合成されない場合、および商 $S/i$ が有理曲面でない場合のケースを特定し、そのような曲面の明示的な幾何的実現を提供することにある。

ABSTRACT

We give a list of possibilities for surfaces of general type with $p_g=0$ having an involution $i$ such that the bicanonical map of $S$ is not composed with $i$ and $S/i$ is not rational. Some examples with $K^2=4,...,7$ are constructed as double coverings of an Enriques surface. These surfaces have a description as bidouble coverings of the plane.

研究の動機と目的

• 非シンプレクティックな対合 $i$ を持ち、2次 canonical 写像が $i$ と合成されない一般型曲面で $p_g = 0$ かつ $K^2 = 4$ から $7$ であるものを分類・構成すること。
• 商 $S/i$ が有理でない場合の幾何的性質を調査し、$p_g = 0$ の曲面に対する既知の分類結果を拡張すること。
• 射影平面の双二重被覆およびエンリケス曲面の二重被覆を用いて、このような曲面の明示的構成を提供すること。
• 2次 canonical 写像が対合 $i$ によって誘導される商写像を通して因数分解しない条件を同定すること。

提案手法

• 一般型曲面で $p_g = 0$ かつ $K^2 = 4$ から $7$ であるものを実現する幾何的構成ツールとして、$\mathbb{P}^2$ の双二重被覆を用いる。
• エンリケス曲面の既知の構造を活用して不変量を制御するため、曲面をエンリケス曲面の二重被覆として構成する。
• 対合 $i$ の曲面への作用を解析し、2次 canonical 写像が $i$ と合成されない場合を、線形系統と引き戻しの性質を用いて同定する。
• 二重および双二重被覆の理論を用いて不変量を計算し、canonical 種と多様体の次元を検証する。
• 2次 canonical 写像が商写像を通して因数分解するのは、それが対合と合成されている場合に限ることを用い、構成例でその合成が成立しないことを示す。
• 不正則性やコルダイラ次元などの幾何的・数値的不変量を分析することで、商 $S/i$ が有理でないことを検証する。

実験結果

リサーチクエスチョン

• RQ1 一般型曲面 $S$ で $p_g = 0$ である場合、2次 canonical 写像が非シンプレクティックな対合 $i$ と合成されない条件は何か？
• RQ2 一般型曲面で $p_g = 0$ かつ $K^2 = 4$ から $7$ であるものとして、エンリケス曲面の二重被覆として構成可能か？
• RQ3 2次 canonical 写像が $i$ と合成されず、$S/i$ が有理でない場合、商 $S/i$ の幾何的および数値的不変量は何か？
• RQ4 射影平面の双二重被覆を用いて、このような曲面を明示的に実現する方法は何か？
• RQ5 $p_g = 0$ および $K^2 = 4$ から $7$ であるという不変量の制約は、このような対合の存在および構造にどのような制限を課えるか？

主な発見

• 本稿は、$p_g = 0$ かつ $K^2 = 4, 5, 6, 7$ である一般型曲面の明示的例を構成し、その曲面が2次 canonical 写像が $i$ と合成されない非シンプレクティックな対合 $i$ を持つことを示している。
• これらの曲面はエンリケス曲面の二重被覆として実現されており、そのような不変量を持つ曲面の幾何的構成法を提供している。
• これらの例では、商 $S/i$ が有理でないことが示されており、従来の知られていたケースとは明確に区別される。
• これらの曲面は $\mathbb{P}^2$ 上の双二重被覆構造を持つため、不変量の明示的計算と canonical 種の検証が可能である。
• 構成により、2次 canonical 写像が非シンプレクティックな対合 $i$ によって誘導される商写像を通して因数分解しないことが確認された。
• 結果として、2次 canonical 写像と対合構造が非合成であり、かつ商が非有理であるような新しい構成が同定されたことにより、$p_g = 0$ の曲面分類が拡張された。