[论文解读] A geometric version of BGP reflection functors

Stefan Wolf|ArXiv.org|Aug 28, 2009

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

一句话总结

本文引入了BGP反射函子的几何版本，用于研究quiver Grassmannian和quiver flag，证明当存在一般表示时，它们是光滑且不可约的。它建立了在Dynkin情形下，$ q=0 $ 处的Hall代数与Reineke的一般扩张幺半群之间的同构，表明计数多项式的常数项为1，且欧拉示性数为正。

ABSTRACT

Quiver Grassmannians and quiver flags are natural generalisations of usual Grassmannians and flags. They arise in the study of quiver representations and Hall algebras. In general, they are projective varieties which are neither smooth nor irreducible. We use a scheme theoretic approach to calculate their tangent space and to obtain a dimension estimate similar to one of Reineke. Using this we can show that if there is a generic representation, then these varieties are smooth and irreducible. If we additionally have a counting polynomial we deduce that their Euler characteristic is positive and that the counting polynomial evaluated at zero yields one. After having done so, we introduce a geometric version of BGP reflection functors which allows us to deduce an even stronger result about the constant coefficient of the counting polynomial. We use this to obtain an isomorphism between the Hall algebra at q=0 and Reineke's generic extension monoid in the Dynkin case.

研究动机与目标

• 开发适用于quiver Grassmannian和quiver flag的BGP反射函子的几何框架。
• 使用概形理论方法和Chevalley定理，分析quiver flag的切空间与维数估计。
• 建立quiver Grassmannian和quiver flag光滑且不可约的条件，特别是当存在一般表示时。
• 将quiver flag的计数多项式与$ q=0 $ 处的Hall代数联系起来，表明欧拉示性数为正且常数项为1。
• 在Dynkin quiver情形下，证明$ q=0 $ 处的通用复合代数与复合幺半群之间存在同构。

提出的方法

• 引入概形理论方法，利用广义张量代数计算quiver Grassmannian和quiver flag的切空间。
• 应用Chevalley定理，推导出quiver flag的维数估计，其形式类似于Reineke对quiver Grassmannian的结果，且在任意特征下成立。
• 利用一般表示的存在性，通过维数估计推导出quiver flag的光滑性与不可约性。
• 使用BGP反射函子的几何版本，将quiver flag的结构与复合幺半群及Hall代数联系起来。
• 将通用复合代数$ ilde{rak{C}}_q(Q) $ 特化到$ q=0 $，表明计数多项式的常数项为1。
• 构造代数同态$ ilde{rak{C}}_0(Q) o bQ rak{CM}(Q) $，通过比较分次维数，证明其在Dynkin quiver情形下为同构。

实验结果

研究问题

• RQ1 在何种条件下，quiver Grassmannian和quiver flag是光滑且不可约的？
• RQ2 一般表示的存在如何影响quiver flag的几何与拓扑性质？
• RQ3 quiver flag的计数多项式与$ q=0 $ 处Hall代数的结构之间有何关系？
• RQ4 能否使用BGP反射函子的几何版本，将$ q=0 $ 处的Hall代数与一般扩张幺半群联系起来？
• RQ5 在Dynkin quiver情形下，$ q=0 $ 处的通用复合代数与复合幺半群之间是否存在同构？

主要发现

• 当存在一般表示时，quiver flag是光滑且不可约的，这通过维数估计与切空间分析得以证明。
• 当存在一般表示且存在计数多项式时，quiver flag的欧拉示性数为正。
• 在相同条件下，quiver flag的计数多项式的常数项恰好为1。
• 几何BGP反射函子使得quiver flag的结构与复合幺半群之间能够直接比较。
• 对于Dynkin quiver，$ q=0 $ 处的Hall代数同构于一般扩张幺半群$ rak{CM}(Q) $，该同构由映射$ ilde{rak{C}}_0(Q) o bQ rak{CM}(Q) $ 诱导。
• 该同构通过保持每个分次分量维数的分次代数同构实现，且通过匹配每种维数向量的表示的同构类数量得到验证。