[论文解读] A Jacobian criterion for nonsingularity in mixed characteristic

Melvin Hochster, Jack Jeffries|arXiv (Cornell University)|Jun 3, 2021

Advanced Differential Equations and Dynamical Systems参考文献 9被引用 4

一句话总结

本文通过引入结合偏导数与 $p$-导数的矩阵，建立了混合特征条件下非奇异性的雅可比准则，使能够在混合特征的完备局部环上的代数中识别奇点集。关键贡献在于提出了一种基于新模——通用遍导模 $\widetilde{\Omega}_{R|\mathbb{Z}}$ 的自由性之正则性准则，该准则将经典雅可比条件推广至混合特征情形，且无需假设剩余域的 F-有限性。

ABSTRACT

We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed characteristic discrete valuation ring. The result makes use of the minors of a matrix that includes a row coming from the values of a $p$-derivation. To study the analogue of modules of differentials associated with the mixed Jacobian matrices that arise in our context, we introduce and investigate the notion of a perivation, which may be thought of, roughly, as a linearization of the notion of $p$-derivation. We also develop a mixed characteristic analogue of the positive characteristic $Γ$-construction, and apply this to give additional nonsingularity criteria.

研究动机与目标

• 将经典的非奇异性雅可比准则推广至混合特征环，其中由于正规性与光滑性不再等价，标准的光滑性方法失效。
• 解决在混合特征离散赋值环上代数的奇点检测挑战，特别是当剩余域非 F-有限时。
• 构建一种新的代数框架——遍导与通用遍导模，以捕捉混合特征下的微分类似行为。
• 构造正特征 $\Gamma$-构造的混合特征类比，称为 $\widetilde{\Gamma}$-构造，以消除正则性准则中的 F-有限性假设。

提出的方法

• 引入遍导的概念，作为 $p$-导数的线性化，推广混合特征下的导数与 $p$-导数。
• 将通用遍导模 $\widetilde{\Omega}_{R|A}$ 定义为结合 $p$-导数与偏导数的 $p$ 次幂的矩阵的余核。
• 构造 $\widetilde{\Gamma}$-构造，作为 $\Gamma$-构造在混合特征下的类比，通过提升 $p$-基来扩展代数，保持正则性并与基变换交换。
• 利用 $\widetilde{\Gamma}$-构造，通过对 $p$-基的余有限子集取直接极限，将正则性准则提升至剩余域非 F-有限的环。
• 将 $\widetilde{\Gamma}$-构造应用于将问题约化至剩余域为 F-有限的情形，从而可应用遍导模准则。
• 建立 $R$ 与 $R^{\widetilde{\Gamma}}$ 奇点集之间的对应关系，确保该构造保持正则性。

实验结果

研究问题

• RQ1 如何将经典的非奇异性雅可比准则推广至混合特征离散赋值环上的代数，其中光滑性不蕴含正规性？
• RQ2 $p$-导数在刻画混合特征下奇点中的作用是什么？如何将其整合进微分模框架？
• RQ3 能否发展出 $\Gamma$-构造的混合特征类比，以消除正则性准则中的 F-有限性假设？
• RQ4 通用遍导模 $\widetilde{\Omega}_{R|\mathbb{Z}}$ 与等特征情形下的 Kähler 微分模有何关系？
• RQ5 在何种条件下，$\widetilde{\Omega}_{R^{\widetilde{\Gamma}}|\mathbb{Z}}$ 的自由性等价于 $R$ 的正则性？

主要发现

• 在混合特征下，对完备 $V$-代数上本质有限型的局部环 $R$，其奇点集由结合 $p$-导数与偏导数的 $p$ 次幂的矩阵的 $h \times h$ 子式的消失所刻画。
• 通用遍导模 $\widetilde{\Omega}_{R|\mathbb{Z}}$ 定义为包含 $p$-导数与偏导数的 $p$ 次幂的雅可比型矩阵的余核，推广了 Kähler 微分模。
• 对于满足 $p \in \mathfrak{m}$ 的局部环 $R$，当剩余域为 F-有限时，$R$ 正则当且仅当 $\widetilde{\Omega}_{R|\mathbb{Z}}$ 是秩为 $\dim(R) + \log_p[k:k^p]$ 的自由模。
• $\widetilde{\Gamma}$-构造提供了一个纯不可分的、忠实平坦的扩张 $R^{\widetilde{\Gamma}}$，保持奇点集，并可消除 F-有限性假设。
• 对于任意足够小的余有限子集 $\widetilde{\Gamma} \subseteq \widetilde{\Lambda}$，即使剩余域非 F-有限，$R$ 正则当且仅当 $\widetilde{\Omega}_{R^{\widetilde{\Gamma}}|\mathbb{Z}}$ 是秩为 $\dim(R) + \log_p[k(R^{\widetilde{\Gamma}}):k(R^{\widetilde{\Gamma}})^p]$ 的自由模。
• 该构造确保 $R$ 与 $R^{\widetilde{\Gamma}}$ 在 $p$ 上的纤维上具有相同的正则集，且该准则在对具有完备理想之局部 $V$-代数的基变换下保持不变。