[论文解读] Infinite dimensional representations of canonical algebras

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

Algebraic structures and combinatorial models被引用 4

一句话总结

本文通过tilting理论将无限维模的结构理论从驯服的有向代数推广到隐蔽的典范代数。研究发现所有模均可分解为由一个真诚稳定分离的管形族生成或余生成的分量，其中一般模和Prüfer模在通过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.

研究动机与目标

• 将无限生成模的结构理论从驯服的有向代数推广至更广泛的隐蔽典范代数类。
• 表明核心结果——以一般模和Prüfer模为中心——并非依赖于表示类型，而是依赖于真诚稳定分离管形族的存在。
• 在ModΛ中建立分裂扭对，其中扭自由类由管形族余生成的模构成，并通过Ext正交性刻画相关范畴。
• 对既由管形族生成又由其余生成的模的范畴ω进行分类，表明其由一般模和Prüfer模的直和组成。
• 证明由管形族余生成的模的范畴与由其生成的模的范畴可通过与ω的Ext正交性来确定。

提出的方法

• 利用tilting理论将隐蔽典范代数的研究简化为典范代数，其中管形族由亏量为零的模定义。
• 引入范畴$\Cal{C}$（由管形族余生成）、$\Cal{D}$（由管形族生成）以及$\omega = \Cal{C} \cap \Cal{D}$，并证明它们对积和直极限封闭。
• 运用扭对理论证明所有具有指定扭自由类的扭对均为分裂，并通过与ω的Ext正交性刻画$\Cal{C}$和$\Cal{D}$。
• 通过取$\mathbb{t}_{\alpha_i}$中模的逆极限（$\alpha_i \to w$）或嵌套模的直极限（$\alpha_i \to w$），构造$\Cal{M}(w)$中非零模（当$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 一般模和Prüfer模在分类既由管形族生成又由其余生成的模的范畴中起什么作用？
• RQ3 当扭自由类由一个真诚稳定分离的管形族余生成的模构成时，ModΛ中的扭对在何种条件下会分裂？
• RQ4 如何显式构造$\Cal{M}(w)$中非零模（当$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$和Prüfer模的直和组成，是结构理论中的核心部分。
• 对任意$w \in \mathbb{R}^+$，$\Cal{M}(w)$中的非零模可构造为$\prod M_i / \bigoplus M_i$（其中$M_i \in \operatorname{add}\mathbb{t}_{\alpha_i}$且$\alpha_i \to w^+$），或为嵌套$M_i \in \operatorname{add}\mathbb{t}_{\alpha_i}$的直极限$\lim_{\to} M_i$（其中$\alpha_i \to w^-$）。
• 子范畴$\Cal{C}_w$、$\Cal{B}_w$和$\Cal{M}(w)$对积和直极限封闭，其中$\Cal{C}_w$是某扭对的扭自由类，$\Cal{B}_w$对积和商模封闭。