[論文レビュー] The Noether inequality for algebraic threefolds (With an Appendix by J\'{a}nos Koll\'{a}r)

Jungkai A. Chen, Chen Meng+1 more|arXiv (Cornell University)|Mar 15, 2018

Algebraic Geometry and Number Theory参考文献 43被引用数 2

ひとこと要約

本稿は、一般型の射影3次元多様体に対して最適なノエター不等式を確立し、幾何的正則性 pg(X) ≤ 4 または pg(X) ≥ 21 を満たすすべての such 3- folds に対して vol(X) ≥ 4/3 pg(X) − 10/3 が成り立つことを証明する。証明は canonical fibrations、解消技術、および表面の canonical divisor と minimal model 間の比較定理を用い、特異点の log canonical threshold 評価を refining した János Kollár の付録により、Kobayashi や Chen–Hu からの例によって不等式の sharpness が確認される。

ABSTRACT

We establish the Noether inequality for projective $3$-folds. More precisely, we prove that the inequality $${ m vol}(X)\geq frac{4}{3}p_g(X)-{ frac{10}{3}}$$ holds for all projective $3$-folds $X$ of general type with either $p_g(X)\leq 4$ or $p_g(X)\geq 21$, where $p_g(X)$ is the geometric genus and ${ m vol}(X)$ is the canonical volume. This inequality is optimal due to known examples found by M. Kobayashi in 1992.

研究の動機と目的

• 一般型の射影3次元多様体に対する最適なノエター不等式を確立し、表面や高次元多様体における既知の結果を拡張すること。
• 従来の手法では抵抗していた、非Gorensteinな3- folds に対するノエター不等式の未解決問題を解消すること。
• Kobayashi や Chen–Hu が構成した極値例と一致することを検証することで、不等式が sharp であることを証明すること。
• 不等式が成り立たない可能性がある例外的な場合を完全に分類し、それらが有限個であり有界であることを示すこと。

提案手法

• X を Q-因子的で終等な特異点をもち、canonical divisor KX が nef である最小の射影3- folds と仮定する。
• canonical map ϕ1 = Φ|KX| 及びその像次元 dX を分析し、canonical dimension に基づいて場合分けを行う。
• 解体 π: W → X 及び W 上の divisor S で π*KX ≥ S を満たすものを用意し、(π*KX|S)^2 を用いて KX^3 を評価する。
• π*KX|S と S の minimal model σ: S → S0 の canonical divisor 間の比較定理を確立し、正確な体積推定を可能にする。
• 特に log canonical threshold を用いた高度な特異点理論を適用し、Kollár の付録の結果を活用して、表面特異点における不一致を制御する。
• [34, Theorem 4] の有界性結果を活用し、例外的な場合が有限個であることを示し、したがってすべての族のうち有限個を除いて不等式が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 pg(X) ≤ 4 または pg(X) ≥ 21 を満たすすべての一般型射影3- folds X に対して、ノエター不等式 vol(X) ≥ 4/3 pg(X) − 10/3 が成り立つか？
• RQ2 不等式が成り立たない可能性がある例外的な3- folds の正確な構造は何か？ それらは有限個であるか？
• RQ3 表面特異点の log canonical threshold 評価をどのように精緻化すれば、3- folds の場合に sharp な境界を得られるか？
• RQ4 交差数が整数でない場合に、canonical fibrations や解体技術が canonical volume 評価にどのように寄与するか？
• RQ5 不等式は最適か？ また、Kobayashi や Chen–Hu が得た既知の例は等号を達成するか？

主な発見

• 一般型射影3- folds X で pg(X) ≤ 4 または pg(X) ≥ 21 を満たすすべてのものに対して、ノエター不等式 vol(X) ≥ 4/3 pg(X) − 10/3 が成り立つ。
• 等号は Kobayashi (1992年) が構成した既知の例および Chen–Hu (2017年) が一般化した例によって達成されるため、不等式は最適である。
• 不等式が成り立たない可能性がある例外的な場合の数は有限個であり、pg(X) ∈ [5, 20] かつ KX^3 < 70/3 を満たす。
• 証明は、π*KX|S と σ*(KS0) 間の精緻な比較定理に依存しており、交差数が整数でない場合でも体積推定が可能になる。
• János Kollár の付録により、sharp な log canonical threshold 評価が得られ、特に E7 特異点では lct(S; ∆S) ≥ 1/10、E8 特異点では lct(S; ∆S) ≥ 1/16 が示される。
• 解析により、不等式が失敗する可能性がある唯一のケースは、|KX| が (1,2)-表面の有理的-pencil に含まれる場合であり、これらのケースは変形の意味で有限個であることが確認される。