[論文レビュー] Kawamata-Viehweg vanishing fails for log del Pezzo surfaces in char. 3

Fabio Bernasconi|arXiv (Cornell University)|Sep 26, 2017

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

本稿では、特徴3の代数的閉体上に、Kawamata-Viehwegの消滅定理を満たさない対数デル・ペッツォ表面を構成し、このような表面に対しては、正標数におけるこの定理が成り立たないことを示した。その結果、特徴3におけるklt三様点特異点がコhen-Macaulayでない例が存在することが示され、正標数代数幾何における消滅定理の期待される振る舞いに疑問を呈するものである。

ABSTRACT

We construct a log del Pezzo surface in characteristic 3 violating the Kawamata-Viehweg vanishing theorem. As a consequence we show that there exists a Kawamata log terminal threefold singularity which is not Cohen-Macaulay in characteristic 3.

研究の動機と目的

• 正標数における対数デル・ペッツォ表面に対してKawamata-Viehwegの消滅定理が成り立つかどうかを調査すること。
• 正標数における消滅定理の失敗が、klt特異点のコhen-Macaulay性に与える影響を特定すること。
• 標準的な消滅が成立しない特性3における明示的な反例を構成すること。
• 特にkltおよびコhen-Macaulay条件の文脈において、正標数代数幾何における特異点の理解を拡張すること。

提案手法

• 特徴3の体上に定義された特定の対数デル・ペッツォ表面の構成。
• 反 canonical デリバティブの正則性と対数端的特異点の確認により、対数デル・ペッツォ条件の検証。
• コhomology 群の計算により、Kawamata-Viehwegの消滅定理の失敗を示し、特に正則なラインバンドル L に対して H^1(X, K_X + L) ≠ 0 であることを示す。
• 消滅定理の失敗を根拠に、幾何学的およびコhomologicalな議論を通じて、関連する三様点特異点がコhen-Macaulayでないことを導出する。
• klt特異点の文脈において、消滅定理とコhen-Macaulay性の関係を示す既知の結果の応用。
• Frobenius スプリットの性質や非還元的構造など、特徴3に特有の現象を活用して反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 特徴3における対数デル・ペッツォ表面に対して、Kawamata-Viehwegの消滅定理は成立するか？
• RQ2 Kawamata-Viehwegの消滅定理の失敗を用いて、正標数においてコhen-Macaulayでないklt三様点特異点を構成できるか？
• RQ3 特徴3における表面の、特定の幾何的またはコhomologicalな性質が、標準的消滅定理の破綻を引き起こすのか？
• RQ4 特徴3における対数デル・ペッツォ表面に、消滅定理の破綻を引き起こしやすい固有の特徴があるか？
• RQ5 次元2における消滅の失敗が、関連する三様点特異点のコhen-Macaulay性にどのように関係するか？

主な発見

• 特徴3における対数デル・ペッツォ表面を構成し、Kawamata-Viehwegの消滅定理が成立しないことを示した。具体的には、正則なラインバンドル L に対して H^1(X, K_X + L) ≠ 0 であることを示した。
• この表面は、特徴0における期待される標準的コhomology的消滅が成立しないことを示しており、正標数幾何における重要な違いを浮き彫りにしている。
• この失敗は、コーン構成によって得られる関連する三様点特異点がコhen-Macaulayでないことを示唆している。
• この例は、特徴3においてklt条件がコhen-Macaulay性を意味しないことを示しており、特徴0とは対照的である。
• この結果は、正標数における特異点および消滅定理の振る舞いが、複素数の場合と根本的に異なることを示している。