[论文解读] Hilbert-Kunz density function and Hilbert-Kunz multiplicity

V. Trivedi|arXiv (Cornell University)|Oct 12, 2015

Functional Equations Stability Results参考文献 8被引用 4

一句话总结

本文引入了希尔伯特-昆伦密度函数（HKd）作为正特征下分次环与模的新不变量，通过积分公式将其与希尔伯特-昆伦重数联系起来。证明了HKd在塞格雷积下具有可加性与可乘性，从而得出关键结论：任意有限个射影曲线的塞格雷积的希尔伯特-昆伦重数均为有理数。

ABSTRACT

For a pair $(M, I)$, where $M$ is finitely generated graded module over a standard graded ring $R$ of dimension $d$, and $I$ is a graded ideal with $\ell(R/I) < \infty$, we introduce a new invariant $HKd(M, I)$ called the {\em Hilbert-Kunz density function}. In Theorem 1.1, we relate this to the Hilbert-Kunz multiplicity $e_{HK}(M,I)$ by an integral formula. We prove that the Hilbert-Kunz density function is additive. Moreover it satisfies a multiplicative formula for a Segre product of rings. This gives a formula for $e_{HK}$ of the Segre product of rings in terms of the HKd of the rings involved. As a corollary, $e_{HK}$ of the Segre product of any finite number of Projective curves is a rational number. As an another application we see that $e_{HK}(R, {\bf m}^k) - e(R, {\bf m}^k)/d!$ grows at least as a fixed positive multiple of $k^{d-1}$ as $k o \infty$.

研究动机与目标

• 为正特征分次环中配对 (M, I) 定义新不变量希尔伯特-昆伦密度函数（HKd）。
• 通过积分公式将HKd与希尔伯特-昆伦重数 e_HK 联系起来。
• 在环的塞格雷积下建立HKd的可加性与可乘性公式。
• 证明任意有限个射影曲线的塞格雷积的希尔伯特-昆伦重数为有理数。
• 表明HKd编码了内在不变量，如哈德勒-纳拉西姆汉斜率与余挠丛的秩。

提出的方法

• 将 HKd(M, I)(x) 定义为分段线性函数 g_n(x) = (1/q^{d-1}) ℓ(M / I^{[q]}M)_{⌊xq⌋} 的逐点极限，其中 q = p^n。
• 利用分次模与弗罗贝尼乌斯幂的性质，证明 {g_n} 一致收敛于一个紧支集的连续函数 f(x) = HKd(M, I)(x)。
• 建立积分公式 e_HK(M, I) = ∫ℝ f(x) dx，将HKd与标准希尔伯特-昆伦重数联系起来。
• 推导塞格雷积下的可乘性公式：HKd(R#S, I#J)(x) = [e₀(R)/(d₁−1)!]x^{d₁−1}g(x) + [e₀(S)/(d₂−1)!]x^{d₂−1}f(x) − f(x)g(x)，其中 f = HKd(R,I)，g = HKd(S,J)。
• 利用可乘性公式，将塞格雷积的 e_HK 用因子的HKd函数表示。
• 显式计算射影空间与非奇异射影曲线的HKd，表明其为具有有理系数的分段线性多项式，且在归一化的 HN 斜率处有奇点。

实验结果

研究问题

• RQ1 能否定义一个新不变量，以函数化、连续化形式捕捉希尔伯特-昆伦重数？
• RQ2 希尔伯特-昆伦密度函数在分次环的塞格雷积下如何表现？
• RQ3 射影曲线的塞格雷积的希尔伯特-昆伦重数是否恒为有理数？
• RQ4 能否从希尔伯特-昆伦密度函数中恢复曲线的哈德勒-纳拉西姆汉数据？
• RQ5 HKd 函数是否满足类似于 e_HK 的可加性的可乘性性质？

主要发现

• 希尔伯特-昆伦密度函数 HKd(M, I) 是一个具有有理系数的紧支集、连续、分段线性函数，且为分段线性逼近的一致极限。
• 希尔伯特-昆伦重数 e_HK(M, I) 等于 HKd(M, I) 在 ℝ 上的积分，从而为 e_HK 提供了函数表示。
• HKd 具有可加性：若 M = M₁ ⊕ M₂，则 HKd(M, I) = HKd(M₁, I) + HKd(M₂, I)。
• 对于塞格雷积，HKd(R#S, I#J) 满足一个涉及希尔伯特-萨穆埃尔重数 e₀(R)、e₀(S) 以及个体 HKd 函数 f、g 的可乘性公式。
• 任意有限个射影曲线的塞格雷积的希尔伯特-昆伦重数为有理数，此结论由推论 3.5 得出。
• 对于度数为 d、HN 数据为 (d, {r_i}, {a_i}) 的非奇异射影曲线，HKd 函数在 {1 − a_i/d} 处有奇点，且秩 {r_i} 与斜率 {a_i} 可从 HKd 中恢复。