[논문 리뷰] Tilting theory of preprojective algebras and $c$-sortable elements

Yuta Kimura|arXiv (Cornell University)|2014. 05. 16.

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

한 줄 요약

이 논문은 유한 비순환 쿼버 Q의 코xeter 군에서 c-가능한 원소 w를 갖는 전프로젝티브 대수 인자 Πw의 부분모듈의 등급 안정 범주 Sub^Z Πw와 상대 안수라인더 대수의 유한 유도 범주 사이에 파생 동치를 확립한다. w가 c-가능할 조건 하에, Sub^Z Πw는 기저가 M인 틸팅 대상이 존재하며, M의 내림사슬 대수는 mod kQ의 비정수 클래스에서의 안수라인더 대수와 동형이며, 전반적인 차원은 2 이하이다.

ABSTRACT

For a finite acyclic quiver $Q$ and the corresponding preprojective algebra $Π$, we study the factor algebra $Π_w$ associated with a element $w$ in the Coxeter group introduced by Buan-Iyama-Reiten-Scott. The algebra $Π_w$ has a natural $\mathbb{Z}$-grading, and we prove that $\underline{\mathsf{Sub}}^{\mathbb{Z}}Π_w$ has a tilting object $M$. Moreover, we show that the endomorphism algebra of $M$ is isomorphic to the stable Auslander algebra of a certain torsion free class of $\mathsf{mod}\,kQ$.

연구 동기 및 목표

• Sub Πw와 클러스터 범주 사이의 Amiot-Reiten-Todorov 동치의 유도 범주적 판본을 구성하기 위해.
• 유한 비순환 쿼버 Q의 코xeter 군에서 c-가능한 원소 w에 대응하는 대수 Πw의 등급 구조를 연구하기 위해.
• w가 c-가능할 경우, 등급 안정 범주 Sub^Z Πw에 틸팅 대상이 존재함을 증명하기 위해.
• 틸팅 대상의 내림사슬 대수의 구조를 상대 안수라인더 대수로 묘사하고, 그 전반적 차원을 유 bounds하기 위해.
• Sub^Z Πw와 틸팅 대상의 내림사슬 대수의 유한 유도 범주 사이에 파생 동치를 확립하기 위해.

제안 방법

• 쿼버 Q의 방향성을 이용해 전프로젝티브 대수 인자 Πw에 Z-등급을 도입하기 위해.
• c-가능한 원소를, 코xeter 원소 c의 부분어구를 갖는 축약 표현 w = c(0)⋯c(m)를 갖는 w ∈ W로 정의하기 위해.
• c-가능한 w에 대해, Sub^Z Πw 내에서 M = ⊕_{i=0}^m (Π_{c(0)⋯c(i)})(i)인 틸팅 대상 M을 구성하기 위해.
• 내림사슬 모듈 이론과 상대 안정 범주 이론을 사용해 내림사슬 대수 Aw = End^Z_Πw(M)를 분석하기 위해.
• Aw가 End_kQ(M₀)/[T]와 동형임을 증명하기 위해, 여기서 M₀는 M의 차수 0 부분이고 T는 Sub T가 M₀를 가환 생성자로 갖는 틸팅 kQ-모듈이다.
• 내림사슬 이론과 Hom^T에서의 장점 긴 수열을 적용해 Aw의 전반적 차원이 2 이하임을 유 bounds하기 위해.

실험 결과

연구 질문

• RQ1 w가 c-가능할 경우, 등급 안정 범주 Sub^Z Πw는 틸팅 대상을 갖는가?
• RQ2 Sub^Z Πw 내 틸팅 대상의 내림사슬 대수의 구조는 어떠한가?
• RQ3 Sub^Z Πw와 내림사슬 대수의 유한 유도 범주 사이에 파생 동치를 확립할 수 있는가?
• RQ4 틸팅 대상의 내림사슬 대수의 전반적 차원은 얼마인가?
• RQ5 내림사슬 대수와 mod kQ의 비정수 클래스에서의 안수라인더 대수 간의 관계는 어떠한가?

주요 결과

• 유한 비순환 쿼버 Q의 코xeter 군에서 c-가능한 원소 w에 대해, 범주 Sub^Z Πw는 M = ⊕_{i=0}^m (Π_{c(0)⋯c(i)})(i)인 틸팅 대상을 갖는다.
• 내림사슬 대수 Aw = End^Z_Πw(M)는 End_kQ(M₀)/[T]와 동형이며, 여기서 M₀는 M의 차수 0 부분이고 T는 Sub T가 M₀를 가환 생성자로 갖는 틸팅 kQ-모듈이다.
• 내림사슬 이론과 고차원 Ext 군의 소멸을 통해 Aw의 전반적 차원이 2 이하임을 증명하였다.
• Sub^Z Πw ≃ D^b(Aw)인 삼각 동치가 존재하여, 등급 안정 범주와 내림사슬 대수의 유한 유도 범주 사이에 파생 동치를 확립하였다.
• 이 구성은 클러스터 범주를 등급 구조를 통해 연결하는 Amiot-Reiten-Todorov 동치의 유도 판본을 제공한다.
• Aw에 대한 전반적 차원 상한 2는 상대 안수라인더 대수에 대한 일반 결과를 사용하여, n=2인 n단계 내림사슬 해상 과정을 통해 유도되었다.