[论文解读] On the F-purity of isolated log canonical singularities

Osamu Fujino, Shunsuke Takagi|arXiv (Cornell University)|Dec 11, 2011

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

一句话总结

该论文证明了三维孤立对数 canonical 奇点满足 μ(x ∈ X) ≤ 2 时属于稠密 F-纯类型，从而证明了特征零下对数典范性与 F-纯性之间联系的猜想中的关键情形。通过极小模型程序与上同调对偶性，该研究将问题归约为验证 Frobenius 作用在上同调群上的双射性，而这一性质在 μ ≤ 2 时由有理奇点与 Frobenius 作用的已知结果所保证。

ABSTRACT

A singularity in characteristic zero is said to be of dense F-pure type if its modulo p reduction is locally F-split for infinitely many p. We prove that if $x \in X$ is an isolated log canonical singularity with $μ(x \in X) \le 2$ (see Definition 1.4 for the definition of the invariant $μ$), then it is of dense F-pure type. As a corollary, we prove the equivalence of log canonicity and being of dense F-pure type in the case of three-dimensional isolated singularities.

研究动机与目标

• 证明当 μ(x ∈ X) ≤ 2 时，孤立对数 canonical 奇点属于稠密 F-纯类型。
• 建立三维 Q-Gorenstein 奇点情形下对数典范性与稠密 F-纯性之间的等价性。
• 通过将猜想 A₃ 归约为已知的猜想 B₂ 情形，予以验证。

提出的方法

• 使用带缩放的极小模型程序来解析奇点并分析例外除子 E 的结构。
• 将不变量 μ(x ∈ X) 定义为映射到奇点的例外除子中各分支的最小维数。
• 应用 Matlis 对偶性，将模 p 约化下的 F-纯性与局部上同调上 Frobenius 映射的单射性联系起来。
• 将上层局部上同调模的 socle 识别为 H^μ(V, O_V)，其中 V 是维数为 μ 的极小分支。
• 将问题归约为验证对无穷多个 p，Frobenius 在 H^μ(V_p, O_{V_p}) 上的作用为双射。
• 依赖于 μ ≤ 2 时的已知结果（即猜想 B₂）以得出此类奇点具有稠密 F-纯性的结论。

实验结果

研究问题

• RQ1 每个孤立对数 canonical 奇点是否都属于稠密 F-纯类型？
• RQ2 在三维 Q-Gorenstein 情形下，对数典范性是否蕴含稠密 F-纯性？
• RQ3 能否证明对极小分支的上同调群，Frobenius 作用在无穷多个素数下为双射？
• RQ4 不变量 μ(x ∈ X) 是否控制奇点的 F-纯性行为？
• RQ5 猜想 A₃ 是否与猜想 B₂ 等价？

主要发现

• 主要定理证明：若 μ(x ∈ X) ≤ 2，则 x ∈ X 属于稠密 F-纯类型。
• 对于三维 Q-Gorenstein 奇点，对数典范性与属于稠密 F-纯类型等价。
• 当 μ ≤ 2 时，Frobenius 作用在 H^μ(V_p, O_{V_p}) 上对无穷多个 p 为双射。
• 通过 Mayer–Vietoris 序列，局部上同调模 H^n_x(O_X) 的 socle 同构于 H^μ(V, O_V)。
• 建立了猜想 A₃ 与猜想 B₂ 的等价性，且已知 B₂ 成立。
• 不变量 μ(x ∈ X) 定义良好，且与解析选择无关。