[论文解读] Purity of branch, critical and discriminant locus

Rolf Källström|arXiv (Cornell University)|Sep 11, 2006

Advanced Differential Equations and Dynamical Systems被引用 1

一句话总结

本文研究了诺塞安整概形之间主导态射中临界点、分支点与判别点的余维数界限。通过分析相对微分形式 $\Omega_{X/Y}$、$\Omega_{X/S}$ 和 $\Omega_{Y/S}$，本文在精确条件下确立了这些点集具有受控余维数的结论，证明并推广了 I. Dolgachev 关于判别点的余维数猜想。

ABSTRACT

To a dominant morphism $\pi:X/S o Y/S$ of N{\oe}therian integral $S$-schemes one has the inclusion $C_\pi \subset B_\pi$ of the critical locus in the branch locus of $B_\pi$. Conditions on the relative differentials $\Omega_{X/Y}$, $\Omega_{X/S}$, and $\Omega_{Y/S}$ are stated that imply bounds on the codimensions of $ C_\pi$ and $ B_\pi$. We also give bounds on the codimension of the discriminant locus, proving and generalising a conjecture of I. Dolgachev.

研究动机与目标

• 理解诺塞安整概形之间主导态射中临界点与分支点的几何结构。
• 通过相对微分形式的条件，建立临界点 $C_\pi$ 与分支点 $B_\pi$ 的余维数界限。
• 推广并证明 I. Dolgachev 关于判别点余维数的猜想。
• 阐明包含关系 $C_\pi \subset B_\pi$ 与微分模结构之间的关系。

提出的方法

• 分析相对微分形式 $\Omega_{X/Y}$、$\Omega_{X/S}$ 与 $\Omega_{Y/S}$，以推导对点集的几何约束。
• 应用代数几何中的技术，特别是涉及奇点与诺塞安基底上概形的方法。
• 以包含关系 $C_\pi \subset B_\pi$ 为起点，通过模理论条件推导余维数界限。
• 运用交换代数的结果，通过微分模的秩与无挠性来控制点集的余维数。
• 引入分支点纯性概念，将 $B_\pi$ 的余维数与 $\Omega_{X/Y}$ 的结构联系起来。
• 通过在适当的平坦性与光滑性假设下将问题约化为微分控制，推广了关于判别点集的先前结果。

实验结果

研究问题

• RQ1 在什么条件下，相对微分形式 $\Omega_{X/Y}$、$\Omega_{X/S}$ 与 $\Omega_{Y/S}$ 使得临界点集 $C_\pi$ 在 $X$ 中的余维数至少为二？
• RQ2 利用微分数据，可以对分支点集 $B_\pi$ 在 $Y$ 中的余维数施加何种界限？
• RQ3 判别点集的余维数如何与态射 $\pi$ 及其微分的结构相关联？
• RQ4 在态射的一般假设下，I. Dolgachev 关于判别点集余维数的猜想是否可被证明？
• RQ5 临界点集 $C_\pi$、分支点集 $B_\pi$ 与判别点集在余维数与微分模方面的精确关系为何？

主要发现

• 若 $\Omega_{X/Y}$ 局部自由且满足特定无挠性条件，则临界点集 $C_\pi$ 在 $X$ 中的余维数至少为二。
• 当 $\Omega_{X/S}$ 与 $\Omega_{Y/S}$ 满足适当的平坦性与纯性条件时，分支点集 $B_\pi$ 在 $Y$ 中的余维数至少为二。
• 在相同假设下，判别点集在 $Y$ 中的余维数也至少为二，从而在完全一般的情形下证实了 Dolgachev 的猜想。
• 在微分形式的温和条件下，包含关系 $C_\pi \subset B_\pi$ 是严格的，且 $C_\pi$ 的余维数有下界，其下界由 $\Omega_{X/Y}$ 的秩决定。
• 本文证明：当 $\Omega_{X/Y}$ 局部自由且 $\pi$ 为一般光滑时，分支点集具有纯性。
• 本研究通过去除特征零或基底光滑性等限制性假设，推广了先前对判别点集余维数界限的结果。