[论文解读] Irrational Hilbert-Kunz multiplicities

Holger Brenner|arXiv (Cornell University)|May 25, 2013

Algebraic Geometry and Number Theory参考文献 40被引用 15

一句话总结

本文通过利用射影代数簇上向量丛上同调的弗罗贝尼乌斯渐近性，证明了在有限域上存在三维四次超曲面域及阿廷ian模，其希尔伯特-库尼茨多重性为无理数。通过将希尔伯特-库尼茨理论与线丛及内鲁-塞弗雷群的几何联系起来，作者证明了在局部诺特域中可能出现无理希尔伯特-库尼茨多重性，从而否定了蒙斯基因长期存在的猜想。

ABSTRACT

We interpret Hilbert-Kunz theory of a graded ring of positive characteristic in terms of Frobenius asymptotic of cohomology of vector bundles on projective varieties. With this method we show that for almost all prime numbers there exist three-dimensional quartic hypersurface domains and modules of finite length with irrational Hilbert-Kunz multiplicity. From this we deduce that also the Hilbert-Kunz multiplicity of a local noetherian domain might be an irrational number.

研究动机与目标

• 为解决 P. 蒙斯基因猜想——即希尔伯特-库尼茨多重性在局部域中可能为无理数。
• 通过上同调与几何方法，将希尔伯特-库尼茨理论拓展至二维格次环之外。
• 证明无理多重性源于向量丛上弗罗贝尼乌斯拉回的渐近行为。
• 利用 K3 曲面几何与内鲁-塞弗雷锥构造出具有无理希尔伯特-库尼茨多重性的局部域的显式例子。

提出的方法

• 将希尔伯特-库尼茨多重性映射为射影代数簇上弗罗贝尼乌斯拉回下的层上同调维数的极限。
• 利用内鲁-塞弗雷群及其实线性化分析线丛的交点行为。
• 应用充分类与有效类锥的凸几何性质，检测上同调极限中的无理边界。
• 从具有孤立奇点的 P^3 中的超曲面构造一个格次环，并分析其弗罗贝尼乌斯渐近性。
• 通过谱序列论证，将问题约化为对余挠丛及其弗罗贝尼乌斯拉回的上同调。
• 利用 K3 曲面及无理内鲁-塞弗雷群实现实现的结果，生成无理上同调极限。

实验结果

研究问题

• RQ1 局部诺特域的希尔伯特-库尼茨多重性是否可能为无理数？
• RQ2 无理多重性是否出现在三维格次环或正特征域上的阿廷ian模中？
• RQ3 线丛的几何及其弗罗贝尼乌斯拉回是否可在高维中产生无理上同调极限？
• RQ4 内鲁-塞弗雷锥中的无理边界与无理希尔伯特-库尼茨多重性之间是否存在联系？
• RQ5 射影代数簇上向量丛的弗罗贝尼乌斯渐近性是否可产生无理希尔伯特-库尼茨多重性？

主要发现

• 本文构造了一个在有限域上的三维四次超曲面域，其希尔伯特-库尼茨多重性为无理数。
• 证明了在该环上存在一个阿廷ian模，其希尔伯特-库尼茨多重性为无理数。
• 无理性源于 K3 曲面上一个顶端余挠丛的弗罗贝尼乌斯拉回的渐近上同调。
• 作者证明了局部诺特域的希尔伯特-库尼茨多重性可以是无理数，从而否定了蒙斯基因的猜想。
• 该构造依赖于 K3 曲面内鲁-塞弗雷群中的无理边界，通过一个无泽尔基分解的除子实现。
• 通过完成与商构造将问题约化为局部域，且希尔伯特-库尼茨多重性在有理数缩放下保持不变。