[논문 리뷰] On commutative differential graded algebras

Hiroyuki Minamoto|arXiv (Cornell University)|2019. 03. 18.

Algebraic structures and combinatorial models참고 문헌 14인용 수 5

한 줄 요약

이 논문은 연결형 가환 미분가환대수(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)$.

연구 동기 및 목표

• 연결형 가환 미분가환대수(CDGA)에 대해 고전적 가환대수학과 유사한 호몰로지 프레임워크를 개발하기 위해.
• DG-프로젝티브/인젝티브 분해의 한계를 극복하기 위해, 프로젝티브 및 인젝티브 차원을 더 정확히 측정할 수 있는 sup-프로젝티브(sppj) 및 inf-인젝티브(ifij) 분해를 도입하기 위해.
• 불필요한 가정 없이도 고전적 결과—예를 들어 Auslander-Buchsbaum 및 Bass 공식—을 일반화하기 위해.
• 이중화 복합체의 최소 인젝티브 분해에 대한 DG-버전의 구조 정리를 수립하기 위해.
• 이중화 복합체의 코호몰로지적 성질을 통해 Gorenstein CDGA를 특성화하기 위해.

제안 방법

• 고전적 프로젝티브 및 인젝티브 분해의 DG-버전으로서 sup-프로젝티브(sppj) 및 inf-인젝티브(ifij) 분해를 도입하여, 프로젝티브 및 인젝티브 차원을 적절히 측정한다.
• DG-모듈에 대한 프로젝티브 및 인젝티브 차원의 정의를 Yekutieli의 정의를 사용하여 DG-설정에서 호몰로지 불변량을 정의한다.
• 코호몰로지 함자를 적용하여 DG-모듈 사상과 그레디에이티드 모듈 사상 간의 관계를 설정하며, $ 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 $ 에 어떤 조건이 성립하면, 조각별 노에테르 CDGA $ R $ 가 Gorenstein이 되는가?

주요 결과

• 논문은 추가 가정 없이 조각별 노에테르 CDGA에 대해 sppj 분해를 사용하여 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}] $ 라고 나타난다.
• 지역 조각별 노에테르 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 분해가 고전적 가환대수학에서와 동일한 구조를 만족함을 보이는 것으로 특성화된다.