[논문 리뷰] Relative Singularity Categories and Gorenstein-Projective Modules

Xiao‐Wu Chen|arXiv (Cornell University)|2007. 09. 12.

Algebraic structures and combinatorial models참고 문헌 15인용 수 4

한 줄 요약

이 논문은 아벨 범주에서 자기수직인 부분범주 𝜔에 대해 상대 특이성 범주를 도입하며, 적절한 조건 하에서 𝜔-Cohen-Macaulay 대상의 안정 범주와 상대 특이성 범주 사이의 삼각환동을 확립한다. 주요 기여는 Gorenstein 링에 대해 Buchweitz-Happel 대칭성을 확장하여, Gorenstein-프로젝티브 모듈의 안정 범주가 컴팩트 생성됨을 보이며, 컴팩트 객체들은 직접합성분을 제외하고 정확히 유한 생성 Gorenstein-프로젝티브 모듈들로 정확히 일치함을 보인다.

ABSTRACT

We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory $ω$ of an abelian category. We introduce the Frobenius category of $ω$-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of $ω$-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable category of (unnecessarily finitely-generated) Gorenstein-projective modules with singularity categories of rings. We prove that for a Gorenstein ring, the stable category of Gorenstein-projective modules is compactly generated and its compact objects coincide with finitely-generated Gorenstein-projective modules up to direct summands.

연구 동기 및 목표

• 자기수직 부분범주 $ \omega \subseteq \mathcal{A} $ 에 대해 상대 특이성 범주 $ D_{\omega}(\mathcal{A}) $ 를 정의하고, 고전적 특이성 범주를 일반화함.
• 𝜔-Cohen-Macaulay 대상의 프로베니우스 범주를 도입하고, 그 안정 범주가 삼각환동된 몫범주임을 확립함.
• Gorenstein 링 위에서 Gorenstein-프로젝티브 모듈의 안정 범주를 상대 특이성 범주를 통해 특이성 범주들과 연결함.
• Gorenstein 링 위에서 Gorenstein-프로젝티브 모듈의 안정 범주가 컴팩트 생성됨을 증명하며, 컴팩트 객체들은 직접합성분을 제외하고 정확히 유한 생성 Gorenstein-프로젝티브 모듈들임을 보임.
• Buchweitz-Happel 대칭성을 유한 생성이 아닐 수 있는 Gorenstein-프로젝티브 모듈의 경우로 일반화함.

제안 방법

• 자기수직인 $ \omega $ 에 대해 상대 특이성 범주 $ D_{\omega}(\mathcal{A}) $ 를 $ D^b(\mathcal{A}) / K^b(\omega) $ 로 정의함.
• $ \widehat{\omega} $, $ {}_\omega\mathcal{X} $, $ \omega^\perp $ 를 정의하고, 자기수직성 조건 하에서 $ \omega \subseteq \widehat{\omega} \subseteq {}_\omega\mathcal{X} \subseteq \omega^\perp $ 임을 보임.
• 𝜔-Cohen-Macaulay 대상의 안정 범주에서 $ D_{\omega}(\mathcal{A}) $ 로의 전순수 정확한 매장이 존재하며, 합리적인 조건 하에서 이 매장이 환동임을 증명함.
• 호모로지 대수학의 차원 이동 기법을 사용하여, 프로젝티브의 정확한 복합체의 코사이클이 $ {}^\perp R\text{-Proj} $ 에 속함을 보이고, 따라서 $ R\text{-Gproj} $ 에 속함을 증명함.
• Thomason-Trobaugh-Yao-Neeman 정리에 따라 몫 삼각범주의 컴팩트 생성성을 다루어, $ R\text{-\underline{GProj}} $ 가 컴팩트 생성됨을 증명함.
• $ Z^0 $ 는 제로번째 코사이클을 취하는 함자이며, $ \mathbf{a} $ 는 복합체에 대응하는 완전 복소를 부여하는 함자임을 사용하여 $ K(R\text{-Proj}) $ 와 $ R\text{-\underline{GProj}} $ 를 연결함.

실험 결과

연구 질문

• RQ1 𝜔-Cohen-Macaulay 대상의 안정 범주가 언제 삼각환동을 이루는가? 이는 상대 특이성 범주 $ D_{\omega}(\mathcal{A}) $ 와 관련하여 성립하는가?
• RQ2 상대 특이성 범주는 고전적 특이성 범주와 어떻게 관련되며, 틸팅 부분범주와의 관계는 어떠한가?
• RQ3 Gorenstein 링 위에서 Gorenstein-프로젝티브 모듈의 안정 범주는 컴팩트 생성되는가?
• RQ4 Gorenstein-프로젝티브 모듈의 안정 범주에서 컴팩트 객체들은 직접합성분을 제외하고 정확히 유한 생성 Gorenstein-프로젝티브 모듈들과 일치하는가?
• RQ5 Buchweitz-Happel 대칭성은 유한 생성이 아닐 수 있는 Gorenstein-프로젝티브 모듈의 경우로 확장될 수 있는가?

주요 결과

• 𝜔-Cohen-Macaulay 대상의 안정 범주는 상대 특이성 범주 $ D_{\omega}(\mathcal{A}) $ 에 전순수로 삽입되며, 적절한 조건 하에서 이 삽입은 환동이 됨.
• Gorenstein 링 $ R $ 에 대해, Gorenstein-프로젝티브 모듈의 안정 범주 $ R\text{-\underline{GProj}} $ 는 삼각범주로서 컴팩트 생성됨.
• $ R\text{-\underline{GProj}} $ 의 컴팩트 객체들의 부분범주는 정확히 유한 생성 Gorenstein-프로젝티브 $ R $-모듈의 직접합성분들로 이루어져 있음.
• $ Z^0: K^{\rm ex}(R\text{-Proj}) \to R\text{-\underline{GProj}} $ 는 삼각환동이며, 프로젝티브의 정확한 복합체와 Gorenstein-프로젝티브 모듈을 연결함.
• 상대 특이성 범주 $ D_{\omega}(\mathcal{A}) $ 는 고전적 특이성 범주 $ D_{\rm sg}(\mathcal{A}) $ 를 일반화하며, 틸팅 부분범주를 통해 이를 복원함.
• 결과는 Buchweitz-Happel 대칭성을 유한 생성이 아닐 수 있는 경우로 확장하여, Gorenstein-프로젝티브 모듈이 반드시 유한 생성이 아니어도 $ D_{\rm sg}(R) \simeq R\text{-\underline{GProj}} $ 가 성립함을 보임.