[논문 리뷰] Infinite dimensional representations of canonical algebras

Idun Reiten, Claus Michael Ringel|ArXiv.org|2002. 06. 19.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 기울기 이론을 사용하여 틸팅 이론을 통해 약한 히라드리티 계수 대수에서의 무한차원 모듈 모듈 이론을 숨겨진 캐논칼 대수로 확장한다. 모든 모듈은 진실된 안정적인 분리 투브 가족에 의해 생성되거나 코생성되는 구성요소로 분해되며, 일반 및 프뤼퍼 모듈이 Ext-직교성에 의해 핵심 범주를 분류하는 데 중심적인 역할을 한다.

ABSTRACT

The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with canonical algebras. The investigation is centered around the generic and the Prüfer modules, and how other modules are determined by these modules.

연구 동기 및 목표

• 티밍 히라드리티 계수 대수에서의 무한 생성 모듈의 구조 이론을 더 넓은 범주인 숨겨진 캐논칼 대수로 일반화하기.
• 핵심 결과들—일반 및 프뤼퍼 모듈 중심—이 표현 유형에 의존하지 않고 진실된 안정적인 분리 투브 가족의 존재에 의존함을 보여주기.
• 모듈 범주 ModΛ에서 토포로지 페어가 분리됨을 보장하고, 토포로지 자유 범주가 투브 가족에 의해 코생성되는 모듈로 이루어져 있으며, 이에 따른 범주들을 Ext-직교성으로 특성화하기.
• 투브 가족에 의해 동시에 생성되고 코생성되는 모듈의 범주 ω를 분류하여, 이가 일반 모듈과 프뤼퍼 모듈의 직합으로 이루어져 있음을 보여주기.
• 투브 가족에 의해 코생성되는 모듈의 범주와 그것에 의해 생성되는 모듈의 범주가 ω와의 Ext-직교성에 의해 결정됨을 보여주기.

제안 방법

• 숨겨진 캐논칼 대수의 연구를 캐논칼 대수로 줄이기 위해 틸팅 이론을 사용하며, 여기서 투브 가족은 결함이 0인 모듈로 정의된다.
• 코생성된 투브 가족에 의해 생성되는 범주 $\Cal{C}$, 생성된 투브 가족에 의해 생성되는 범주 $\Cal{D}$, 그리고 $\omega = \Cal{C} \cap \Cal{D}$를 도입하며, 이들이 곱과 직접 극한에 대해 닫혀 있음을 보인다.
• 토포로지 페어 이론을 사용하여 특정 토포로지 자유 범주를 가진 모든 토포로지 페어가 분리됨을 보이고, $\Cal{C}$와 $\Cal{D}$를 $\omega$와의 Ext-직교성으로 특성화한다.
• 무리수 $w$에 대해 $\Cal{M}(w)$에서 비영 모듈을 $\mathbb{t}_{\alpha_i}$에서 온 모듈의 역극한과 $\alpha_i \to w$를 만족하는 중첩된 모듈의 직접극한을 사용하여 구성한다.
• $\operatorname{Add}G_\beta$와 $\operatorname{Add}P_t$가 곱과 직접극한에 대해 닫혀 있음을 이용하여 $\Cal{B}_w$와 $\Cal{C}_w$의 닫힘 성질을 증명한다.
• $\mathbb{q}_w$와 $\mathbb{p}_w$의 구조를 적용하여 $\Cal{B}_w$에 속하는 모듈의 곱이 여전히 $\Cal{B}_w$에 속함을 보이고, $\mathbb{p}_w$의 불가분 모듈이 그러한 곱에서 분리될 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 티밍 히라드리티 계수 대수에서의 무한차원 모듈의 구조 이론을 어떻게 숨겨진 캐논칼 대수로 일반화할 수 있는가?
• RQ2 일반 및 프뤼퍼 모듈은 투브 가족에 의해 동시에 생성되고 코생성되는 모듈의 범주를 분류하는 데 어떤 역할을 하는가?
• RQ3 토포로지 자유 범주가 진실된 안정적인 분리 투브 가족에 의해 코생성되는 모듈로 이루어진 경우, ModΛ에서의 토포로지 페어는 어떤 조건에서 분리되는가?
• RQ4 무리수 $w$에 대해 $\Cal{M}(w)$에서 비영 모듈을 어떻게 명시적으로 구성할 수 있는가?
• RQ5 $\Cal{C}_w$, $\Cal{B}_w$, $\Cal{M}(w)$의 범주들이 곱과 직접극한에 대해 어떤 닫힘 성질을 가지는가?

주요 결과

• 어느 숨겨진 캐논칼 대수에서의 모든 모듈 $M$은 $M = M_0 \oplus M_1$의 직합 분해를 가지며, $M_0$는 투브 가족의 직접극한 폐쇄 $\Cal{T}$에 의해 코생성되고 $M_1$은 투브 가족에 의해 생성되며, $\operatorname{Hom}(M_1, \Cal{T}) = 0$이다.
• $\Cal{T}$에 의해 코생성되는 모듈의 범주 $\Cal{C}$는 $\operatorname{Mod}\Lambda$에서 분리된 토포로지 페어의 토포로지 자유 범주이며, $\{ C \mid \operatorname{Ext}^1(C, \omega) = 0 \}$로 특성화된다.
• 투브 가족에 의해 생성되는 모듈의 범주 $\Cal{D}$는 $\{ D \mid \operatorname{Ext}^1(\omega, D) = 0 \}$로 특성화되며, 그러한 분리된 토포로지 페어에서 가능한 가장 큰 토포로지 범주이다.
• $\omega = \Cal{C} \cap \Cal{D}$는 정확히 일반 모듈 $G$와 프뤼퍼 모듈의 직합으로 이루어져 있으며, 구조 이론에서 중심적인 중요성을 지닌다.
• 모든 $w \in \mathbb{R}^+$에 대해, $\Cal{M}(w)$의 비영 모듈은 $\alpha_i \to w^+$를 만족하는 $M_i \in \operatorname{add}\mathbb{t}_{\alpha_i}$에 대해 $\prod M_i / \bigoplus M_i$ 또는 $\alpha_i \to w^-$를 만족하는 중첩된 $M_i \in \operatorname{add}\mathbb{t}_{\alpha_i}$에 대해 $\lim_{\to} M_i$로 구성할 수 있다.
• $\Cal{C}_w$, $\Cal{B}_w$, $\Cal{M}(w)$의 부분범주들은 곱과 직접극한에 대해 닫혀 있으며, $\Cal{C}_w$는 토포로지 페어의 토포로지 자유 범주이고, $\Cal{B}_w$는 곱과 몫 모듈에 대해 닫혀 있다.