高深度环上箭图Kac多项式的正性：从环面情形到预投射栈的上同调

《Advances in Mathematics》：Positivity for toric Kac polynomials in higher depth

　　

摘要专业翻译 研究人员证明了在截断幂级数环上箭图的局部自由、绝对不可分解、秩为1的表示计数多项式具有非负系数。这一结果将环面Kac多项式的正性推广到了更高深度。证明方法通过对箭图的箭头进行归纳式的收缩/删除操作，其灵感来源于Abdelgadir、Mellit和Rodriguez-Villegas关于环面Kac多项式的先前工作。 研究人员还建立了高深度下箭图绝对不可分解表示计数与箭图矩映射（moment map）纤维上的jet计数之间的联系。这一联系以涉及这些计数的生成级数的plethystic恒等式表达。在秩为1的情形下，研究人员证明了该恒等式的上同调升级版本，即通过计算预投射栈（preprojective stacks）上jet空间的紧支撑上同调（compactly supported cohomology）实现。这一结果令人联想到预投射上同调Hall代数的PBW同构。最后，该plethystic恒等式使得研究人员能够证明Wyss关于当深度趋于无穷时两类计数渐近行为的两个猜想。

论文解读

一、研究背景与问题

Kac多项式是箭图表示理论中的核心研究对象。给定一个箭图Q和维数向量d，Kac多项式A_Q,d(q)计数有限域上绝对不可分解的Q的d维表示。Kac在文献[37]中引入这些多项式并提出了关于其系数非负性的著名猜想，后来Bozec和Schiffmann进一步细化了这些猜想，将其与Borcherds代数的分次维数联系起来。这些猜想的证明主要依赖于箭图矩映射μ_Q,d的几何性质、Nakajima箭图簇以及Kac-Moody代数在其上同调上的表示。

近年来，预投射上同调Hall代数的发展使得人们发现了合适的Borcherds代数g_Q，其分次维数恰好由Kac多项式给出，从而证明了Bozec和Schiffmann的猜想。然而，将Kac多项式推广到高深度情形——即在截断幂级数环O_α=F_q[t]/(t^α)上考虑箭图表示——仍然存在许多未解决的问题。特别是，对于秩向量r>1的情形，A_Q,r,α是否为q的多项式仍是开放问题。对于环面表示（即秩r=1的情形），Hausel、Letellier、Rodriguez-Villegas和Wyss已建立了显式的多项式公式，并猜想A_Q,1,α具有非负系数。本论文正是要证明这一猜想，并进一步探索高深度Kac多项式与预投射栈上同调之间的深层联系。

二、研究内容与主要结论

本论文的主要贡献可概括为以下几个方面：

定理1.0.1 建立了高深度下箭图矩映射零点计数与绝对不可分解表示计数之间的plethystic恒等式，将Mozgovoy在经典情形下的公式推广到任意固定深度α≥1。这一恒等式对任意秩向量r均成立，从而加强了Wyss关于两类计数渐近关系的猜想。

推论1.0.2 由定理1.0.1推出，对于2-连通箭图，Wyss定义的两个极限函数B_μQ(q)和A_Q(q)之间存在精确的等式关系。

定理1.0.3 对于不可分秩向量r和关于r的泛参数λ，建立了矩映射在参数t^α?1·λ处纤维的计数与Kac多项式之间的精确关系，将Crawley-Boevey和Van den Bergh的经典结果推广到高深度。

定理1.0.4 证明了2-连通箭图的极限函数A_Q(q)本质上等于某个Cohen-Macaulay单纯复形（即箭图箭头集合子集的偏序复形）的Stanley-Reisner环的Hilbert级数，从而证明了其分子具有非负系数。这一结果证实了Wyss的渐近正性猜想。

定理1.0.5 通过箭图箭头的收缩-删除递归算法，证明了固定深度α下环面Kac多项式A_Q,1,α具有非负系数。虽然在高深度情形下与Tutte多项式的联系已丧失，但递归方法仍然有效。

定理1.0.6与1.0.7 在秩r=1的情形下，计算了预投射栈[μ_Q,r,α^?1(t^α?1·λ)/GL(r,O_α)]和[μ_Q,r,α^?1(0)/GL(r,O_α)]的紧支撑上同调，证明了其混合Hodge结构是纯的，并给出了与Kac多项式相关的分次维数公式。定理1.0.7可视为高深度下预投射上同调Hall代数PBW同构在r=1情形的类比。

命题1.0.8 对于单顶点带g个环的箭图，利用Avni、Klopsch、Onn和Voll关于GL(r,O_α)共轭类的分类结果，给出了秩r=2和r=3时A_Q,r,α的显式公式，并验证了r=2时系数的非负性。

猜想1.0.9 基于上述结果和计算证据，提出了对所有秩向量r和深度α，A_Q,r,α均为具有非负系数的多项式的猜想。

三、主要技术方法

研究人员采用了以下关键方法：其一，将Mozgovoy的plethystic公式推广到高深度，利用局部自由表示在截断幂级数环上的同调性质（射影维数至多1）以及Krull-Schmidt分解和Galois下降技巧；其二，对箭图箭头进行归纳式的收缩-删除递归，结合环O_α中取值的分析来证明环面Kac多项式的正性；其三，利用Stanley-Reisner环理论，将Wyss的显式公式与Cohen-Macaulay单纯复形的Hilbert级数联系起来；其四，通过矩映射纤维的 stratification 和紧支撑上同调的计算，建立上同调层面的PBW型同构。

四、研究结果详述

高深度Kac多项式与预投射栈的关系 定理1.0.1建立的plethystic恒等式表明，矩映射零点计数与绝对不可分解表示计数之间存在精确的生成级数关系，这一关系对任意固定深度α均成立。推论1.0.2由此推出Wyss两个极限函数之间的精确等式。定理1.0.3进一步将这一关系推广到非零参数情形，建立了泛参数纤维计数与Kac多项式的直接联系。

正性结果 定理1.0.4通过Stanley-Reisner环的框架证明了渐近极限函数A_Q(q)的分子具有非负系数，证实了Wyss的渐近正性猜想。定理1.0.5则通过收缩-删除递归证明了固定深度下环面Kac多项式的非负系数性质，直接证实了Hausel-Letellier-Rodriguez-Villegas的猜想。

环面预投射栈的上同调 定理1.0.6和定理1.0.7给出了秩1情形下预投射栈紧支撑上同调的完整计算，证明了纯Hodge结构的存在性，并建立了与Kac多项式相关的分次维数公式。定理1.0.7的分解公式可视为高深度下PBW同构的类比，为未来在高深度下发展上同调Hall代数结构提供了证据。

超越环面情形 命题1.0.8给出了单顶点箭图在秩2和秩3时的显式公式，其中秩2公式明确具有非负系数。这些结果为猜想1.0.9提供了支持。

五、结论与展望

本论文的核心成果在于：证明了高深度环面Kac多项式的非负系数性质（定理1.0.5），证实了Wyss关于渐近行为的两个猜想（定理1.0.4及推论1.0.2），建立了高深度下矩映射计数与表示计数之间的精确plethystic恒等式（定理1.0.1），并在秩1情形下完成了预投射栈上同调的纯性证明和显式计算（定理1.0.6与1.0.7）。这些结果不仅推广了经典的Kac多项式理论，还为高深度下可能存在的上同调Hall代数结构提供了初步证据。作者在致谢中感谢了Dimitri Wyss、Emmanuel Letellier等人的帮助，并声明了瑞士国家科学基金会、欧盟Horizon 2020计划及德国研究联合会的资助支持。