- Comments
- 81 pages; v2 (minor changes) final version accepted by and subsequently published in Applied Categorical Structures
AI中文摘要
我们描述了一个用范畴方法编码丛组合的框架。我们给出了抽象丛结构的定义,它捕捉了热带水平上丛突变的本质,并证明了丛代数、丛簇、丛范畴和曲面模型都有相关联的抽象丛结构。对于前两类,我们还证明了它们可以从抽象丛结构构造出来。通过定义抽象丛结构的态射的合适概念,我们引入了这些结构的一个范畴,并证明了它具有几个理想的性质,例如初始对象和终对象,以及有限积和余积。我们还证明了丛代数的有根丛态射会诱导相关联的抽象丛结构的态射,因此我们的框架包含了现有丛代数范畴的一个版本。然而,我们可以做得更多,因为我们可以通过抽象丛结构的态射直接关联不同类型(丛代数、丛簇、丛范畴)的表示,即使从例如丛范畴到相关联的丛代数没有直接映射。事实上,我们在抽象量子丛结构的设定下做了上述大部分工作,并分析了这个范畴与未量子化版本范畴之间的差异。为了展示抽象量子丛结构与量子丛代数之间的关系,我们以更适合我们目的的方式重新表述了后者的通常构造,我们预计这将具有独立的意义和用途。
英文摘要
We describe a framework for encoding cluster combinatorics using categorical methods. We give a definition of an abstract cluster structure, which captures the essence of cluster mutation at a tropical level and show that cluster algebras, cluster varieties, cluster categories and surface models all have associated abstract cluster structures. For the first two classes, we also show that they can be constructed from abstract cluster structures. By defining a suitable notion of morphism of abstract cluster structures, we introduce a category of these and show that it has several desirable properties, such as initial and terminal objects and finite products and coproducts. We also prove that rooted cluster morphisms of cluster algebras give rise to morphisms of the associated abstract cluster structures, so that our framework includes a version of the extant category of cluster algebras. We can do more, however, because we can relate different types of representation of abstract cluster structures (cluster algebra, varieties, categories) directly via morphisms of their associated abstract cluster structures, even though no direct map from e.g. a cluster category to the associated cluster algebra is possible. In fact, we do much of the above in the setting of abstract quantum cluster structures, with some analysis of the difference between the category of these and that of the unquantized version. In order to show the relationship between abstract quantum cluster structures and quantum cluster algebras, we reformulate the usual construction of the latter in a way that is more amenable to our purposes and which we expect will be of independent interest and use.