[논문 리뷰] Tilting and cluster tilting for preprojective algebras and Coxeter groups

Yuta Kimura|arXiv (Cornell University)|2016. 07. 03.

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

한 줄 요약

이 논문은 코x터 군의 원소와 관련된 분할된 전프로젝티브 대수의 안정 범주에서 실팅 및 타일팅 대상을 구성한다. 특정 조건 하에서 이 범주와 내적 대수의 도파인 범주 사이의 삼각 동치를 수립하고, 원소가 그 지지집합에서 c-끝나는 경우 아미에이트-레인-토도로프의 클러스터 범주 동치와의 호환성을 보인다. 주요 기여는 이러한 맥락에서 클러스터 타일팅 이론의 분할된 일반화이며, 이는 이전 결과를 더 넓은 군 원소의 범주로 확장한다.

ABSTRACT

We study the stable category of the factor algebra of the preprojective algebra associated with an element $w$ of the Coxeter group of a quiver. We show that there exists a silting object $M(\bf{w})$ of this category associated with each reduced expression $\bf{w}$ of $w$ and give a sufficient condition on $\bf{w}$ such that $M(\bf{w})$ is a tilting object. In particular, the stable category is triangle equivalent to the derived category of the endomorphism algebra of $M(\bf{w})$. Moreover, we compare it with a triangle equivalence given by Amiot-Reiten-Todorov for a cluster category.

연구 동기 및 목표

• 코x터 군과 관련된 전프로젝티브 대수의 분할된 설정에서 타일팅 및 클러스터 타일팅에 대한 이해 부족을 메우기 위해.
• 이전의 c-가능한 원소 결과를 새로운 충분 조건을 통해 더 넓은 군 원소의 범주로 일반화하기 위해.
• 구축된 실팅 대상의 내적 대수의 도파인 범주와 분할된 모듈의 안정 범주 사이의 삼각 동치를 수립하기 위해.
• 실팅 대상에서 유도된 동치와 아미에이트-레인-토도로프의 클러스터 범주 동치를 비교하기 위해.
• 원소가 지지집합에서 c-끝나는 경우, 잊기 함수를 포함하는 자연스러운 도형을 통해 두 동치가 가환성을 유지함을 보여주기 위해.

제안 방법

• 비분할된 Sub Π(w) 범주에 대한 분할된 버전인 분할된 프로페르스 범주 Sub^Z Π(w)를 정의한다.
• 모든 w ∈ W_Q의 최소 표현에 대해 Sub^Z Π(w)에서 실팅 대상 M(w)을 구성한다.
• Q0에서 c-끝나거나 c-시작하는 조건을 도입하여 M(w)가 타일팅 대상이 되는 충분 조건으로 삼는다.
• 이 조건 하에서 M(w)의 내적 대수의 전반적 차원이 2 이하임을 증명한다.
• 내적 대수의 도파인 범주와 Sub^Z Π(w) 사이의 삼각 동치를 수립한다.
• 잊기 함자 함수를 포함하는 도형을 통해 실팅 대상에서 유도된 동치와 아미에이트-레인-토도로프 동치를 비교한다.

실험 결과

연구 질문

• RQ1 w ∈ W_Q에서 어떤 조건을 만족할 경우, Sub^Z Π(w) 내의 구축된 실팅 대상 M(w)가 실제로 타일팅 대상이 되는가?
• RQ2 M(w)가 타일팅일 경우, M(w)의 내적 대수의 도파인 범주와 Sub^Z Π(w) 안정 범주 사이의 관계는 어떠한가?
• RQ3 M(w)에 의해 유도된 삼각 동치는 클러스터 범주와 비분할된 안정 범주 사이의 아미에이트-레인-토도로프 동치와 어떻게 관련이 있는가?
• RQ4 M(w)의 내적 대수 End^Z_Π(w)(M(w))와 아미에이트-레인-토도로프의 구성에서 사용된 대수 A(w) 사이의 정확한 관계는 무엇인가?
• RQ5 잊기 함자 함수와 두 동치를 포함하는 도형이 어떤 조건에서 동치류에 대해 가환성을 유지하는가?

주요 결과

• 모든 w ∈ W_Q와 그 최소 표현에 대해, 분할된 안정 범주 Sub^Z Π(w) 내에 실팅 대상 M(w)가 존재한다.
• w가 Q0에서 c-끝나거나 c-시작할 경우, M(w)는 Sub^Z Π(w) 내의 타일팅 대상이 된다.
• c-끝나거나 c-시작 조건 하에서, 내적 대수 End^Z_Π(w)(M(w))의 전반적 차원은 2 이하이다.
• 동일한 조건 하에서, End^Z_Π(w)(M(w))의 도파인 범주와 Sub^Z Π(w) 사이에 삼각 동치가 존재한다.
• w가 Supp(w)에서 c-끝날 경우, 내적 대수 End^Z_Π(w)(M(w))는 아미에이트-레인-토도로프의 구성에서 사용된 대수 A(w)와 같다.
• A(w)의 도파인 범주, 분할된 안정 범주 Sub^Z Π(w), 비분할된 안정 범주 Sub Π(w) 사이에 가환 도형을 수립하여 두 동치의 호환성을 보였다.