[论文解读] Generic Caldero-Chapoton functions with coefficients and applications to surface cluster algebras

Christof Geiß, Daniel Labardini-Fragoso+1 more|arXiv (Cornell University)|Jul 10, 2020

Algebraic structures and combinatorial models参考文献 35被引用 4

一句话总结

本文为由曲面导出的簇代数中具有系数的通用Caldero-Chapoton函数建立了几何框架，利用正规映射和表示簇的不可约分支。证明了对于任意至少有两个标记边界点的曲面，即使系数非满秩，通用Caldero-Chapoton函数在系数的洛朗多项式环上构成一个基，推广了早期结果，仅通过初等代数几何方法，无需Jacobi-有限性条件。

ABSTRACT

We realize Derksen-Weyman-Zelevinsky's mutations of representations as densely-defined regular maps on representation spaces, and study the generic values of Caldero-Chapoton functions with coefficients, giving, for instance, a sufficient combinatorial condition for their linear independence. For a quiver with potential $(Q,S)$, we show that if $k$ is a vertex not incident to any oriented 2-cycle, then every generically $τ$-reduced irreducible component $Z$ of any affine variety of (decorated) representations has a dense open subset $U$ on which Derksen-Weyman-Zelevinsky's mutation of representations $μ_k$ can be defined consistently as a regular map to an affine variety of (decorated) representations of the Jacobian algebra of the mutated QP $μ_k(Q,S)$. Our techniques involve only basic linear algebra and elementary algebraic geometry, and do not require to assume Jacobi-finiteness. Thus, the paper yields a new and more general proof of the mutation invariance of generic Caldero-Chapoton functions, generalizing and providing a new natural geometric perspective on results of Derksen-Weyman-Zelevinsky and Plamondon. (For Jacobi-finite non-degenerate quivers with potential, this invariance was shown by Plamondon using the machinery of Ginzburg dg-algebras and Hom-finite generalized cluster categories.) We apply our results, together with results of Mills, Muller and Qin, to prove that for any choice of geometric coefficient systems, not necessarily of full rank, the cluster algebra associated to a possibly punctured surface with at least two marked points on the boundary has the generic Caldero-Chapoton functions as a basis over the Laurent polynomial ring of coefficients.

研究动机与目标

• 为簇代数中的通用Caldero-Chapoton函数提供一个几何的、突变不变的框架，包含系数。
• 仅通过基本代数几何方法，将Plamondon的突变不变性结果推广至Jacobi-非有限情形。
• 证明对于具有任意几何系数的曲面簇代数，即使系数非满秩，通用Caldero-Chapoton函数构成一个基。
• 证明对于至少有两个边界标记点的曲面quiver，上簇代数与簇代数一致。
• 将Mills、Muller与Qin的结果统一，并以簇基构造的新几何视角进行整合。

提出的方法

• 将Derksen-Weyman-Zelevinsky的表示突变实现为带势的quiver表示簇上的稠密定义正规映射。
• 为任意结合代数建立了g-向量、E-不变量和Hom-维数的上半连续性。
• 证明了通用τ-约化的不可约分支可包含稠密开子集，使得在突变后的雅可比代数上，突变可一致地定义为正规映射。
• 证明了在突变设置下，突变轨道的Zariski闭包可生成通用τ-约化的分支，从而在分支层面确立了突变规则。
• 将该构造应用于三角剖分曲面，结合Mills、Muller与Qin的结果，证明在任意系数系统下具有基的性质。
• 该方法避免使用Ginzburg dg-代数和Hom-有限性假设，仅依赖线性代数与子式初等代数几何。

实验结果

研究问题

• RQ1 是否可以在不假设Jacobi-有限性或不使用高级同调工具的前提下，证明通用Caldero-Chapoton函数的突变不变性？
• RQ2 在交换矩阵的何种组合条件下，通用Caldero-Chapoton函数集合在系数环上线性无关？
• RQ3 对于非满秩系数系统的曲面簇代数，通用Caldero-Chapoton基是否与上簇代数一致？
• RQ4 在不满足Jacobi-有限性条件下，表示簇的不可约分支的突变是否可通过正规映射一致定义？
• RQ5 曲面簇代数的通用基是否独立于几何系数系统的选取，包括非满秩情形？

主要发现

• 本文证明，对于任意至少有两个边界标记点的曲面，通用Caldero-Chapoton函数在系数的洛朗多项式环上构成上簇代数的一个基。
• 即使在不满足Jacobi-有限性条件下，表示的突变仍可在表示簇的稠密开子集上定义为稠密定义的正规映射。
• 在突变设置下，通用分支在突变下的像的Zariski闭包可生成一个通用τ-约化的分支，从而在分支层面确立了突变规则。
• 对于至少有两个边界标记点的曲面quiver，无论系数系统是否为满秩，通用Caldero-Chapoton函数集合均可张成簇代数。
• 在无 punctured 且至少有两个标记点的曲面上，通用基在无系数与主系数情形下与Musiker-Schiffler-Williams的bangle基一致。
• 本结果通过避免使用Ginzburg dg-代数与Hom-有限性假设，仅依赖初等代数几何时，推广了Plamondon的不变性结果。