[논문 리뷰] Induced and Coinduced Modules in Cluster-Tilted Algebras

Ralf Schiffler, Khrystyna Serhiyenko|arXiv (Cornell University)|2014. 10. 07.

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

한 줄 요약

이 논문은 기울인 대수 $C$의 모듈러 카테고리와 그에 대응하는 클러스터-기울인 대수 $B = C \ltimes \operatorname{Ext}^2_C(DC, C)$의 모듈러 카테고리 사이를 연결하기 위해 인덕션과 코인덕션 함자를 도입한다. $DE$가 부분 기울임 및 $\tau_C$-고정된 $C$-모듈임을 증명하고, 그 유도된 모듈 $DE \otimes_C B$가 부분 기울임 및 $\tau_B$-고정된 $B$-모듈임을 보이며, 호모로지 도구를 통해 두 대수 사이의 카테고리적 다리를 구축한다.

ABSTRACT

We propose a new approach to study the relation between the module categories of a tilted algebra $C$ and the corresponding cluster-tilted algebra $B=C\ltimes E$. This new approach consists of using the induction functor $-\otimes_C B$ as well as the coinduction functor $D(B\otimes_C D-)$. We show that $DE$ is a partial tilting and a $τ$-rigid $C$-module and that the induced module $DE\otimes_C B$ is a partial tilting and a $τ$-rigid $B$-module. Furthermore, if $C= ext{End}_A T$ for a tilting module $T$ over a hereditary algebra $A$, we compare the induction and coinduction functors to the Buan-Marsh-Reiten functor $ ext{Hom}_{\mathcal{C}_A}(T,-)$ from the cluster-category of $A$ to the module category of $B$. We also study the question which $B$-modules are actually induced or coinduced from a module over a tilted algebra.

연구 동기 및 목표

• 기울인 대수 $C$와 클러스터-기울인 대수 $B = C \ltimes E$의 모듈러 카테고리 사이를 연결하는 새로운 카테고리적 프레임워크를 수립하기 위해.
• 기울인 대수 $C$와 클러스터-기울인 대수 $B$의 표현 이론을 이원소 $E = \operatorname{Ext}^2_C(DC, C)$를 통해 연결하는 인덕션과 코인덕션 함자들이 어떻게 작용하는지 조사하기 위해.
• 기울인 대수 $C$와 클러스터-기울인 대수 $B$의 표현 이론을 연결하는 Buan-Marsh-Reiten 동치 $\operatorname{Hom}_{\mathcal{C}_A}(T, -)$와 인덕션 및 코인덕션 함자를 비교하기 위해.
• 어떤 $B$-모듈이 $C$-모듈에서 유도되거나 코유도되는지, 특히 토퍼리온 및 토퍼리온 없는 부분카테고리의 맥락에서 그들의 구조적 특징을 규명하기 위해.

제안 방법

• 모듈러 카테고리 $\operatorname{mod} C$와 $\operatorname{mod} B$ 사이를 연결하기 위해 인덕션 함자 $- \otimes_C B$와 코인덕션 함자 $D(B \otimes_C D-)$를 사용한다.
• $C$-모듈 $DE = D(\operatorname{Ext}^2_C(DC, C))$가 부분 기울임 및 $\tau_C$-고정된 모듈임을 분석한다.
• 유도된 모듈 $DE \otimes_C B$가 부분 기울임 및 $\tau_B$-고정된 $B$-모듈임을 증명한다.
• 유도함자와 클러스터 카테고리에서 $\operatorname{mod} A$의 토퍼리온 부분카테고리 $\mathcal{T}(T) \subseteq \operatorname{mod} A$로의 BMR 동치 $\operatorname{Hom}_{\mathcal{C}_A}(T, -)$를 비교한다.
• 쌍대성 $D = \operatorname{Hom}_k(-, k)$를 사용하여 코인덕션을 $D(B \otimes_C D-)$로 표현함으로써 이중성 기반 분석을 가능하게 한다.
• Auslander–Reiten 사슬을 연구하여, $C$-모듈에서 유도되거나 코유도되지 않는 모듈을 식별한다.

실험 결과

연구 질문

• RQ1 인덕션과 코인덕션 함자는 기울인 대수 $C$와 그에 대응하는 클러스터-기울인 대수 $B = C \ltimes E$의 모듈러 카테고리 사이를 어떻게 연결하는가?
• RQ2 어떤 $B$-모듈이 $C$-모듈에서 유도되거나 코유도되는가? 이러한 모듈의 구조적 특징은 무엇인가?
• RQ3 인덕션과 코인덕션 함자는 Buan–Marsh–Reiten 동치 $\operatorname{Hom}_{\mathcal{C}_A}(T, -)$와 어느 정도 교환되는가?
• RQ4 $DE$가 $C$-모듈로서 호모로지적 의미는 무엇이며, 그 유도된 이미지 $\operatorname{mod} B$에서 어떻게 행동하는가?
• RQ5 Auslander–Reiten 사슬에 있는 일부 $B$-모듈은 $C$-모듈에서 유도되거나 코유도되지 않은 것으로 나타나며, 이러한 모듈은 튜브의 진한 메쉬에 위치해 있으며 무한히 반복된다.

주요 결과

• $C$-모듈 $DE = D(\operatorname{Ext}^2_C(DC, C))$는 부분 기울임 및 $\tau_C$-고정된 모듈이다.
• 유도된 $B$-모듈 $DE \otimes_C B$는 부분 기울임 및 $\tau_B$-고정된 $B$-모듈이다.
• 코유도된 모듈 $D(B \otimes_C DE)$는 부분 코틸팅 및 $\tau_B$-코고정된 $B$-모듈이다.
• 유도함자는 토퍼리온 부분카테고리 $\mathcal{T}(T)$에서 BMR 동치 $\operatorname{Hom}_{\mathcal{C}_A}(T, -)$와 교환되며, $M \in \mathcal{T}(T)$이면 $\operatorname{Hom}_A(T, M) \otimes_C B \cong \operatorname{Hom}_{\mathcal{C}_A}(T, M)$이다.
• 코유도함자는 토퍼리온 없는 부분카테고리 $\mathcal{F}(T)$에서 BMR 동치와 교환되며, $M \in \mathcal{F}(T)$이면 $D(B \otimes_C D\operatorname{Ext}^1_A(T, M)) \cong \operatorname{Ext}^1_{\mathcal{C}_A}(T, M)$이다.
• Auslander–Reiten 사슬에 있는 일부 $B$-모듈, 예를 들어 튜브의 진한 메쉬에 위치한 모듈들은 어떤 $C$-모듈에서 유도되거나 코유도되지 않으며, 이러한 모듈들은 튜브 안에서 무한히 반복된다.