[论文解读] Euler characteristic of quiver Grassmannians and Ringel-Hall algebras of string algebras

Nicolas Poettering|arXiv (Cornell University)|Feb 16, 2010

Algebraic structures and combinatorial models参考文献 15被引用 6

一句话总结

本文利用环面作用和表示的分次结构，计算了串代数上树模和带模的箭图格拉斯曼流形与旗流形的欧拉示性数，证明了其正性。建立了这些不变量的组合公式，并将结果应用于显式计算串代数的Ringel-Hall代数中的乘积。

ABSTRACT

We compute the Euler characteristics of quiver Grassmannians and quiver flag varieties of tree and band modules and prove their positivity. This generalizes some results by G.C. Irelli [arXiv:0910.2592]. As an application we consider the Ringel-Hall algebra $C(A)$ of some string algebras $A$ and compute in combinatorial terms the products of arbitrary functions in $C(A)$.

研究动机与目标

• 计算树模和带模在箭图上的箭图格拉斯曼流形与旗流形的欧拉示性数。
• 通过表示上的环面作用与分次结构，推广并改进Irelli（2010）的技术。
• 在串代数的背景下，证明这些流形的欧拉示性数的正性。
• 将结果应用于以组合方式显式计算串代数的Ringel-Hall代数中的乘积。
• 通过维向量分解与阶乘表达式，建立带模的箭图格拉斯曼流形的欧拉示性数的公式。

提出的方法

• 利用表示上的$\mathbb{C}^*$-作用（由分次诱导）将欧拉示性数的计算简化为固定点子集的计算。
• 在箭图格拉斯曼流形的局部闭子集上引入稳定分次的概念，以保持欧拉示性数不变。
• 通过箭图的缠绕映射$F: S \to Q$（其中$S$为树或$\tilde{A}_{l-1}$型箭图）将不动点公式应用于树模与带模。
• 通过$\mathbf{F}$下维向量的原像求和，导出$\chi_{\mathbf{d}}(F_*(V))$的组合公式，其中使用了$V$在$S$上的$\chi_{\mathbf{t}}(V)$。
• 对于带模，基于维向量差，用阶乘与带符号的阶乘项表达欧拉示性数。
• 将该方法扩展至箭图旗流形，通过将相同的环面不动点技术应用于子表示的旗流形。

实验结果

研究问题

• RQ1 在串代数上，树模或带模$M$的箭图格拉斯曼流形$\mathop{\rm Gr}_{\mathbf{d}}(M)$的欧拉示性数是什么？
• RQ2 如何利用分次与环面作用，以组合方式计算此类格拉斯曼流形的欧拉示性数？
• RQ3 串代数的Ringel-Hall代数的结构是什么？如何显式计算函数的乘积？
• RQ4 在何种条件下，箭图格拉斯曼流形的欧拉示性数为正？
• RQ5 在树模与带模的背景下，箭图旗流形的欧拉示性数与格拉斯曼流形的欧拉示性数有何关系？

主要发现

• 树模或带模的箭图格拉斯曼流形的欧拉示性数$\chi_{\mathbf{d}}(F_*(V))$由$\sum_{\mathbf{t} \in \mathbf{F}^{-1}(\mathbf{d})} \chi_{\mathbf{t}}(V)$给出，将问题简化为在基箭图上计算欧拉示性数。
• 对于$\tilde{A}_{l-1}$型的带模$V$，欧拉示性数$\chi_{\mathbf{t}}(V)$表示为涉及维向量分量及其差值的阶乘项的乘积，其中$0! = 1$，且对负数$r$有$r! = 0$。
• 若$t_{s(s_i)} \leq t_{t(s_i)}$，则公式简化为$\frac{1}{|t_i - t_{i+1}|!}$，否则为0，从而保证非零时的正性。
• 箭图旗流形的欧拉示性数通过相同方法计算，结果将定理1.2推广至旗流形。
• 串代数$A$的Ringel-Hall代数$\mathcal{H}(A)$可借助组合公式显式计算特征函数$\Eins_{\mathbf{F},\mathbf{B},\mathbf{n}}$的乘积。
• 乘积$\Eins_{\mathbf{F},\mathbf{B},\mathbf{n}} \ast \Eins_{\mathbf{F}',\mathbf{B}',\mathbf{n}'}$被证明是$\mathcal{H}_{\mathbf{d}}(A)$中基函数的线性组合，且对带模的参数$\lambda \in \mathbb{C}^*$具有独立性。