[논문 리뷰] $n$-exangulated categories

Martin Herschend, Yu Liu외 1명|arXiv (Cornell University)|2017. 09. 20.

Algebraic structures and combinatorial models참고 문헌 21인용 수 24

한 줄 요약

이 논문은 높은 호모로지 대수학을 위한 통합 프레임워크로 $n$-exangulated categories를 도입하며, extriangulated, $n$-exact, 및 $(n+2)$-angulated categories를 일반화한다. 충분한 프로젝티브와 인젝티브를 갖는 extriangulated categories에서의 $n$-클러스터 틸팅 부분범주가 온건한 조건 하에서 $n$-exangulated임을 증명하며, Jasso와 Geiss-Keller-Oppermann의 고전적 결과를 확장한다.

ABSTRACT

For each positive integer $n$ we introduce the notion of $n$-exangulated categories as higher dimensional analogues of extriangulated categories defined by Nakaoka-Palu. We characterize which $n$-exangulated categories are $n$-exact in the sense of Jasso and which are $(n+2)$-angulated in the sense of Geiss-Keller-Oppermann. For extriangulated categories with enough projectives and injectives we introduce the notion of $n$-cluster tilting subcategories and show that under certain conditions such $n$-cluster tilting subcategories are $n$-exangulated.

연구 동기 및 목표

• 높은 호모로지 대수학을 통합하기 위해 $n$-exangulated categories를 $n$-exact, $(n+2)$-angulated, 그리고 extriangulated categories의 공통 일반화로 도입하는 것.
• 어떤 $n$-exangulated categories가 $n$-exact 또는 $(n+2)$-angulated인지 특성화하는 것.
• 충분한 프로젝티브와 인젝티브를 갖는 extriangulated categories에서의 $n$-클러스터 틸팅 부분범주가 적절한 조건 하에 $n$-exangulated임을 보이는 것.
• Jasso와 Geiss-Keller-Oppermann의 고전적 결과를 더 넓은 범주론적 프레임워크로 확장하는 것.

제안 방법

• $\mathbb{E}$가 이가우드릭 함수이고 $\mathfrak{s}$가 $\mathbb{E}(C,A)$의 원소에 대해 $(n+2)$-항 연속을 할당하는 삼중조 $(\mathscr{C}, \mathbb{E}, \mathfrak{s})$로 $n$-exangulated categories를 정의하며, 이는 extriangulated categories의 공리들을 일반화한 공리들을 만족시킨다.
• $n$-exangles의 구조를 형식화하기 위해 $\mathbf{C}^{n+2}_{(A,C)}$와 $\mathbf{K}^{n+2}_{(A,C)}$의 범주를 도입한다.
• 차원 이동을 사용하여 충분한 프로젝티브와 인젝티브를 갖는 extriangulated categories에서의 고차 호몰로지 군 $\mathbb{E}^i$를 정의한다.
• 모든 $1 \leq i \leq n-1$에 대해 $\mathbb{E}^i(\mathcal{T}, \mathcal{T}) = 0$이 되는 조건을 만족시키는 $\mathcal{T} \subseteq \mathscr{C}$를 $n$-클러스터 틸팅 부분범주로 정의한다.
• $\mathcal{T}$가 $n$-exangulated 구조를 상속받기 위한 조건(조건 5.21, $\mathcal{T}$에 대한 조건; 조건 5.23, $\mathscr{C}$에 대한 조건)을 확립한다.
• $n$-exangulated categories가 기존의 클래스들을 일반화함을 입증한다: $1$-exangulated categories는 extriangulated categories와 동치이며, $n$-exact 및 $(n+2)$-angulated categories는 모두 $n$-exangulated categories의 특수한 경우이다.

실험 결과

연구 질문

• RQ1 extriangulated, $n$-exact, 및 $(n+2)$-angulated categories는 어떻게 하나의 범주론적 프레임워크 아래 통합될 수 있는가?
• RQ2 어떤 조건에서 extriangulated category의 $n$-클러스터 틸팅 부분범주가 스스로 $n$-exangulated인가?
• RQ3 $n$-exangulated categories 중에서 $n$-exact 또는 $(n+2)$-angulated인 경우의 정확한 특성은 무엇인가?
• RQ4 충분한 프로젝티브와 인젝티브를 갖는 extriangulated categories에서 고차 호몰로지 군 $\mathbb{E}^i$는 어떻게 행동하는가?
• RQ5 차원 이동은 이 맥락에서 $n$-클러스터 틸팅 부분범주를 정의하는 데 어떤 역할을 하는가?

주요 결과

• $n$-exangulated categories의 개념은 extriangulated categories를 일반화한다: $1$-exangulated categories는 extriangulated categories와 동치이다.
• $n$-exact categories와 $(n+2)$-angulated categories는 모두 $n$-exangulated categories의 특수한 경우이다.
• 충분한 프로젝티브와 인젝티브를 갖는 extriangulated category $\mathscr{C}$의 $n$-클러스터 틸팅 부분범주 $\mathcal{T}$는 $\mathscr{C}$가 조건 5.23를 만족하고 $\mathcal{T}$가 조건 5.21를 만족할 경우 $n$-exangulated이다.
• 조건 5.23은 $\mathscr{C}$가 트라이앵귤레이티드일 경우 자동으로 성립하며, $\mathscr{C}$가 정확할 경우 약한 아이디포텐트 완전성과 동치이다.
• 조건 5.21는 $\mathscr{C}$가 정확할 경우 자동으로 성립하며, $\mathscr{C}$가 트라이앵귤레이티드일 경우 $\mathcal{T} = \mathcal{T}[n]$이면 성립한다.
• 이 구성은 $n$-exact이거나 $(n+2)$-angulated이 아닌 $n$-exangulated categories의 명시적 예를 제공한다. 예를 들어, $n$-표현 유한 대수의 호모로지 범주에서의 $\mathcal{T}^{\leq 0}$.