有限赋值AR-箭图导出的Lie代数

设Γ是连通赋值AR-箭图,用￡(Γ)=_x∈Γ0Zu_x表示由Γ的顶点集Γ₀生成的自由Abel群,^~Γ为Γ的泛覆盖,基本群为G,证明了当Γ是有限连通的赋值AR-箭图时,￡(Γ)关于括号运算作成(Γ)₁的Lie子代数且￡(Γ)/G (Γ)。这里 (Γ)₁是Γ的退化Hall代数,(^~Γ)/G是由^~Γ导出的轨道Lie代数。