[논문 리뷰] The Gorenstein defect category

Petter Andreas Bergh, David A. Jorgensen외 1명|arXiv (Cornell University)|2012. 02. 13.

Algebraic structures and combinatorial models참고 문헌 10인용 수 6

한 줄 요약

이 논문은 Noetherian 링이 Gorenstein이 되지 못하는 정도를 측정하는 삼각형 범주인 Gorenstein 결함 범주를 도입한다. 아티닌 또는 가환 Noetherian 국소 링에 대해, 전체 극성 복합체의 호모토피 범주에서 싱귤라리티 범주로의 자연스러운 함자(함자)가 밀도가 있을 조건은 링이 Gorenstein일 때이고, 이를 통해 Gorenstein 링에 대한 범주론적 특성화를 제공한다.

ABSTRACT

We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that if the ring is either Artin or commutative Noetherian local, then the functor is dense if and only if the ring is Gorenstein. Motivated by this, we define the Gorenstein defect category of the ring, a category which in some sense measures how far the ring is from being Gorenstein.

연구 동기 및 목표

• 삼각형 범주를 이용하여 Gorenstein 링에 대한 범주론적 특성화를 제공하기 위해.
• Gorenstein 결함 범주를 정의하고, 링이 Gorenstein이 되지 못하는 정도를 측정하기 위해 연구하기 위해.
• 전체 극성 복합체에서 싱귤라리티 범주로의 함자가 밀도를 가지는 조건을 조사하기 위해.
• 특히 아티닌 및 가환 국소 링의 맥락에서 Gorenstein 결함 범주의 차원을 분석하기 위해.
• 비자명한 전체 극성 복합체를 가진 최소의 비Gorenstein 링을 식별하기 위해.

제안 방법

• 영도 0에서의 무자비한 절단을 사용하여 전체 극성 복합체의 호모토피 범주에서 싱귤라리티 범주로의 삼각 함자를 유도하기 위해.
• 이 함자의 상(image)으로 싱귤라리티 범주의 몫을 통해 Gorenstein 결함 범주를 정의하기 위해.
• 두꺼운 부분범주 기법을 적용하고 링의 극의 로에브 길이를 사용하여 싱귤라리티 범주의 차원을 유계화하기 위해.
• Buchweitz 및 다른 이들의 유도 범주와 최대 코hen-맥올레이 모듈러스의 안정 범주에 관한 결과를 활용하기 위해.
• Christensen과 Veliche의 정리를 적용하여, 로에브 길이가 작은 전체 극성 복합체를 가진 링의 구조를 제약하기 위해.
• 극의 멱영 지수 n을 가진 링의 싱귤라리티 범주의 차원이 최대 n−2임을 이용하여 Gorenstein 결함 범주의 차원을 유계화하기 위해.

실험 결과

연구 질문

• RQ1 Noetherian 링에 대해 전체 극성 복합체의 호모토피 범주에서 싱귤라리티 범주로의 함자가 언제 밀도를 가질까?
• RQ2 아티닌 또는 가환 Noetherian 국소 링에 대해 Gorenstein 결함 범주의 구조와 차원은 어떻게 되는가?
• RQ3 어떤 유한 차원 국소 링이 비자명한 전체 극성 복합체를 가지며 Gorenstein이 아니게 되는가?
• RQ4 비Gorenstein 국소 링이 비자명한 전체 극성 복합체를 가지기 위한 최소의 로에브 길이, 임베딩 차원, 길이는 무엇인가?
• RQ5 Gorenstein 결함 범주의 차원은 로에브 길이 및 임베딩 차원 등의 불변량과 어떻게 관련되는가?

주요 결과

• 아티닌 또는 가환 Noetherian 국소 링에 대해, 전체 극성 복합체의 호모토피 범주에서 싱귤라리티 범주로의 함자가 밀도일 조건은 링이 Gorenstein일 때이다.
• Gorenstein 결함 범주는 링이 Gorenstein일 때에만 자명하다(즉, 0이다).
• 극이 𝔪ⁿ = 0를 만족하는 가환 국소 링에 대해, 싱귤라리티 범주의 차원은 최대 n−2이다.
• R = k[x,y,z]/(x²,y²,z²,yz)는 로에브 길이, 임베딩 차원, 길이 측면에서 가장 작은 가환 국소 비Gorenstein 링이며, 비자명한 전체 극성 복합체를 가진다.
• R의 Gorenstein 결함 범주의 차원은 최대 1이며, 싱귤라리티 범주의 몫이므로 그 차원은 싱귤라리티 범주의 차원에 의해 유계화된다.
• R의 경우 Gorenstein 결함 범주의 차원은 최대 1이며, 이 유계는 그 극과 쌍대접합의 구조에 의해 정확하다.