[论文解读] Multiple point spaces of finite holomorphic maps

J. J. Nuño‐Ballesteros, Guillermo Peñafort Sanchis|arXiv (Cornell University)|Sep 16, 2015

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

一句话总结

本文为有限全纯映射 $f: X \to Y$ 引入了第 $k$ 个多重点空间 $D^k(f)$ 的一种独特且变形不变的定义，证明当 $k=2$ 且为余维一奇点时，该定义与 Mond 的构造一致。关键结果表明，在维数与余维条件满足下，$D^2(f)$ 等于列理想 $(f \times f)^*\mathscr{I}_{\Delta(Y)} : \mathscr{I}_{\Delta(X)}$ 的零点集，从而保证了其良好的几何与代数性质。

ABSTRACT

We show that there exists a unique possible definition, with certain natural properties, of the multiple point space of a holomorphic map between complex manifolds. Our construction coincides with the double point space and the k-th multiple point space for corank one map-germs, due to Mond. We also give some interesting properties of the double point space and prove that in many cases it can be computed as the zero locus of certain quotient of ideals.

研究动机与目标

• 解决有限全纯映射在形变下现有多重点空间定义不一致的问题。
• 建立 $D^k(f)$ 的唯一、规范构造，使其在形变下稳定，并在 $f$ 稳定时能恢复严格 $k$-重点。
• 刻画双点空间 $D^2(f)$ 可作为特定列理想零点集计算的条件。
• 分析 $D^2(f)$ 的几何性质，包括光滑性、Cohen-Macaulay 性、约化性与正规性。
• 证明所提出的 $D^k(f)$ 构造在 $k=2$ 且为余维一奇点时与 Mond 的构造一致。

提出的方法

• 将 $D^k(f)$ 定义为满足 $f(x^{(i)}) = f(x^{(j)})$ 且对所有 $i \neq j$ 有 $x^{(i)} \neq x^{(j)}$ 的严格 $k$-元组 $(x^{(1)}, \dots, x^{(k)}) \in X^k$ 的闭包。
• 利用 Gaffney 的框架，确保该构造在 $f$ 的展开（形变）下表现良好。
• 证明 $D^k(f)$ 是唯一满足稳定性与变形不变性的此类构造。
• 在 $\dim D^2(f) = 2n - p$ 且余维 $\geq 2$ 的奇点集维数小于 $2n - p$ 的条件下，证明 $D^2(f) = V\big((f \times f)^*\mathscr{I}_{\Delta(Y)} : \mathscr{I}_{\Delta(X)}\big)$。
• 通过消去子与关联素理想分析 $\mathscr{I}^2(f)$ 与 $\mathscr{H}^2(f)$ 之间的层论差异，证明在维数与奇点条件满足下理想相等。
• 应用 Mather-Gaffney 判别法将问题约化至稳定芽，并利用等维性结论得出理想相等。

实验结果

研究问题

• RQ1 是否存在一种唯一定义的第 $k$ 个多重点空间 $D^k(f)$，使其对有限全纯映射既稳定又变形不变？
• RQ2 在何种条件下，双点空间 $D^2(f)$ 与列理想 $(f \times f)^*\mathscr{I}_{\Delta(Y)} : \mathscr{I}_{\Delta(X)}$ 的零点集重合？
• RQ3 双点空间 $D^2(f)$ 的几何性质（如光滑性、Cohen-Macaulay 性、约化性与正规性）如何与 $f$ 的奇点相关？
• RQ4 所提出的 $D^k(f)$ 构造在 $k=2$ 且为余维一奇点时是否与 Mond 的定义一致？
• RQ5 在维数与奇点约束下，能否证明理想 $\mathscr{I}^2(f)$ 等于 $\mathscr{H}^2(f)$？

主要发现

• 所提出的 $D^k(f)$ 是唯一既为稳定时严格 $k$-重点的闭包，又在形变下表现良好的构造。
• 当 $\dim D^2(f) = 2n - p$ 且余维 $\geq 2$ 的奇点集维数小于 $2n - p$ 时，双点空间 $D^2(f)$ 同构于 $V\big((f \times f)^*\mathscr{I}_{\Delta(Y)} : \mathscr{I}_{\Delta(X)}\big)$。
• 当 $p = n$ 时，有 $\mathscr{I}^2(f) = \mathscr{H}^2(f)$，故 $D^2(f)$ 是约化且等维的。
• 当 $p = n+1$ 且 $f$ 几乎处处单射时，有 $\mathscr{I}^2(f) = \mathscr{H}^2(f)$，意味着 $D^2(f)$ 是约化且等维的。
• 若 $f$ 稳定，则 $\mathscr{I}^2(f) = \mathscr{H}^2(f)$，故 $D^2(f)$ 是约化且等维的，维数为 $2n - p$。
• 对于满足 $p < 2n$ 的有限确定芽，有 $\mathscr{I}^2(f) = \mathscr{H}^2(f)$，且两个理想均为约化理想，$D^2(f)$ 为 Cohen-Macaulay 且等维的。