[论文解读] A note on discreteness of $F$-jumping numbers

Karl Schwede|arXiv (Cornell University)|Apr 8, 2010

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

一句话总结

该论文在 $K_X + \Delta$ 为 $\mathbb{R}$-Cartier 的条件下，证明了在特征 $p > 0$ 下测试理想 $F$-跳跃数的离散性，且无需要求 $\mathbb{Q}$-Gorenstein 指数与 $p$ 互素。证明利用了 Cartier 代数的度量有界性，并通过有限弗罗贝尼乌斯扭转将问题约化到 canonical divisor 为挠的局部图册上，结合现有的 $F$-邻接与测试理想理论，证明跳跃数集合无极限点。

ABSTRACT

Suppose that $R$ is a ring essentially of finite type over a perfect field of characteristic $p > 0$ and that $a \subseteq R$ is an ideal. We prove that the set of $F$-jumping numbers of $τ_b(R; a^t)$ has no limit points under the assumption that $R$ is normal and $Q$-Gorenstein -- we do \emph{not} assume that the $Q$-Gorenstein index is not divisible by $p$. Furthermore, we also show that the $F$-jumping numbers of $τ_b(R; Δ, a^t)$ are discrete under the more general assumption that $K_R + Δ$ is $\bR$-Cartier.

研究动机与目标

• 解决在 $\mathbb{Q}$-Gorenstein 指数被 $p$ 整除时，正特征下 $F$-跳跃数离散性的一个开放问题。
• 将已知的 $F$-跳跃数离散性与有理性的结果，从 $\mathbb{Q}$-Gorenstein 指数不被 $p$ 整除的情形推广至更一般的情形。
• 证明在较弱的假设 $K_X + \Delta$ 为 $\mathbb{R}$-Cartier 下，离散性依然成立，而无需要求 $\mathbb{Q}$-Gorenstein 条件。
• 阐明为何在 $\mathbb{Q}$-Gorenstein 指数被 $p$ 整除时，标准的有理性证明会失效。

提出的方法

• 通过有限覆盖构造，将问题约化到经过有限弗罗贝尼乌斯扭转后 $K_X + \Gamma$ 为挠的仿射图册上。
• 应用通过 $p^{-e}$-线性映射定义的大测试理想 $\tau_b(R; \Delta, \mathfrak{a}^t)$ 的理论，及其与弗罗贝尼乌斯拉回的相容性。
• 使用 Blickle (2009) 引入的 Cartier 代数的度量有界性概念，以控制测试理想的增长。
• 证明当 $(p^e - 1)(K_X + \Gamma) \sim 0$ 时，与三元组 $(R, \Gamma, f_1^{b_1} \cdots f_m^{b_m})$ 关联的 Cartier 代数是度量有界的，利用 Cartier 代数的有限生成性。
• 应用 [Blickle, 2009, 定理 4.14]，从度量有界性推出 $F$-跳跃数的离散性。
• 通过 Weil 除子的扰动技术，将一般的 $\mathbb{R}$-Cartier 对约化为适合有界性论证的标准形式。

实验结果

研究问题

• RQ1 当 $R$ 为 $\mathbb{Q}$-Gorenstein 且其指数被 $p$ 整除时，$\tau_b(R; \Delta, \mathfrak{a}^t)$ 的 $F$-跳跃数集合是否无极限点？
• RQ2 能否在较弱的假设 $K_X + \Delta$ 为 $\mathbb{R}$-Cartier 而非 $\mathbb{Q}$-Gorenstein 下，建立 $F$-跳跃数的离散性？
• RQ3 为何当 $\mathbb{Q}$-Gorenstein 指数被 $p$ 整除时，标准的 $F$-跳跃数有理性证明会失效？
• RQ4 在一般 $\mathbb{R}$-Cartier 情形下，Cartier 代数的度量有界性是否足以保证 $F$-跳跃数的离散性？

主要发现

• 当 $R$ 为一个 $F$-有限域上本质上有限型的正常域，且 $K_X + \Delta$ 为 $\mathbb{R}$-Cartier 时，$\tau_b(R; \Delta, \mathfrak{a}^t)$ 的 $F$-跳跃数集合无极限点。
• 即使 $\mathbb{Q}$-Gorenstein 指数被 $p$ 整除，离散性依然成立，解决了 [BSTZ10] 中的关键开放情形。
• 当 $(p^e - 1)(K_X + \Gamma) \sim 0$ 时，与三元组 $(R, \Gamma, f_1^{b_1} \cdots f_m^{b_m})$ 关联的 Cartier 代数是度量有界的，从而可应用有界性定理。
• $\tau_b(R; \Delta, \mathfrak{a}^t)$ 的 $F$-跳跃数在适当的有限覆盖后，与 $\tau_b(U; \Delta|_U, (\mathfrak{a}R')^t)$ 的 $F$-跳跃数一致，从而可约化到局部图册。
• 标准的有理性结果（即 $p^e t_0$ 为 $F$-跳跃数）在 $\mathbb{Q}$-Gorenstein 指数被 $p$ 整除时会失效，反例显示跳跃数为 $\frac{kp - 1}{p}$。
• 利用度量有界性的证明方法提供了一个稳健的框架，可在缺乏有理性时证明离散性，暗示离散性可能比有理性具有更广泛的有效性。