[论文解读] A geometric realization of tame categories

Karin Baur, Hermund André Torkildsen|arXiv (Cornell University)|Feb 23, 2015

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

一句话总结

本文通过环形面上的定向弧，对类型 $\tilde{A}_n$ 的模范畴与丛范畴提供了几何实现。引入弧之间的“长移动”以组合方式建模无限根的元素，建立了带有长移动的几何箭图与截断模范畴 $\mathcal{J}_m(Q_{g,h})$ 之间的同构，从而实现了对无限根的完整几何描述，并通过无向弧将该模型扩展至丛范畴。

ABSTRACT

We give a geometric realization of module categories of type $ ilde{A}_n$. We work with oriented arcs to define a translation quiver isomorphic to the Auslander-Reiten quiver of the module category of type $ ilde{A}_n$. To get a description of the module category, we introduce long moves between arcs. These allow us to include the infinite radical in the geometric description. Finally, our results can also be used to describe the corresponding cluster categories by taking unoriented arcs instead.

研究动机与目标

• 提供类型 $\tilde{A}_n$ 模范畴中无限根的几何组合描述。
• 通过引入弧之间的长移动，将模范畴的几何模型扩展至包含 Auslander-Reiten 箭图之外的元素。
• 建立带有长移动的几何箭图与截断模范畴 $\mathcal{J}_m(Q_{g,h})$ 之间的对应关系。
• 将几何模型适配以描述类型 $\tilde{A}_n$ 丛范畴的子范畴，使用无向弧。

提出的方法

• 使用带有边界标记点的环形面上的定向弧来建模预前纯与预前内射分量中的不可约模。
• 通过弧移动定义一个与 $\operatorname{mod} kQ_{g,h}$ 的 Auslander-Reiten 箭图同构的平移箭图 $\Gamma$。
• 引入弧之间的“长移动”作为表示 $\operatorname{rad}^\infty(\operatorname{mod} \tilde{A})$ 中态射的新几何工具。
• 通过向原始箭图 $\Gamma$ 添加对应于长移动的箭头，构造新箭图 $\overline{\Gamma}$，同时保持 AR 箭图的结构。
• 证明 $\overline{\Gamma}$ 的全子箭图 $\overline{\Gamma}_m$ 同构于先前工作中定义的截断箭图 $Q_m$，从而实现 $\mathcal{J}_m(Q_{g,h})$ 的几何实现。
• 通过将定向弧替换为无向弧，并添加一个新的顶点层以建模轨道范畴结构，将模型扩展至丛范畴。

实验结果

研究问题

• RQ1 如何通过环形面上的弧构型，对类型 $\tilde{A}_n$ 模范畴的无限根进行几何实现？
• RQ2 对应于无限根中态射的弧的组合运算为何种操作？如何对其进行形式化？
• RQ3 截断模范畴 $\mathcal{J}_m(Q_{g,h})$ 能否通过整合长移动的几何箭图模型被完全描述？
• RQ4 该几何模型如何扩展以描述类型 $\tilde{A}_n$ 丛范畴的子范畴？
• RQ5 无向弧以及新增的顶点层在建模丛范畴结构中的作用是什么？

主要发现

• 使用环形面上定向弧的几何模型，将 $\operatorname{mod} kQ_{g,h}$ 的 Auslander-Reiten 箭图实现为一个与 AR 箭图同构的平移箭图 $\Gamma$。
• 引入弧之间的长移动作为 $\operatorname{rad}^\infty(\operatorname{mod} \tilde{A})$ 中态射的几何表示，为这些元素提供了组合解释。
• 通过向 $\Gamma$ 添加长移动箭头形成的箭图 $\overline{\Gamma}_m$ 同构于文献 [4] 中的截断箭图 $Q_m$，从而实现了 $\mathcal{J}_m(Q_{g,h})$ 的完整几何实现。
• 通过使用无向弧并添加新的顶点层 $\{\underline{\eta_i}\}$，该构造被扩展至类型 $\tilde{A}_n$ 的丛范畴，得到一个稳定平移箭图 $\underline{\Gamma}_m$。
• 箭图 $\underline{\Gamma}_m$ 的 $k$-范畴与丛范畴的全子范畴 $\mathcal{J}'_m(\mathcal{C}_{\tilde{A}})$ 同构，从而建立了其子范畴的几何描述。