[論文レビュー] On resurgence via asymptotic resurgence

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

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

ひとこと要約

この論文は、ネーター的記号的リース代数を備えたイデアルの再発度が有理的であることを確立し、1つの包含関係から得られる漸近的再発度の上限を導入することで、期待される再発度（再発度が大きい高さよりも厳密に小さい場合）のための新しい基準を可能にした。主な貢献は、再発度と漸近的再発度が異なる場合に、それらの関係を最大条件を用いて特徴付けることである。

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.

研究の動機と目的

• 記号的リース代数がネーター的なイデアルの再発度が必然的に有理的であるかどうかを特定すること。
• イデアルの再発度がその大きい高さよりも厳密に小さい（期待される再発度）条件を調査すること。
• 記号的冪と通常冪の間の1つの既知の包含関係に基づいて、漸近的再発度の上限を導出すること。
• 再発度と漸近的再発度の関係を明確にすること、特にそれらが異なる場合に注目すること。
• グリーフォ、フンケ、ムクンダンによる最近の期待される再発度の基準を、漸近的再発度を用いて拡張・一般化すること。

提案手法

• DiPasquale ら [12] が提示した積分閉包による漸近的再発度の特徴づけを用いて、包含関係の性質を分析する。
• 命題 2.2 を導入し、再発度と漸近的再発度が異なる場合、再発度が上界ではなく最大値であることを証明する。
• ジョンソンの精密化された一様包含定理を適用し、1つの包含関係 $I^{(s)} otigsubset I^r$ に基づいて、漸近的再発度の2つの上界を導出する。
• 記号的リース代数がネーター的であれば、漸近的再発度は有理的であり、最大条件を介して再発度の有理的性が導かれる。
• 記号的冪と通常冪の間の1つの包含関係に基づき、$b(I)$（最小還元における $I$ の生成元の最大数）を用いて漸近的再発度を有界化することで、期待される再発度の2つの新しい基準を導出する。
• これらの有界化を適用し、平方自由単項式イデアルが期待される再発度を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 記号的リース代数がネーター的なイデアルの再発度は必然的に有理的か？
• RQ2 1つの包含関係 $I^{(s)} otigsubset I^r$ が漸近的再発度の上限を示す条件は何か？
• RQ3 イデアルの再発度がその漸近的再発度を厳密に上回る場合、どのような構造的結果が導かれるか？
• RQ4 漸近的再発度を用いて、期待される再発度（すなわち $ ho(I) < h$）のための新しい基準を導出できるか？
• RQ5 シュドノフスキー型不等式と記号的冪における包含パターンが、漸近的再発度とどの程度関連づけられるか？

主な発見

• イデアルの記号的リース代数がネーター的であれば、その再発度は有理的である。
• $\rho(I) < \rho^{\rm{asy}}(I)$ のとき、再発度 $\rho(I)$ は、上界ではなく、有限個の比 $s/r$ の最大値として達成される。
• 漸近的再発度の2つの上界が導出される：$\frac{\rho(I)}{1 + b(I)/2} \to \rho(I)$ として $r \to \infty$ のとき、および $\frac{\rho(I) + h}{r}(1 + b(I)/2)$、ここで $b(I)$ は最小還元における生成元の最大数である。
• 有界化 $\rho(I) \neq \rho^{\rm{asy}}(I)$ は、$\rho(I)$ が有限の比で達成されることを示し、有理的性の結果を可能にする。
• 期待される再発度の基準は、グリーフォ、フンケ、ムクンダンの結果を回復・拡張し、新しい有界化は1つの包含関係にのみ依存する。
• 平方自由単項式イデアルは、導出された漸近的再発度の有界化を用いて、期待される再発度を満たすことが示された。