[논문 리뷰] Singularity categories and singular equivalences for resolving subcategories

Hiroki Matsui, Ryo Takahashi|arXiv (Cornell University)|2014. 12. 27.

Algebraic structures and combinatorial models참고 문헌 37인용 수 7

한 줄 요약

이 논문은 과잉정규화된 링에서 해소 가능한 부분분류의 특이성 분류가 자명해지는 조건을 규명하며, 이러한 분류가 자명한 특이성 분류를 가진다 함은 오직 그 링이 $Δ_1$ 유형의 단순 초면적 특이성일 때에만 성립함을 증명한다. 이는 요시노의 완전 반사 모듈에 관한 결과를 일반화하고, 자명한 특이성 분류를 가진 완전교차 링의 완전한 분류를 제공한다.

ABSTRACT

Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and when the stable categories of two resolving subcategories have triangle equivalent singularity categories. Applying this to the module category of a Gorenstein ring, we characterize simple hypersurface singularities of type $(\a_1)$ as complete intersections over which the stable categories of resolving subcategories have trivial singularity categories. We also generalize several results of Yoshino on totally reflexive modules.

연구 동기 및 목표

• 해소 가능한 부분분류의 안정 분류에서 특이성 분류가 자명해지는 조건을 규명하는 것.
• 요시노의 완전 반사 모듈에 관한 결과를 해소 가능한 부분분류의 맥락으로 일반화하는 것.
• 두 해소 가능한 부분분류의 특이성 분류가 삼각 동치가 되는 조건을 규명하는 것.
• 해소 가능한 부분분류의 안정 분류에서 특이성 분류가 자명한 완전교차 링을 분류하는 것.
• MCM 모듈의 오스라우더-레인 퀼러의 구조와 특이성 분류의 자명성 사이의 연결 고리를 설정하는 것.

제안 방법

• 해소 가능한 부분분류 $\mathcal{X}$ 에 대해 특이성 분류 $\mathsf{D_{sg}}(\underline{\mathcal{X}})$ 를 베르드리어 몫 $\mathsf{D^b}(\mathsf{mod}\underline{\mathcal{X}})/\mathsf{K^b}(\mathsf{proj}(\mathsf{mod}\underline{\mathcal{X}}))$ 로 정의한다.
• 벨리아니스에 의해 확립된 과잉정규화 분류에서 특이성 분류와 과잉정규화 프로젝티브 모듈의 안정 분류 사이의 동치를 사용한다.
• 오스라우더-레인 이론과 초면적 특이성에서의 최대 코hen-맥올레이 모듈의 성질을 적용한다.
• MCM 모듈의 오스라우더-레인 퀼러를 분석하여 비자명한 화살표가 존재하지 않음을 감지함으로써 $Δ_1$ 특이성을 특징짓는다.
• 1차원 $Δ_2$ 특이성에 대해 $\mathsf{\underline{End}}_R(\mathfrak{m}) \cong k[t]/(t^2)$ 인 등식을 사용하여 특이성 분류를 계산한다.
• 특이성 분류 $\mathsf{D_{sg}}(\mathcal{C}) \cong \mathbf{0}$ 이다 함은 $\mathcal{C}$ 가 정규임과 동치임을 이용하여 자명한 특이성 분류를 특징짓는다.

실험 결과

연구 질문

• RQ1 해소 가능한 부분분류의 안정 분류에서 특이성 분류가 자명해지는 조건은 무엇인가?
• RQ2 어떤 완전교차 링이 해소 가능한 부분분류를 가지며 그 특이성 분류가 자명한가?
• RQ3 두 해소 가능한 부분분류의 특이성 분류가 삼각 동치가 되는 조건은 무엇인가?
• RQ4 MCM 모듈의 오스라우더-레인 퀼러의 구조는 특이성 분류의 자명성과 어떻게 관련되는가?
• RQ5 1차원 $Δ_2$ 특이성에서 MCM 모듈의 안정 분류의 특이성 분류는 무엇인가?

주요 결과

• 해소 가능한 부분분류의 안정 분류에서 특이성 분류가 자명해지는 것은 오직 그 기반 링이 $Δ_1$ 유형의 단순 초면적 특이성일 때에만 성립한다.
• 1차원 $Δ_2$ 특이성 $R \cong k[[x,y]]/(xy)$ 에 대해 특이성 분류 $\mathsf{D_{sg}}(\mathsf{\underline{CM}}(R))$ 는 $\mathsf{D_{sg}}(k[t]/(t^2))$ 와 삼각 동치이며, 이는 자명하지 않다.
• $R$ 가 $Δ_2$ 특이성일 경우 안정 분류 $\mathsf{\underline{CM}}(R)$ 는 특이성 분류의 비자명성으로 인해 정규가 아니다.
• 해소 가능한 부분분류가 최대 복잡도를 가진 모듈을 포함하는 것은 특이성 분류가 자명해지기 위한 필수 조건이다; 그렇지 않으면 비-$\u0394_1$ 완전교차 링일지라도 분류가 정규일 수 있다.
• 과잉정규화 분류 $\mathcal{C}$ 의 특이성 분류는 $\mathsf{mod}\mathcal{C}$ 에서의 과잉정규화 프로젝티브 모듈의 안정 분류와 삼각 동치이며, 부크바이츠의 정리를 일반화한다.
• 해소 가능한 부분분류 간의 특이성 동치는 기약 MCM 모듈의 수를 유지하지 않는다. 예를 들어, $R = k[[x,y]]/(xy)$ 는 MCM 모듈이 3개인데 비해 $k$ 와 특이성 동치이므로, 이는 기약 MCM 모듈의 수가 보존되지 않음을 보여준다.