[論文レビュー] Multiplier Ideals of Sufficiently General Polynomials

Jason Howald|ArXiv.org|Mar 17, 2003

Commutative Algebra and Its Applications参考文献 1被引用数 15

ひとこと要約

この論文は、多項式 $f \in \mathbb{C}[x_1,\ldots,x_n]$ に対して、その乗数イデアル $\mathcal{J}(r \cdot f)$ がその項から生成される単項イデアル $\tau(f)$ の乗数イデアルに一致する十分な非退化性条件を確立する。トーリック幾何と対数解消を用いて、$f$ がそのニュートン多面体のすべての面に関して非退化であるならば、$\tau(f)$ のトーリック対数解消は $f$ も解消することを示し、すべての $r$ に対して $\mathcal{J}(r \cdot f)$ を直接計算可能である。主な貢献は、乗数イデアルを単項イデアルを用いて計算可能な「十分に一般な」多項式を特定する実用的な基準を提供することにある。

ABSTRACT

It is well known that the multiplier ideal $\multr{I}$ of an ideal $I$ determines in a straightforward way the multiplier ideal $\multr{f}$ of a sufficiently general element $f$ of $I$. We give an explicit condition on a polynomial $f \in \CC[x_1,...,x_n]$ which guarantees that it is a sufficiently general element of the most natural associated monomial ideal, the ideal generated by its terms. This allows us to directly calculate the multiplier ideal $\multr{f}$ (for all $r$) of ``most'' polynomials $f$.

研究の動機と目的

• 多項式 $f$ がどれほど一般的であるかを特定し、その乗数イデアル $\mathcal{J}(r \cdot f)$ がその項イデアル $\tau(f)$ の乗数イデアルと一致する条件を同定すること。
• トーリック対数解消が $\tau(f)$ に対して作用する場合、$f$ に対しても作用することを保証する $f$ に関する明示的かつ計算可能な条件を提供すること。
• ニュートン多面体と非退化性を用いて、非単項式多項式の乗数イデアル計算の適用範囲を広げること。

提案手法

• 多項式 $f$ のニュートン多面体 $P(f)$ を、その単項式の指数ベクトルの凸包として定義する。
• 面 $\sigma$ ごとの非退化性（$\sigma$-非退化性）の概念を導入する：$P(f)$ の各面 $\sigma$ に対して、微分 $df_\sigma$ がトーラス $T^n$ 上で消えないこと。
• トーリック幾何を用いて、単項イデアル $\tau(f)$ の対数解消 $\mu: X' \to \mathbb{A}^n$ を構成し、これは局所的に $\mathbb{A}^n$ に同型である。
• もし $f$ が $P(f)$ のすべての面に関して非退化であるならば、$\mu^*f$ も非退化性を保ち、$Div(\mu^*f)$ が正規交叉超曲面であることを示す。
• 解消における除数的寄与を比較することで、乗数イデアル $\mathcal{J}(r \cdot f)$ が $\mathcal{J}(r \cdot \tau(f))$ に等しいことを証明する。
• 非退化性を満たすとき、$\mu$ は $\tau(f)$ と $f$ の両方の同時対数解消であるため、イデアル計算を直接移行可能である。

実験結果

リサーチクエスチョン

• RQ1 多項式 $f$ の乗数イデアルがその関連単項イデアル $\tau(f)$ の乗数イデアルと一致するのはどのような条件下か？
• RQ2 多項式 $f$ のニュートン多面体の面における非退化性条件が、$\tau(f)$ のトーリック解消が $f$ も解消することを保証するのはどのようにか？
• RQ3 $f$ の特異点と $\tau(f)$ の特異点の間の正確な関係は何か？ そして、これは乗数イデアルにどのように影響するか？
• RQ4 一般の多項式 $f$ に対して、乗数イデアル $\mathcal{J}(r \cdot f)$ を $\mathcal{J}(r \cdot \tau(f))$ から直接計算できるか？
• RQ5 トーリック対数解消は、引き戻しにおいて非退化性と正規交叉性をどのように保っているか？

主な発見

• もし $f$ がそのニュートン多面体のすべての面に関して非退化であるならば、$\tau(f)$ のトーリック対数解消は $Div(f)$ の対数解消としても機能し、すべての $r \geq 0$ に対して $\mathcal{J}(r \cdot f) = \mathcal{J}(r \cdot \tau(f))$ が成り立つ。
• もし $f$ が主部（コンact面で非退化）であるならば、原点のザリスキ近傍上で、解消 $\mu$ は $f$ の対数解消として機能し、局所的に乗数イデアルの等号を保証する。
• 引き戻し $f' = \mu^*f$ は $f$ からの非退化性を保ち、$X'$ 上のトーラスで $Div(f')$ が正規交叉超曲面となる。これは、$f$ に対して対数正則な解消であることを示唆する。
• $\sigma$-非退化性の条件により、微分 $df_\sigma$ がトーラス上で消えないことが保証され、これは厳密な変換の正規交叉性に不可欠である。
• 証明は、$\mu^*$ における単項式の値の評価がイデアルの属する関係を保つことに基づく。非退化性条件が成立するとき、$f$ と $\tau(f)$ の乗数イデアルは一致する。
• 非退化性条件を満たす限り、既知の単項イデアルのアルゴリズムに還元することで、すべての $r$ に対して $\mathcal{J}(r \cdot f)$ を直接計算可能となる。