[논문 리뷰] Right $n$-angulated categories arising from covariantly finite subcategories

Zengqiang Lin|arXiv (Cornell University)|2014. 09. 10.

Algebraic structures and combinatorial models참고 문헌 9인용 수 3

한 줄 요약

이 논문은 오른쪽 삼각형 범주를 일반화한 오른쪽 $n$-각형 범주를 도입하고, 덧셈 범주 또는 $n$-각형 범주 $\mathcal{C}$의 공변수 유한 부분범주 $\mathcal{X}$에 대해 몫 범주 $\mathcal{C}/\mathcal{X}$가 적절한 조건 하에서 오른쪽 $n$-각형 범주로 유도됨을 증명한다. 주요 기여는 이전의 삼각형 범주 및 $n$-각형 범주의 몫에 관한 결과를 일반화하는 범주론적 구성이다.

ABSTRACT

We define the notion of right $n$-angulated category, which generalizes the notion of right triangulated category. Let $\mathcal{C}$ be an additive category or $n$-angulated category and $\mathcal{X}$ a covariantly finite subcategory, we show that under certain conditions the quotient $\mathcal{C}/\mathcal{X}$ is a right $n$-angulated category. This result generalizes some previous work.

연구 동기 및 목표

• 오른쪽 삼각형 범주 개념을 $n$-각형 구조를 통해 고차원으로 일반화하기 위해.
• 공변수 유한 부분범주 $\mathcal{X}$일 때 몰 범주 $\mathcal{C}/\mathcal{X}$가 오른쪽 $n$-각형 범주로 유도되는 조건을 확립하기 위해.
• 이전의 고차 호모로지 대수학에서의 몰 범주 결과, 특히 프로베니우스 $n$-정확한 범주와 변형 쌍에 관한 결과들을 통합하고 확장하기 위해.
• 기존의 $n$-각형 범주 또는 덧셈 범주로부터 새로운 오른쪽 $n$-각형 범주의 예를 구성하기 위한 프레임워크를 제공하기 위해.

제안 방법

• 삼각형 범주에 대한 공리와 유사한 공리를 만족하는 $n$-항목 수열을 다루는 오른쪽 $n$-각형 범주를 삼중체 $(\mathcal{C}, \Sigma, \Theta)$로 정의한다.
• 몰 상황에서의 고차원 사상 합성 처리를 위해 $n$-코코어널과 $n$-푸시아웃 개념을 도입한다.
• $\mathcal{X}$-근사와 $\mathcal{C}$에서의 $n$-각형을 사용하여 $\mathcal{C}/\mathcal{X}$에서 표준 오른쪽 $n$-각형을 구성한다.
• $\mathcal{C}/\mathcal{X}$의 $n$-각형 클래스 $\Theta$가 공리 (RN1)–(RN4)를 만족함을 검증하여, 이 구조가 오른쪽 $n$-각형 범주임을 보장한다.
• 주어진 $n$-각형에 대해 $TA = B$로 정의되는 함자 $T: \mathcal{C}/\mathcal{X} \to \mathcal{C}/\mathcal{X}$를 사용하여 몰에서의 이동 함자를 정의한다.
• 특수한 경우, 예를 들어 $n=3$일 때 기존의 오른쪽 삼각형 범주를 복원하고, 프로베니우스 $n$-각형 범주에 적용한다.

실험 결과

연구 질문

• RQ1 공변수 유한 부분범주 $\mathcal{X}$를 가진 $\mathcal{C}$에서 몰 범주 $\mathcal{C}/\mathcal{X}$가 오른쪽 $n$-각형 범주로 유도되는 조건은 무엇인가?
• RQ2 오른쪽 $n$-각형 범주의 개념을 사용하여 하팔의 정리 및 기타 몰 범주 결과를 일반화할 수 있는 방법은 무엇인가?
• RQ3 몰 범주에서 사상 구성과 도형 완성에 있어 $n$-코코어널과 $n$-푸시아웃의 역할은 무엇인가?
• RQ4 어떤 경우에 몰 $\mathcal{C}/\mathcal{X}$가 오직 오른쪽 $n$-각형 범주가 아니라 $n$-각형 범주가 되는가?
• RQ5 $\mathcal{C}$의 임베디드 및 프로젝티브 대상의 성질이 $\mathcal{C}/\mathcal{I}$와 $\mathcal{C}/\mathcal{P}$의 구조에 미치는 영향은 무엇인가?

주요 결과

• 모든 $\mathcal{X}$-모닉이 코코어널을 가지는 덧셈 범주 $\mathcal{C}$의 공변수 유한 부분범주 $\mathcal{X}$에 대해 몰 범주 $\mathcal{C}/\mathcal{X}$는 오른쪽 $n$-각형 범주이다.
• 표준 오른쪽 $n$-각형의 구성은 초기 사상이 $\mathcal{X}$-근사이며 중간 항목이 $\mathcal{X}$에 속하는 $\mathcal{C}$의 $n$-각형에 기반한다.
• 특히 $n=3$일 경우, 삼각형 범주를 공변수 유한 부분범주로 나눈 몰이 오른쪽 삼각형 범주임을 보여주는 고전적 정리가 복원된다.
• 충분한 임베디드 대상을 가진 $n$-각형 범주 $\mathcal{C}$에 대해 $\mathcal{C}/\mathcal{I}$는 오른쪽 $n$-각형 범주이다.
• 프로베니우스 범주(충분한 임베디드 대상과 프로젝티브 대상이 있으며 $\mathcal{I} = \mathcal{P}$인 경우)일 경우 $\mathcal{C}/\mathcal{I}$는 $n$-각형 범주이다.
• $\mathcal{C}$가 $n$-각형 범주이고 $\mathcal{X}$가 유한함자적이며 $(\mathcal{C},\mathcal{C})$가 $\mathcal{X}$-변형 쌍을 이룰 경우, 몰 $\mathcal{C}/\mathcal{X}$는 $n$-각형 범주이다.