[论文解读] The elementary 3-Kronecker modules

Claus Michael Ringel|arXiv (Cornell University)|Dec 29, 2016

Algebraic structures and combinatorial models参考文献 5被引用 3

一句话总结

本文通过证明其维向量位于 (1,1)、(2,1)、(2,2) 和 (4,2) 的 τ-轨道上，对 3-Kronecker 模的初等模进行了分类——这些模是 3-Kronecker quiver 所有正则表示的基本构建模块。证明表明，维向量为 (1,1) 和 (2,1) 的不可约模始终是初等模；而维向量为 (2,2) 或 (4,2) 的模是初等模当且仅当其同构于某个箭头空间 A 的基 α,β,γ 对应的 X(α,β,γ) 或 Y(α,β,γ)。

ABSTRACT

The 3-Kronecker quiver has two vertices, namely a sink and a source, and 3 arrows. A regular representation of a representation-infinite quiver such as the 3-Kronecker quiver is said to be elementary provided it is non-zero and not a proper extension of two regular representations. Of course, any regular representation has a filtration whose factors are elementary, thus the elementary representations may be considered as the building blocks for obtaining all the regular representations. We are going to determine the elementary $3$-Kronecker modules. It turns out that all the elementary modules are combinatorially defined.

研究动机与目标

• 识别并分类所有初等 3-Kronecker 模，这些模作为 3-Kronecker quiver 正则表示的基本构建模块。
• 基于其维向量与结构，确定哪些不可约正则模是初等模。
• 利用依赖基的组合构造 X(α,β,γ) 和 Y(α,β,γ)，提供初等模的组合特征刻画。
• 阐明 Auslander-Reiten 转移 τ 在通过 τ-轨道对这些模进行分类中的作用。
• 通过显式例子展示正则模到初等模的滤子分解并非唯一，从而说明其非唯一性。

提出的方法

• 定义 3-Kronecker quiver Q = K(3)，其包含两个顶点与三条箭头，并关联其路径代数 Λ = [k A; 0 k]，其中 A 是 k-向量空间，维数为 3。
• 利用 Auslander-Reiten 转移 τ 分析维向量的 τ-轨道，重点关注 (1,1)、(2,1)、(2,2) 和 (4,2)。
• 构造两类模：X(α,β,γ) 与 Y(α,β,γ)，其通过 A 的基 α,β,γ 在 k² × k² 上定义的特定线性映射构造。
• 应用初等模的定义：若一个正则模不是两个非零正则模的真扩张，则其为初等模。
• 验证维向量为 (1,1) 和 (2,1) 的模始终是初等模；而维向量为 (2,2) 或 (4,2) 的模是初等模当且仅当其同构于某个基对应的 X(α,β,γ) 或 Y(α,β,γ)。
• 利用系数 quiver 与模滤子，说明正则模到初等模的滤子分解的非唯一性。

实验结果

研究问题

• RQ1 哪些不可约正则 3-Kronecker 模是初等模？
• RQ2 初等 3-Kronecker 模的维向量是什么？它们如何通过 Auslander-Reiten 转移相关联？
• RQ3 对于维向量 (2,2) 和 (4,2)，其对应的不可约模在何种条件下是初等模？
• RQ4 能否通过依赖基的组合数据显式构造初等模？
• RQ5 正则模到初等模的滤子分解行为如何？这说明了什么关于其非唯一性的结论？

主要发现

• 初等 3-Kronecker 模恰好是那些维向量位于 (1,1)、(2,1)、(2,2) 和 (4,2) 的 τ-轨道上的模。
• 所有维向量为 (1,1) 或 (2,1) 的不可约模都是初等模，与基的选择无关。
• 维向量为 (2,2) 的不可约模是初等模当且仅当其同构于某个 A 的基 α,β,γ 对应的 X(α,β,γ)。
• 维向量为 (4,2) 的不可约模是初等模当且仅当其同构于某个 A 的基 α,β,γ 对应的 Y(α,β,γ)。
• 模 X(α,β,γ) 与 Y(α,β,γ) 通过基元素 α,β,γ 定义的线性映射显式构造。
• 例子表明，正则模可存在多个非同构的初等模滤子分解，从而证明此类滤子分解的非唯一性。