[论文解读] The weak ordinarity conjecture and $F$-singularities

Bhargav Bhatt, Karl Schwede+1 more|arXiv (Cornell University)|Jul 14, 2013

Algebraic Geometry and Number Theory参考文献 24被引用 10

一句话总结

本文在正特征下建立了弱平凡猜想与模 p 约化下测试理想与乘子理想相等的猜想之间的深层等价性，将先前结果推广至奇异代数簇。此外，通过光滑超覆盖将 F-内射奇异点与杜博伊斯奇异点联系起来，表明它们在 Frobenius 作用于上同调时具有共同的定义，并证明弱平凡猜想蕴含所有具有 Q-除子和理想之正常代数簇的测试-乘子理想相等性。

ABSTRACT

Recently M. Mustata and V. Srinivas related a natural conjecture about the Frobenius action on the cohomology of the structure sheaf after reduction to characteristic $p > 0$ with another conjecture connecting multiplier ideals and test ideals. We generalize this relation to the case of singular ambient varieties. Additionally, we connect these results to a conjecture relating $F$-injective and Du Bois singularities. Finally, using an unpublished result of Gabber, we also show that $F$-injective and Du Bois singularities have a common definition in terms of smooth hypercovers.

研究动机与目标

• 将测试理想与乘子理想之间猜想性关系的适用范围从光滑代数簇推广至具有 Q-除子的奇异代数簇。
• 通过上同调性质，将弱平凡猜想与 F-内射奇异点和杜博伊斯奇异点联系起来。
• 证明 F-内射奇异点与杜博伊斯奇异点可通过光滑超覆盖与 Frobenius 作用共享同一定义。
• 证明弱平凡猜想蕴含在 Zariski 稠密的约化集合中，对所有 λ ≥ 0，测试理想与乘子理想相等。
• 提供一个概念性框架，通过超覆盖构造将 Hodge 理论（杜博伊斯）与 Frobenius 奇异点（F-内射）联系起来。

提出的方法

• 通过在有限生成的 Z-子代数上的模型，将特征零约化至正特征。
• 利用光滑超覆盖定义统一 F-内射与杜博伊斯奇异点的上同调不变量。
• 应用 Gabber 未发表结果，建立 F-内射与杜博伊斯奇异点的共同定义。
• 通过跳跃数与有限覆盖，将测试理想与乘子理想猜想约化为弱平凡猜想。
• 构造有限覆盖 Z → X，将乘子理想的跳跃数与正特征下的测试理想关联起来。
• 利用 Frobenius 作用在光滑射影代数簇的上同调上同调的双射性，控制不同约化下理想相等性。

实验结果

研究问题

• RQ1 弱平凡猜想是否蕴含在正特征约化下，对具有 Q-除子和理想的正常代数簇，测试理想与乘子理想相等？
• RQ2 测试理想与乘子理想之间的联系能否从光滑空间推广至奇异的环境空间？
• RQ3 F-内射奇异点与杜博伊斯奇异点是否可通过光滑超覆盖与 Frobenius 作用共享同一定义？
• RQ4 弱平凡猜想是否等价于所有杜博伊斯概形均具有稠密的 F-内射类型这一性质？
• RQ5 在弱平凡猜想下，特征零中的非 LC 理想是否可约化为正特征下的稳定基域理想？

主要发现

• 弱平凡猜想等价于在 Zariski 稠密的约化集合中，对所有 λ ≥ 0，测试理想与乘子理想相等的猜想。
• 本文证明了 F-内射与杜博伊斯奇异点通过光滑超覆盖和 Gabber 结果，由同一上同调条件定义。
• 在正特征约化下，测试理想等于乘子理想的猜想成立，当且仅当弱平凡猜想成立。
• 证明通过使用有限覆盖与跳跃数分析，避免了半稳定约化，将问题约化至光滑射影代数簇的上同调。
• 对每个跳跃数 λ_j ∈ [0,1]，存在一个光滑射影代数簇的有限集合，若 Frobenius 在其上同调上作用为双射，则在 λ_j 的邻域内理想相等性成立。
• 该结果将 Mustaţă–Srinivas 的主要定理推广至奇异代数簇，通过新的上同调技术消除了光滑性假设。