[論文レビュー] D-modules over rings with finite F-representation type

Shunsuke Takagi, Ryo Takahashi|ArXiv.org|Jun 26, 2007

Commutative Algebra and Its Applications参考文献 25被引用数 3

ひとこと要約

本稿は、正標数における有限F表現型をもつネーター的階付き環上のD加群について、2つのファイニットネス性質を確立する。まず、任意の零因子でない元に対する局域化が、D加群として1/xによって生成されることを証明し、多項式環に対する既知の結果を一般化する。第二に、有限F表現型をもつゴレンシュタイン環に対して、局所コホホロジー加群は唯一の関連素イデアルしか持たないことを示し、正則環に対する結果を拡張する。本稿では、このような環における斉次イデアルのFジャンピング指数の離散性についても証明する。

ABSTRACT

Smith and Van den Bergh introduced the notion of finite F-representation type as a characteristic $p$ analogue of the notion of finite representation type. In this paper, we prove two finiteness properties of rings with finite F-representation type. The first property states that if $R=\bigoplus_{n \ge 0}R_n$ is a Noetherian graded ring with finite (graded) F-representation type, then for every non-zerodivisor $x \in R$, $R_x$ is generated by $1/x$ as a $D_{R}$-module. The second one states that if $R$ is a Gorenstein ring with finite F-representation type, then $H_I^n(R)$ has only finitely many associated primes for any ideal $I$ of $R$ and any integer $n$. We also include a result on the discreteness of F-jumping exponents of ideals of rings with finite (graded) F-representation type as an appendix.

研究の動機と目的

• 有限F表現型をもつ環へのD加群のファイニットネス結果を拡張すること。これは、有限表現型の特徴的p版である。
• 長年の未解決問題である、有限F表現型の下で局所コホホロジー加群が有限個の関連素イデアルしか持たないかどうかを解明すること。
• 有限F表現型をもつ強F正則な階付き環におけるイデアルのFジャンピング指数の離散性を確立すること。
• 正標数における微分作用素およびテストイデアルに関する既知の結果を、より広い特異環のクラスへ一般化すること。

提案手法

• 有限F表現型をもつ階付き環上のD加群の構造とフォビニウス引き戻しの利用。
• 一般化されたテストイデアルとそれらのフォビニウス巾への整合性を用いて、D加群の生成を制御する。
• フォビニウス捩れの下でのR加群の階付き成分の有限生成性を活用し、生成元の次数を有界化する。
• 有限次元階付き部分空間への下降的鎖の応用により、一般化されたテストイデアルの安定化を証明する。
• 問題をベース体上の有限次元ベクトル空間へ還元し、有限生成性と安定化を活用する。
• 十分大きなeに対して、一般化されたテストイデアルτ(𝔞^t)がI_e(𝔞^{⌈tp^e⌉}, R)に一致することを用いて、生成元の次数を制御する。

実験結果

リサーチクエスチョン

• RQ1 有限F表現型をもつ階付き環Rの非零因子xに対して、局域化R_xはD_R/k加群として有限生成集合をもつのか。もしもそうであれば、1/xは十分か？
• RQ2 Rが有限F表現型をもつとき、任意のイデアルIと整数nに対して、局所コホホロジー加群H^n_I(R)は有限個の関連素イデアルしか持たない条件は何か？
• RQ3 有限F表現型をもつ強F正則な階付き環Rにおける斉次イデアル𝔞のFジャンピング指数は離散的か？
• RQ4 追加の仮定の下で、離散性と有限F表現型からFジャンピング指数の有理化を導けるか？

主な発見

• 有限（階付き）F表現型をもつネーター的階付き環Rの任意の非零因子xに対して、R_xはD_R/k加群として1/xによって生成される。
• Rが有限F表現型をもつゴレンシュタイン環であれば、任意のイデアルIと任意の整数nに対して、H^n_I(R)は有限個の関連素イデアルしか持たない。
• 有限（階付き）F表現型をもつ強F正則な階付き環Rにおける斉次イデアル𝔞のFジャンピング指数の集合は、蓄積点を持たない。
• 十分大きなフォビニウス巾に対して、一般化されたテストイデアルτ(𝔞^t)は、Rと𝔞の次数にのみ依存する有界次数の要素によって生成される。
• 一般化されたテストイデアルτ(𝔞^{α_m})の下降的鎖は、固定された次数に制限すると安定化する。これはFジャンピング指数の離散性を示唆する。
• 離散性の結果は、Rが有限階付きF表現型をもつという仮定の下で成り立ち、既存の正則の場合の結果を拡張する。