[論文レビュー] On commutative differential graded algebras

Hiroyuki Minamoto|arXiv (Cornell University)|Mar 18, 2019

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

ひとこと要約

この論文は、連結的可換微分 graded 代数（CDGA）のための基礎的なホモロジー的道具を確立し、古典的な射影的および単純的分解のDG版として、sup-射影的（sppj）およびinf-単純的（ifij）分解を導入する。DG版のAuslander-BuchsbaumおよびBassの公式を証明し、双対化複体の最小ifij分解に関する構造定理を示し、それらが可換代数における古典的結果を模倣することを示す。主な貢献は、これらの新しい分解を用いて、古典的可換代数をDG設定に一般化する強固な枠組みを構築したことである。

ABSTRACT

In this paper we undertake a basic study on connective commutative differential graded algebras (CDGA), more precisely, piecewise Noetherian CDGA, which is a DG-counter part of commutative Noetherian algebra. We establish basic results for example, Auslaner-Buchsbaum formula and Bass formula without any unnecessary assumptions. The key notion is the sup-projective (sppj) and inf-injective (ifij) resolutions introduced by the author, which are DG-versions of the projective and injective resolution for ordinary modules. These are different from DG-projective and DG-injective resolutions which is known DG-version of the projective and injective resolution. In the paper, we show that sppj and ifij resolutions are powerful tools to study DG-modules. Many classical result about the projective and injective resolutions can be generalized to DG-setting by using sppj and ifij resolutions. . Among other things we prove a DG-version of Bass's structure theorem of a minimal injective resolution holds for a minimal ifij resolution and a DG-version of the Bass numbers introduced by the same formula with the classical case. We also prove a structure theorem of a minimal ifij resolution of a dualizing complex $D$, which is completely analogues to the structure theorem of a minimal injective resolution of a dualizing complex over an ordinary commutative algebra. Specializing to results about a dualizing complex, we study a Gorenstein CDGA. We generalize a result by Felix-Halperin-Felix-Thomas and Avramov-Foxby which gives conditions that a CDGA $R$ is Gorenstein in terms of its cohomology algebra $ ext{H}(R)$.

研究の動機と目的

• 連結的可換微分 graded 代数（CDGA）のための、古典的可換代数に類似したホモロジー的枠組みを構築すること。
• DG射影的／単純的分解の限界を克服するため、射影的および単純的次元をより適切に測るsup-射影的（sppj）およびinf-単純的（ifij）分解を導入すること。
• 余分な仮定を課さずに、古典的結果（例えばAuslander-BuchsbaumおよびBassの公式）を一般化すること。
• 双対化複体の最小単純的分解に関するDG版の構造定理を確立すること。
• 双対化複体のコホモロジー的性質を用いてGorenstein CDGAを特徴付けること。

提案手法

• 古典的射影的および単純的分解のDG版として、射影的および単純的次元を適切に測るsup-射影的（sppj）およびinf-単純的（ifij）分解を導入する。
• DG加群の射影的および単純的次元の定義をYekutieliの定義に従い、DG設定におけるホモロジー的不変量を定義する。
• コホモロジー関手を適用してDG加群の準同型をgraded加群の準同型に関連させ、$ R^* = \operatorname{Hom}_\mathbb{Z}(R, \mathbb{Q}/\mathbb{Z}) $ の性質により全射性を保証する。
• $ \operatorname{Spec} H^0(R) $ の素イデアルに付随する分解不能DG単純的加群 $ E_R(R/\underline{\mathfrak{p}}') $ を用いて、DG加群の最小ifij分解を構成する。
• Bass数 $ \mu_R^n(\mathfrak{p}, M) $ が $ \dim_{\kappa(\mathfrak{p})} \operatorname{Hom}_{R_{\mathfrak{p}}}(\kappa(\mathfrak{p}), M_{\mathfrak{p}}[n]) $ を用いて定義されることを証明し、古典的公式の一般化を行う。
• 双対化複体の最小ifij分解に関する構造定理を確立し、$ I_{-i} \cong \bigoplus_{\mathfrak{p}} E_R(R/\underline{\mathfrak{p}}')^{\oplus \mu^n(\mathfrak{p}, M)}[-\operatorname{inf} I_{-i}] $ を示す。

実験結果

リサーチクエスチョン

• RQ1 制限的仮定を課さずに、Auslander-Buchsbaumの公式のような古典的ホモロジー的結果を連結的CDGAに一般化できるか？
• RQ2 sup-射影的およびinf-単純的分解は、DG設定においてDG射影的／単純的分解よりも射影的および単純的次元をより正確に測るのか？
• RQ3 双対化複体の最小単純的分解に関するBassの構造定理のDG版は存在するか？
• RQ4 DG設定におけるBass数 $ \mu_R^n(\mathfrak{p}, M) $ はどのように振る舞い、最小ifij分解を再構成するために使用できるか？
• RQ5 コホモロジー代数 $ H^0(R) $ および双対化複体 $ D $ にどのような条件が課されると、piecewise NoetherianなCDGA $ R $ がGorensteinになるか？

主な発見

• 論文は、sppj分解を用いて、追加の仮定を課さずに、piecewise NoetherianなCDGAに対してAuslander-Buchsbaumの公式を証明した。
• 同じ枠組みを用いてBassの公式をCDGAに一般化し、Bass数を $ \dim_{\kappa(\mathfrak{p})} \operatorname{Hom}_{R_{\mathfrak{p}}}(\kappa(\mathfrak{p}), M_{\mathfrak{p}}[n]) $ を用いて定義した。
• Bassの構造定理のDG版が成り立つ：最小ifij分解 $ I_\bullet $ に対して、$ \mu^n(\mathfrak{p}, M) = 0 $ となるのは $ n = i + \operatorname{inf} I_{-i} $ のときであり、$ I_{-i} \cong \bigoplus_{\mathfrak{p}} E_R(R/\underline{\mathfrak{p}}')^{\oplus \mu^n(\mathfrak{p}, M)}[-\operatorname{inf} I_{-i}] $ が成り立つ。
• 局所的なpiecewise NoetherianなCDGA $ R $ 上の双対化複体 $ D $ に対して、最小ifij分解 $ I_\bullet $ は $ \operatorname{inf} I_{-i} = \operatorname{inf} D $、$ e = \dim H^0(R) $、および $ I_{-i} = \bigoplus_{\mathfrak{p}} E_R(R/\underline{\mathfrak{p}}')[-\operatorname{inf} D] $ を満たす。ここで $ i = \dim H^0(R) - \dim H^0(R)/\mathfrak{p} $ である。
• 論文は、$ R $ が双対化複体を備えるとき、$ H^0(R) $ が分類可能かつ有限次元であることを示した。
• Gorenstein CDGAは、同じ構造を示す最小ifij分解を備えた双対化複体が存在することによって特徴付けられる。