[论文解读] On resurgence via asymptotic resurgence

Michael DiPasquale, Ben Drabkin|arXiv (Cornell University)|Mar 16, 2020

Commutative Algebra and Its Applications参考文献 28被引用 6

一句话总结

本文证明了具有诺特性符号Rees代数的理想具有有理重聚性，并基于单一包含关系推导出渐近重聚性的界，从而提出新的预期重聚性判别准则——即重聚性严格小于大高度。关键贡献在于通过最大条件，建立了重聚性与渐近重聚性之间的联系，尤其在两者不同时的情形。

ABSTRACT

The resurgence and asymptotic resurgence of an ideal in a polynomial ring are two statistics which measure the relationship between its regular and symbolic powers. We address two aspects of resurgence which can be studied via asymptotic resurgence. First, we show that if an ideal has Noetherian symbolic Rees algebra then its resurgence is rational. Second, we derive two bounds on asymptotic resurgence given a single known containment between a symbolic and regular power. From these bounds we recover and extend criteria for the resurgence of an ideal to be strictly less than its big height recently derived by Grifo, Huneke, and Mukundan. We achieve the reduction to asymptotic resurgence by showing that if the asymptotic resurgence and resurgence are different, then resurgence is a maximum instead of a supremum.

研究动机与目标

• 确定具有诺特性符号Rees代数的理想之重聚性是否必然为有理数。
• 研究理想重聚性严格小于其大高度（即预期重聚性）的条件。
• 基于符号幂与普通幂之间单一已知包含关系，推导渐近重聚性的界。
• 澄清重聚性与渐近重聚性之间的关系，尤其在两者不相等时的情形。
• 通过渐近重聚性推广并一般化Grifo、Huneke与Mukundan近期提出的预期重聚性判别准则。

提出的方法

• 利用DiPasquale等人[12]关于通过积分闭包刻画渐近重聚性的方法，分析包含性质。
• 提出命题2.2，证明若重聚性与渐近重聚性不同，则重聚性为最大值而非上确界。
• 应用Johnson的精化统一包含定理，基于单一包含关系 $I^{(s)} otigsubset I^r$ 推导出渐近重聚性的两个上界。
• 证明若符号Rees代数为诺特性，则渐近重聚性为有理数，从而通过最大条件推出重聚性为有理数。
• 通过 $b(I)$（即理想在极小化缩减中生成元的最大数量）界定渐近重聚性，推导出两个新的预期重聚性判别准则。
• 将这些界应用于证明平方自由单项式理想满足预期重聚性。

实验结果

研究问题

• RQ1 具有诺特性符号Rees代数的理想之重聚性是否必然为有理数？
• RQ2 在何种条件下，单一包含关系 $I^{(s)} otigsubset I^r$ 可以推出渐近重聚性的界？
• RQ3 当理想重聚性严格超过其渐近重聚性时，其结构上会产生何种后果？
• RQ4 渐近重聚性能否用于推导新的预期重聚性判别准则，即 $ ho(I) < h$？
• RQ5 切德诺夫斯基型不等式与符号幂中的包含模式在多大程度上可与渐近重聚性关联？

主要发现

• 若理想符号Rees代数为诺特性，则其重聚性为有理数。
• 当 $ ho(I) < ho^{ m{asy}}(I)$ 时，重聚性 $ ho(I)$ 是有限个比值 $s/r$ 的最大值，而非仅上确界。
• 推导出渐近重聚性的两个上界：$rac{ ho(I)}{1 + b(I)/2} \to \rho(I)$ 当 $r \to \infty$，以及 $rac{ ho(I) + h}{r}(1 + b(I)/2)$，其中 $b(I)$ 为极小化缩减中生成元的最大数量。
• 若 $ ho(I) \neq \rho^{ m{asy}}(I)$，则 $ ho(I)$ 在某一有限比值处取得，从而可导出有理数结果。
• 预期重聚性的判别准则恢复并扩展了Grifo、Huneke与Mukundan的成果，新界仅依赖于单一包含关系。
• 通过推导出的渐近重聚性界，证明了平方自由单项式理想满足预期重聚性。