[论文解读] Cohomological Degrees, Dilworth Numbers and Linear Resolution

Tor Gunston|arXiv (Cornell University)|Aug 22, 2010

Commutative Algebra and Its ApplicationsMathematics参考文献 38被引用 20

一句话总结

本文引入了上同调次数与同调Dilworth数作为诺特局部环中模的复杂度的广义不变量，将经典结果中关于模的生成元数量的界限从科恩-麦克aul伊情形推广至非科恩-麦克aul伊情形。研究证明，对于具有线性解析的模，其生成元数量等于极端上同调次数，从而推广了经典界，并将上同调次数与卡斯特尔努沃-穆尔福迪正则性联系起来。

ABSTRACT

This thesis is a study of various ways of measuring the size and complexity of finitely generated modules over a Noetherian local ring. The classical example is the multiplicity or degree. Here we investigate several variants of the degree function: the homological Dilworth number, hdil, and the family of cohomological degrees, such as the homological degree hdeg, and the extremal cohomological degree, bdeg. Sally, Valla and others have established bounds for the number of generators of ideals (or modules) in terms of multiplicities and other numerical data, usually under the assumption that the ideal is Cohen-Macaulay. We use cohomological degrees and the homological Dilworth number in place of the classical degree to extend some of these results from the Cohen-Macaulay case to the non-Cohen-Macaulay case. We give particular attention to the following result: If M is Cohen-Macaulay, then the minimal number of generators is bounded by the multiplicity of M, with equality if and only if the associated graded ring has a linear resolution. We give extensions of this theorem to the non-Cohen-Macaulay case. Our results are strongest for the extremal cohomological degree, bdeg, and this provides an avenue for connecting cohomological degrees with Castelnuovo-Mumford regularity.

研究动机与目标

• 将经典结果中关于模的生成元数量的界限从科恩-麦克aul伊情形推广至非科恩-麦克aul伊模。
• 定义并研究上同调次数，包括极端上同调次数与同调次数，作为广义多重性的不变量。
• 引入同调Dilworth数作为经典Dilworth数在更高维情形下的推广，用于衡量模的复杂度。
• 建立利用上同调次数与同调Dilworth数判断模具有线性解析的条件。
• 将上同调次数与卡斯特尔努沃-穆尔福迪正则性联系起来，特别是通过极端上同调次数。

提出的方法

• 将上同调次数定义为赋值实数给有限生成模的函数，满足三个公理：在科恩-麦克aul伊模上与多重性一致，经一般超平面截面后严格减小，且在零阶局部上同调上可加。
• 将同调Dilworth数定义为经典Dilworth数的高维推广，通过子模上最小生成集的上确界定义。
• 使用极端上同调次数 bdeg(−) 作为主要工具，以推广关于线性解析与生成元数量的经典结果。
• 应用短正合列 0 → M → M → M/xM → 0 导出的长正合列，分析线性解析中各分量与Betti数的结构。
• 利用关联分次模 grₘ(M) 的结构及其通过线性形式矩阵的表示，推导生成元数量的上界。
• 运用归纳法与模的分解技术，特别是利用条件 mΓₘ(M) = 0，证明线性解析蕴含Dilworth性质。

实验结果

研究问题

• RQ1 在诺特局部环上，有限生成模在何种条件下具有线性解析，从而推广经典科恩-麦克aul伊结果？
• RQ2 如何利用上同调次数将科恩-麦克aul伊模的经典界 ν(M) ≤ deg(M) 推广至非科恩-麦克aul伊模？
• RQ3 同调Dilworth数在刻画具有线性解析的模中起何种作用？
• RQ4 极端上同调次数如何与卡斯特尔努沃-穆尔福迪正则性及关联分次模的结构相关联？
• RQ5 条件 mΓₘ(M) = 0 是否可与Dilworth性质联合构成模具有线性解析的充要条件？

主要发现

• 对于具有线性解析且 dim M ≤ 2 的模 M，条件 mΓₘ(M) = 0 与Dilworth性质等价于线性解析的存在性。
• 具有线性解析的模 M 的生成元数量 ν(M) 满足 ν(M) = hdeg(M)，其中 hdeg(M) 为同调次数，且该等式成立当且仅当 grₘ(M) 具有线性解析。
• 极端上同调次数 bdeg(M) 满足 bdeg(M) ∈ {e, e+1, ..., 2e}，其中 e = deg(M)，且该范围内所有值均可实现。
• 对于满足 M ≅ grₘ(M)、dim M ≤ 2 且 M 为线性Buchsbaum 的分次模 M，其长度 ℓ(M_{d−1}) 满足 e/(d−1) 的上界，其中 e = deg(M)。
• 同调Dilworth数 hdil(M) 满足 hdil(M) = e + dil(M₁)，其中 e = deg(M) 且 M₁ 为 M 的首分次分量，该等式被用于证明具有线性解析的模满足 ν(M) = hdil(M)。
• 对所有有限生成模，不等式 ν(M) ≤ bdeg(M) 成立，且等式成立当且仅当 grₘ(M) 具有线性解析，从而推广了经典科恩-麦克aul伊情形。