[论文解读] Continuous Quivers of Type A (II) The Auslander-Reiten Space

Job Daisie Rock|arXiv (Cornell University)|Oct 9, 2019

Algebraic structures and combinatorial models参考文献 26被引用 4

一句话总结

本文为连续型 $A_{\mathbb{R}}$ 抽象图引入了 Auslander-Reiten 空间，推广了经典的 Auslander-Reiten 抽象图。研究发现，导范畴中的非平凡扩张与典范三角形在该空间中分别对应于斜率为 $\pm(1,1)$ 的矩形与近乎完整矩形，从而通过 AR 空间中的几何构型实现了对扩张与三角形的几何分类。

ABSTRACT

This work is the sequel to Continuous Quivers of Type A (I). In this paper we define the Auslander-Reiten space of a continuous type $A$ quiver, which generalizes the Auslander-Reiten quiver of type $A_n$ quivers. We prove that extensions, kernels, and cokernels of representations of type $A_{\mathbb R}$ can be described by lines and rectangles in a way analogous to representations of type $A_n$. We provide a similar description for distinguished triangles in the bounded derived category whose first and third terms are indecomposable. Furthermore, we provide a complete classification of Auslander-Reiten sequences in the category of finitely generated representations of $A_{\mathbb R}$. This is part of a longer work; the other papers in this series are with Kiyoshi Igusa and Gordana Todorov. The goal of this series is to generalize cluster categories, clusters, and mutation for type $A_n$ quivers to continuous versions for type $A_{\mathbb R}$ quivers. (Added Section 5 to version 2.)

研究动机与目标

• 通过定义 Auslander-Reiten 空间，将 Auslander-Reiten 抽象图推广至 $A_{\mathbb{R}}$ 抽象图的连续情形。
• 对 $A_{\mathbb{R}}$ 的有限生成表示范畴中的所有 Auslander-Reiten 序列进行分类。
• 建立非平凡扩张与 AR 空间中矩形之间的几何对应关系。
• 将此对应关系拓展至有界导范畴 $\mathcal{D}^b(A_{\mathbb{R}})$，将典范三角形与几何构型关联。
• 提供 $\operatorname{rep}_k(A_{\mathbb{R}})$ 中 16 种 Auslander-Reiten 序列的完整分类，包括对非投射、非内射、非简单且不支持于相邻源-汇对的非零分解表示的条件。

提出的方法

• 通过映射 $\mathop{\boldsymbol{\Gamma}}$ 到 $\mathbb{R} \times [-\pi/2, \pi/2]$，定义 Auslander-Reiten 拓扑及同构类上的一般化度量，以刻画不可约表示。
• 引入 AR 空间中“良好”斜率的概念，定义为 $\pm(1,1)$，以表征有效的几何构型。
• 利用 $\mathop{\boldsymbol{\Gamma}}$ 映射，将表示论性质转化为 $\mathbb{R}^2$ 中的几何性质。
• 通过 AR 空间中的矩形与近乎完整矩形表征扩张，其中顶点对应于不可约表示。
• 通过平移三角形并利用同调性质如 $\operatorname{Hom}(W[-1], V) \cong k$，将导范畴中的结果进行推广。
• 应用平移函子，并利用遗传范畴 $\operatorname{rep}_k(A_{\mathbb{R}})$ 中核与余核的性质，重构 $\mathcal{D}^b(A_{\mathbb{R}})$ 中的三角形。

实验结果

研究问题

• RQ1 如何将 Auslander-Reiten 抽象图推广至连续型 $A_{\mathbb{R}}$ 抽象图？
• RQ2 在 $\operatorname{rep}_k(A_{\mathbb{R}})$ 中，Auslander-Reiten 序列的完整分类是什么？
• RQ3 不可约表示的非平凡扩张如何对应于 AR 空间中的几何构型？
• RQ4 在 $\mathcal{D}^b(A_{\mathbb{R}})$ 中，首项与第三项为不可约表示的典范三角形的几何特征是什么？
• RQ5 斜率 $\pm(1,1)$ 在几何矩形与表示论三角形之间的对应关系中起什么作用？

主要发现

• 在 $\operatorname{rep}_k(A_{\mathbb{R}})$ 中存在 16 种 Auslander-Reiten 序列的完整分类，且对任意非投射、非内射、非简单且不支持于相邻源-汇对的不可约表示 $M_{|a,b|}$，存在唯一一个包含它的序列。
• 不可约表示的非平凡扩张 $V \hookrightarrow E \twoheadrightarrow W$ 存在，当且仅当在 AR 空间中存在一个矩形或近乎完整矩形，其左端点为 $V$，右端点为 $W$。
• 若矩形为完整矩形，则 $E$ 是两个不可约表示的直和；若为近乎完整矩形，则 $E$ 是不可约的。
• 在 $\operatorname{rep}_k(A_{\mathbb{R}})$ 的 AR 空间中，非平凡扩张（模去标量与同构）与具有“良好”斜率的矩形或近乎完整矩形之间存在双射。
• 在有界导范畴 $\mathcal{D}^b(A_{\mathbb{R}})$ 中，非平凡典范三角形 $V \to U \to W \to$ 存在，当且仅当在 AR 空间中存在一个矩形或近乎完整矩形，其左端点为 $V$，右端点为 $W$。
• 对于此类三角形，若矩形为完整矩形，则 $U$ 是两个不可约表示的直和；若为近乎完整矩形，则 $U$ 是不可约的，且与 $\mathcal{D}^b(A_{\mathbb{R}})$ 的 AR 空间中此类几何构型之间存在双射。