[论文解读] Signed exceptional sequences and the cluster morphism category

Kiyoshi Igusa, Gordana Todorov|arXiv (Cornell University)|Jun 7, 2017

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

一句话总结

本文引入了符号例外序列作为丛态射范畴中态射的因式分解，该范畴由遗传代数的宽子范畴构建而成。研究证明，对于有限表示型代数，该范畴的几何实现是一个Eilenberg-MacLane空间，其基本群同构于图象群，从而为先前工作中涉及的拓扑构造提供了代数模型。

ABSTRACT

We introduce signed exceptional sequences as factorizations of morphisms in the cluster morphism category. The objects of this category are wide subcategories of the module category of a hereditary algebra. A morphism $[T]:\mathcal A o \mathcal B$ is the equivalence class of a rigid object $T$ in the cluster category of $\mathcal A$ so that $\mathcal B$ is the right hom-ext perpendicular category of the underlying object $|T|\in \mathcal A$. Factorizations of a morphism $[T]$ are given by total orderings of the components of $T$. This is equivalent to a "signed exceptional sequence." For an algebra of finite representation type, the geometric realization of the cluster morphism category is an Eilenberg-MacLane space with fundamental group equal to the "picture group" introduced by the authors in [IOTW4].

研究动机与目标

• 为丛理论中的拓扑构造提供代数对应，特别是Dynkin型quiver的图象群。
• 通过丛范畴中的宽子范畴与刚性对象，定义并刻画丛态射范畴。
• 建立态射因式分解与符号例外序列之间的对应关系。
• 证明对于有限表示型代数，丛态射范畴的分类空间是一个基本群等于图象群的Eilenberg-MacLane空间。

提出的方法

• 将丛态射范畴的对象定义为遗传代数模范畴的有限生成宽子范畴。
• 将态射 $[T]: \tau \to \mathcal{B}$ 定义为丛范畴中刚性对象 $T$ 的等价类，其中 $\mathcal{B} = |T|^\perp \cap \mathcal{A}$。
• 引入符号例外序列为刚性对象 $T$ 的各分量的全序，其对应于态射的因式分解。
• 构造从 $\mathcal{C}_\mathcal{B}$ 中的刚性对象到 $\mathcal{C}_\mathcal{A}$ 的映射 $\sigma_T$，该映射保持刚性性与维数向量关系。
• 利用HNN扩张与CW复形对范畴的分类空间进行建模，证明其同伦等价于Eilenberg-MacLane空间。
• 定义分类空间的胞腔链复形，并利用符号例外序列与基变换矩阵的符号计算关联数。

实验结果

研究问题

• RQ1 丛态射范畴中的态射如何进行代数因式分解？此类因式分解背后的结构是什么？
• RQ2 符号例外序列与丛态射范畴中态射的复合之间存在何种关系？
• RQ3 丛态射范畴的几何实现如何与有限表示型代数的图象群相关联？
• RQ4 c-向量与实Schur根在分类空间构造中扮演何种角色？
• RQ5 分类空间胞腔链复形中的关联数如何依赖于符号例外序列的方向？

主要发现

• 对于有限表示型遗传代数，丛态射范畴的几何实现是一个基本群同构于图象群的Eilenberg-MacLane空间。
• 符号例外序列等价于刚性对象 $T$ 的各分量的全序，且参数化了态射 $[T]$ 的因式分解。
• 分类空间中胞腔之间的关联数由符号例外序列的维数向量之间基变换矩阵的行列式给出。
• 当态射对应于投射对象时，两种可能的态射 $[M_\beta]$ 与 $[M_{-\beta}]$ 的符号相反，导致边界映射中相互抵消。
• 胞腔边界映射 $d_n$ 通过非投射例外根的符号和计算得出，符号由关联维数向量的矩阵行列式决定。
• 通过基于符号例外序列构建的CW复形结构，证明分类空间 $X(\mathcal{S})$ 同伦等价于 $B\mathcal{G}(\mathcal{S})$，即图象群的分类空间。