[论文解读] Quiver Grassmannians of extended Dynkin type D - Part 2: Schubert decompositions and F-polynomials

Oliver Lorscheid, Thorsten Weist|arXiv (Cornell University)|Jul 1, 2015

Algebraic structures and combinatorial models参考文献 13被引用 9

一句话总结

本文证明了所有关于扩展Dynkin型$\tilde{D}_n$的quiver的不可约表示的quiver Grassmannian均可通过仿射空间进行Schubert分解，从而能够显式计算其欧拉特征生成函数（F-多项式）。通过利用系数quiver的非矛盾子集的组合细胞描述以及BGP反射函子，作者推导出所有不可约表示的F-多项式闭式公式，进而得到所有mutation-有限型$\tilde{D}_n$簇代数中所有簇变量的显式表达式。关键贡献在于提出了一种非递归、与分量无关的公式，将不同Auslander-Reiten分量间的F-多项式联系起来。

ABSTRACT

Extending the main result of Part 1, in the first part of this paper we show that every quiver Grassmannian of a representation of a quiver of extended Dynkin type $D$ has a decomposition into affine spaces. In the case of real root representations of small defect, the non-empty cells are in one-to-one correspondence to certain, so called non-contradictory, subsets of the vertex set of a fixed tree-shaped coefficient quiver. In the second part, we use this characterization to determine the generating functions of the Euler characteristics of the quiver Grassmannians (resp. $F$-polynomials). Along these lines, we obtain explicit formulae for all cluster variables of cluster algebras coming from quivers of extended Dynkin type $D$.

研究动机与目标

• 建立所有关于类型$\tilde{D}_n$的quiver的不可约表示的quiver Grassmannian的仿射空间Schubert分解。
• 利用组合细胞描述计算这些Grassmannian的欧拉特征生成函数（F-多项式）。
• 推导$\tilde{D}_n$所有不可约表示的F-多项式的显式、非递归公式。
• 将这些结果应用于获得mutation-有限型$\tilde{D}_n$簇代数中所有簇变量的显式表达式。
• 统一不同Auslander-Reiten分量（包括预投影、预注入及例外管）中F-多项式的计算。

提出的方法

• 通过树状系数quiver的子集实现quiver Grassmannian的Schubert分解，其中非空细胞对应于非矛盾子集。
• 应用BGP反射函子，将不同quiver方向和分量间的F-多项式关联起来，尤其针对大亏格表示。
• 利用Caldero-Chapoton公式，将F-多项式与mutation-有限型$\tilde{D}_n$簇代数中的簇变量联系起来。
• 基于相对于虚Schur根$\boldsymbol{\tilde{\beta}}$和注入根$s_q$的维向量，推导F-多项式的递推关系。
• 利用Auslander-Reiten quiver的结构，根据亏格对表示进行分类，并基于$\boldsymbol{\tilde{\beta}} - t_M$是否为注入表示进行情况划分。
• 利用F-多项式的小亏格表示仅依赖于更小维数的预投影/预注入表示和同调管表示的性质，而这些表示的F-多项式是显式已知的这一事实。

实验结果

研究问题

• RQ1 所有类型$\tilde{D}_n$的不可约表示的quiver Grassmannian是否都能分解为仿射空间，即使对于亏格较大的表示？
• RQ2 对于类型$\tilde{D}_n$的不可约表示，其F-多项式的显式结构是什么，特别是当亏格为$-1$或$2$时？
• RQ3 不同Auslander-Reiten分量（如预投影、预注入、例外管）中表示的F-多项式之间有何关系？
• RQ4 能否为$\tilde{D}_n$的Auslander-Reiten quiver所有分量中的F-多项式推导出闭式、非递归的公式？
• RQ5 是否存在一个统一公式，能以更小维数的不可约表示的F-多项式表达任意不可约表示的F-多项式？

主要发现

• 所有类型$\tilde{D}_n$的不可约表示的quiver Grassmannian均可分解为仿射空间，推广了此前针对小亏格表示的结果。
• 对于亏格为$-1$的表示，若$\boldsymbol{\tilde{\beta}} - t_M$为注入表示，则F-多项式为$F_M = F_{t_M} F_{r\boldsymbol{\tilde{\beta}}} - x^{\boldsymbol{\tilde{\beta}}} F_{(r-1)\boldsymbol{\tilde{\beta}}}$；否则为$F_M = F_{t_M} F_{r\boldsymbol{\tilde{\beta}}} - x^{\boldsymbol{\tilde{\beta}} - \boldsymbol{\tau}^{-1}t_M} F_{\boldsymbol{\tilde{\beta}} - \boldsymbol{\tau}^{-1}t_M} F_{(r-1)\boldsymbol{\tilde{\beta}}}$。
• 所有小亏格的预投影与预注入表示的F-多项式仅依赖于更小维数的预投影/预注入表示和同调管表示的F-多项式，而这些是显式已知的。
• 对于亏格为$2$的表示，F-多项式通过本文第一部分的结果确定，采用相同的Schubert细胞分解框架。
• 作者通过结合F-多项式公式与Caldero-Chapoton公式，推导出mutation-有限型$\tilde{D}_n$簇代数中所有簇变量的显式非递归公式。
• 这些公式统一了不同Auslander-Reiten分量间的F-多项式计算，且与以往的递归方法不同，直接关联了不同分量中的表示。