[論文レビュー] Bloch's conjecture for surfaces with involutions and of geometric genus zero

Vladimir Guletskiĭ|arXiv (Cornell University)|Apr 13, 2017

Algebraic Geometry and Number Theory参考文献 25被引用数 4

ひとこと要約

本稿は、滑らかで射影的で幾何的正則性がゼロであり、正則的対合をもつ曲面 S に対して、Bloch の予想が成り立つための必要十分条件が、S/ι の特異点を解消した曲面 W に対しても成り立つこと、すなわち、Bloch の予想が S に対して成り立つことと W に対して成り立つことが同値であることを確立する。この同値性により、S から W へ予想の正当性を移すことができ、数多くの曲面、例えば数値Godeaux曲面、Campedelli 曲面の半分、Craighero-Gattazzo 曲面、および特定の Catanese 曲面に対して予想を証明する。さらに、Enriques 型の商曲面をもつ正則的対合をもつ K3 曲面に対して、そのモチーフが有限次元であることが示される。

ABSTRACT

Let $S$ be a smooth projective surface with $p_g=0$, let $ι$ be a regular involution acting on $S$, and let $W$ be the resolution of singularities of the quotient surface $S/ι$. In the paper we prove that Bloch's conjecture holds for the surface $S$ if and only if it holds for the surface $W$. This yields Bloch's conjecture for all surfaces $S$ whenever the same conjecture is true for the desingularized quotient $W$. In particular, Bloch's conjecture holds true for all numerical Godeaux surfaces with involutions, a "half" of Campedelli surfaces with involutions, the surface of Craighero and Gattazzo, some Catanese surfaces and other examples. Applying the same method to $K3$-surfaces, we prove that if a $K3$-surface $S$ admits a regular involution whose quotient is of Enriques type, then the motive $M(S)$ is finite-dimensional.

研究の動機と目的

• p_g = 0 かつ正則的対合をもつ曲面 S に対して Bloch の予想を検証するための基準を確立すること。その際、S とその特異点を解消した商曲面 W の関係を用いる。
• S における Bloch の予想の検証を、W における同じ予想の検証に還元することにより、広範な曲面クラスにおける問題を単純化すること。
• 本手法を数値Godeaux曲面、Campedelli 曲面、Craighero-Gattazzo 曲面、Catanese 曲面といった特定の曲面に適用し、Bloch の予想が新たな事例においても成り立つことを確認すること。
• K3 曲面に正則的対合をもつ場合、その商曲面が Enriques 型である場合にまで枠組みを拡張し、そのモチーフの有限次元性を証明すること。

提案手法

• p_g = 0 かつ正則的対合 ι をもつ曲面 S に対して、商曲面 S/ι を構成する。この商曲面は特異点をもつ可能性がある。
• S/ι の特異点を解消して滑らかな曲面 W を得る。これは特異点を解消した商曲面である。
• モチーフ的およびコホロロジー的不変量を用いて、S における Bloch の予想の正当性と W における正当性の同値性を確立する。
• W について既知の結果を活用して、S における予想の真偽を導く。特に、W が一般型曲面または Enriques 型曲面である場合に有効である。
• K3 曲面に正則的対合をもつ場合にも同様の手法を適用し、商曲面の双有理型を分析して、モチーフ M(S) の性質を導出する。
• 商曲面が Enriques 型であることから、モチーフ M(S) が有限次元であることが示され、既知のモチーフ理論の結果に依拠する。

実験結果

リサーチクエスチョン

• RQ1 p_g = 0 かつ正則的対合 ι をもつ曲面 S に対して、Bloch の予想が成り立つ条件は何か？
• RQ2 S における Bloch の予想の正当性は、特異点を解消した商曲面 W = S/ι における正当性とどのように関係するか？
• RQ3 この同値性を用いて、数値Godeaux曲面や Craighero-Gattazzo 曲面といった特定の曲面における予想を検証できるか？
• RQ4 正則的対合をもち、商曲面が Enriques 型である K3 曲面 S のモチーフ M(S) について何が言えるか？
• RQ5 商曲面が Enriques 型であるという事実から、M(S) の有限次元性が導かれるか？

主な発見

• p_g = 0 かつ正則的対合をもつ曲面 S に対して Bloch の予想が成り立つことと、S/ι の特異点を解消した曲面 W = S/ι に対しても成り立つことは同値である。
• 数値Godeaux曲面のうち、対合をもつものすべて、および対合をもつ Camplelli 曲面の半分について、予想が確認された。
• Craighero-Gattazzo 曲面および特定の Catanese 曲面について、W への還元により予想が検証された。
• Enriques 型の商曲面をもつ正則的対合をもつ K3 曲面に対して、モチーフ M(S) が有限次元であることが証明された。
• 本手法により、商曲面から元の曲面への一般化された転送原理が得られ、Bloch の予想の既知の事例の範囲が著しく拡大された。
• S と W 間の同値性により、W における既知の結果を活用して、特にモチーフやコホロロジー的有限性の文脈で、S に関する新たな結果を導出可能となった。