[论文解读] Notes on affine canonical and monomial bases

Yiqiang Li|ArXiv.org|Oct 14, 2006

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

一句话总结

本文证明了Lusztig的仿射典范基与通过仿射quiver表示理论构造的单项式基之间的转移矩阵是上三角矩阵，主对角线上元素为1，且上三角部分的系数为非负整数洛朗多项式。此外，还表明在将典范基元素视为简单 perverse 调和层时，某些单项式基元素可对典范基元素的支撑簇的奇点进行解析。

ABSTRACT

We investigate the affine canonical basis and the monomial basis constructed in [LXZ] in Lusztig's geometric setting. We show that the transition matrix between the two bases is upper triangular with 1's in the diagonal and coefficients in the upper diagonal entries in N[v, v^{-1}]. As a consequence, we show that part of the monomial basis elements give rise to resolutions of support varieties of the affine canonical basis elements as simple perverse sheaves.

研究动机与目标

• 理解[LXZ]中的单项式基在Lusztig的几何框架下的结构，使用 perverse 调和层。
• 在几何设定下，建立单项式基与Lusztig的仿射典范基之间的关系。
• 证明两个基之间的转移矩阵是主对角线为1、系数属于$\mathbb{Z}_{\geq 0}[v,v^{-1}]$的上三角矩阵。
• 证明某些单项式基元素可作为简单 perverse 调和层，对仿射典范基元素的支撑簇实现奇点解析。

提出的方法

• 将[L3]中Lusztig的论证方法适配到仿射quiver设定，利用仿射quiver表示的表示导向性性质。
• 使用[Re]中的关键引理，简化转移矩阵上三角性的证明。
• 通过[LXZ]中quiver表示理论的PBW型生成元的重排，构造单项式基$\mathcal{F}$。
• 通过几何实现，将$\mathcal{F}$与[LXZ]中定义的单项式基$\{\mathbf{m}_{\mathbf{c}} \mid \mathbf{c} \in \mathcal{M}\}$进行识别。
• 对每个$\mathbf{a} \in \Delta$，通过映射$\pi_{\mathbf{s}(\mathbf{a})}: \tilde{\mathcal{F}}_{\mathbf{s}(\mathbf{a})} \to \mathrm{E}_V$定义奇点的解析。
• 利用$\pi_{\mathbf{s}(\mathbf{a})}$在稠密开层片上的正规性与同构性，确认其为$\overline{X}(\mathbf{a},\boldsymbol{\lambda})$的解析。

实验结果

研究问题

• RQ1 [LXZ]中的单项式基与Lusztig的仿射典范基在几何上如何关联？
• RQ2 在几何设定下，单项式基与典范基之间的转移矩阵具有何种结构？
• RQ3 某些单项式基元素是否可对典范基元素的支撑簇实现奇点解析？
• RQ4 在几何实现中，两个基之间的转移矩阵是否保持上三角性？其系数有何约束？
• RQ5 典范基元素支撑簇的奇点解析是否可通过仿射quiver簇上的几何构造实现？

主要发现

• 单项式基$\mathcal{F}$与仿射典范基$\mathbf{B}$之间的转移矩阵是主对角线为1、上三角部分系数属于$\mathbb{Z}_{\geq 0}[v,v^{-1}]$的上三角矩阵。
• 这意味着典范基$\mathbf{B}$与巴-不变基$\mathcal{E}_{\mathbf{M}}$之间的转移矩阵也是主对角线为1、系数属于$\mathbb{Q}[v,v^{-1}]$的上三角矩阵。
• 对应于某些有序序列的单项式基元素可对典范基元素支撑簇的奇点实现解析。
• 该解析通过正规映射$\pi_{\mathbf{s}(\mathbf{a})}: \tilde{\mathcal{F}}_{\mathbf{s}(\mathbf{a})} \to \overline{X}(\mathbf{a},\boldsymbol{\lambda})$实现，其在稠密开层片$X(\mathbf{a},\boldsymbol{\lambda})$上为同构。
• 支撑簇$\overline{X}(\mathbf{a},\boldsymbol{\lambda})$在作为简单 perverse 调和层时，正是典范基元素的支撑。
• 由于巴-不变性，上同调度数的平移消失，确认$F(\mathbf{a},\boldsymbol{\lambda}) = \mathrm{IC}(\mathbf{a},\boldsymbol{\lambda}) \oplus \bigoplus_{\boldsymbol{\lambda} < \boldsymbol{\mu}} A_{\boldsymbol{\lambda}\mu} \mathrm{IC}(\mathbf{a},\boldsymbol{\mu}) \oplus K$无度数平移。