[논문 리뷰] On the relation between Auslander-Reiten (d+2)-angles and Serre duality

Panyue Zhou|arXiv (Cornell University)|2019. 10. 03.

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

한 줄 요약

이 논문은 d-스uspension을 가진 (d+2)-angulated 범주에서 Auslander-Reiten (d+2)-angle과 Serre duality 사이의 깊은 연결 고리를 확립한다. Serre functor가 존재하는 것은 오직 그리고 오직 그 범주가 Auslander-Reiten (d+2)-angle을 갖는 경우에만 성립하며, d-Auslander-Reiten 변환은 Serre functor와 역 d-suspension의 합성과 일치함을 보여주며, 이는 삼각형 범주 및 고차원 설정에서의 고전적 결과를 일반화한다.

ABSTRACT

Let $\cal C$ be an $(d+2)$-angulated category with an $d$-suspension functor $\Sigma^d$. Our main results show that every Serre functor on $\cal C$ is an $(d+2)$-angulated functor. We also show that $\cal C$ has a Serre functor $\mathbb{S}$ if and only if $\cal C$ has Auslander-Reiten $(d+2)$-angles. Moreover, $ au_d=\mathbb{S}\Sigma^{-d}$ where $ au_d$ is $d$-Auslander-Reiten translation. These results generalize the works by Bondal-Kapranov and Reiten-Van den Bergh. In addition, we prove that for a strongly functorially finite subcategory $\cal X$ of $\cal C$, the quotient category $\cal C/\cal X$ is an $(d+2)$-angulated category if and only if $(\cal C,\cal C)$ is an $\cal X$-mutation pair, and if and only if $ au_d\cal X =\cal X$. This generalizes a result by Jorgensen who proved the equivalence between the first and the third conditions for triangulated categories.

연구 동기 및 목표

• Serre duality와 AR 변환에 관한 Bondal-Kapranov 및 Reiten-Van den Bergh의 결과를 고차원 (d+2)-angulated 범주로 일반화하기 위해.
• 이러한 범주에서 Serre functor의 존재성과 Auslander-Reiten (d+2)-angle의 존재성 사이의 정확한 대응 관계를 수립하기 위해.
• Jorgensen의 변환 쌍과 몫 범주에 관한 결과를 강력하게 유한한 부분범주를 갖는 (d+2)-angulated 범주로 확장하기 위해.

제안 방법

• d-스uspension 함자 Σ^d를 갖는 (d+2)-angulated 범주의 구조를 이용하여 d-Auslander-Reiten 변환을 정의하고 분석하기 위해.
• 범주에 존재하는 모든 Serre 함자는 반드시 (d+2)-angulated 함수이므로, 고차원 정확한 구조를 유지함을 증명하기 위해.
• Serre 함자의 존재성과 Auslander-Reiten (d+2)-angle의 존재성 사이의 동치성을 식 au_d = 𝕊Σ^{-d}를 통해 보여주기 위해.
• 몫 범주 C/X가 (d+2)-angulated이 되는지를 특징짓기 위해 X-변환 쌍 (C, C)의 개념을 도입하기 위해.
• C/X가 (d+2)-angulated일 필요충분조건이 au_dX = X임을 증명하며, Jorgensen의 결과를 삼각형 범주에서 고차원 범주로 확장하기 위해.
• 유한한 부분범주 이론을 적용하여 고차원 angulated 범주에서 몫 구조와 쌍대성을 분석하기 위해.

실험 결과

연구 질문

• RQ1 어떤 조건에서 (d+2)-angulated 범주는 Serre functor를 갖는가?
• RQ2 고차원 angulated 범주에서 Auslander-Reiten (d+2)-angle은 Serre duality와 어떻게 관련되어 있는가?
• RQ3 어떤 (d+2)-angulated 범주에서 d-Auslander-Reiten 변환 au_d와 Serre 함수 𝕊 사이의 정확한 관계는 무엇인가?
• RQ4 강력하게 유한한 부분범주 X를 갖는 (d+2)-angulated 범주 C의 몫 범주 C/X가 언제 (d+2)-angulated가 되는가?
• RQ5 au_dX = X 조건은 C/X의 (d+2)-angulated 구조와 어떻게 관련되어 있는가?

주요 결과

• d-스uspension을 갖는 (d+2)-angulated 범주에서 모든 Serre 함자는 반드시 (d+2)-angulated 함수이며, 고차원 angulated 구조를 유지한다.
• (d+2)-angulated 범주는 Serre functor를 갖는다, 오직 그리고 오직 그 범주가 Auslander-Reiten (d+2)-angle을 갖는 경우에만 성립한다.
• d-Auslander-Reiten 변환은 au_d = 𝕊Σ^{-d}를 만족하며, 이는 d-AR 변환과 Serre duality 사이의 정확한 공식을 제공한다.
• 강력하게 유한한 부분범주 X에 대해, 몫 범주 C/X는 (C, C)가 X-변환 쌍일 때에만 (d+2)-angulated이다.
• au_dX = X 조건은 C/X가 (d+2)-angulated임과 동치이며, 이는 Jorgensen의 결과를 고차원 angulated 범주로 일반화한다.