Duality for asymptotic invariants of graded families

技術要約：次数付き族の漸近不変量における双対性

問題提起
本論文は、可換環論および代数幾何学において現れる自然数の列、特に次数付きイデアルの族に焦点を当て、それらに生じる数列の間の双対性を調査している。中心となる問題は、劣加法的な数列（シンボリック累乗の初期次数など）と、超加法的な数列（カステルヌオーヴォ・マンフォード・レギュラリティの値やジェット分離指数など）との関係を理解することである。これらの数列は関連する文脈でしばしば登場するが、その漸近的成長因子（ウォルシュミット定数や漸近的レギュラリティなど）は、歴史的にそれぞれ独立して研究されてきた。著者らは、これらの数列のタイプを入れ替え、その漸近的成長定数を反転させる厳密な双対性の枠組みを構築することを目指している。

手法
著者らは、組合せ論的な数列理論、逆系理論、および幾何学的不変量理論を組み合わせた多角的なアプローチを採用している。

1. 数列の双対性の枠組み： 第2節では、自然数の数列に対する変換の一般化を行う。数列 $\alpha = \{\alpha_n\}$ に対して、双対数列 $\overleftarrow{\alpha}_n = \inf\{d \mid \alpha_d \geq n\}$ および $\overrightarrow{\alpha}_n = \sup\{d \mid \alpha_d \leq n\}$ を定義する。著者らは、これらの変換が互いに逆変換であり、決定的なことに、劣加法的な数列と超加法的な数列のクラスを入れ替えることを証明する。緩やかな仮定の下で、これらの変換は漸近的成長因子（$\lim \alpha_n/n$）を互いに反転させる。

2. 微分的に閉じられたフィルター： 第4節では、「微分的に閉じられた次数付きフィルター（differentially closed graded filtrations）」の概念を導入する。フィルター $\mathcal{I} = \{I_n\}$ が微分的に閉じているとは、$I_n$ の元に $k$ 次の微分作用素を適用した結果が $I_{n-k}$ に属することを指す。このクラスには、通常の累乗、シンボリック累乗（ザリスキー・ナガタの定理による）、微分累乗、および積分フロベニウス累乗が含まれる。

3. 逆系とマコーレー・マティス双対性： 著者らは、逆系（マコーレー双対性）の理論を利用する。微分的に閉じられたフィルター $\mathcal{I}$ に対して、双対環（特性零における分割冪代数 $D$ または多項式環 $S$）における一連のイデアル $L_s(\mathcal{I})$ を構成する。著者らは、$L_s(\mathcal{I})$ がイデアルであるための必要十分条件が $\mathcal{I}$ が微分的に閉じていることであることを証明する。この構成は、フィルターの初期次数と、逆系イデアルによる商のレギュラリティを結びつける。

4. 幾何学的応用： この手法は、点の集合に対するジェット分離列や、シェードリ定数を含む特定の幾何学的設定に適用される。著者らは、シンボリック累乗のレギュラリティとジェット分離指数の間の関係を、第2節で確立された双対変換を通じて関連付けている。

主要な貢献と結果

• 一般化された数列の双対性 (Theorem 2.5 & 2.6): 本論文は、変換 $\overleftarrow{\cdot}$ および $\overrightarrow{\cdot}$ が劣加法的な数列を超加法的な数列へ（およびその逆へ）写し、その漸近的成長因子を反転させることを確立している。具体的には、$\alpha$ が劣加法的で成長因子 $\hat{\alpha}$ を持つとき、$\overrightarrow{\alpha}$ は超加法的であり、成長因子 $\hat{\alpha}^{-1}$ を持つ。

• 微分的に閉じられたフィルターの双対性 (Theorem 4.9 & 4.20): 著者らは、微分的に閉じられた次数付きフィルター $\mathcal{I} = \{I_n\}$ に対して、初期次数の数列 $\alpha_n = \alpha(I_n)$ は劣加法的であり、一方で逆系商の終端次数 $\beta_s = \text{end}(D/L_s(\mathcal{I}))$ の数列は超加法的であることを証明する。これらの数列は互いに双対であり（$n$ だけシフトされている）、その漸近的成長因子は以下の相反関係を満たす：
  $$\hat{\beta} = \frac{\hat{\alpha}}{\hat{\alpha} - 1} \quad \text{および} \quad \hat{\alpha} = \frac{\hat{\beta}}{\hat{\beta} - 1}$$
  これは、シンボリック累乗の根基イデアルに関するエメルスム・イアロビノの既知の結果を一般化するものである。

• シェードリ定数と漸近的レギュラリティの相反性 (Theorem 5.5, 5.7, Corollary 5.8): $\mathbb{P}^N$ 内の有限点集合 $X$ に対して、本論文はジェット分離指数 $s(X, d)$ の列と、シンボリック累乗のカステルヌオーヴォ・マンフォード・レギュラリティ $\text{reg}(I(X)^{(k)})$ の列の間の双対性を確立している。その結果、マルチポイント・シェードリ定数 $\varepsilon(X)$ は漸近的レギュラリティの逆数であることが示される：
  $$\varepsilon(X) = \lim_{d \to \infty} \frac{s(X, d)}{d} = \left( \lim_{k \to \infty} \frac{\text{reg}(I(X)^{(k)})}{k} \right)^{-1}$$
  これは、既知の相反関係に対して構造的な説明を与えるものである。

• ナガタ・イアロビノ予想のホモロジー的再定式化 (Section 6): 著者らは、逆系を用いてナガタ予想（$\mathbb{P}^2$ における非常に一般的な点に関するウォルシュミット定数に関するもの）およびイアロビノ予想（高次元の場合）を再定式化している。具体的には、これらの予想が、逆系イデアル $L_s(X)$ の漸近的レギュラリティが $\frac{\sqrt[N]{r}}{\sqrt[N]{r} - 1}$ の速度で成長するという命題と等価であることを示している。さらに、非常に一般的な点に対して、ウォルシュミット定数が漸近的レギュラリティに等しい（$\hat{\alpha} = \widehat{\text{reg}}$）というホモロジー的再定式化（予想 6.2）を提案している。

意義と主張
本論文は、代数幾何学における様々な漸近的不変量を統一する原理を提供すると主張している。初期次数とレギュラリティの関係を数列の双対性として捉えることで、著者らは、通常の累乗とシンボリック累乗の包含問題、イデアルのレジリエンス（resurgence）、および点配置の幾何学に対する新しい視点を提供している。

その意義は以下の点にある：

1. 統一： ウォルシュミット定数、漸近的レジリエンス、シェードリ定数、および漸近的レギュラリティを、単一の双対メカニズムを通じて結びつけている。
2. 一般化： シンボリック累乗の逆系に関する古典的なエメルスム・イアロビノの結果を、より広いクラスの微分的に閉じられたフィルターへと拡張している。
3. 再定式化： ナガタおよびイアロビノ予想に対し、ホモロジー的および逆系ベースの再定式化を提供しており、これらが $L_s(X)$ の研究を通じて新たな攻撃への道を切り開く可能性がある。

著者らは、既知の相反関係（例：シェードリ定数と漸近的レギュラリティの間）を回収しているものの、彼らの貢献は、そのような関係を必然とする基礎となる「数列の双対性」を特定したことにあると明言している。最後に、一般的な根基イデアルに対するレギュラリティ列の劣加法性や、より広い文脈における $L_s(\mathcal{I})$ の生成元の幾何学的解釈に関するいくつかの未解決問題を提示して締めくくっている。