[論文レビュー] Associated primes of local cohomology modules and of Frobenius powers

Anurag K. Singh, Irena Swanson|ArXiv.org|Jun 17, 2004

Commutative Algebra and Its Applications被引用数 5

ひとこと要約

本稿は、特異点が有理的 singularities を持つ特徴が 0 の場合の一意的因数分解環および正の特徴の場合の F-正則環としての正規超曲面を構成し、その局所コホモロジー・モジュールが無限個の関連素数を持つことを示している。一般化された多対角行列構成とフォビニウスべき解析を用いて、フォビニウスべきの特定のイデアルの関連素数の集合が無限である可能性を示し、タイト・クラージャー理論における局所化問題に関して長年の疑問を解決した。

ABSTRACT

We construct normal hypersurfaces whose local cohomology modules have infinitely many associated primes. These include unique factorization domains of characteristic zero with rational singularities, as well as F-regular unique factorization domains of positive characteristic. As a consequence, we answer a question on the associated primes of Frobenius powers of ideals, which arose from the localization problem in tight closure theory.

研究の動機と目的

• ネーター環上の局所コホモロジー・モジュールが常に有限個の関連素数を持つかどうかというフーンケの未解決問題に取り組むこと。
• 特徴が 0 の場合の有理的特異点をもつ一意的因数分解環および正の特徴の場合の F-正則環としての正規ドメインの例を構成し、その局所コホモロジー・モジュールが無限個の関連素数を持つこと。
• タイト・クラージャー理論におけるイデアルのフォビニウスべきの関連素数の有限性に関する問題を解決すること。
• 補助的環構成を用いて、局所コホモロジー・モジュールの関連素数とフォビニウスべきの関連素数との間の関係を確立すること。
• フォビニウスべきの関連素数の和集合が無限個の極大元を持つことを示し、タイト・クラージャー理論の局所化問題における主要な未解決問題を解決すること。

提案手法

• 特定の再帰関係を持つ多対角行列の族を構成し、その行列式が互いに異なる既約多項式に因数分解されることを保証する。
• 行列式列の母関数を用いて、多項式 $ F_n(t) = \det M_n $ の根および既約因子を分析し、特に $ n = q-2 $ で $ q = p^e $ の場合を対象とする。
• 拡張された Čech コホモロジー複体の構造を応用し、局所コホモロジー・モジュールを $ R/(x_1^m, \dots, x_n^m) $ の直接極限として計算し、コホモロジー類と可除性条件を結びつける。
• 定理 2.6 の補助的環構成を用いて、局所コホモロジー・モジュールの関連素数とフォビニウスべきの関連素数との間の対応を確立する。
• 代数的閉体および正の特徴の体上で $ F_n(t) $ の振る舞いを分析し、$ F_{q-2}(t) $ が $ q-2 $ 個の異なる根を持つことを証明することで、$ p $ のべきの各段階で無限個の既約因子が生じることを示す。
• 超曲面 $ A = K[t,x,y]/(x^4 + t x^2 y^2 + y^4) $ にその結果を適用し、$ \bigcup_e \mathrm{Ass}\, A/(x^{p^e}, y^{p^e}) $ が無限大であることを示す。

実験結果

リサーチクエスチョン

• RQ1 正規ネーター環上の局所コホモロジー・モジュールは、環が正則でない場合でも常に有限個の関連素数を持つのか？
• RQ2 特徴が 0 の場合に、有理的特異点をもつ一意的因数分解環で、その局所コホモロジー・モジュールが無限個の関連素数を持つ例を構成できるか？
• RQ3 正の特徴の場合、F-正則な一意的因数分解環で、イデアルのフォビニウスべきの関連素数が無限個である例が存在するか？
• RQ4 イデアルのタイト・クラージャーのフォビニウスべきの関連素数の集合は常に有限か、少なくとも有限個の極大元を持つのか？
• RQ5 フォビニウスべきの関連素数の和集合が無限個の極大元を持つ反例を構成することで、タイト・クラージャー理論における局所化問題を解決できるか？

主な発見

• 本稿は、任意の体 $ K $ 上の標準的次数付き超曲面 $ R $ を構成し、これは一意的因数分解環であり、局所コホモロジー・モジュール $ H^n_\mathfrak{a}(R) $ が無限個の関連素数を持つことを示している。
• 特徴が 0 の場合、$ R $ が有理的特異点を持つ例が存在し、これはたとえ非常に穏やかな特異点であっても関連素数の有限性を保証しないことを示している。
• 正の特徴の場合、著者らは局所コホモロジー・モジュール $ H^n_\mathfrak{a}(R) $ が無限個の関連素数を持つ F-正則な一意的因数分解環 $ R $ を構成している。
• 集合 $ \bigcup_e \mathrm{Ass}\, R/\mathfrak{a}^{[p^e]} $ は無限個の極大元を持ち、タイト・クラージャー理論における主要な問題を解決した。
• 構成は、$ q = p^e $ に対して $ F_{q-2}(t) $ の無限個の既約因子に依拠しており、これは $ t $ を含む多対角行列の行列式から生じ、フォビニウスべきにおける無限個の異なる関連素数を生じる。
• この結果により、フォビニウスべきの関連素数の和集合が無限大であることが確認され、特に集合 $ \bigcup_e \mathrm{Ass}\, R/(\mathfrak{a}^{[p^e]})^* $ が無限個の極大元を持つことが示され、長年の未解決問題が解決された。