[论文解读] The Hall algebra and the composition monoid

Stefan Wolf|ArXiv.org|Jul 7, 2009

Algebraic structures and combinatorial models参考文献 24被引用 7

一句话总结

本文在 q=0 处建立了通用复合代数的特殊化与 Dynkin 图和定向环的复合幺半群代数之间的精确同构，同时为无环扩展 Dynkin 图构造了一个具有显式核的满同态。作者引入了在图 Grassmannian 和图旗上的 BGP 反射函子的几何版本，以在特定条件下计算结构常数，并证明这些概形的不可约性与光滑性，从而在存在计数多项式时得出欧拉示性数的非负性。

ABSTRACT

Let Q be a quiver. M. Reineke and A. Hubery investigated the connection between the composition monoid, as introduced by M. Reineke, and the generic composition algebra, as introduced by C. M. Ringel, specialised at q=0. In this thesis we continue their work. We show that if Q is a Dynkin quiver or an oriented cycle, then the composition algebra at q=0 is isomorphic to the monoid algebra of the composition monoid. Moreover, if Q is an acyclic, extended Dynkin quiver, we show that there exists an epimorphism from the composition algebra at q=0 to the monoid algebra of the composition monoid, and we describe its non-trivial kernel. Our main tool is a geometric version of BGP reflection functors on quiver Grassmannians and quiver flags, that is varieties consisting of filtrations of a fixed representation by subrepresentations of fixed dimension vectors. These functors enable us to calculate various structure constants of the composition algebra. Moreover, we investigate geometric properties of quiver flags and quiver Grassmannians, and show that under certain conditions, quiver flags are irreducible and smooth. If, in addition, we have a counting polynomial, these properties imply the positivity of the Euler characteristic of the quiver flag.

研究动机与目标

• 扩展 Reineke 和 Hubery 关于复合幺半群与通用复合代数在 q=0 处特殊化的关联工作的研究。
• 确定 C₀(Q) 在各种图类型（特别是 Dynkin 图、定向环和无环扩展 Dynkin 圖）下的精确代数结构。
• 通过在图 Grassmannian 和图旗上使用 BGP 反射函子的几何框架，计算复合代数的结构常数。
• 研究图旗和 Grassmannian 的几何性质（如不可约性与光滑性），并将其与计数多项式存在时的欧拉示性数的非负性联系起来。

提出的方法

• 引入作用于图 Grassmannian 和图旗上的 BGP 反射函子的几何版本，这些概形参数化具有固定维向量的子表示的滤子。
• 利用这些函子通过分析旗与 Grassmannian 概形中轨道与纤维的几何结构，计算复合代数 C₀(Q) 的结构常数。
• 基于底层图的组合与表示论，建立图旗不可约与光滑的条件。
• 应用计数多项式理论，推导出在给定几何条件下图旗的欧拉示性数非负。
• 为无环扩展 Dynkin 图构造一个满同态 Φ: C₀(Q) → ℚℑCM(Q)，并显式描述其非平凡核。
• 利用几何性质与函子作用，证明对于 Dynkin 图与定向环，有 C₀(Q) ≅ ℚℑCM(Q)。

实验结果

研究问题

• RQ1 在何种条件下，通用复合代数 C₀(Q) 的特殊化同构于幺半群代数 ℚℑCM(Q)？
• RQ2 当 Q 为无环扩展 Dynkin 图时，自然同态 Φ: C₀(Q) → ℚℑCM(Q) 的核具有何种结构？
• RQ3 BGP 反射函子如何被适配到图 Grassmannian 和图旗的几何设定中，以计算复合代数的结构常数？
• RQ4 在特定图条件下，图旗与 Grassmannian 具有哪些几何性质（如不可约性与光滑性）？
• RQ5 计数多项式的存在是否意味着图旗的欧拉示性数非负？在何种条件下成立？

主要发现

• 对于 Dynkin 图与定向环，特殊化 C₀(Q) 同构于幺半群代数 ℚℑCM(Q)。
• 对于无环扩展 Dynkin 图，存在一个满同态 Φ: C₀(Q) → ℚℑCM(Q)，其非平凡核被显式描述。
• 图 Grassmannian 和图旗上的几何 BGP 反射函子为计算复合代数 C₀(Q) 的结构常数提供了方法。
• 在图与子表示维向量的特定条件下，图旗是不可约且光滑的。
• 当存在计数多项式时，几何性质意味着图旗的欧拉示性数非负。
• 几何与代数之间的相互作用通过拓扑不变量确认了复合代数中结构常数的非负性。