[论文解读] Grade and Cohen-Macaulayness for DG-modules

Youfeng Ning, Xiaoyan Yang|arXiv (Cornell University)|Feb 24, 2026

Commutative Algebra and Its Applications被引用 0

一句话总结

作者为 DG-模定义了等级，引入完美的 DG-模，并证明在局部 Cohen-Macaulay DG环上，当常数振幅时，DG-模是 Cohen-Macaulay 当且仅当它是完美的且 amp(M) ≤ amp(RΓ_m(M))。他们还在该 DG 场景中肯定 Yoshida 的猜想，并研究张量积与同构关于等级的结果。

ABSTRACT

We establish an inequality relating the projective dimension of a DG-module in $\mathrm{D}^\mathrm{b}_\mathrm{f}(A)$ to its grade and introduce the concept of perfect DG-modules as a natural generalization of perfect modules. It is proved that a DG-module $M$ over a local Cohen-Macaulay DG-ring with constant amplitude is Cohen-Macaulay if and only if $M$ is perfect and $\mathrm{amp}M \leq \mathrm{amp}\mathrm{R}Γ_{\bar{\mathfrak{m}}}(M)$. An affirmative answer is provided to Conjecture 2.11 of Yoshida [J. Pure Appl. Algebra 123 (1998) 313--326]. We also study the grade of DG-modules with finite injective dimension and examine the preservation of Cohen-Macaulayness under tensor products.

研究动机与目标

• 将等级概念扩展到 DG-模并将其与投影维数联系起来。
• 将完美性从模推广到 DG-模并与 Cohen-Macaulay 性相关联。
• 表征在局部 CM DG 环下，通过 amp 不等式何时会得到 CM 的 DG-模。
• 在 DG 设定中肯定 Yoshida 的猜想，并探讨张量积的后果。

提出的方法

• 将 DG-模的等级定义为 inf RHom_A(M,A)。
• 通过与一个移位的 infimum 相等来引入完美 DG-模。
• 建立 DG 场景下等级、深度、lc.dim 与 projdim 之间的不等式。
• 证明 Cohen-Macaulay 条件：若局部 CM DG-环且振幅为常数，则 M 为 CM 当且仅当 M 为完美且 amp M ≤ amp RΓ_m(M)（定理 3.4）。
• 在该设定中给出对 Yoshida 猜想的肯定回答（定理 3.6）。
• 研究张量积行为与对偶化 DG-模以关联 CM 性质。

实验结果

研究问题

• RQ1 DG-模的正确的一般化等级是什么，它与投影维数有何关系？
• RQ2 在局部 Cohen-Macaulay DG-环且常数振幅下，DG-模何时为 CM？
• RQ3 完美 DG-模的概念在 DG 场景中是否能捕捉 CM 性质，且在何种振幅条件下？
• RQ4 DG-模的张量积在何种条件下是 CM 的，以及这如何与最大的 CM 模相关？
• RQ5 在 DG 场景中 Yoshida 的猜想能否得到肯定解？

主要发现

• Grade_A(M) 被定义为 inf RHom_A(M,A)。
• 一个 DG-模 M 当且仅当 grade_A(M) = projdim_A(M) + inf A 时为完美。
• 在常数振幅的局部 Cohen-Macaulay DG-环上，M 为 CM 当且仅当 M 为完美且 amp M ≤ amp RΓ_m(M)（定理 3.4）。
• 论文在 DG 场景中给出对 Yoshida 猜想的肯定回答（定理 3.6）。
• 对于具有有限注入维度的 DG-模，lc.dim_A M = depth A − grade_A M（定理 4.3）。
• 张量积结果在适当条件下保持 CM，并将 N 的 CM-性与 M⊗^L_A N 关联起来（命题 3.7，推论 3.8）。