[論文レビュー] The Koszul complex in projective dimension one

Winfried Bruns, Udo Vetter|ArXiv.org|Jul 11, 2000

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

ひとこと要約

この論文は、ネーター環上の射影次元1の有限生成加群に対して線形形式が作用するときのコーシュル複体のホモロジーを調査し、特に最初に非自明なフィッティングイデアルが最大の階数を持つ場合に注目する。ホモロジーが階数に依存することを示し、$ C = \operatorname{Ext}_R^1(M,R) $ の対称冪を用いたホモロジー加群の明示的記述が得られ、核部分加群に関する加群論的条件によって最大階数 $ r+1 $ が達成される条件が特徴づけられる。

ABSTRACT

Let $R$ be a noetherian ring and $M$ a finite $R$-module. With a linear form $χ$ on $M$ one associates the Koszul complex $K(χ)$. If $M$ is a free module, then the homology of $K(χ)$ is well-understood, and in particular it is grade sensitive with respect to $\Imχ$. In this note we investigate the case of a module $M$ of projective dimension 1 (more precisely, $M$ has a free resolution of length 1) for which the first non-vanishing Fitting ideal $\I_M$ has the maximally possible grade $r+1$, $r= ank M$. Then $h=\grade \Imχ\le r+1$ for all linear forms $χ$ on $M$, and it turns out that $H_{r-i}(K(χ))=0$ for all even $i

研究の動機と目的

• 射影次元1の加群 $ M $ 上の線形形式 $ \chi $ に対するコーシュル複体 $ K(\chi) $ のホモロジーを理解すること。
• 線形形式 $ \chi $ の像 $ \operatorname{Im}\chi $ の階数が最大の値 $ r+1 $ をとる条件を特定すること。ここで $ r = \operatorname{rank}M $ である。
• 特に $ \chi $ が最大階数を持つ場合に、ホモロジー加群 $ H_{r-i}(K(\chi)) $ の構造を $ C = \operatorname{Ext}_R^1(M,R) $ の対称冪を用いて特徴づけること。
• 加群論的条件を用いて $ \operatorname{grade}\operatorname{Im}\chi = r+1 $ が成立する条件を特徴づけること。特に、ランク $ r-1 $ の特別な反射的部分加群 $ U \subset M $ の存在を根拠とする。

提案手法

• 自由加群間の $ R $-準同型 $ \psi $ を持つ双対化された表示 $ 0 \to F \xrightarrow{\psi} G \to M \to 0 $ から、コーシュル双複体を構成する。
• 反微分 $ \partial_\psi $ と $ d_\varphi $ を用いてコーシュル複体を構成し、項 $ M^{p,q} = \bigwedge^{p-q}G \otimes \operatorname{S}^q(F) $ を持つ双複体 $ \mathcal{K} $ を得る。
• 行および列のホモロジー $ H_\varphi^{p,q} $ と $ H_\psi^{p,q} $ を解析し、核上の誘導写像を通じて $ K(\chi) $ のホモロジーと関連付ける。
• 文献 [BV1] および [HM] の結果を適用し、$ \psi^* $ を用いた双対性を用い、加群 $ M $ の構造と $ C = \operatorname{Ext}_R^1(M,R) $ の構造を結びつける。
• 自己双対的構成を用い、$ \sigma^* = -\sigma $ を満たす斜対称同型 $ \sigma: U \to U^* $ を用いて、特別な場合に最大階数を実現する。
• 問題を、ランク $ r-1 $ の反射的かつ可換な部分加群 $ U \subset M $ が、階数 $ \leq r $ の素イデアルで局所自由となる条件を満たすかどうかの解析に還元する。

実験結果

リサーチクエスチョン

• RQ1 射影次元1の加群 $ M $ 上の線形形式 $ \chi $ に対して、$ \operatorname{Im}\chi $ の階数が最大の値 $ r+1 $ をとるのはいつか？
• RQ2 線形形式 $ \chi $ の階数が $ h < r+1 $ の場合、コーシュル複体 $ K(\chi) $ のホモロジー加群 $ H_{r-i}(K(\chi)) $ の正確な構造は何か？
• RQ3 加群論的条件として、$ \operatorname{grade}\operatorname{Im}\chi = r+1 $ が成立するための条件は何か？ また、このような形式を明示的に構成する方法は？
• RQ4 $ C = \operatorname{Ext}_R^1(M,R) $ の対称冪構造と $ K(\chi) $ のホモロジーの関係は何か？
• RQ5 最大階数条件は、自己双対的かつ斜対称な部分加群 $ U \subset M $ を用いて実現可能か？ また、$ r $ と $ \operatorname{rank}F $ に課される制約は何か？

主な発見

• 射影次元1の加群 $ M $ で、フィッティングイデアルの階数が $ r+1 $ の場合、コーシュル複体 $ K(\chi) $ のホモロジーは、$ h = \operatorname{grade}\operatorname{Im}\chi $ として、すべての偶数 $ i < h $ に対して $ H_{r-i}(K(\chi)) = 0 $ を満たす。
• 奇数 $ i < h $ に対しては、$ H_{r-i}(K(\chi)) \cong \operatorname{S}^{(i-1)/2}(C) $ が成り立ち、奇数次元で対称冪構造が現れる。
• $ h \leq r $ の場合、$ H_{r-h}(K(\chi)) $ はゼロでもなく、$ C $ の対称冪とも同型でないため、複体の階数感受性が確認される。
• 最大階数 $ r+1 $ が $ \operatorname{Im}\chi $ に達するのは、$ r = 1 $ の場合、または $ \operatorname{rank}F = 1 $ かつ $ r $ が奇数のときの2通りに限られる。
• 線形形式 $ \chi $ に対して $ \operatorname{grade}\operatorname{Im}\chi = r+1 $ が成り立つことは、ランク $ r-1 $ の反射的かつ可換部分加群 $ U \subset M $ が存在し、階数 $ \leq r $ の素イデアルで局所自由となることと同値である。
• 特に $ \operatorname{rank}F = 1 $ かつ $ r $ が奇数のとき、適切な $ \chi $ の選択により、$ \sigma^* = -\sigma $ を満たす自己双対的かつ斜対称同型 $ \sigma: U \to U^* $ を明示的に構成できる。