[논문 리뷰] Relative singularity categories, Gorenstein objects and silting theory

Jiaqun Wei|arXiv (Cornell University)|2015. 04. 25.

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

한 줄 요약

이 논문은 삼각 범주에서 Gorenstein 프로젝티브 및 인젝티브 모듈의 일반화로 $ω$-Gorenstein 대상을 도입하며, 이 대상들의 안정 범주가 삼각 범주 $τ$ 에 대한 반대칭자기직교 부분범주 $ω$ 에 대한 상대 특이성 범주와 삼각 동치임을 증명한다. 주요 기여는 silting 이론, Gorenstein 호모로지 대수학, 특이성 범주를 통합하는 프레임워크를 제공함으로써, 기존의 Gorenstein 환에 대한 고전적 결과를 삼각 범주 기법을 통해 더 넓은 설정으로 확장하는 것이다.

ABSTRACT

We study singularity categories through Gorenstein objects in triangulated categories and silting theory. Let $ω$ be a semi-selforthogonal (or presilting) subcategory of a triangulated category $\mathcal{T}$. We introduce the notion of $ω$-Gorenstein objects, which is far extended version of Gorenstein projective modules and Gorenstein injective modules in triangulated categories. We prove that the stable category $\underline{\mathcal{G}_ω}$, where $\mathcal{G}_ω$ is the subcategory of all $ω$-Gorenstein objects, is a triangulated category and it is, under some conditions, triangle equivalent to the relative singularity category of $\mathcal{T}$ with respect to $ω$.

연구 동기 및 목표

• silting 이론을 사용하여 삼각 범주에서 Gorenstein 프로젝티브 및 인젝티브 모듈을 일반화하기 위해.
• 삼각 범주 $τ$ 에서 반대칭자기직교 부분범주 $ω$ 를 위해 $ω$-Gorenstein 대상을 정의하고 연구하기 위해.
• 삼각 범주 $τ$ 에 대한 상대 특이성 범주와 $ω$-Gorenstein 대상들의 안정 범주 사이의 삼각 동치를 확립하기 위해.
• Gorenstein 환의 특이성 범주에 대한 고전적 결과를 더 일반적인 설정, 즉 비노에터이거나 코herent 환을 포함하여 확장하기 위해.
• 상대 특이성 범주와 silting 이론을 기반으로 하는 공통 프레임워크를 통해 다양한 특이성 범주를 통합하기 위해.

제안 방법

• 삼각 범주 $τ$ 에서 Gorenstein 프로젝티브 및 인젝티브 모듈의 일반화로 $ω$-Gorenstein 대상을 도입한다.
• 상대 특이성 범주 $τ_{ω}$ 를 $τ / τ_{ω}^{ot}$ 로 정의한다. 여기서 $τ_{ω}^{ot}$ 는 $ω$ 와 $τ$-직교하는 대상들의 부분범주이다.
• 적절한 조건 하에서 $ω$-Gorenstein 대상들의 안정 범주 $τ_{ω}$ 가 삼각 범주임을 증명한다.
• silting 이론과 상대 호모로지 대수학 기법을 사용하여 $ω$-Gorenstein 대상을 silting 복합체 및 모듈의 부분범주와 연결한다.
• silting 복합체의 구조를 통해 Gorenstein 대상의 안정 범주와 큰 또는 작은 특이성 범주 사이의 삼각 동치를 확립한다.
• 유한 Gorenstein 전역 차원을 가진 환에 프레임워크를 적용하여, $υ\underline{\mathcal{G}P}$, $υ\underline{\mathcal{G}I}$, $υ\underline{\mathcal{G}}_{\mathrm{Add}M}$, 및 $υ\mathcal{D}_{σ}(R)$ 간의 동치를 보여준다.

실험 결과

연구 질문

• RQ1 silting 이론을 사용하여 삼각 범주 맥락에서 Gorenstein 프로젝티브 및 인젝티브 모듈을 어떻게 일반화할 수 있는가?
• RQ2 언제 $ω$-Gorenstein 대상들의 안정 범주가 삼각 범주이며, $τ$ 에 대한 상대 특이성 범주와 삼각 동치가 되는가?
• RQ3 기존의 특이성 범주와 Gorenstein 대상의 안정 범주 사이의 고전적 삼각 동치를 Gorenstein 환을 넘어서 더 일반적인 유한 Gorenstein 전역 차원을 가진 환으로 확장할 수 있는가?
• RQ4 silting 복합체는 Gorenstein 대상을 통한 특이성 범주의 특성화에서 어떤 역할을 하는가?
• RQ5 상대 특이성 범주는 유도 및 안정 호모로지 대수학에서 다양한 형태의 특이성 범주를 어떻게 통합하는가?

주요 결과

• 적절한 조건 하에서 $ω$-Gorenstein 대상들의 안정 범주 $υ\underline{\mathcal{G}}_{ω}$ 는 삼각 범주이다.
• 안정 범주 $υ\underline{\mathcal{G}}_{ω}$ 와 상대 특이성 범주 $τ_{ω}$ 사이에 삼각 동치가 존재하며, 이는 Gorenstein 호모로지 대수학과 특이성 이론 사이의 새로운 연결 고리를 확립한다.
• 유한 Gorenstein 전역 차원을 가진 환 $R$ 에 대해, 큰 특이성 범주 $υ\mathcal{D}_{σ}(R)$ 는 $υ\underline{\mathcal{G}P}$, $υ\underline{\mathcal{G}I}$, 및 $υ\underline{\mathcal{G}}_{\mathrm{Add}M}$ 과 삼각 동치이다. 여기서 $M$ 은 $\mathcal{D}^b(\mathrm{Mod}R)$ 내의 큰 silting 복합체이다.
• 유한 Gorenstein 전역 차원을 가진 왼쪽 코herent 환 $R$ 에 대해, 작은 특이성 범주 $\mathcal{D}_{sg}(R)$ 는 $\underline{\mathcal{G}p}$ 와 $\underline{\mathcal{G}}_M$ 과 삼각 동치이다. 여기서 $M$ 은 $\mathcal{D}^b(R)$ 내의 silting 복합체이다.
• 이 프레임워크는 다양한 특이성 범주를 통합하며, 이들이 모두 silting 복합체와 관련된 Gorenstein 대상의 안정 범주와 동치임을 보여준다.
• 반사적 자기환인 대수에서 근의 제곱이 0인 예시에서, 특이성 범주 $\mathcal{D}_{sg}(R)$ 는 두 항복합체인 silting 복합체 $M$ 과 삼각 동치임을 보여주며, 일반 이론을 확인한다.