[論文レビュー] The weak ordinarity conjecture and $F$-singularities

Bhargav Bhatt, Karl Schwede+1 more|arXiv (Cornell University)|Jul 14, 2013

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

ひとこと要約

本稿は、正標数における弱正則性予想と、p を法として還元したときのテストイデアルと乗数イデアルの等価性に関する予想的等式との間で、深いつながりを確立し、特異な多様体へ既存の結果を拡張している。さらに、滑らかなハイパーカバーファンクターを介して F-インジェクティブ特異点とDu Bois特異点を結びつけ、フロベニウス作用がコホモロジーに与える影響を通じて、両者が共通の定義を持つことを示し、弱正則性予想が、Q-因子とイデアルをもつすべての正規多様体に対して、テストイデアルと乗数イデアルの等式を示すことを証明している。

ABSTRACT

Recently M. Mustata and V. Srinivas related a natural conjecture about the Frobenius action on the cohomology of the structure sheaf after reduction to characteristic $p > 0$ with another conjecture connecting multiplier ideals and test ideals. We generalize this relation to the case of singular ambient varieties. Additionally, we connect these results to a conjecture relating $F$-injective and Du Bois singularities. Finally, using an unpublished result of Gabber, we also show that $F$-injective and Du Bois singularities have a common definition in terms of smooth hypercovers.

研究の動機と目的

• テストイデアルと乗数イデアルの間の予想的関係を、Q-因子をもつ特異な多様体へ一般化すること。
• コホモロジー的性質を通じて、弱正則性予想と F-インジェクティブおよび Du Bois 特異点を結びつけること。
• 滑らかなハイパーカバーとフロベニウス作用を通じて、F-インジェクティブ特異点と Du Bois 特異点が共通の定義を持つことを示すこと。
• 弱正則性予想が、ザリスキ密な還元の集合においてすべての λ ≥ 0 に対してテストイデアルと乗数イデアルの等式を示すことを証明すること。
• ホッジ理論（Du Bois）とフロベニウス特異点（F-インジェクティブ）をハイパーカバー構成を通じて結びつける概念的枠組みを提供すること。

提案手法

• 有限生成な Z-部分代数上でのモデルを用いた、標数 0 から標記 1 への還元。
• 滑らかなハイパーカバーを用いて、F-インジェクティブ特異点と Du Bois 特異点を統合するコホモロジー的不変量を定義すること。
• ガブラーの未発表結果を応用し、滑らかなハイパーカバーを通じて F-インジェクティブ特異点と Du Bois 特異点の共通定義を確立すること。
• ジャンピング数と有限被覆を介して、テストイデアルと乗数イデアルの予想的等式を弱正則性予想に還元すること。
• 被覆 Z → X を構成し、乗数イデアルのジャンピング数と正標数におけるテストイデアルを関連付けること。
• 滑らかな射影的多様体の上位コホモロジーにおけるフロベニウス作用の全単射性を用いて、還元間でのイデアルの等式を制御すること。

実験結果

リサーチクエスチョン

• RQ1 弱正則性予想は、Q-因子とイデアルをもつ正規多様体について、正標数での還元においてテストイデアルと乗数イデアルの等式を示すか？
• RQ2 乗数イデアルとテストイデアルの関係を、滑らかでない環境空間へまで拡張できるか？
• RQ3 F-インジェクティブ特異点と Du Bois 特異点は、滑らかなハイパーカバーとフロベニウス作用を通じて共通の定義を持つか？
• RQ4 弱正則性予想は、すべての Du Bois スキームが稠密に F-インジェクティブ型をとるという性質と同値か？
• RQ5 特異点が LC でないイデアルが、弱正則性予想のもとで、正標数において安定基底イデアルに還元されるか？

主な発見

• 弱正則性予想は、ザリスキ密な還元の集合においてすべての λ ≥ 0 に対して、テストイデアルと乗数イデアルの等式と同値である。
• 本稿は、ガブラーの結果を用いて、滑らかなハイパーカバーを通じて、F-インジェクティブ特異点と Du Bois 特異点が同一のコホモロジー的条件によって定義されることを証明した。
• 正標数での還元において、テストイデアルと乗数イデアルが等しいという予想は、弱正則性予想が成立するか否かにのみ依存する。
• 半安定還元を避けるために、有限被覆とジャンピング数解析を用いて、問題を滑らかな射影的多様体の上位コホモロジーに還元した。
• 各ジャンピング数 λ_j ∈ [0,1] に対して、滑らかな射影的多様体の有限集合が存在し、その上位コホモロジーにおけるフロベニウス作用が全単射であれば、λ_j の近傍でイデアルの等式が成り立つ。
• 本結果は、ムスティアツァ＝スリニヴァスの主要定理を、滑らかでない多様体へ拡張し、新しいコホモロジー的技法を用いて滑らかさの仮定を除去した。