[논문 리뷰] Stable categories of higher preprojective algebras

Osamu Iyama, Steffen Oppermann|arXiv (Cornell University)|2009. 12. 17.

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

한 줄 요약

이 논문은 전반적인 차원이 $n$ 이하인 유한차원 대수에 대해 $(n+1)$-preprojective 대수를 도입하며, 원래 대수가 $n$-representation-finite이면 그 $(n+1)$-preprojective 대수가 self-injective임을 보이고, 그 안정 모듈러 범주가 $(n+1)$-Calabi-Yau임을 증명한다. 핵심적으로 이 안정 범주는 안정된 $n$-Auslander 대수의 $(n+1)$-Amiot 클러스터 범주와 동치이며, 따라서 $(n+1)$-cluster tilting 대상을 포함한다.

ABSTRACT

We introduce (n+1)-preprojective algebras of algebras of global dimension n. We show that if an algebra is n-representation-finite then its (n+1)-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)-preprojective algebra is (n+1)-Calabi-Yau, and, more precisely, it is the (n+1)-Amiot cluster category of the stable n-Auslander algebra of the original algebra. In particular this stable category contains an (n+1)-cluster tilting object. We show that even if the (n+1)-preprojective algebra is not self-injective, under certain assumptions (which are always satisfied for n \in {1,2}) the results above still hold for the stable category of Cohen-Macaulay modules.

연구 동기 및 목표

• 전역 차원이 $n$인 대수에 대해 $(n+1)$-preprojective 대수를 정의하여 고전적 preprojective 대수를 고차원 표현 이론으로 일반화한다.
• 특히 $n$-representation-finiteness 조건 하에서 이러한 대수의 호모로지적 성질, 즉 self-injectivity와 Calabi-Yau 성질을 확립한다.
• $(n+1)$-preprojective 대수의 안정 모듈러 범주가 $(n+1)$-cluster tilting 대상을 포함하는 $(n+1)$-Amiot 클러스터 범주와 동치임을 보인다.
• $(n+1)$-preprojective 대수가 self-injective가 아니면, 그 경우에 대해 Cohen-Macaulay 모듈러 범주의 안정 범주를 고려하고, vosnex 조건 하에서 일반화된 결과를 얻는다.
• 유도 동치와 안정 범주 내의 tilting 대상을 통해 고차원 클러스터 범주 이론과 고차원 preprojective 대수를 통합한다.

제안 방법

• $\widetilde{\Lambda} = T_\Lambda \operatorname{Ext}_\Lambda^n(D\Lambda, \Lambda)$로 정의된 $(n+1)$-preprojective 대수를 텐서 대수로서 정의하며, 고전적 preprojective 대수를 일반화한다.
• $n$-Amiot 클러스터 범주와 궤도 범주의 보편 성질을 활용하여 유도 범주와 안정 모듈러 범주 간의 관계를 규명한다.
• $\mathrm{mod}\,\Lambda$ 내의 $n$-cluster tilting 대상을 통해 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$ 내의 tilting 대상을 구성한다.
• 유도 함자들을 통한 Serre duality 조건을 검증하여, 안정 범주 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$가 $(n+1)$-Calabi-Yau임을 증명한다.
• self-injective가 아닌 경우, Cohen-Macaulay 모듈러의 안정 범주 $\underline{\mathrm{CM}}(\widetilde{\Lambda})$를 다루며, 이가 안정된 $n$-Auslander 대수 $\Gamma$의 유도 범주와 동치임을 보인다.
• DG 대수 기법과 유도 범주를 활용하여 제약 함수자와 tilting 대상의 내부 함수자 대수를 통해 삼각 동치를 수립한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $n$-representation-finite 대수의 $(n+1)$-preprojective 대수가 self-injective가 되는가?
• RQ2 $(n+1)$-preprojective 대수의 안정 모듈러 범주가 고차원 클러스터 범주와 어떻게 관련되어 있는가?
• RQ3 $\widetilde{\Lambda}$가 self-injective가 아니어도 안정 범주에서 $(n+1)$-Calabi-Yau 성질을 확립할 수 있는가?
• RQ4 vosnex 조건은 self-injective 경우에서 일반화된 경우로의 결과 확장을 어떻게 수행하는가?
• RQ5 $(n+1)$-preprojective 대수의 안정 범주와 $(n+1)$-Amiot 클러스터 범주 사이에 삼각 동치가 존재하는가?

주요 결과

• $\Lambda$가 $n$-representation-finite이면, 그 $(n+1)$-preprojective 대수 $\widetilde{\Lambda}$는 self-injective이다.
• $\widetilde{\Lambda}$가 self-injective이면, 안정 모듈러 범주 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$는 $(n+1)$-Calabi-Yau이다.
• 안정 모듈러 범주 $\underline{\mathrm{mod}}\,\widetilde{\Lambda}$는 $\Lambda$의 안정된 $n$-Auslander 대수 $\Gamma$의 $(n+1)$-Amiot 클러스터 범주 $\mathscr{C}^{n+1}_\Gamma$와 삼각 동치이다.
• $\widetilde{\Lambda}$가 self-injective는 아니지만 vosnex 조건을 만족하면, 안정 범주 $\underline{\mathrm{CM}}(\widetilde{\Lambda})$는 $\Gamma$의 유도 범주와 동치이다.
• vosnex 조건 하에서 안정 범주 $\underline{\mathrm{CM}}(\widetilde{\Lambda})$는 $(n+1)$-Calabi-Yau이며, $(n+1)$-cluster tilting 대상을 포함한다.
• $\underline{\mathrm{CM}}(\widetilde{\Lambda})$ 내의 tilting 대상의 내부 함수자 대수는 안정된 $n$-Auslander 대수 $\Gamma$와 동형이며, 이 동치는 제약 함수자를 통해 실현된다.