[论文解读] The Koszul complex in projective dimension one

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

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

一句话总结

本文研究了诺特环上投影维数为一的有限生成模上，关于线性形式的柯特斯复形的同调，重点在于首个非零弗里蒂理想具有最大可能阶数的情形。研究证明了同调具有阶敏感性，明确描述了同调模在对称幂形式下与 Ext 模 $ 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

研究动机与目标

• 理解在投影维数为一的模 $ M $ 上，关于线性形式 $ \chi $ 的柯特斯复形 $ K(\chi) $ 的同调。
• 确定 $ \operatorname{Im}\chi $ 的阶数达到其最大可能值 $ r+1 $ 的条件，其中 $ r = \operatorname{rank}M $。
• 以对称幂形式描述同调模 $ H_{r-i}(K(\chi)) $ 的结构，特别关注 $ \chi $ 具有最大阶数的情形。
• 通过存在一个特殊反射模子模 $ U \subset M $（秩为 $ r-1 $）的模理论条件，刻画 $ \operatorname{grade}\operatorname{Im}\chi = r+1 $ 成立的条件。

提出的方法

• 从对偶化表示 $ 0 \to F \xrightarrow{\psi} G \to M \to 0 $ 构造柯特斯双复形，其中 $ \psi $ 是自由模之间的 $ R $-同态。
• 通过反导子 $ \partial_\psi $ 和 $ d_\varphi $ 构造柯特斯复形，形成双复形 $ \mathcal{K} $，其项为 $ M^{p,q} = \bigwedge^{p-q}G \otimes \operatorname{S}^q(F) $。
• 分析行同调和列同调 $ H_\varphi^{p,q} $ 与 $ H_\psi^{p,q} $，并通过在核上的诱导映射将它们与 $ K(\chi) $ 的同调联系起来。
• 应用 [BV1] 和 [HM] 的结果，并利用 $ \psi^* $ 的对偶性，将 $ M $ 的结构与 $ C = \operatorname{Ext}_R^1(M,R) $ 的结构联系起来。
• 通过一个自对偶构造，利用斜对称同构 $ \sigma: U \to U^* $ 满足 $ \sigma^* = -\sigma $，在特殊情形下实现最大阶数。
• 将问题约化为分析是否存在一个秩为 $ r-1 $ 的反射性、可定向子模 $ U \subset M $，且在阶数 $ \leq r $ 的素理想处局部自由。

实验结果

研究问题

• RQ1 对于投影维数为一的模 $ M $ 上的线性形式 $ \chi $，$ \operatorname{Im}\chi $ 的阶数在何时达到最大值 $ r+1 $？
• RQ2 当 $ \chi $ 的阶数 $ h < r+1 $ 时，柯特斯复形 $ 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 $ 有何限制？

主要发现

• 对于投影维数为一且弗里蒂理想阶数为 $ r+1 $ 的模 $ M $，柯特斯复形的同调满足：当所有偶数 $ i < h $ 时，$ H_{r-i}(K(\chi)) = 0 $，其中 $ h = \operatorname{grade}\operatorname{Im}\chi $。
• 当奇数 $ i < h $ 时，$ H_{r-i}(K(\chi)) \cong \operatorname{S}^{(i-1)/2}(C) $，其中 $ C = \operatorname{Ext}_R^1(M,R) $，表明奇数阶数中存在对称幂结构。
• 若 $ h \leq r $，则 $ H_{r-h}(K(\chi)) $ 既不为零，也不同构于 $ C $ 的对称幂，确认了复形的阶敏感性。
• 最大阶数 $ r+1 $ 仅在两种情形下实现：$ r = 1 $，或 $ \operatorname{rank}F = 1 $ 且 $ r $ 为奇数。
• 存在线性形式 $ \chi $ 满足 $ \operatorname{grade}\operatorname{Im}\chi = r+1 $，当且仅当存在一个秩为 $ r-1 $ 的反射性、可定向子模 $ U \subset M $，且在阶数 $ \leq r $ 的素理想处局部自由。
• 当 $ \operatorname{rank}F = 1 $ 且 $ r $ 为奇数时，可通过适当选择 $ \chi $ 显式构造出自对偶、斜对称同构 $ \sigma: U \to U^* $，满足 $ \sigma^* = -\sigma $。