[논문 리뷰] Reductions of triangulated categories and simple-minded collections

Haibo Jin|arXiv (Cornell University)|2019. 07. 11.

Algebraic structures and combinatorial models참고 문헌 28인용 수 11

한 줄 요약

이 논문은 전단순적 사슬 집합(pre-SMC)을 사용한 삼각 범주에 대한 새로운 축소 과정을 제안하며, 원래 범주 T에 포함된 pre-SMC R을 포함하는 SMC들 사이의 일대일 대응을 보장하는 새로운 삼각 범주 U를 구성한다. 주요 결과는 베르디에르 몫을 통한 부분범주 Z에 대한 표준적인 삼각 구조의 수립으로, 이는 실팅 축소 대칭성과 부크바이츠의 정리의 일반화를 포함한다. 이는 SMC 사중조에 대한 일반화이다.

ABSTRACT

Silting and Calabi-Yau reductions are important process in representation theory to construct new triangulated categories from given one, which are similar to Verdier quotient. In this paper, first we introduce a new reduction process of triangulated category, which is analogous to the silting (Calabi-Yau) reduction. For a triangulated category $\cal T$ with a pre-simple-minded collection (=pre-SMC) $\cal R$, we construct a new triangulated category $\cal U$ such that the SMCs in $\cal U$ bijectively correspond to those in $\cal T$ containing $\cal R$. Secondly, we give an analogue of Buchweitz's theorem for the singularity category $\cal T_{ m sg}$ of a SMC quadruple $(\cal T,\cal T^{ m p},\mathbb S, \cal S)$: the category $\cal T_{ m sg}$ can be realized as the stable category of an extriangulated subcategory $\cal F$ of $\cal T$. Finally, we show the SMS (simple-minded system) reduction due to Coelho Simões and Pauksztello is the shadow of our SMC reduction. This is parallel to the result that Calabi-Yau reduction is the shadow of silting reduction due to Iyama and Yang.

연구 동기 및 목표

• 실팅 및 칼라비-유아 타입 축소와 유사한 방식으로 pre-SMC를 기반으로 삼각 범주의 새로운 축소 과정을 도입하는 것.
• 원래 범주 T에 포함된 pre-SMC R을 포함하는 SMC들과 축소된 범주 U의 SMC들 사이의 일대일 대응을 확립하는 것.
• 부크바이츠의 특이성 범주와 코hen-맥올레이 모듈의 안정 범주 간의 동치를 SMC 사중조의 맥락으로 일반화하는 것.
• 코엘로 시모스와 파우크슈텔로가 정의한 SMS 축소가 제안된 SMC 축소의 '그림자'임을 보여주며, 실팅과 칼라비-유아 타입 축소 간의 관계를 모방하는 것.

제안 방법

• Krull-Schmidt 삼각 범주 T에서 pre-SMC R을 갖는 경우, SMC 축소를 베르디에르 몫 U = T / thick(R)로 정의한다.
• 범주 T 내부에 부분범주 Z = R[≥0]⊥ ∩ ⊥R[≤0]를 구성하고, 조건 (R1)과 (R2) 하에서 Z가 삼각 범주이자 U와 동치임을 증명한다.
• T^p가 두껍고(SMC), S가 SMC이며, 상대 세르 함수 S를 통해 상대 세르 대칭성을 만족하는 SMC 사중조 (T, T^p, S, S)를 도입한다.
• 특이성 범주를 T_sg = T / T^p로 정의하고, 상대 세르 함수에 대해 안정된 외부 엑스트라이앵귤레이티드 부분범주 F ⊆ T를 구성한다.
• 유도된 슈어 함수와 수반 쌍을 사용하여 유도 범주와 그 몫들 사이의 삼각 동치를 유도하며, 유도된 함자들이 전부 충실하고 조밀함을 증명한다.
• 코엘로 시모스와 파우크슈텔로의 SMS 축소가 제안된 SMC 축소의 '그림자'로 나타남을 보여주며, 실팅–칼라비-유아 타입 축소 대칭성과 유사한 관계를 확인한다.

실험 결과

연구 질문

• RQ1 pre-SMC를 기반으로 실팅 및 칼라비-유아 타입 축소와 유사한 삼각 범주의 새로운 축소 과정을 어떻게 정의할 수 있는가?
• RQ2 서브범주 Z = R[≥0]⊥ ∩ ⊥R[≤0]가 베르디에르 몫 U = T / thick(R)로부터 삼각 구조를 어떻게 상속할 수 있는가?
• RQ3 부크바이츠의 특이성 범주와 코헨-맥올레이 모듈의 안정 범주 간의 동치를 SMC 사중조의 맥락으로 일반화할 수 있는가?
• RQ4 실팅과 칼라비-유아 타입 축소 간의 알려진 대칭성과 유사하게, SMC 축소와 SMS 축소 사이에 대칭성이 존재하는가?

주요 결과

• 범주 T 내부의 서브범주 Z = R[≥0]⊥ ∩ ⊥R[≤0]는 삼각 범주이자 베르디에르 몫 U = T / thick(R)와 동치이며, Z에 표준적인 삼각 구조가 수립됨을 보여준다.
• R을 포함하는 T의 SMC들과 U의 SMC들 사이에 일대일 대응이 존재함을 보여주며, 이는 축소 과정이 SMC의 분류를 유지함을 시사한다.
• SMC 사중조의 특이성 범주 T_sg = T / T^p는 T의 외부 엑스트라이앵귤레이티드 서브범주 F의 안정 범주와 삼각 동치이며, 부크바이츠의 정리를 일반화한다.
• 코엘로 시모스와 파우크슈텔로의 SMS 축소는 SMC 축소의 '그림자'로 실현되며, 실팅과 칼라비-유아 타입 축소 간의 관계를 모방하는 대칭성을 확인한다.
• 유도된 슈어 함수는 유도 범주들 사이의 완전 충실하고 조밀한 함자를 유도하며, 몫 범주 간의 삼각 동치를 구성하는 데 기여한다.
• 결과는 고렌스타인 dg 대수에 적용되어, SMC 축소가 SMC를 구성하고 [J, 정리 7.1]과 같은 결과를 증명하는 데 핵심적인 역할을 함을 보여준다.