[論文レビュー] Stable rationality of orbifold Fano threefold hypersurfaces

Takuzo Okada|arXiv (Cornell University)|Aug 3, 2016

Algebraic Geometry and Number Theory参考文献 23被引用数 7

ひとこと要約

本稿では、普遍的CH₀-自明性の特殊化およびpを法とする還元技術を用いて、非常に一般な軌道的Fano三様体の重み付き超曲面の有理的性と安定有理的性を解明する。すべての指数1または2の三様体は、おそらく立方三様体を除き安定有理的でないことが証明され、指数>2の27家族のうち20家族は有理的であり、7家族は安定有理的でないことが判明し、立方三様体を除いて問題が完全に解決される。

ABSTRACT

We determine the rationality of very general quasismooth Fano 3-fold weighted hypersurfaces completely and determine the stable rationality of them except for cubic 3-folds. More precisely we prove that (i) very general Fano 3-fold weighted hypersurfaces of index 1 or 2 are not stably rational except possibly for the cubic threefolds, (ii) among the 27 families of Fano 3-fold weighted hypersurfaces of index greater than 2, very general members of specific 7 families are not stably rational and the remaining 20 families consists of rational varieties.

研究の動機と目的

• 非常に一般な軌道的Fano三様体の重み付き超曲面の有理的性と安定有理的性を特定すること。
• 終身的商特異点をもつ特異的・やや特異的なFano三様体における既知の安定非有理的性の結果を拡張すること。
• 130家族の軌道的Fano三様体超曲面の有理的性分類を、立方三様体を除き完全に完了すること。
• 次元3における絶対的複雑度に基づく有理的性基準の鋭さを検証すること。

提案手法

• ヴォジンが開発し、コリオ・テレーヌとピルトカによって拡張された、普遍的CH₀-自明性の特殊化に関する特殊化論法の応用。
• コラールによって導入されたpを法とする還元技術を用いて安定非有理的性を検出すること。
• CH₀-自明性の特殊化とmod p還元を組み合わせ、家族全体にわたる安定有理的性を分析すること。
• 重み付き超曲面X_d ⊂ ℙ(a₀,…,a₄)の指数α = ∑a_i − dの明示的計算により、家族を指数で分類すること。
• 絶対的複雑度γ = 3/2をもつ対数正則対(X, Δ)の構成により、有理的性基準の鋭さを検証すること。
• 吹き上げと軌道的チャートを用いて、特異点における対(X, Δ)の対数正則性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 非常に一般なFano三様体の重み付き超曲面（指数1または2）は安定有理的か？
• RQ2 指数>2の27家族のFano三様体超曲面のうち、どの家族が安定有理的でないか？
• RQ3 次元3における絶対的複雑度γ < 3/2に基づく有理的性基準は鋭いか？
• RQ4 CH₀-自明性の特殊化とmod p還元の組み合わせは、特異的Fano三様体における安定非有理的性を検出できるか？
• RQ5 Fano三様体超曲面の中での立方三様体の安定有理的性はいかなる状態か？

主な発見

• 指数1の非常に一般なFano三様体の重み付き超曲面は、安定有理的でない。
• 指数2の非常に一般なFano三様体の重み付き超曲面は、おそらく立方三様体を除き安定有理的でない。
• 指数>2の27家族のうち、20家族は有理的多様体を構成し、7家族は非常に一般なメンバーが安定有理的でない。
• 絶対的複雑度γ < 3/2に基づく有理的性基準は、次元3において鋭いことが示され、γ = 3/2の反例によって裏付けられた。
• Fano三様体X₆ ⊂ ℙ(1,1,2,2,3)は（安定に）有理的ではなく、クラス群Cl(X) ≅ ℤをもち、2- torsionが存在しない。
• 例X₆ ⊂ ℙ(1,1,2,2,3)はγ = 3/2を実現し、有理的性基準における条件γ < 3/2を弱めることが不可能であることを示している。