[论文解读] Relative cluster categories and Higgs categories with infinite-dimensional morphism spaces

Chris Fraser, Bernhard Keller+1 more|arXiv (Cornell University)|Jul 23, 2023

Algebraic structures and combinatorial modelsMathematics被引用 3

一句话总结

本文通过在相对雅可比无穷设定下构建希格斯范畴与相对丛范畴，将带系数的丛代数范畴化推广至雅可比有限情形之外，推广了先前的弗罗贝尼乌斯与丛范畴框架。它引入了一个典范丛特征，将丛变量与丛提升至范畴层面，即使态射空间为无穷维，也能实现丛组合数学的范畴化实现。

ABSTRACT

Cluster algebras *with coefficients* are important since they appear in nature as coordinate algebras of varieties like Grassmannians, double Bruhat cells, unipotent cells, ... . The approach of Geiss-Leclerc-Schröer often yields Frobenius exact categories which allow to categorify such cluster algebras. In previous work, the third-named author has constructed Higgs categories and relative cluster categories in the relative Jacobi-finite setting (arXiv:2109.03707). Higgs categories generalize the Frobenius categories used by Geiss-Leclerc-Schröer. In this article, we construct the Higgs category and the relative cluster category in the relative Jacobi-infinite setting under suitable hypotheses. These cover for example the case of Jensen-King-Su's Grassmannian cluster category. As in the relative Jacobi-finite case, the Higgs category is no longer exact but still extriangulated in the sense of Nakaoka-Palu. We also construct a cluster character refining Plamondon's. In the appendix, Chris Fraser and the second-named author categorify quasi-cluster morphisms using Frobenius categories. A recent application of this result is due to Matthew Pressland, who uses it to prove a conjecture by Muller-Speyer.

研究动机与目标

• 将带系数丛代数的范畴化推广至雅可比有限情形之外，其中弗罗贝尼乌斯范畴不再适用。
• 在相对雅可比无穷设定下构建希格斯范畴与相对丛范畴，涵盖格拉斯曼与正位丛范畴等重要几何例子。
• 在此推广设定下定义一个典范丛特征，将丛变量与丛提升至范畴层面。
• 通过弗罗贝尼乌斯范畴建立拟丛态射的范畴框架，支持丛代数同构的应用。
• 通过导出范畴与K-理论技术，为近期猜想（如Müller–Speyer的猜想）提供范畴基础。

提出的方法

• 从带势的冰 quiver $(Q,F,W)$ 构造相对吉涅茨代数 $\bm{\Gamma}(Q,F,W)$，其中相对雅可比代数 $J(Q,F,W) = H^0(\bm{\Gamma})$。
• 将希格斯范畴 $\mathcal{H}(Q,F,W)$ 定义为完美导出范畴 $\mathrm{per}\,\bm{\Gamma}$ 的全子范畴，对扩张封闭，并通过Nakaoka–Palu理论满足外三角结构。
• 将相对丛范畴 $\mathcal{C}(Q,F,W)$ 定义为 $\mathrm{per}\,\bm{\Gamma}$ 关于由简单 $H^0(\bm{\Gamma})$-模生成的厚子范畴的幂等完备化。
• 引入一个典范丛特征，改进Plamondon的构造，将 $\mathcal{H}(Q,F,W)$ 中对象的同构类映射至丛代数中的洛朗多项式。
• 利用K-理论同构 $K_0(\mathcal{P}) \xrightarrow{\sim} K_0(\mathcal{P}')$ 与有界导出范畴之间的三角函子，诱导丛代数之间的环同构。
• 应用附录结果，通过弗罗贝尼乌斯范畴对拟丛态射进行范畴化，从而证明Müller–Speyer的一个猜想。

实验结果

研究问题

• RQ1 能否在相对雅可比无穷设定下构建希格斯范畴与相对丛范畴，超越此前已知的雅可比有限情形？
• RQ2 在相对雅可比无穷设定下，是否存在一个典范丛特征，能将丛变量与丛提升至范畴层面？
• RQ3 该范畴框架能否支持对拟丛态射的范畴化，特别是在丛代数同构的背景下？
• RQ4 在该推广设定下，K-理论同构与导出范畴之间的三角函子如何与丛代数同构关联？
• RQ5 该框架能否应用于证明丛代数理论中的开放猜想，如Müller–Speyer的猜想？

主要发现

• 即使希格斯范畴 $\mathcal{H}(Q,F,W)$ 在Quillen意义下不是精确的，它在Nakaoka–Palu意义下仍是外三角的，推广了弗罗贝尼乌斯范畴至无穷维态射空间的情形。
• 在适当假设下，相对丛范畴 $\mathcal{C}(Q,F,W)$ 在相对雅可比无穷设定下是良定义的，涵盖Jensen–King–Su的格拉斯曼丛范畴等例子。
• 构造了一个典范丛特征，推广了Plamondon的特征，并将丛变量与丛提升至范畴层面。
• 该丛特征在 $\mathcal{H}(Q,F,W)$ 中可达的刚性不可约对象的同构类与关联丛代数中的丛变量之间诱导双射。
• 一个三角函子 $F: \mathcal{D}^b(\mathcal{E}) \to \mathcal{D}^b(\mathcal{E}')$ 若诱导出 $K_0$-同构且在稳定范畴上是三角等价的，则导出唯一的拟丛同构 $f: \mathcal{A} \xrightarrow{\sim} \mathcal{A}'$。
• 附录建立了拟丛态射的弗罗贝尼乌斯范畴化，Matthew Pressland 利用此结果证明了Müller–Speyer的一个猜想，展示了该框架在解决开放问题中的适用性。