[论文解读] A Generalization of Fulton-MacPherson Configuration Spaces

Bumsig Kim, Fumitoshi Sato|ArXiv.org|Jun 24, 2008

Advanced Numerical Analysis Techniques参考文献 5被引用 7

一句话总结

本文提出了一类在非奇异代数簇 $ X $ 中 $ n $ 个不同标记点的配置空间的广义美妙紧化，其中排除了一个非奇异子簇 $ D $。通过迭代地对角线和子簇 $ D_{c,S} $（即标记为 $ S $ 的点位于分量 $ D_c $ 上的点集）进行爆破，作者构造了 $ X_D^{[n]} $ 和 $ X_D[n] $，并证明两者均为非奇异空间，且边界除子横截相交，当 $ D = \emptyset $ 时推广了 Fulton-MacPherson 空间。该构造提供了稳定退化的普遍族，对相对映射的模空间研究至关重要。

ABSTRACT

Presented is a wonderful compactification of n distinct labeled points in X away from D, where X is a nonsingular variety and D is a nonsingular proper subvariety. When D is empty, it is the Fulton-MacPherson configuration space.

研究动机与目标

• 构造 $ X_D^{[n]} $，即 $ X \setminus D $ 中 $ n $ 个标记点的紧化，其中点不允许趋近 $ D $。
• 构造 $ X_D[n] $，即 $ X \setminus D $ 中 $ n $ 个不同标记点的紧化，其中点不允许碰撞或趋近 $ D $。
• 通过引入除子 $ D $，推广 Fulton-MacPherson 配置空间，将其结构扩展至相对情形。
• 证明 $ X_D^{[n]} $ 和 $ X_D[n] $ 均为非奇异空间，且边界除子横截相交，并定义稳定退化的普遍族。

提出的方法

• 将 $ X_D^{[n]} $ 定义为 $ X^n $ 与沿 $ D_{c,S} $（即标记集合 $ S $ 的点位于分量 $ D_c $ 上的点集）的迭代爆破的乘积中的闭包。
• 将 $ X_D[n] $ 定义为 $ X_D^{[n]} $ 与沿 $ \widetilde{\Delta}_I $（$ |I| \geq 2 $ 时的对角线的严格升维）的爆破的乘积中的闭包。
• 按特定顺序进行迭代爆破：先沿 $ D_{c,S} $，再沿 $ \widetilde{\Delta}_I $，以确保边界除子的横截性。
• 应用 L. Li 的美妙紧化的一般理论，证明边界分量的非奇异性和横截性。
• 利用索引集 $ S_i $ 和 $ I_j $ 的嵌套集合族来刻画边界除子非空相交的条件。
• 利用 $ X_D^{[n]+} \to X_D^{[n]} $ 和 $ X_D[n]^+ \to X_D[n] $ 的普遍族，描述 $ X $ 在标记点下的稳定退化。

实验结果

研究问题

• RQ1 如何构造 $ X \setminus D $ 中 $ n $ 个标记点的配置空间的紧化，使得点被禁止趋近 $ D $？
• RQ2 在什么条件下可保证紧化空间的边界除子横截相交？
• RQ3 当 $ D = \emptyset $ 时，该构造如何推广 Fulton-MacPherson 空间？
• RQ4 在 $ X_D[n] $ 上的普遍族的几何结构是什么？它如何参数化稳定退化？
• RQ5 能否利用 $ X_D[n]^+ $ 的纤维构造稳定相对映射的模空间？

主要发现

• 空间 $ X_D^{[n]} $ 是非奇异的，具有 $ X $ 的稳定退化的普遍平坦族，其中 $ n $ 个标记点远离 $ D $。
• $ X_D^{[n]} $ 的边界是除子 $ \widetilde{D}_{c,S} $ 的并集，其相交横截当且仅当对应的索引集嵌套。
• 空间 $ X_D[n] $ 是非奇异的，具有普遍族 $ X_D[n]^+ \to X_D[n] $，参数化 $ n $ 个不同标记点远离 $ D $ 的稳定退化。
• $ X_D[n] $ 的边界由除子 $ \widetilde{D}_{c,S} $ 和 $ \widetilde{\Delta}_I $ 构成，其相交非空且横截当且仅当整个集合族是嵌套的。
• 当 $ D = \emptyset $ 时，$ X_D[n] $ 恢复经典 Fulton-MacPherson 紧化 $ X[n] $。
• 该构造为研究稳定相对映射和稳定（非）分歧映射提供了自然框架，并在模理论中有应用。