[論文レビュー] On Lyubeznik's invariants and endomorphisms of local cohomology modules

Peter Schenzel|ArXiv.org|Apr 16, 2007

Commutative Algebra and Its Applications参考文献 19被引用数 7

ひとこと要約

この論文は、ゴレンシュタイン環および正則局所環における局所コホホロジー加群の自己準同型環 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ を調査し、特定の条件下で $ B $ が可換かつネーター的であることを示している。主な結果は、$ R \simeq B $ であるための必要十分条件が、最高のリューベツニク数 $ l = \dim_k \operatorname{Ext}^d_R(k, H^c_I(R)) = 1 $ であり、自然な写像 $ \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ が非ゼロであることである。これは、特殊な場合において、ある予想を確認するものである。

ABSTRACT

Let $(R, \mathfrak m)$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ of height $c$ we are interested in the endomorphism ring $B = \Hom_R(H^c_I(R), H^c_I(R)).$ It turns out that $B$ is a commutative ring. In the case of $(R,\mathfrak m)$ a regular local ring containing a field $B$ is a Cohen-Macaulay ring. Its properties are related to the highest Lyubeznik number $l = \dim_k \Ext_R^d(k,H^c_I(R)).$ In particular $R \simeq B$ if and only if $l = 1.$ Moreover, we show that the natural homomorphism $\Ext_R^d(k, H^c_I(R)) o k$ is non-zero.

研究の動機と目的

• ゴレンシュタイン環および正則局所環における局所コホホロジー加群の自己準同型環 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ の構造を理解すること。
• $ B \simeq R $ となる条件を特定すること、特に最高のリューベツニク数 $ l $ との関係を明らかにすること。
• 自然な写像 $ \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ が非ゼロであることを確認し、特定の設定において予想を裏付けること。

提案手法

• スペクトル系列と切断複体を用いて、自然な写像 $ \phi: \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ を分析し、これが端点準同型であることを同定する。
• ハネケ・リューベツニクの第二の消失定理を適用して、局所コホホロジー加群の消失を特徴付ける。
• ゴレンシュタイン環における正規双対加群の双対性と構造を活用し、$ B $ を $ R $ のモジュール有限拡大として研究する。
• 局所コホホロジーのメイヤ＝ビエトロスの完全系列を用いて、非素イデアルを含む例において $ B $ を計算する。
• リーマン作用素と特徴に関する分析（正の特徴とゼロ特徴）を用いて、体上でのバース数を比較する。
• 完成化と厳密ヘンゼル化を用いて、$ V(I_d) $ の codimension 1 における連結性を研究し、$ R \simeq B $ との関連を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 自己準同型環 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ がいつ $ R $ に同型になるか。
• RQ2 最高のリューベツニク数 $ l = \dim_k \operatorname{Ext}^d_R(k, H^c_I(R)) $ と $ B $ の構造との関係は何か。
• RQ3 ヘルラスと著者による予想に従い、自然な写像 $ \phi: \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ は常に非ゼロか。
• RQ4 $ V(I_d) $ の codimension 1 における連結性は、$ B $ の構造にどのように影響するか。
• RQ5 バース数 $ \dim_k \operatorname{Ext}^i_R(k, H^c_I(R)) $ は、基本体の特徴にどのように依存するか。

主な発見

• 任意の $ n $ 次元ゴレンシュタイン環 $ R $ に対して、自己準同型環 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ は可換であり、$ B \simeq \operatorname{Ext}^c_R(H^c_I(R), R) $ が成り立つ。
• 体を含む完全な正則局所環 $ R $ に対して、$ B $ はネーター的で、コーン・マコーレイの $ R $-代数であり、$ \dim_k \operatorname{Ext}^c_R(k, H^c_I(R)) $ のランクの自由加群である。
• $ R \simeq B $ であるための必要十分条件は、最高のリューベツニク数 $ l = \dim_k \operatorname{Ext}^d_R(k, H^c_I(R)) = 1 $ であることである。
• 自然な写像 $ \phi: \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ は非ゼロであり、正則局所環に体を含む場合に、ある予想を確認する。
• $ B $ が局所環であるための必要十分条件は、$ V(I_d) $ が codimension 1 で連結であることであり、$ R \to B $ が同型であるための必要十分条件は、$ R/I_d $ の厳密ヘンゼル化の完成が codimension 1 で連結であることである。
• 例 7.2 において、特徴がゼロのときにはリューベツニク数 $ \dim_k \operatorname{Ext}^2_R(k, H^2_I(R)) = 1 $ であるが、正の特徴ではゼロであるため、体の特徴に依存することが示された。