[論文レビュー] Contact loci in arc spaces

Lawrence Ein, Robert Lazarsfeld+1 more|ArXiv.org|Mar 21, 2003

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

ひとこと要約

この論文は、部分多様体の対数解体における例外的 divisor と、弧空間における接触集合の既約成分のナッシュ型対応を確立し、これらの成分が解体上の多重接触集合から生じることを示している。これは、多重積分を用いない初等的証明を提供し、乗数イデアルおよび特異点のジェット理論的解釈に関する結果を再確認・拡張する。

ABSTRACT

We study loci of arcs on a smooth variety defined by order of contact with a fixed subscheme. Specifically, we establish a Nash-type correspondence showing that the irreducible components of these loci arise from (intersections of) exceptional divisors in a resolution of singularities. We show also that these loci account for all the valuations determined by irreducible cylinders in the arc space. Along the way, we recover in an elementary fashion-without using motivic integration-results of the third author relating singularities to arc spaces. Moreover, we extend these results to give a jet-theoretic interpretation of multiplier ideals.

研究の動機と目的

• 部分多様体の対数解体における例外的 divisor と、弧空間における接触集合の既約成分の間のナッシュ型対応を確立すること。
• ムスティアが得た弧理論的不変量に関する結果を、多重積分を用いない初等的証明で再構築すること。
• これらの結果を拡張し、乗数イデアルのジェット理論的解釈を与えること。
• モノミアルの場合におけるニュートン多面体を用いて、対数正則閾値および乗数イデアルを弧空間の構成によって特徴付けること。

提案手法

• 滑らかな多様体 $X$ 上の固定されたイデアル・バニティ $\mathfrak{a}$ に沿って、$\textnormal{Cont}^p(\mathfrak{a})$ を、$\mathfrak{a}$ に沿って $p$ 階で消える弧の集合として定義する。
• イデアル $\mathfrak{a}$ の対数解体 $\mu: X' \to X$ を用いて、単純な正則交差を持つ除数 $E = \sum E_i$ を持つ滑らかな多様体 $X'$ 上に問題を持ち上げる。
• $X'_\infty$ 上の多重接触集合 $\textnormal{Cont}^\nu(E)$ を導入し、各 $E_i$ に沿って指定された次数 $\nu_i$ を持つ弧を定義する。
• $\textnormal{Cont}^p(\mathfrak{a})$ が、$\sum \nu_i r_i = p$ を満たす $\nu$ でインデックス付けされた、$\mu_\infty$ によるこれらの多重接触集合の像の有限かつ互いに素な和集合に分解されることを証明する。
• 成分の余次元が相対正則除数 $K_{X'/X} = \sum k_i E_i$ に関連することを示し、余次元が $\sum \nu_i(k_i + 1)$ であることを示す。
• この分解を応用して、特にモノミアルの場合にニュートン多面体を用いて、乗数イデアルおよび対数正則閾値に関する結果を再確認・拡張する。

実験結果

リサーチクエスチョン

• RQ1 無限次元弧空間における接触集合 $\textnormal{Cont}^p(\mathfrak{a})$ の既約成分は、特異点の解体の幾何にどのように関係するか？
• RQ2 ムスティアの弧理論的不変量に関する結果は、多重積分を用いずに再現可能か？
• RQ3 乗数イデアルのジェット理論的解釈は、弧空間を用いてどのように記述できるか？
• RQ4 対数正則閾値は、弧空間の構成および接触集合を用いてどのように特徴付けられるか？
• RQ5 モノミアルイデアルの場合、ニュートン多面体を用いて対数正則特異点の明確な条件は何か？

主な発見

• $\textnormal{Cont}^p(\mathfrak{a})$ の既約成分は、$\sum \nu_i r_i = p$ を満たす多重指数 $\nu \in \mathbb{N}^t$ と一対一対応し、各成分は一意に $\mu_\infty(\textnormal{Cont}^\nu(E))$ の像として生じる。
• 各成分 $W \subset \textnormal{Cont}^p(\mathfrak{a})$ は、$X_\infty$ 内で余次元 $\sum \nu_i(k_i + 1)$ を持つ。ここで $k_i$ は相対正則除数の係数である。
• 対数正則閾値 $\textnormal{lct}(X,Y)$ は、$\textnormal{Cont}^p(\mathfrak{a})$ が非空となる最小の $p$ によって決定され、これは $\sum \nu_i r_i / \sum \nu_i(k_i + 1)$ の最小値に関連する。
• アフィン空間 $\mathbb{A}^d$ 上のモノミアルイデアルに関して、ペair $(X, \alpha Y - \beta Z)$ が対数正則であるための必要十分条件は、$\beta \cdot P_{\mathfrak{b}} + \mathbf{e} \subseteq \alpha \cdot P_{\mathfrak{a}}$ が成り立つことである。ここで $P_{\mathfrak{a}}$ はニュートン多面体を表す。
• モノミアルイデアルに対する乗数イデアル $\mathcal{I}(X, \alpha \cdot \mathfrak{a})$ は、$\mathbf{u} + \mathbf{e} \in \text{Int}(\alpha \cdot P_{\mathfrak{a}})$ を満たす単項式 $T^\mathbf{u}$ によって生成される。
• 乗数イデアルの弧理論的特徴付けは、$f \in \mathcal{I}(X, \lambda \cdot \mathfrak{a})$ であることと、$\lambda < \textnormal{lct}(X,Y;Z)$ が成り立つこと（$f$ によって定義される除数 $Z$ を用いて）が同値であるという条件と等価である。