[论文解读] On Fano indicies of Q-Fano 3-folds

Kaori Suzuki|ArXiv.org|Oct 20, 2002

Algebraic Geometry and Number Theory参考文献 10被引用 18

一句话总结

本文確立了Q-ファノ3 foldのファノ指数の最良上界として19を示し、このような指数が集合{1,2,...,11,13,17,19}に制限されることを証明した。また、指数19をもつ唯一のQ-ファノ3 foldが重み付き射影空間P(3,4,5,7)に同型であることを、そのヒルベルト系列が周囲空間と一致することによって特定した。証明は、有界性定理、特異Riemann-Roch公式、および整数不変量のMagmaによる計算的検証を組み合わせたものである。

ABSTRACT

This paper considers Q-Fano 3-folds X with ρ=1. The aim is to determine the maximal Fano index f of X. We prove that f<= 19, and that in case of equality, the Hilbert series of X equals that of weighted projective space PP(3,4,5,7). From the previous version, we restrict the list of all possibilities of X to the case f>8. It will appear in a forthcoming paper.

研究动机与目标

• Q-ファノ3 foldのファノ指数の最良可能な上界を特定すること。
• グレーディングされた環とヒルベルト系列を用いて、最大ファノ指数に達するQ-ファノ3 foldを特徴づけること。
• 集合{1,2,...,11,13,17,19}に属する各可能なファノ指数について、Q-ファノ3 foldの明示的例を構成すること（10を除く）。
• ファノ指数10のQ-ファノ3 foldの存在を調査すること。これは未解決の問題である。

提出的方法

• Q-ファノ3 foldのKawamataの有界性定理を用いて、可能なファノ指数を制限する。
• Reidの特異Riemann-Roch公式を適用し、正則オイラー標跡を計算し、ファノ指数と特異点のバスケットとを関連付ける。
• 重み付き超曲面における原始的Weil除層Aの3乗を、A³ = 1/(r₁r₂r₃r₄)の公式により計算する。
• Magma計算ソフトウェアを用いて、A³の正定性および負の次数における係数の消滅を検証する。
• 原始的Weil除層A_Xに付随するグレーディングされた環のヒルベルト系列を分析し、重み付き射影空間の既知の系列と一致するかを確認する。
• 指定された重みと特異点を持つ重み付き射影空間内の超曲面として、許容される集合内に属する各指数を実現する明示的例を構成する。

实验结果

研究问题

• RQ1 Q-ファノ3 foldのファノ指数が19を超えることができない、より内的な幾何的根拠は何か？
• RQ2 ファノ指数19のQ-ファノ3 foldは同型を除いて一意に定まるか？また、P(3,4,5,7)に同型であるか？
• RQ3 ファノ指数10のQ-ファノ3 foldは存在するのか、あるいはその指数は不可能なのか？
• RQ4 集合{1,2,...,11,13,17,19}に属するすべての指数（10を除く）が、単純な商群の終身的特異点のみをもつQ-ファノ3 foldによって実現可能か？
• RQ5 ファノ指数の上界19は最良であり、P(3,4,5,7)によってのみ達成可能か？

主要发现

• 任意のQ-ファノ3 foldのファノ指数f(X)は19以下であり、f(X)は集合{1,2,...,11,13,17,19}に属する。
• 最大ファノ指数19は、(X, A_X)のヒルベルト系列がP(3,4,5,7)のそれと一致する場合にかつその場合にのみ達成される。すなわち、∑ h⁰(X, O_X(nA_X)) tⁿ = 1 / [(1−t³)(1−t⁴)(1−t⁵)(1−t⁷)] が成り立つ。
• 10を除く{1,2,...,11,13,17,19}に属する各fに対して、ファノ指数fで単純な商群の終身的特異点のみをもつQ-ファノ3 foldが存在する。
• ファノ指数19の唯一のQ-ファノ3 foldは、A³ = 1/(3·4·5·7) および特異点のバスケット{ [3,1], [4,1], [5,2], [7,2] }をもつ。
• 構成された例ではファノ指数10は実現されておらず、著者らはそのようなQ-ファノ3 foldは存在しないと予想している。
• ヒルベルト系列および不変量は、A³の正定性および負の次数における係数の消滅を検証するMagmaプログラムにより計算された。