[论文解读] Lattice theory of torsion classes

Laurent Demonet, Osamu Iyama+3 more|arXiv (Cornell University)|Nov 6, 2017

Algebraic structures and combinatorial models参考文献 34被引用 56

一句话总结

本论文为有限维代数上的 torsion 类构建了一个格论框架，证明了偏序集 $τ A$ 是一个完全、双代数且完全半分配的格。它引入了 Hasse 图的砖块标记以刻画代数商与同余关系，并证明了 $τ A$ 是完全同余均匀的；特别地，对于预投影代数，给出了 $τ kQ$ 与 A 型 Cambrian 格之间同构关系的表示论证明。

ABSTRACT

The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}} A$ is a complete lattice which enjoys very strong properties, as bialgebraicity and complete semidistributivity. Thus its Hasse quiver carries the important part of its structure, and we introduce the brick labelling of its Hasse quiver and use it to study lattice congruences of $\operatorname{\mathsf{tors}} A$. In particular, we give a representation-theoretical interpretation of the so-called forcing order, and we prove that $\operatorname{\mathsf{tors}} A$ is completely congruence uniform. When $I$ is a two-sided ideal of $A$, $\operatorname{\mathsf{tors}} (A/I)$ is a lattice quotient of $\operatorname{\mathsf{tors}} A$ which is called an algebraic quotient, and the corresponding lattice congruence is called an algebraic congruence. The second part of this paper consists in studying algebraic congruences. We characterize the arrows of the Hasse quiver of $\operatorname{\mathsf{tors}} A$ that are contracted by an algebraic congruence in terms of the brick labelling. In the third part, we study in detail the case of preprojective algebras $\Pi$, for which $\operatorname{\mathsf{tors}} \Pi$ is the Weyl group endowed with the weak order. In particular, we give a new, more representation theoretical proof of the isomorphism between $\operatorname{\mathsf{tors}} k Q$ and the Cambrian lattice when $Q$ is a Dynkin quiver. We also prove that, in type $A$, the algebraic quotients of $\operatorname{\mathsf{tors}} \Pi$ are exactly its Hasse-regular lattice quotients.

研究动机与目标

• 为有限维代数 $A$ 上 torsion 类的偏序集 $τ A$ 建立一个全面的格论框架。
• 通过商代数 $A/I$ 的格同余关系，刻画 $τ A$ 的代数商。
• 在表示论语境下，解释强制序与 Hasse 图箭头结构在代数同余下的意义。
• 分析预投影代数 $Π$ 的特殊情况，其中 $τ Π$ 同构于具有弱序的 Weyl 群。
• 证明在 A 型情形下，$τ Π$ 的所有 Hasse 正则格商均来自代数商。

提出的方法

• 使用格论工具证明 $τ A$ 是一个完全、双代数且完全半分配的格。
• 在 $τ A$ 的 Hasse 图上引入砖块标记，以编码 torsion 类的结构性信息。
• 通过砖块标记确定的特定箭头收缩，刻画代数同余。
• 应用强制序，从表示论角度解释格同余。
• 利用预投影代数中 Weyl 群的结构，将 $τ Π$ 与弱序及 Cambrian 格联系起来。
• 运用表示论技术，重新证明 Dynkin 图 $Q$ 情形下 $τ kQ$ 与 Cambrian 格之间的同构关系。

实验结果

研究问题

• RQ1 如何将有限维代数 $A$ 上 torsion 类的偏序集 $τ A$ 理解为具有强结构性质的格？
• RQ2 在代数同余作用下，$τ A$ 的 Hasse 图中哪些箭头被收缩？这一过程如何通过砖块标记刻画？
• RQ3 在 torsion 类的语境下，强制序的表示论意义是什么？
• RQ4 预投影代数 $Π$ 上 torsion 类的格 $τ Π$ 如何与 Weyl 群及弱序相关联？
• RQ5 在 A 型情形下，$τ Π$ 的所有 Hasse 正则格商是否都是代数商？

主要发现

• torsion 类的偏序集 $τ A$ 是一个完全、双代数且完全半分配的格。
• 由于其强格性质，$τ A$ 的 Hasse 图承载了关键的结构性信息。
• 由 $A$ 中的双边理想 $I$ 产生的代数同余，恰好对应于格商 $τ (A/I)$。
• 在代数同余作用下，Hasse 图中箭头的收缩完全由图的砖块标记所刻画。
• 对于 Dynkin 图 $Q$，格 $τ kQ$ 同构于 Cambrian 格，且本文提供了新的表示论证明。
• 在 A 型情形下，$τ Π$ 的代数商恰好是 $τ Π$ 的 Hasse 正则格商。