[论文解读] Homological flat dimensions

Parviz Sahandi, Tirdad Sharif+1 more|ArXiv.org|Sep 26, 2007

Algebraic structures and combinatorial models参考文献 24被引用 5

一句话总结

本文引入了完备交平坦维数（CIfd）与科恩-麦克aulay平坦维数（CMfd），作为诺特局部环上任意模的同调不变量，将经典概念扩展至非有限生成模之外。它建立了一个精细的平坦维数层级：Rfd ≤ CMfd ≤ Gfd ≤ CIfd ≤ fd，且在任一有限值左侧均取等号，并证明了在特征零等特征环上，平坦维数版本的交集定理。

ABSTRACT

For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In this paper we introduce similar invariants for not necessarily finitely generated modules, (namely, complete intersection flat and Cohen-Macaulay flat dimensions) which for finitely generated modules, coincide with the corresponding classical ones.

研究动机与目标

• 将经典同调维数（此前仅对有限生成模定义）推广至诺特局部环上的任意模。
• 填补现有理论中对无限生成模（特别是完备交与科恩-麦克aulay平坦维数）覆盖不足的空白。
• 建立一个连贯的平坦维数层级，以细化经典概念，如平坦、广义平坦与受限平坦维数。
• 证明特征零等特征环上平坦维数版本的交集定理，建立维数、深度与同调平坦维数之间的联系。
• 研究新不变量在基变换下的性质，特别是沿有限同态 R → R/(x₁,…,xₙ) 下的行为，以及对偶性条件。

提出的方法

• 通过涉及平坦模的解析及在与内射模张量下保持正合性的条件，定义完备交平坦维数（CIfd）与科恩-麦克aulay平坦维数（CMfd）。
• 引入上层变体：CM∗fd 与 G∗fd，通过 Ext 平凡性条件定义，且与标准平坦维数对偶。
• 以受限平坦维数（Rfd）作为基础不变量，通过有限平坦维数模上的 Tor 非平凡性来定义。
• 建立不等式链：Rfd ≤ CMfd ≤ Gfd ≤ CIfd ≤ fd，且在任一有限值左侧取等号。
• 运用同调代数技术，包括局部化、深度比较与 Ext 平凡性，分析这些维数的行为。
• 利用 Gruson-Raynaud 与 Jensen 关于平坦模有限投射维数的结果，支持新不变量的有限性行为。

实验结果

研究问题

• RQ1 如何将完备交与科恩-麦克aulay平坦维数推广至非有限生成模？
• RQ2 新平坦维数（CIfd, CMfd）与现有不变量（如 Rfd, Gfd, fd）之间的关系为何？
• RQ3 在特征零等特征环上，平坦维数版本的交集定理是否成立？
• RQ4 在何种条件下，对 H ∈ {CI, G∗, CM∗, CM}，有 Hfd(M) + depth(M) = depth(R) 成立？
• RQ5 这些新维数在基变换下（特别是沿有限同态 R → R/(x₁,…,xₙ)）的行为如何？

主要发现

• 对任意 R-模 M，存在不等式链：Rfd_R(M) ≤ CMfd_R(M) ≤ Gfd_R(M) ≤ CIfd_R(M) ≤ fd_R(M)，且在任一有限值左侧取等号。
• 定理 A 表明 Gfd_R(M) ≤ CIfd_R(M)，且当 CIfd_R(M) 有限时取等号，说明 CIfd 是 Gfd 的严格细化。
• 在特征零等特征环上，平坦维数版本的交集定理成立：对 H ∈ {CI, G∗, CM∗}，有 dim R ≤ dim_R M + Hfd_R(M)。
• 在科恩-麦克aulay 环上，条件 Hfd_R(M) + depth_R(M) = depth_R 成立当且仅当对所有 𝔭 ∈ Supp(M)，有 depth_R(M) ≤ grade(𝔭, M) + dim R/𝔭，推广了已知的对偶性结果。
• 命题 8.2 表明：若 Rfd_R(M) + depth_R(M) = depth_R，则对所有素理想 𝔭，有 depth_R(M) ≤ grade(𝔭, M) + dim R/𝔭，且在科恩-麦克aulay 环上逆命题也成立。
• 推论 8.3 通过条件 Rfd_R(M) + depth_R(M) = depth_R 对所有有限深度模 M 成立，刻画了科恩-麦克aulay 环，推广了 Christensen、Foxby 与 Frankild 的结果。