[論文レビュー] Valuation spaces and multiplier ideals on singular varieties

Sébastien Boucksom, Tommaso de Fernex+2 more|arXiv (Cornell University)|Jun 30, 2013

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

ひとこと要約

この論文は、滑らかでない正規複素代数的多様体へと倍加的理想の価値的特徴付けを一般化し、すべての実価値へと対数的不一致関数を拡張し、数値的 ${\mathbb{Q}}$-Gorenstein 多様体の概念を導入することで達成している。主な貢献は、このような多様体上で普遍的に成り立つ倍加理想の価値的基準であり、多様体が数値的 ${\mathbb{Q}}$-Gorenstein である場合にはその形が簡略化され、有理的特異点の下で ${\mathbb{Q}}$-Cartier と一致する数値的 Cartier 除援の新しい定義が提示されている。

ABSTRACT

We generalize to all normal complex algebraic varieties the valuative characterization of multiplier ideals due to Boucksom-Favre-Jonsson in the smooth case. To that end, we extend the log discrepancy function to the space of all real valuations, and prove that it satisfies an adequate properness property, building upon previous work by Jonsson-Musta\\c{t}\\u{a}. We next give an alternative definition of the concept of numerically Cartier divisors previously introduced by the first three authors, and prove that numerically Q-Cartier divisors coincide with Q-Cartier divisors for rational singularities. These ideas naturally lead to the notion of numerically Q-Gorenstein varieties, for which our valuative characterization of multiplier ideals takes a particularly simple form.

研究の動機と目的

• 滑らかでない多様体においてのみ知られていた倍加理想の価値的特徴付けを、すべての正規複素代数的多様体へと拡張すること。
• すべての実価値への空間における対数的不一致関数の定義と研究を行い、適切な性質と連続性を保証すること。
• 数値的 ${\mathbb{Q}}$-Cartier 除援の概念を導入し、有理的特異点の下で ${\mathbb{Q}}$-Cartier と一致することを示すこと。
• 数値的 $\mathbb{Q}$-Gorenstein 多様体を定義し、この設定において倍加理想の簡略化された価値的基準を確立すること。

提案手法

• 価値空間および正規化された価値空間の理論を用いて、対数的不一致関数 $A_X(\nu)$ をすべての実価値 $\nu$ へと拡張する。
• 拡張された対数的不一致関数が適切な性質を満たすことを証明し、Jonsson-Mustaćća の研究に基づく。
• 数値的同値類 $\mathrm{Num}^1(X)$ を通じた新しい数値的 ${\mathbb{Q}}$-Cartier 除援の定義を導入し、$X$ が有理的特異点をもつ場合に ${\mathbb{Q}}$-Cartier と一致することを示す。
• 解体 $\mu: X' \to X$ 上で一意の $\mu$-数値同値な ${\mathbb{Q}}$-除援 $K^{\rm num}_{X'/X}$ が存在することによって、数値的 $\mathbb{Q}$-Gorenstein 条件を定義し、$A_X(\operatorname{ord}_E) = 1 + \operatorname{ord}_E(K^{\rm num}_{X'/X})$ を証明する。
• 正規化部分多様体 $N$ のよい解体 $\pi$ の双対複体 $\Delta_\pi^N$ を用いて、$A_X$ が面においてアフィンであり、$A_{X'}$ の引き戻しの上限に等しいことを示す。
• 価値的基準を適用し、$\mu$ が $\mu^{-1}\mathfrak{a} \cdot \mathcal{O}_{X'} = \mathcal{O}_{X'}(-D)$ を満たす対数的解体である場合に、公式 $\mathcal{J}(X,\mathfrak{a}^c) = \mu_* \mathcal{O}_{X'}(\lceil K^{\rm num}_{X'/X} - cD \rceil)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 滑らかさが保証されない正規特異多様体に対しても、既に滑らかさの下で知られていた倍加理想の価値的特徴付けを拡張できるか。
• RQ2 特異多様体上で、除援的価値からすべての実価値への対数的不一致関数の意味のある拡張はどのように可能か。
• RQ3 特異な状況下での ${\mathbb{Q}}$-Cartier 除援の正しい一般化は何か、そして数値同値とどのように関係するか。
• RQ4 数値的 ${\mathbb{Q}}$-Cartier 除援が ${\mathbb{Q}}$-Cartier と一致する条件は何か。
• RQ5 数値的 ${\mathbb{Q}}$-Gorenstein である多様体上での倍加理想の価値的基準の簡略化された形は何か。

主な発見

• 対数的不一致関数 $A_X(\nu)$ はすべての実価値 $\nu$ へと拡張され、適切な性質を満たすため、グローバルな価値的アプローチが可能になる。
• 数値的 ${\mathbb{Q}}$-Cartier 除援は $\mathrm{Num}^1(X)$ 内の数値同値類を用いて定義され、有理的特異点の下では ${\mathbb{Q}}$-Cartier と一致する。
• 実価値の空間には、適切で連続的な対数的不一致関数が定義され、滑らかさの下での一般化が達成されている。
• 数値的 ${\mathbb{Q}}$-Gorenstein 多様体では、倍加理想 $\mathcal{J}(X,\mathfrak{a}^c)$ に対して公式 $\mu_* \mathcal{O}_{X'}(\lceil K^{\rm num}_{X'/X} - cD \rceil)$ が成り立つ（$\mu: X' \to X$ は対数的解体）。
• 任意のよい解体 $\pi$ に対して、正規化部分多様体 $N$ の双対複体 $\Delta_\pi^N$ の面において $A_X$ はアフィンであり、$\mathrm{Val}_X^N$ 上で $A_X = \sup_\pi A_X \circ r_\pi^N$ が成り立つ。これにより、グローバルな上限構造が確立される。
• 多様体が対数的終等特異点をもつのは、$\mathrm{DivVal}_X$ 上で $A_X > 0$ であるときであり、これは $\mathcal{J}(X,\mathcal{O}_X) = \mathcal{O}_X$ が成り立つときにかつそのときに限り成立する。