[论文解读] A category for Grassmannian cluster algebras

Bernt Tore Jensen, Alastair King+1 more|arXiv (Cornell University)|Sep 27, 2013

Algebraic structures and combinatorial models被引用 5

一句话总结

本文引入了一类特定环上的Cohen-Macaulay模，其提供了格拉斯曼流形Gr(k,n)的齐次坐标环上簇代数结构的加法范畴化。通过在该范畴上定义簇特征，刚性不可约对象映射到簇变量，极大刚性对象映射到簇，且该范畴对一个投射-内射对象的商映射得到Geiss-Leclerc-Schroer的Sub Q_k范畴，该范畴对格拉斯曼流形大胞腔的坐标环实现范畴化。

ABSTRACT

We describe a ring whose category of Cohen-Macaulay modules provides an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of k-planes in n-space. More precisely, there is a cluster character defined on the category which maps the rigid indecomposable objects to the cluster variables and the maximal rigid objects to clusters. This is proved by showing that the quotient of this category by a single projective-injective object is Geiss-Leclerc-Schroer's category Sub $Q_k$, which categorifies the coordinate ring of the big cell in this Grassmannian.

研究动机与目标

• 构建一个Cohen-Macaulay模的范畴，以范畴化方式建模格拉斯曼流形Gr(k,n)的齐次坐标环上的簇代数结构。
• 在该范畴上定义一个簇特征，使其将刚性不可约对象映射到簇变量，将极大刚性对象映射到簇。
• 建立一个范畴商构造，以恢复Geiss、Leclerc与Schroer定义的Sub Q_k范畴，该范畴已知可对格拉斯曼流形的大胞腔坐标环实现范畴化。
• 提供一个几何与代数框架，将表示理论与簇代数理论在格拉斯曼流形的背景下联系起来。

提出的方法

• 构造一个其Cohen-Macaulay模范畴可作为簇代数结构范畴框架的环。
• 在该范畴上定义一个簇特征，将簇变量分配给刚性不可约对象，将簇分配给极大刚性对象。
• 证明该范畴对单个投射-内射对象的商等价于Geiss、Leclerc与Schroer定义的范畴Sub Q_k。
• 利用该商范畴与Sub Q_k的等价性，转移已知的范畴化结果并确立簇代数结构。
• 利用Sub Q_k的已知性质，包括其簇特征与刚性对象分类，推断原始范畴的结构。
• 通过簇特征建立簇变量的组合学与范畴的表示理论之间的对应关系。

实验结果

研究问题

• RQ1 如何通过Cohen-Macaulay模的范畴范畴化格拉斯曼流形Gr(k,n)的齐次坐标环上的簇代数结构？
• RQ2 簇特征在将刚性不可约对象映射到簇变量、将极大刚性对象映射到簇的过程中起什么作用？
• RQ3 所提议范畴对投射-内射对象的商与通过Sub Q_k对大胞腔已知的范畴化之间有何关系？
• RQ4 实现格拉斯曼流形坐标环上完整簇代数结构的精确范畴构造是什么？
• RQ5 该范畴的表示理论结构能否恢复格拉斯曼流形簇代数的组合与代数特征？

主要发现

• 在所构造环上的Cohen-Macaulay模范畴为格拉斯曼流形Gr(k,n)的齐次坐标环上的簇代数提供了完整的加法范畴化。
• 该范畴上的簇特征将刚性不可约对象双射地映射到格拉斯曼流形簇代数的簇变量。
• 该范畴中的极大刚性对象恰好对应于格拉斯曼流形簇代数中的簇。
• 该范畴对单个投射-内射对象的商等价于Geiss-Leclerc-Schroer的范畴Sub Q_k，后者对格拉斯曼流形大胞腔的坐标环实现范畴化。
• 该等价性确认了原始范畴实现了完整的簇代数结构，包括初始种子与交换关系。
• 该构造在环的表示理论与格拉斯曼流形簇代数的组合学之间建立了直接联系。