[論文レビュー] The F-pure threshold of a Calabi-Yau hypersurface

Bhargav Bhatt, Anurag K. Singh|arXiv (Cornell University)|Jul 3, 2013

Algebraic Geometry and Number Theory参考文献 11被引用数 6

ひとこと要約

この論文は、特徴量 p > n+1 におけるカルラヤ超曲面のアフィンコーンの F-純閾値を計算し、それが 1 − h/p の形をとり、h が 0 から dim X の間の整数であることを示している。p ≥ n² − n − 1 のとき、h が超曲面の普遍変形空間上でのハッセ不変量の零点の位数に等しいことが確立され、算術的不変量と幾何学的・コホロジー的性質の間の関係が示された。

ABSTRACT

The F-pure threshold is a positive characteristic numerical invariant, analogous to the log canonical threshold in characteristic zero. We compute the F-pure threshold of the affine cone over a Calabi-Yau hypersurface, and relate it to the order of vanishing of the Hasse invariant on the versal deformation space of the hypersurface.

研究の動機と目的

• 正の特性における滑らかなカイリヤ超曲面のアフィンコーンの F-純閾値を計算すること。
• F-純閾値を超曲面の普遍変形空間上でのハッセ不変量の零点の位数に関連付けること。
• F-純閾値をヴァン・デル・ギーアとカツラが導入した数的不変量と結びつけること。
• カイリヤ多様体およびそのモジュライの文脈における F-純閾値の理解を拡張すること。
• 先行研究で提起された、超特異的楕円曲線に関する F-純閾値の未解決問題を解消すること。

提案手法

• 正則局所環の特徴量 p における f^k ∈ m^{[q]} となる最小の k である μ_f(q) を用いた F-純閾値の定義を、lim_{q→∞} μ_f(q)/q の極限として用いる。
• Frobenius作用と局所コホロロジーを用いて、μ_f(q) をコホロロジー加群上の写像の単射性として解釈する。
• 列 {μ_f(p^e)} の母関数を用いて、z = 1/p における有理性と極の構造を示す。
• 鳩の巣原理を適用して、度数 d と次元 n で μ_f(q) を評価し、μ_f(q) ≤ ⌈(nq + q − n)/d⌉ を得る。
• f^k ∈ m^{[q]} であるための必要十分条件が dk ≥ (n+1)(q−1)+1 であることから、F-純閾値の上限を得る。
• ヴァン・デル・ギーアとカツラのハッセ不変量と変形理論に関する結果に依拠し、p ≥ n² − n − 1 の条件下で h がハッセ不変量の零点の位数に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 正の特性におけるカイリヤ超曲面のアフィンコーンの F-純閾値の可能な値は何か？
• RQ2 F-純閾値は、超曲面の普遍変形空間上でのハッセ不変量とどのように関係するか？
• RQ3 F-純閾値は、幾何学的またはコホロロジー的不変量に関係する h を用いて 1 − h/p の形に表せるか？
• RQ4 F-純閾値はローグ・ケイニカル・スケーリングに等しいか、それとも厳密に小さいか。どのような条件下でそうなるか？
• RQ5 F-純閾値とヴァン・デル・ギーアとカツラが導入した数的不変量との正確な関係は何か？

主な発見

• 特徴量 p > n+1 におけるカイリヤ超曲面の F-純閾値は、0 ≤ h ≤ dim X を満たす整数 h を用いて 1 − h/p の形をとる。
• p ≥ n² − n − 1 のとき、整数 h は超曲面の普遍変形空間上でのハッセ不変量の零点の位数に等しい。
• P² における四次曲面について、p ≡ 3 mod 4 ならば fpt(f) < 3/4 であり、F-純閾値がローグ・ケイニカル・スケーリングよりも厳密に小さいことが示された。
• P² における滑らかな四次曲面で p ≡ 1 mod 4 のとき、F-純閾値は μ_f(p) に応じて (3p−3)/(4p) または 3/4 のいずれかである。
• P² における五次曲面で p > 5 のとき、F-純閾値は (n+1)/d であるか、分母が p のべきである。ただし p ≥ nd − d − n のときを満たす。
• fpt(f) < (n+1)/d であるとき、F-純閾値はある q に対して μ_f(q)/q に等しく、この値は補題 3.4(2) より p のすべてのべきで一定である。