[论文解读] Contact loci in arc spaces

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

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

一句话总结

本文建立了弧空间中接触点集的不可约分支与子概形的对数型解消中例外除子之间的纳什型对应关系，表明这些分支源自解消上的多接触点集。文章提供了关于乘子理想及奇点的喷射理论解释结果的初等证明，且不依赖于 motivic 积分。

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.

研究动机与目标

• 建立弧空间中接触点集的不可约分支与子概形对数型解消中例外除子之间的纳什型对应关系。
• 为 Mustaća 关于奇点弧理论不变量的结果提供一种初等的、不依赖 motivic 积分的证明。
• 将这些结果推广，以提供乘子理想在喷射理论意义上的解释。
• 通过弧空间构造和单项式情形下的牛顿多面体，刻画对数极小阈值和乘子理想。

提出的方法

• 将接触点集 $\textnormal{Cont}^p(\mathfrak{a})$ 定义为在光滑概形 $X$ 上沿固定理想层 $\mathfrak{a}$ 的阶数为 $p$ 的弧的集合。
• 利用 $\mathfrak{a}$ 的对数型解消 $\mu: X' \to X$，将问题提升到一个具有简单交叉法线除子 $E = \sum E_i$ 的光滑概形上。
• 在 $X'_\infty$ 上引入多接触点集 $\textnormal{Cont}^\nu(E)$，其中弧在每个 $E_i$ 上具有指定阶数 $\nu_i$。
• 证明 $\textnormal{Cont}^p(\mathfrak{a})$ 可分解为在 $\mu_\infty$ 下的此类多接触点集的像的有限不交并，索引为满足 $\sum \nu_i r_i = p$ 的 $\nu$。
• 将分支的余维数与相对 canonical 除子 $K_{X'/X} = \sum k_i E_i$ 关联，表明余维数为 $\sum \nu_i(k_i + 1)$。
• 应用该分解以恢复并扩展关于乘子理想和对数极小阈值的结果，尤其在使用牛顿多面体的单项式情形下。

实验结果

研究问题

• RQ1 弧空间中接触点集 $\textnormal{Cont}^p(\mathfrak{a})$ 的不可约分支如何与奇点解消的几何结构相关？
• RQ2 是否可以在不使用 motivic 积分的情况下恢复 Mustaća 关于弧理论不变量的结果？
• 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$ 为相对 canonical 除子的系数。
• 对数极小阈值 $\textnormal{lct}(X,Y)$ 由满足 $\textnormal{Cont}^p(\mathfrak{a})$ 非空的最小 $p$ 确定，且该值与 $\sum \nu_i r_i / \sum \nu_i(k_i + 1)$ 的最小值相关。
• 对于 $\mathbb{A}^d$ 中的单项式理想，当且仅当 $\beta \cdot P_{\mathfrak{b}} + \mathbf{e} \subseteq \alpha \cdot P_{\mathfrak{a}}$ 时，对偶 $(X, \alpha Y - \beta Z)$ 是对数极小的，其中 $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}$ 生成。
• 乘子理想的弧理论刻画等价于：当且仅当 $\lambda < \textnormal{lct}(X,Y;Z)$ 时，$f \in \mathcal{I}(X, \lambda \cdot \mathfrak{a})$，其中 $Z$ 是由 $f$ 定义的除子。