[论文解读] Exact structures and degeneration of Hall algebras

Xin Fang, Mikhail Gorsky|arXiv (Cornell University)|May 25, 2020

Algebraic structures and combinatorial models参考文献 53被引用 7

一句话总结

该论文证明，在一个正合范畴中，通过对不可约对象上的次数函数诱导的 Hall 代数退化，恰好对应于同一加法范畴上更小的正合结构的 Hall 代数。关键结果是正合结构、AR 序列与非投射/非内射不可约对象子集之间存在格同构，表明此类结构的格是布尔格，并且在有限情况下可实现为单纯锥的面格。

ABSTRACT

We study degenerations of the Hall algebras of exact categories induced by degree functions on the set of isomorphism classes of indecomposable objects. We prove that each such degeneration of the Hall algebra $\mathcal{H}(\mathcal{E})$ of an exact category $\mathcal{E}$ is the Hall algebra of a smaller exact structure $\mathcal{E}' < \mathcal{E}$ on the same additive category $\mathcal{A}.$ When $\mathcal{E}$ is admissible in the sense of Enomoto, for any $\mathcal{E}' < \mathcal{E}$ satisfying suitable finiteness conditions, we prove that $\mathcal{H}(\mathcal{E}')$ is a degeneration of $\mathcal{H}(\mathcal{E})$ of this kind. In the additively finite case, all such degree functions form a simplicial cone whose face lattice reflects properties of the lattice of exact structures. For the categories of representations of Dynkin quivers, we recover degenerations of the negative part of the corresponding quantum group, as well as the associated polyhedral structure studied by Fourier, Reineke and the first author. Along the way, we give minor improvements to certain results of Enomoto and Brüstle-Langford-Hassoun-Roy concerning the classification of exact structures on an additive category. We prove that for each idempotent complete additive category $\mathcal{A}$, there exists an abelian category whose lattice of Serre subcategories is isomorphic to the lattice of exact structures on $\mathcal{A}$. We show that every Krull-Schmidt category admits a unique maximal admissible exact structure and that the lattice of smaller exact structures of an admissible exact structure is Boolean.

研究动机与目标

• 理解在正合范畴中，对不可约对象上的次数函数诱导的 Hall 代数退化机制。
• 将所有可能的 Hall 代数退化分类为同一加法范畴上更小的正合结构。
• 在正合结构、AR 序列与非投射/非内射不可约对象子集之间建立格同构。
• 通过此退化框架恢复量子群与 Dynkin 箭图情境下的已知多面体结构。
• 证明在幂等完备、Hom-有限的加法范畴中，当满足有限性条件时，正合结构的格是布尔格，并可实现为单纯锥。

提出的方法

• 在正合范畴中不可约对象的同构类上定义次数函数，以诱导其 Hall 代数的退化。
• 证明每种此类退化均可实现为同一加法范畴上严格更小的正合结构的 Hall 代数。
• 利用外三角范畴与相对正合结构的理论，将退化与 AR 序列子范畴及非投射/非内射对象的子集联系起来。
• 建立如下结构之间的格同构：外三角的类、相对正合结构、AR 序列的子集，以及非投射/非内射不可约对象的子集。
• 在有限性条件下，证明次数函数的集合构成一个单纯锥，其面格同构于正合结构的格。
• 借助 Enomoto、Brüstle-Langford-Hassoun-Roy 等人的结果，细化加法范畴上正合结构的分类。

实验结果

研究问题

• RQ1 每个由不可约对象上的次数函数诱导的 Hall 代数退化，是否都能在同一个加法范畴上实现为严格更小的正合结构的 Hall 代数？
• RQ2 加法范畴上正合结构的格与非投射或非内射不可约对象子集的格之间，存在何种精确关系？
• RQ3 在加法有限情况下，不可约对象上的次数函数如何与单纯锥的面格相关联？
• RQ4 在何种条件下，幂等完备、Hom-有限加法范畴上正合结构的格成为布尔格？
• RQ5 在 Dynkin 箭图情形下，能否通过此退化框架恢复量子群负部分的退化多面体结构？

主要发现

• 由不可约对象上的次数函数诱导的正合范畴 Hall 代数的所有退化，均可实现为同一加法范畴上严格更小的正合结构的 Hall 代数。
• 在 Enomoto 意义下的可接受正合范畴中，所有满足有限性条件的更小正合结构均产生此类退化。
• 在加法有限情形下，次数函数的集合构成一个单纯锥，其面格同构于正合结构的格。
• 在幂等完备、Hom-有限加法范畴上，当仅考虑包含有限多个非投射或非内射不可约对象的正合结构时，正合结构的格是布尔格。
• 对于 Dynkin 箭图的表示范畴，该框架恢复了对应量子群负部分的已知退化及其由 Fourier、Reineke 和 Fang 研究的关联多面体结构。
• 存在一个阿贝尔范畴，其 Serre 子范畴的格同构于任意给定幂等完备加法范畴上正合结构的格。