[論文レビュー] On the F-purity of isolated log canonical singularities

Osamu Fujino, Shunsuke Takagi|arXiv (Cornell University)|Dec 11, 2011

Algebraic Geometry and Number Theory参考文献 22被引用数 5

ひとこと要約

本稿では、3次元の孤立した対数 canonical 特異点で μ(x ∈ X) ≤ 2 を満たすものについて、それが稠密に F-純型であることを確立し、特異点の対数 canonical 性と F-純性の関係を特徴する零標数における予想の重要なケースを証明する。最小モデルプログラムとコhomological duality を用いて、問題をコホモロジー群上の Frobenius 作用の全単射性の確認に還元し、μ ≤ 2 の場合に既知の有理特異点と Frobenius 作用に関する結果によりそれが成立することを示す。

ABSTRACT

A singularity in characteristic zero is said to be of dense F-pure type if its modulo p reduction is locally F-split for infinitely many p. We prove that if $x \in X$ is an isolated log canonical singularity with $μ(x \in X) \le 2$ (see Definition 1.4 for the definition of the invariant $μ$), then it is of dense F-pure type. As a corollary, we prove the equivalence of log canonicity and being of dense F-pure type in the case of three-dimensional isolated singularities.

研究の動機と目的

• 孤立した対数 canonical 特異点で μ(x ∈ X) ≤ 2 のものについて、それが稠密に F-純型であることを証明すること。
• 3次元 Q-Gorenstein 特異点の状況において、対数 canonical 性と稠密 F-純性の同値性を確立すること。
• Conjecture A₃ を Conjecture B₂ の既知のケースに還元することにより、それを検証すること。

提案手法

• 特異点を解消し、例外的 divisor E の構造を解析するために、スケーリング付きの最小モデルプログラムを用いる。
• 不変量 μ(x ∈ X) を、特異点に写像する例外的 divisor のストラトゥムの最小次元として定義する。
• Matlis duality を適用し、p で割った還元における F-純性と局所コホモロジー上の Frobenius の単射性を関連付ける。
• 上位の局所コホモロジー加群の socle を、次元 μ の最小ストラトゥム V に対して H^μ(V, O_V) と同一視する。
• 問題を、無限個の素数 p に対して H^μ(V_p, O_{V_p}) 上の Frobenius 作用が全単射であることを確認することに還元する。
• μ ≤ 2 の場合に既知の結果（Conjecture B₂）に依拠し、このような特異点が稠密に F-純型であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 すべての孤立した対数 canonical 特異点は稠密に F-純型であるか？
• RQ2 3次元 Q-Gorenstein の場合に、対数 canonical 性は稠密 F-純性を含意するか？
• RQ3 最小ストラトゥムのコホモロジー群上の Frobenius 作用が、無限個の素数に対して全単射であることを示せるか？
• RQ4 不変量 μ(x ∈ X) は特異点の F-純性行動を制御するか？
• RQ5 Conjecture A₃ は Conjecture B₂ と同値であるか？

主な発見

• 主定理により、μ(x ∈ X) ≤ 2 ならば、x ∈ X は稠密に F-純型であることが示された。
• 3次元 Q-Gorenstein 特異点において、対数 canonical 性と稠密 F-純型性は同値である。
• μ ≤ 2 のとき、H^μ(V_p, O_{V_p}) 上の Frobenius 作用は無限個の p に対して全単射である。
• Mayer–Vietoris 列を用いて、局所コホモロジー加群 H^n_x(O_X) の socle が H^μ(V, O_V) と同型であることが示された。
• Conjecture A₃ と Conjecture B₂ の同値性が確立され、B₂ は既に知られている結果である。
• 不変量 μ(x ∈ X) は正しく定義されており、解体の選び方に依存しない。