[論文レビュー] 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-モジュールへの完璧性の generalization を行い、Cohen-Macaulay性と結びつける。
• 局所的な CM DG-環において amp 不等式を介して CM-モジュールを特徴づける。
• この DG 設定で Yoshida の予想を肯定し、テンソル積への影響を探る。

提案手法

• DG-モジュールのグレードを inf RHom_A(M,A) として定義する。
• シフトされた下限とグレードの等式から完全 DG-モジュールを導入する。
• DG 文脈でグレード、深さ、lc.dim、projdim を結ぶ不等式を確立する。
• 局所的な ampo が定常な CM-DG-リングに対して、M が CM である⇔ M が完全で amp M ≤ amp RΓ_m(M) であるという CM 基準を証明する。
• この設定で Yoshida の予想に対して肯定的な答えを与える（定理3.6）。
• テンソル積の挙動と双対化 DG-モジュールを調査し、CM 性質との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 モジュールのグレードの正しい DG 一般化は何で、これは投影次元とどう関連するか。
• RQ2 定常振幅を持つ局所 CM DG-リング上の DG-モジュールが CM になるのはいつか。
• RQ3 DG 設定で完全 DG-モジュールの概念は CM 性を捉えるか、どの振幅条件下でそうなるか。
• RQ4 DG-モジュールの張り合わせのテンソル積はどの条件で CM を保つか、これと極大 CM-性との関連はどうなるか。
• RQ5 Yoshida の予想を DG コンテクストで肯定的に解決できるか。

主な発見

• Grade_A(M) は inf RHom_A(M,A) と定義される。
• DG-モジュール M は完全である ⇔ grade_A(M) = projdim_A(M) + inf A。
• 定常振幅をもつ局所 CM-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）。