[论文解读] Quiver Grassmannians and their Euler characteristics: Oberwolfach talk, May 2010

Andrei Zelevinsky|arXiv (Cornell University)|Jun 4, 2010

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

一句话总结

本文研究了quiver Grassmannian——即参数化quiver表示的子表示的射影代数簇——并利用生成多项式（F-多项式）计算其欧拉示性数。在关键情形下，如Kronecker quiver和通过广义子式表示的Dynkin quiver，建立了欧拉示性数的显式公式，并确定了这些欧拉示性数非负的条件，特别是针对无根的不可约表示在无环quiver中的情形。

ABSTRACT

This is an extended abstract of my talk at the Oberwolfach Workshop "Interactions between Algebraic Geometry and Noncommutative Algebra" (May 10 - 14, 2010). We present some properties of quiver Grassmannians and examples of explicit computations of their Euler characteristics.

研究动机与目标

• 研究quiver Grassmannian作为参数化quiver表示子表示的射影代数簇。
• 计算其欧拉示性数，尤其与丛代数理论相关。
• 确定quiver Grassmannian的欧拉示性数非负的条件，特别是针对无根和不可约表示。
• 通过quiver with potentials和装饰表示，将框架扩展至无环quiver之外。
• 研究不变量E(ℳ)在分类欧拉示性数为零的表示中的作用。

提出的方法

• 将quiver Grassmannian定义为在给定quiver表示M中具有固定维向量e的子表示的代数簇。
• 将F-多项式F_M(u_1,…,u_n)构造为欧拉示性数χ(Gr_e(M))的生成函数，其单项式为u_1^{e_1}⋯u_n^{e_n}。
• 利用F_{M⊕N} = F_M F_N的性质，将研究简化为不可约表示。
• 对于Kronecker quiver，推导出预投射、预余射和正则不可约表示的χ(Gr_e(M))关于二项式系数的闭式表达式。
• 对于Dynkin quiver，通过Coxeter元素和单参数子群，将F_{M(α)}表示为相应半单代数群G上的广义子式Δ_{γ,γ}。
• 引入装饰的(Q,S)-表示和不变量E(ℳ)，该不变量在突变下保持不变，且在负简单表示上为零，从而推广了感兴趣表示的类别。

实验结果

研究问题

• RQ1 对于不可约quiver表示，quiver Grassmannian的欧拉示性数是什么？它们如何随维向量变化？
• RQ2 quiver Grassmannian的欧拉示性数在何种条件下非负？
• RQ3 Dynkin quiver中quiver Grassmannian的F-多项式能否用广义子式统一表示？
• RQ4 如何将具有非负欧拉示性数的表示类扩展至无环quiver之外？
• RQ5 不变量E(ℳ)的消失是否表征了可通过突变从负简单表示获得的表示？

主要发现

• 对于Kronecker quiver，Gr_e(M^pr(m))的欧拉示性数由二项式系数的乘积给出：binom(m−e₁, e₂−e₁) binom(e₂−1, e₁)。
• 对于预余射情形，χ(Gr_e(M^inj(m))) = binom(m−e₂, e₁−e₂) binom(e₁−1, e₂)，而对于正则表示，其值为binom(m−e₁, e₂−e₁) binom(e₂, e₁)。
• 在Dynkin情形，F_{M(α)}表示为在群G中特定元素上取值的广义子式Δ_{γ,γ}，该元素由Coxeter元素和根α确定。
• 对于无环quiver，若M是无根的（Ext^1(M,M)=0），则所有quiver Grassmannian Gr_e(M)均为光滑的，且对所有e有χ(Gr_e(M)) ≥ 0。
• 在具有四条箭头的广义Kroneckerquiver中，存在一个反例表明χ(Gr_e(M))可能为负：当M的维向量为(3,4)且e=(1,3)时，欧拉示性数为−4。
• 不变量E(ℳ)在突变下保持不变，且在负简单表示上为零；猜想具有E(ℳ)=0的表示可通过突变从负简单表示获得，但该猜想尚未被证明。