[论文解读] Moduli spaces, indecomposable objects and potentials over a finite field

Galyna Dobrovolska, Victor Ginzburg+1 more|arXiv (Cornell University)|Dec 6, 2016

Algebraic structures and combinatorial models参考文献 24被引用 9

一句话总结

本文建立了有限域线性范畴中绝对不可约对象的指数和的几何公式，以及具有光滑对象模空间的范畴中所有对象的堆叠和的几何公式。通过利用模空间上余切丛的几何结构，并结合势函数与维向量函子的相容性，该研究为Quiver表示、抛物丛和局部系统提供了新的特征和公式，推广了Hausel、Letellier与Rodriguez-Villegas的结果。

ABSTRACT

Given a linear category over a finite field such that the moduli space of its objects is a smooth Artin stack (and some additional conditions) we give formulas for an exponential sum over the set of absolutely indecomposable objects and a stacky sum over the set of all objects of the category, respectively, in terms of the geometry of the cotangent bundle on the moduli stack. The first formula was inspired by the work of Hausel, Letellier, and Rodriguez-Villegas. It provides a new approach for counting absolutely indecomposable quiver representations, vector bundles with parabolic structure on a projective curve, and irreducible etale local systems (via a result of Deligne). Our second formula resembles formulas appearing in the theory of Donaldson-Thomas invariants.

研究动机与目标

• 推导有限域线性范畴中绝对不可约对象的指数和的几何公式，该范畴具有光滑的对象模堆栈。
• 将这些公式扩展至所有对象的堆叠和，类比Donaldson-Thomas不变量。
• 通过单一几何框架统一计数Quiver表示、抛物丛与平展局部系统。
• 通过模堆栈上余切丛的几何结构，提出一种新的计数方法。

提出的方法

• 本文使用一个$´\mathbb{F}_q$´-线性Karoubian范畴$´\mathscr{C}$，其对象由光滑的Artin堆栈$´\mathfrak{X}(\mathscr{C})$´参数化。
• 假设存在一个势$´\phi$´与一个与堆栈结构相容的维向量函子$´F$´，且在直和下满足可加性。
• 关键技术在于将$´\phi$´与$´F_i$´上拉至$´\mathfrak{X}(\mathscr{C})$´上的正则函数与局部自由层，并保持可加性同构的相容性。
• 主要公式通过模堆栈上余切丛$´T^*\mathfrak{X}(\mathscr{C})$´的几何结构推导，特别是通过傅里叶变换与惯性堆栈。
• 该方法适用于曲线上抛物丛的范畴以及光滑代数的有限维模范畴。
• 通过弗罗贝尼乌斯形式与不可约表示和环面固定点之间的双射，建立组合-几何对应关系。

实验结果

研究问题

• RQ1 如何将有限域上范畴中绝对不可约对象的指数和，用模空间的几何结构表达？
• RQ2 此类范畴中所有对象的堆叠和的几何解释是什么？它们与Donaldson-Thomas不变量有何关联？
• RQ3 模空间的余切丛如何编码给定维向量的不可约对象数量信息？
• RQ4 是否能通过单一几何框架统一处理Quiver表示、抛物丛与局部系统的计数？
• RQ5 势函数$´\phi$´及其与堆栈结构的相容性，在推导这些公式中起到何种作用？

主要发现

• 本文给出了绝对不可约对象的指数和$´E_{\mathbf{v}}(\mathscr{C}, F, \phi, \psi)$´的几何公式，该公式基于模堆栈上余切丛的几何结构。
• 推导出类似于Donaldson-Thomas不变量的堆叠和公式，其中求和包含自同构群大小的倒数。
• 对于Quiver表示，该公式恢复并推广了Hausel、Letellier与Rodriguez-Villegas关于绝对不可约表示计数的结果。
• 本文通过弗罗贝尼乌斯形式，建立了 момента-映射零纤维的连通分支与不可约表示之间的双射，将表示论与杨图联系起来。
• 在Calogero-Moser Quiver情形下，通过将“蛇”弯折成直角，实现了不可约表示与环面固定点之间的双射，从而形成杨图。
• 该结果适用于曲线上抛物丛与平展局部系统，后者通过Deligne定理恢复，表明该框架具有广泛适用性。