[论文解读] Quiver Grassmannians of type extended Dynkin type D - Part 1: Schubert systems and decompositions into affine spaces

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

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

一句话总结

该论文通过逐步求解方程的施鲁特系统，证明了扩展Din键型$; D_n$中缺陷为$-1$和$0$的表示的quiv Grassmannian可分解为仿射空间。该分解通过系数quiv以组合方式表征，后续给出了欧拉示性数和$F$-多项式的显式公式，推动了$D$型簇代数理论的发展。

ABSTRACT

Let $Q$ be a quiver of extended Dynkin type $D$. In this first of two papers, we show that the quiver Grassmannian $Gr_e(M)$ has a decomposition into affine spaces for every dimension vector $e$ and every indecomposable representation $M$ of defect $-1$ and defect $0$, with exception of the non-Schurian representations in homogeneous tubes. We characterize the affine spaces in terms of the combinatorics of a fixed coefficient quiver for $M$. The method of proof is to exhibit explicit equations for the Schubert cells of $Gr_e(M)$ and to solve this system of equations successively in linear terms. This leads to an intricate combinatorial problem, for whose solution we develop the theory of Schubert systems. In the sequel to this paper, we extend the result of this paper to all indecomposable representations $M$ of $Q$ and determine explicit formulae for their $F$-polynomials.

研究动机与目标

• 建立扩展Din键型$; D_n$中缺陷为$-1$和$0$的不可约表示$M$的quiv Grassmannian $\u001c mathrm{Gr}_{\underline{e}}(M)$分解为仿射空间。
• 利用与固定有序基相关的系数quiv，以组合方式表征仿射胞状结构。
• 发展施鲁特系统理论，作为求解来自施鲁特胞状分解的方程组的工具。
• 为在簇代数背景下计算quiv Grassmannian的欧拉示性数和$F$-多项式奠定基础。
• 从分解结果中排除同调管中的非施鲁特表示，将其识别为特殊情况。

提出的方法

• 为每个缺陷为$-1$或$0$的不可约表示$M$构造一个有序基，以定义系数quiv $\Gamma(M,\mathcal{B})$。
• 利用基上的顺序在quiv Grassmannian $\mathrm{Gr}_{\underline{e}}(M)$中定义施鲁特胞状结构，从而实现胞状分解。
• 将施鲁特胞状结构的定义方程建模为线性项中的多项式方程组。
• 引入施鲁特系统概念，以系统化方式逐步求解所得方程。
• 在源点处使用反射函子，从简单投影表示构建预投影表示的系数quiv，保持无环性。
• 证明在连续反射下，系数quiv保持无环（因此为树），从而可将结构常数归一化为1。

实验结果

研究问题

• RQ1 在何种条件下，$\widetilde{D}_n$型表示$M$的quiv Grassmannian $\mathrm{Gr}_{\underline{e}}(M)$可分解为仿射空间？
• RQ2 如何利用来自系数quiv的组合数据显式描述此类分解中的仿射胞状结构？
• RQ3 施鲁特系统在求解quiv Grassmannian中施鲁特胞状结构的定义方程中起什么作用？
• RQ4 为何同调管中的非施鲁特表示无法实现此类分解？
• RQ5 分解为仿射空间与$D$型簇代数中欧拉示性数和$F$-多项式的计算有何关联？

主要发现

• 对于$\widetilde{D}_n$中缺陷为$-1$和$0$的所有不可约表示$M$，quiv Grassmannian $\mathrm{Gr}_{\underline{e}}(M)$可分解为仿射空间，但同调管中的非施鲁特表示除外。
• 仿射胞状结构由所选有序基的系数quiv $\Gamma(M,\mathcal{B})$的组合数据参数化，该quiv为树。
• 该分解通过施鲁特系统构建，其提供了一种以线性形式系统化求解施鲁特胞状结构定义方程的方法。
• 在连续反射下，系数quiv保持无环，确保结构常数可归一化为1，从而简化方程。
• 该方法适用于所有缺陷为$-1$和$0$的表示，且结果在后续工作中[LW15]中扩展至所有不可约表示。
• 显式分解使得可在$D$型簇代数的突变有限簇代数中计算簇特征标对应的欧拉示性数和$F$-多项式。