代数的Hochschild同调与同调维数

代数的（Hochschild）（上）同调为代数表示论与同调代数的研究主题之一。本项目在代数的导出范畴的recollement、代数的Hochschild（上）同调与整体维数、代数的Hochschild（上）同调与Gabriel箭图的组合、代数的导出表示型、代数的稳定模范畴等方面取得进展。给出代数的导出范畴的recollement的张量积、反代数两种构造方法，揭示了代数的导出范畴的recollement与代数的Hochschild维数、Hochschild上同调之间的关系；引入三角范畴的n-recollement及n-导出单代数的概念，揭示了代数的导出范畴的n-recollement与代数的Cartan行列式、同调光滑性、Gorenstein性之间的关系，将“Cartan行列式猜想”约化到1-导出单代数，将“Gorenstein对称猜想”约化到2-导出单代数；给出导出离散n-导出单代数的分类，证明了导出离散代数的导出范畴的Jordan-Hoelder型定理。给出“Happel问题”及“Snashall-Solberg猜想”的更多反例；刻画了群代数的Hochschild上同调代数的Batalin-Vilkovisky结构。给出单模投射维数的双模刻画，提供了“Strong no loop conjecture”的双模方法，即“Igusa-Liu-Paquette定理”的简洁证明；利用Gabriel箭图中的平行路描述了Beilinson、Temperley-Lieb、tame Hecke、Fibonacci等代数的Hochschild上同调、Hochschild上同调环的cup积、Gerstenhaber括号积、生成元及关系。引入了（代数）复形的（整体）上同调长度、（整体）上同调宽度、（整体）上同调幅度等数值同调不变量，证明了代数封闭域上有限维代数的有界导出范畴的第一、第二Brauer-Thrall型定理；证明了Artin代数的有界导出范畴的第一Brauer-Thrall型定理；揭示了代数的导出表示型与cleaving函子之间的关系。决定了表示有限自入射代数的稳定模范畴中的单纯系统；证明了自入射代数的单纯系统不能包含齐次模；指出Morita型稳定等价不同于导出等价——不保持代数的张量积与代数的平凡扩张，从而部分地解决了Rickard的一个公开问题。