[論文レビュー] On the discreteness and rationality of F-jumping coefficients

Mordechai Katzman, Gennady Lyubeznik+1 more|ArXiv.org|Jun 20, 2007

Algebraic Geometry and Number Theory参考文献 8被引用数 3

ひとこと要約

この論文は、正の特性 $p$ の優れた正則局所環における主イデアルの F-ジャンピング係数が、有理数であり、実数の離散的部分集合をなすことを証明する。著者らは、D-加群理論を避けるために、剰余環のインジェクティブ包のフロベニウス作用に基づく新規な手法を用いることで、F-有限な場合からより一般的な優れた正則環への既存の結果を拡張する。

ABSTRACT

This paper studies the jumping coefficients of principal ideals of regular local rings. Recently M. Blickle, M. Mustata and K. Smith showed that, when $R$ is of essentially finite type over a field and $F$-finite, bounded intervals contain finitely many jumping coefficients and that those are rational. In a later paper they extended these results to principal ideals of $F$-finite complete regular local rings. The aim of this paper is to extend these results on the discreteness and rationality of jumping coefficients to principal ideals of arbitrary (i.e. not necessarily $F$-finite) excellent regular local rings containing fields of positive characteristic. Our proof uses a very different method: we do not use $D$-modules and instead we analyze the modules of nilpotents elements in the injective hull or $R$ under some non-standard Frobenius actions. This new method undoubtedly holds a potential for more applications.

研究の動機と目的

• F-有限な正則環から優れた正則局所環への、F-ジャンピング係数の離散性と有理数性に関する既知の結果を拡張すること。
• 優れた正則局所環における主イデアルの F-ジャンピング係数が有理数であり、離散的であることを確立すること。
• D-加群理論に依存しない、剰余環のインジェクティブ包におけるフロベニウス作用に基づく新規な手法を開発すること。
• 将来、優れた正則環におけるすべてのイデアルへの一般化の基盤を提供すること。

提案手法

• 著者らは、環 $R$ の剰余環のインジェクティブ包 $E$ におけるフロベニウス作用を用い、その構造を活用して一般化されたテストイデアルを分析する。
• フロベニウス作用素 $\Theta_{a,\beta}$ に関連する、$E$ の零指数部分加群 $\operatorname{Nil}_{a,\beta}$ を定義し、これによりテストイデアルの振る舞いを捉える。
• 重要なステップは、一般化されたテストイデアル $\tau(g^c)$ とその annihilator $\operatorname{ann}_E \tau(g^c)$ の間の全単射を確立することであり、適切な $a, \beta$ に対してこれらが $\operatorname{Nil}_{a,\beta}$ に等しいことが示される。
• 証明では、列 $\frac{a \psi_e(p^\beta)}{p^{\beta e}}$ が有理数 $\frac{a}{p^\beta - 1}$ の形に収束することを用い、F-ジャンピング係数と関連付ける。
• オイラーの定理を適用して、任意の有理数 $\frac{m}{n}$ に対して、$n_1 \mid (p^\beta - 1)$ を満たす $\beta$ が存在することを示し、有理数形の蓄積点がないことを保証する。
• 証明は、$I_e(g^r)$ の鎖の安定性と、$E$ の部分加群とイデアルの間のマトリス双対性に依存しており、対応関係が全単射かつ順序を保つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 特性 $p > 0$ の優れた正則局所環における主イデアルの F-ジャンピング係数は、離散的かつ有理数か？
• RQ2 F-有限性の仮定をせず、D-加群理論を用いずに、F-ジャンピング係数の離散性と有理数性を確立できるか？
• RQ3 F-ジャンピング係数の集合は、有理数形 $\frac{a}{p^d(p^\beta - 1)}$ の蓄積点を避けるか？
• RQ4 フロベニウス作用の下で、一般化されたテストイデアルとインジェクティブ包の零指数部分加群の間に構造的対応関係が存在するか？
• RQ5 インジェクティブ包におけるフロベニウス作用は、F-有限な設定を超えて F-ジャンピング係数を研究するための一般的ツールとして機能できるか？

主な発見

• 特性 $p > 0$ の任意の優れた正則局所環における主イデアルの F-ジャンピング係数は、すべて有理数である。
• F-ジャンピング係数の集合は $\mathbb{R}$ の離散的部分集合をなし、蓄積点を持たない。
• 著者らは、F-ジャンピング係数の任意の列が、有理数形 $\frac{a}{p^d(p^\beta - 1)}$ に収束することはできないことを証明し、有理数形の蓄積点が存在しないことを排除する。
• 一般化されたテストイデアル $\tau(g^c)$ とインジェクティブ包 $E$ の零指数部分加群 $\operatorname{Nil}_{a,\beta}$ の間に全単射が確立され、包含関係を保つ。
• 対応 $\frac{a_1}{p^{\beta_1} - 1} \geq \frac{a_2}{p^{\beta_2} - 1}$ if and only if $\operatorname{Nil}_{a_1,\beta_1} \subset \operatorname{Nil}_{a_2,\beta_2}$ により、$\mathcal{N}$ が包含関係で全順序付けられていることが示される。
• この手法は D-加群理論を避け、代わりに $E$ におけるフロベニウス作用を用いることで、F-ジャンピング現象を研究する新しい、一般化可能なアプローチを提供する。