[论文解读] On commutative differential graded algebras

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

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

一句话总结

本文为连通交换微分分次代数（CDGA）建立了基础的同调工具，引入了上投影（sppj）与下内射（ifij）分解作为经典投影与内射分解的DG版本。证明了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)$.

研究动机与目标

• 为连通交换微分分次代数（CDGA）发展一个类似于经典交换代数的同调框架。
• 通过引入上投影（sppj）与下内射（ifij）分解，克服DG投影/内射分解的局限性，作为更准确的投影与内射维数度量。
• 在无需额外假设的前提下，推广经典结果（如Auslander-Buchsbaum与Bass公式）。
• 建立对偶化复形的极小内射分解的DG版本结构定理。
• 通过其对偶化复形的上同调性质，刻画Gorenstein CDGAs。

提出的方法

• 引入上投影（sppj）与下内射（ifij）分解作为经典投影与内射分解的DG类比，以正确度量投影与内射维数。
• 使用Yekutieli对DG模的投影与内射维数的定义，以在DG设定中定义同调不变量。
• 通过上同调函子将DG模的同态与分次模的同态联系起来，利用$ R^* = \operatorname{Hom}_\mathbb{Z}(R, \mathbb{Q}/\mathbb{Z}) $的性质确保满射性。
• 通过$ \operatorname{Spec} H^0(R) $中素理想的关联，构造DG模的极小ifij分解，使用不可约DG内射模$ E_R(R/\underline{\mathfrak{p}}') $。
• 证明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 上投影与下内射分解是否比DG投影/内射分解更准确地度量DG设定中的投影与内射维数？
• RQ3 是否存在对偶化复形极小内射分解的Bass结构定理的DG版本？
• RQ4 在DG设定中，Bass数$ \mu_R^n(\mathfrak{p}, M) $的行为如何？能否用于重构极小ifij分解？
• RQ5 当共轭代数$ H^0(R) $与对偶化复形$ D $满足何种条件时，可保证一个分片诺特CDGA $ R $为Gorenstein？

主要发现

• 论文在无额外假设下，利用sppj分解证明了分片诺特CDGA的Auslander-Buchsbaum公式。
• 通过相同框架，将Bass公式推广至CDGA，其中Bass数通过$ \dim_{\kappa(\mathfrak{p})} \operatorname{Hom}_{R_{\mathfrak{p}}}(\kappa(\mathfrak{p}), M_{\mathfrak{p}}[n]) $定义。
• 存在DG版本的Bass结构定理：对于对偶化复形$ M $的极小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}] $。
• 对于局部分片诺特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 $ admits a dualizing complex时，$ H^0(R) $为诺特且有限维的。
• Gorenstein CDGA可通过存在一个对偶化复形，其极小ifij分解满足经典交换代数中相同的结构特征来刻画。