我们研究三角范畴上的Hall代数和丛代数 (cluster代数) 的结构。从代数表示论出发，构造周期三角范畴上的Hall代数，给出无限维李理论、量子群和包络代数等的整体实现的范畴化模型。 我们将比较二周期三角范畴的Hall代数诱导的范畴化模型和Lusztig和Nakajima使用quiver variety 给出的关于包络代数的有限维商的整体实现的几何化模型； 对于任意遗传范畴上的cluster范畴，构造相应的cluster代数，研究导出等价的不同遗传范畴上的 cluster代数的关系，构造quiver variety上的cluster乘法公式和定义相应的cluster代数， 研究这些 cluster代数的对偶半典范基（dual semicanonical basis）和canonical基。