[論文レビュー] On Fano indicies of Q-Fano 3-folds

Kaori Suzuki|ArXiv.org|Oct 20, 2002

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

ひとこと要約

本稿では、Q-ファノ 3 次元多様体のファノ指数の最良の上界として 19 が得られ、そのような指数が集合 {1,2,...,11,13,17,19} に制限されることを証明している。指数 19 を持つ唯一の Q-ファノ 3 次元多様体は、重み付き射影空間 P(3,4,5,7) に同型であり、そのヒルベルト系列は周囲空間のそれと一致する。証明は、有界性定理、特異点付きリーマン・ロッホ公式、および整数不変量の 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 次元多様体のファノ指数の最良の上界を特定すること。
• グレーディングされた環とヒルベルト系列を用いて、最大ファノ指数に達する Q-ファノ 3 次元多様体を特徴付けること。
• 集合 {1,2,...,11,13,17,19} 内の各可能なファノ指数に対して、Q-ファノ 3 次元多様体の具体的な例を構成すること（10 については可能性があるが未解決）。
• ファノ指数 10 の Q-ファノ 3 次元多様体の存在を調査すること。これは未解決の問題のままである。

提案手法

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

実験結果

リサーチクエスチョン

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

主な発見

• 任意の Q-ファノ 3 次元多様体のファノ指数 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 を除くすべての f ∈ {1,2,...,11,13,17,19} に対して、ファノ指数 f かつ単純な商特異点と終極特異点のみを持つ Q-ファノ 3 次元多様体が存在する。
• ファノ指数 19 を持つ唯一の Q-ファノ 3 次元多様体は、A³ = 1/(3·4·5·7) および特異点のバスケット { [3,1], [4,1], [5,2], [7,2] } を持つ。
• 構成された例ではファノ指数 10 は実現されておらず、著者らはそのような Q-ファノ 3 次元多様体は存在しないと予想している。
• ヒルベルト系列と不変量は、A³ の正定性および負の次数における係数の消滅を検証する Magma プログラムにより計算されている。