[論文レビュー] Invariants of singularities of pairs

Lawrence Ein, Mircea Mustat¡a|ArXiv.org|Apr 27, 2006

Algebraic Geometry and Number Theory被引用数 12

ひとこと要約

この論文は、乗数イデアル、D-加群、弧、正の特性における技法を用いて、対 (X,Y) の特異点の不変量を研究する。複素幾何における対数正則特異点閾値と、正の特性におけるF-純閾値との間に深い関係を確立し、p → ∞ のときF-純閾値が対数正則特異点閾値に収束することを証明する。これにより、Bernstein-Sato多項式やジャンピング数への応用が得られる。

ABSTRACT

Let X be a smooth complex variety and Y be a closed subvariety of X, or more generally, a closed subscheme of X. We are interested in invariants attached to the singularities of the pair (X, Y). We discuss various methods to construct such invariants, coming from the theory of multiplier ideals, D-modules, the geometry of the space of arcs and characteristic p techniques. We present several applications of these invariants to algebra, higher dimensional birational geometry and to singularities.

研究の動機と目的

• X を滑らかな複素代数的多様体、Y を閉部分スキームとする対 (X,Y) の特異点に対する不変量を体系的に開発・統合すること。
• 複素代数幾何における不変量（対数正則特異点閾値）と、正の特性における不変量（F-純閾値）との関係を確立すること。
• 正の特性 p における対 (X_p, Y_p) の F-純閾値が、p → ∞ のとき特性 0 における対数正則特異点閾値に収束することを示すこと。
• p を法として還元することにより、乗数イデアル、テストイデアル、Bernstein-Sato多項式との関係を明らかにすること。
• D-加群、乗数イデアル、正の特性における代数幾何学の不変量を結びつける概念的枠組みを提供すること。

提案手法

• 局所的可積分性 |g|² / (∑|fᵢ|²)^λ を用いて定義される乗数イデアルを用い、対数解体による幾何的解釈を併用する。
• Hironaka の対数解体を適用し、乗数イデアルを μ_*𝒪_{X'}(K_{X'/X} - ⌊λμ⁻¹(Y)⌋) として表現することで、正則被覆と関連付ける。
• 変数変換により単項式の場合に帰着させ、例外的除算子に沿った位数の明示的計算を可能にする。
• p を法として還元し、局所双対性およびDeligne-Illusie理論を用いて、複素乗数イデアルと正の特性におけるテストイデアルを関連付ける。
• Bernstein-Sato多項式を用い、ν^J(p^e) の振る舞いを通じて、p を法とした根が特性 0 における実際の根にどのように関連するかを示す。
• ジャンピング数の概念とその還元を用いて、F-純閾値が対数正則特異点閾値を近似することを示す。

実験結果

リサーチクエスチョン

• RQ1 複素代数幾何における乗数イデアルと、正の特性におけるテストイデアルとの関係は何か？
• RQ2 対 (X,Y) の対数正則特異点閾値は、正の特性におけるF-純閾値の極限として回復可能か？
• RQ3 Bernstein-Sato多項式の根と、正の特性におけるフロベニウス冪の振る舞いとの正確な関係は何か？
• RQ4 D-加群、乗数イデアル、弧からの不変量が、対の特異点の研究においてどの程度一致するか？
• RQ5 F-純閾値が対数正則特異点閾値と等しくなるような素数 p は無限に存在するか？

主な発見

• 正の特性 p における対 (X_p, Y_p) の F-純閾値は、p → ∞ のとき特性 0 における対数正則特異点閾値に収束する。
• 十分に大きな素数 p に対して、任意の λ について、テストイデアル τ(X_p, λ·Y_p) は、乗数イデアル 𝒥(X, λ·Y) の p を法とした還元に等しい。
• f = x² + y³ の対数正則特異点閾値は 5/6 であり、p ≡ 1 (mod 3) のとき F-純閾値としても達成される。一方、p ≡ 2 (mod 3) のときは 5/6 - 1/(6p) である。
• f = x² + y³ の Bernstein-Sato多項式の根は -5/6、-7/6、-1 であり、これらはすべて p を法とした還元と ν^J(p^e) の振る舞いを通じて回復可能である。
• f が単項式であるとき、Bernstein-Sato多項式のすべての根は、正の特性における不変量から体系的に回復可能である。
• F-純閾値が対数正則特異点閾値に収束するという事実は、特性 0 における特異点の崩壊幾何と、正の特性におけるタイトな被覆理論との強い結びつきを示している。