[논문 리뷰] Errata: On the Homology of Completion and Torsion

Marco Porta, Liran Shaul외 1명|arXiv (Cornell University)|2015. 06. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 5

한 줄 요약

이 논문은 교환대수학에서 완비화와 토판의 호모로지에 관한 저자들의 이전 작업에서 두 가지 오류를 수정한다. Theorem 7.12(GM Dualit의 잘못된 증명을 유도함수와 텔레스코프 복합체를 사용한 보정된 준동형사상 논증으로 수정하며, $rak{a}$-토션 모듈의 범주가 두껍게(Thick) 되기 위한 조건은 $rak{a}$가 유한생성일 때 뿐이며, 이는 약한 프로레귤레이터 아이디얼이 유한생성되기 때문에 본 논문의 맥락에서 참임을 명확히 한다. 핵심 기여는 유도 범주에서 그로텐디크-말그랑지 이중성에 대한 보정되고 엄밀한 증명을 제공하는 것이다.

ABSTRACT

In this note we correct two errors in our paper "On the Homology of Completion and Torsion", arXiv:1010.4386, that appeared in Algebras and Representation Theory (2014).

연구 동기 및 목표

• 논문 [PSY]의 Theorem 7.12에서 잘못된 준동형사상 주장(일반적으로 성립하지 않는)을 수정한다.
• $\frak{a}$-토션 모듈의 부분범주는 $\frak{a}$가 유한생성일 때에만 두껍게 되며, 이 조건은 약한 프로레귤레이터 아이디얼이 유한생성되기 때문에 본 논문의 프레임워크에서 만족됨을 명확히 한다.
• 텔레스코프 복합체와 유도 함자들을 사용하여 유도 범주에서 그로텐디크-말그랑지 이중성에 대한 보정되고 엄밀한 증명을 제공한다.
• 잘못된 호모모르피즘 주장 대신 올바른 준동형사상 논증을 도입하여 [PSY]의 유도 이중성 결과의 타당성을 복원한다.

제안 방법

• 유도 함자를 사용한 보정된 버전으로, $\operatorname{Hom}(u,\operatorname{id}): T\otimes_A P \to \operatorname{Hom}_A(T, T\otimes_A P)$ 가 준동형사상임을 주장하는 잘못된 주장 대체.
• [PSY, Proposition 5.8]에서 얻은 등장사상 $v^{\mathrm{R}}_{\boldsymbol{a},M}: \mathrm{R}\Gamma_{\frak{a}}(M) \xrightarrow{\simeq} \operatorname{Tel}(A;\boldsymbol{a})\otimes_A M$ 을 사용하여 완비화와 텐서곱을 연결.
• [PSY, Corollary 5.25]에서 얻은 등장사상 $\operatorname{tel}^{\mathrm{L}}_{\boldsymbol{a},M}: \operatorname{Hom}_A(\operatorname{Tel}(A;\boldsymbol{a}), M) \xrightarrow{\simeq} \mathrm{L}\Lambda_{\frak{a}}(M)$ 을 사용하여 토판과 호모-복합체를 연결.
• 유도 함자와 등장사상 $\mathrm{L}\Lambda_{\frak{a}}(\sigma^{\mathrm{R}}_M)$ 을 통해 $\operatorname{Hom}_A(\operatorname{id}, u\otimes\operatorname{id}): \operatorname{Hom}_A(T, T\otimes_A M) \to \operatorname{Hom}_A(T, M)$ 가 준동형사상임을 증명.
• 호모-텐서 수반관계를 적용하여 복잡한 다이어그램을 동치 형태로 변환하고, Lemmas 5–8를 통해 준동형사상의 타당성을 검증.
• K-프로젝티브 및 K-인젝티브 해상형을 사용하여 문제를 복합체의 호모토피 범주에서의 준동형사상 검증으로 환원.

실험 결과

연구 질문

• RQ1 왜 [PSY]의 Theorem 7.12 원본 증명이 실패하는가? 그리고 잘못된 특정 주장은 무엇인가?
• RQ2 $\frak{a}$-토션 모듈의 범주는 $\mathsf{Mod} A$의 두껍게 되는 부분범주가 되는 조건은 무엇인가?
• RQ3 보정된 준동형사상 논증을 사용하여 Theorem 7.12의 유도 이중성 등장사상은 복원 가능한가?
• RQ4 유도 함자 $\mathrm{R}\Gamma_{\frak{a}}$ 와 $\mathrm{L}\Lambda_{\frak{a}}$ 는 텔레스코프 복합체 $\operatorname{Tel}(A;\boldsymbol{a})$ 와 어떻게 상호작용하는가?
• RQ5 K-프로젝티브 및 K-인젝티브 해상형은 보정된 증명에서 유도 등장사상 검증에 어떤 역할을 하는가?

주요 결과

• 원래 주장인 $\operatorname{Hom}(u,\operatorname{id}): T\otimes_A P \to \operatorname{Hom}_A(T, T\otimes_A P)$ 가 준동형사상임은 $A = \mathbb{K}[[t]]$ 및 $P = A$ 인 반례로 잘못됨을 입증.
• 보정된 진술은 $\operatorname{Hom}_A(\operatorname{id}, u\otimes\operatorname{id}): \operatorname{Hom}_A(T, T\otimes_A M) \to \operatorname{Hom}_A(T, M)$ 가 준동형사상임이며, 이는 유도 함자와 등장사상 $\mathrm{L}\Lambda_{\frak{a}}(\sigma^{\mathrm{R}}_M)$ 을 통해 증명됨.
• $\mathsf{Mod}_{\frak{a}\textup{-tor}} A$ 는 $\frak{a}$ 가 유한생성일 때에만 $\mathsf{Mod} A$ 의 두껍게 되는 아벨 부분범주이며, 이 조건은 약한 프로레귤레이터 아이디얼이 유한생성되기 때문에 본 논문의 설정에서 만족됨.
• 보정된 Theorem 9의 증명은 $\mathrm{R}\Gamma_{\frak{a}}$, $\mathrm{L}\Lambda_{\frak{a}}$, 텔레스코프 복합체를 포함하는 다이어그램이 유도 범주에서 등장사상으로 교환됨을 증명.
• 잘못된 호모모르피즘을 보정된 것으로 대체하고, 호모-텐서 수반관계와 K-프로젝티브 해상형을 사용하여 모든 다이어그램 맵이 준동형사상임을 검증함으로써 증명에 의존.
• 보정된 논증은 유도 범주에서 그로텐디크-말그랑지 이중성의 타당성을 복원하며, 핵심 단계는 잘못된 준동형사상 주장 대신 유도 함자를 사용한 올바른 주장으로 대체하는 것이다.