[논문 리뷰] The dimension of a subcategory of modules

Hailong Dao, Ryo Takahashi|arXiv (Cornell University)|2012. 03. 08.

Algebraic structures and combinatorial models참고 문헌 34인용 수 8

한 줄 요약

이 논문은 교환환의 유한 생성 모듈의 부분범주에 대한 차원의 새로운 개념을 도입하며, Rouquier의 삼각 범주 차원을 해소 및 두껍게 된 부분범주로 확장한다. 유한 차원이 부분범주 $\operatorname{\mathsf{CM}}_0(R)$의 최대 코hen-맥컬레이 모듈이 망가진 스펙트럼에서 국소적으로 자유로운 경우에 해당함을 증명하며, 이는 아울러더, 히운케, 루쉬케, 위거랜드의 고전적 결과를 복원하고 개선하며, 과거의 과르진 링에서의 안정 범주에 대한 최신 결과를 일반화한다.

ABSTRACT

Let R be a commutative noetherian local ring. As an analogue of the notion of the dimension of a triangulated category defined by Rouquier, the notion of the dimension of a subcategory of finitely generated R-modules is introduced in this paper. We found evidence that certain categories over nice singularities have small dimensions. When R is Cohen-Macaulay, under a mild assumption it is proved that finiteness of the dimension of the full subcategory consisting of maximal Cohen-Macaulay modules which are locally free on the punctured spectrum is equivalent to saying that R is an isolated singularity. As an application, the celebrated theorem of Auslander, Huneke, Leuschke and Wiegand is not only recovered but also improved. The dimensions of stable categories of maximal Cohen-Macaulay modules as triangulated categories are also investigated in the case where R is Gorenstein, and special cases of the recent results of Aihara and Takahashi, and Oppermann and Stovicek are recovered and improved. Our key technique involves a careful study of annihilators and supports of Tor, Ext and \underline{Hom} between two subcategories.

연구 동기 및 목표

• 교환노에터 국소환 위의 유한 생성 모듈의 해소 및 두껍게 된 부분범주에 대한 새로운 차원 개념을 정의하고 연구한다.
• 최대 코헨-맥컬레이 국소환에서 고립 특이점이 존재하는지 여부를 망가진 스펙트럼에서 국소적으로 자유로운 최대 코헨-맥컬레이 모듈 부분범주의 차원 유한성으로 특성화한다.
• 특히 과르진 경우에서 최대 코헨-맥컬레이 모듈의 안정 범주에 관한 기존 결과를 확장하고 정밀화한다.
• 이러한 부분범주가 무한 차원을 갖는 조건을 조사하며, 비유한 차원성에 대한 새로운 충분조건을 제공한다.

제안 방법

• 유한 생성 모듈의 부분범주에 대한 새로운 차원 개념을 도입하며, 이는 단일 객체로부터 범주를 구성하는 데 필요한 심지어 및 확장 단계의 수를 기반으로 한다.
• 차원 유한성 분석을 위해 부분범주 간의 Tor, Ext 및 안정 Hom 함자들의 영향을 분석하는 데 핵심적인 불변량으로 사용한다.
• 호모로지 대수학의 기법을 활용하며, 특히 최대 코헨-맥컬레이 모듈의 안정 범주와 그 두껍게 된 부분범주를 사용한다.
• 초표면의 경우, 유한 복합체에 대한 유한 복합체 모odulo의 유한 복합체 범주와 최대 코헨-맥컬레이 모듈의 안정 범주 간의 동치를 활용한다.
• 국부 코hom로지 및 지지 이론 결과를 적용하여 영향 조건을 특이점 유형과 연결한다.
• 해소 및 두껍게 된 부분범주 개념을 사용하여 특이 링 위에서 모듈 범주의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 망가진 스펙트럼에서 국소적으로 자유로운 최대 코헨-맥컬레이 모듈 부분범주 $\operatorname{\mathsf{CM}}_0(R)$의 차원이 유한한가?
• RQ2 이러한 모듈 간의 Tor 및 Ext 함자들의 영향과 링의 특이점 유형은 어떻게 관련이 있는가?
• RQ3 과르진 링에서 최대 코헨-맥컬레이 모듈의 안정 범주가 유한 차원이 되도록 보장하는 조건은 무엇인가?
• RQ4 해소 또는 두껍게 된 부분범주의 차원이 반드시 무한한 경우는 언제인가?
• RQ5 새로운 차원 개념이 고립 특이점과 코헨-맥컬레이 모듈에 관한 알려진 결과를 어떻게 복원하거나 개선하는가?

주요 결과

• 약간의 조건 하에, 부분범주 $\operatorname{\mathsf{CM}}_0(R)$의 최대 코헨-맥컬레이 모듈의 유한 차원은 $\operatorname{\mathsf{Ext}}^i(M,N)$의 영향이 $\mathfrak{m}$-주기적임과 동치이다.
• $\operatorname{\mathsf{Tor}}_i(M,N)$의 영향이 $\mathfrak{m}$-주기적이라면, $R$는 최대 한 개의 고립 특이점을 갖는다.
• $R$가 완비, 동차성이고 잔여체가 완전하다면, $R$가 고립 특이점을 갖는다 함과 $\operatorname{\mathsf{dim}}\,\operatorname{\mathsf{CM}}_0(R)$가 유한함이 서로 동치이다.
• 과르진 링의 경우, 안정 범주 $\underline{\mathsf{CM}}_0(R)$의 유한 차원은 $R$-선형 범주 $\underline{\mathsf{CM}}_0(R)$의 영향이 $\mathfrak{m}$-주기적임과 동치이다.
• 동일한 조건 하에, $\underline{\mathsf{CM}}_0(R)$의 차원이 유한함은 $R$가 최대 한 개의 고립 특이점을 갖는 것과 동치이다.
• 해소 또는 두껍게 된 부분범주가 무한 차원을 갖는 데 필요한 여러 충분조건을 확립하였으며, 이는 $R$가 국소적으로 초표면이거나 최소 다항식을 갖거나 유한한 코헨-맥컬레이 표현 유형을 갖는 경우를 포함한다.