[论文解读] Arithmetic and geometric deformations of $F$-pure and $F$-regular singularities

Kenta Sato, Shunsuke Takagi|arXiv (Cornell University)|Mar 5, 2021

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

一句话总结

本文在混合特征下建立了 $F$-纯与 $F$-正则奇点的算术与几何形变定理。证明了若一个平坦族的单个纤维具有 $F$-纯或强 $F$-正则奇点，则其一般纤维分别具有对数典范或 klt 奇点，即使不假设总空间为 $\rQ$-Gorenstein 亦成立。此结果解决了关于线性约化商奇点形变的一个猜想。

ABSTRACT

Given a normal $\mathbb{Q}$-Gorenstein complex variety $X$, we prove that if one spreads it out to a normal $\mathbb{Q}$-Gorenstein scheme $\mathcal{X}$ of mixed characteristic whose reduction $\mathcal{X}_p$ modulo $p$ has normal $F$-pure singularities for a single prime $p$, then $X$ has log canonical singularities. In addition, we show its analog for log terminal singularities, without assuming that $\mathcal{X}$ is $\mathbb{Q}$-Gorenstein, which is a generalization of a result of Ma-Schwede. We also prove that two-dimensional strongly $F$-regular singularities are stable under equal characteristic deformations. Our results give an affirmative answer to a conjecture of Liedtke-Martin-Matsumoto on deformations of linearly reductive quotient singularities.

研究动机与目标

• 将 Ma-Schwede 关于 $F$-正则奇点形变至 klt 奇点的结果，从 $\rQ$-Gorenstein 总空间推广至一般正规概形。
• 证明在不假设 $\rQ$-Gorenstein 的前提下，正特征中单个纤维的 $F$-纯奇点可推出一般纤维为对数典范奇点。
• 确立二维强 $F$-正则奇点在同特征形变下的稳定性。
• 为 Liedtke-Martin-Matsumoto 关于线性约化商奇点形变的猜想提供肯定回答。

提出的方法

• 将 BCM 测试理想从主理想推广至任意理想，将 Ma-Schwede 的框架扩展至非 $\rQ$-Gorenstein 设置。
• 利用推广后的 BCM 测试理想，将 Kawakita 关于对数典范形变的论证适配至非 $\rQ$-Gorenstein 情形。
• 应用 Esnault-Viehweg 型论证，证明从强 $F$-正则纤维可形变至 klt 奇点。
• 运用完美oid 技术与对偶理论，分析测试理想在基变换与 Frobenius 拉回下的行为。
• 通过 Frobenius 幂次构造模的滤子，并利用与基变换的相容性，证明测试理想的稳定性。
• 利用存在一个稠密开子集 $U \subseteq \operatorname{Spec} \mathbb{Z}[1/n]$，使得测试理想在完美点的基变换下可交换这一事实。

实验结果

研究问题

• RQ1 能否将 $F$-正则奇点形变至 klt 奇点的结果，从 $\rQ$-Gorenstein 设置推广至更一般情形？
• RQ2 在不假设 $\rQ$-Gorenstein 的前提下，若单个正特征纤维中存在 $F$-纯奇点，是否可推出一般纤维为对数典范奇点？
• RQ3 二维强 $F$-正则奇点在同特征形变下是否稳定？
• RQ4 能否通过 $F$-奇点技术确认 Liedtke-Martin-Matsumoto 关于线性约化商奇点形变的猜想？

主要发现

• 若对某个素数 $p$，纤维 $\mathcal{X}_p$ 在 $x_p$ 处为强 $F$-正则，则即使 $\mathcal{X}$ 不是 $\rQ$-Gorenstein，其一般纤维 $\mathcal{X}_\eta$ 在 $x_\eta$ 处仍为 klt。
• 若 $\mathcal{X}_p$ 在 $x_p$ 处为 $F$-纯，且 $\mathcal{X}$ 在 $x_p$ 处为 $\rQ$-Gorenstein，则 $\mathcal{X}_\eta$ 在 $x_\eta$ 处为对数典范，且仅需一个 $p$ 即可，无需无穷多个此类素数。
• 二维强 $F$-正则奇点在同特征形变下稳定，从而确认了 Liedtke-Martin-Matsumoto 猜想的关键情形。
• 推广后的 BCM 测试理想构造使得形变结果可延伸至非 $\rQ$-Gorenstein 总空间，从而拓宽了 $F$-奇点技术的应用范围。
• 测试理想与至完美点的基变换相容，确保形变结果在 $\operatorname{Spec} \mathbb{Z}[1/n]$ 的稠密开子集上成立，从而支持有效计算验证。
• 本研究提供了实用判别准则：仅需检查单个正特征纤维中是否存在强 $F$-正则性或 $F$-纯性，即可推断特征零下整体奇点类型。