[论文解读] A refinement of the A-polynomial of quivers

Fernando Rodríguez Villegas|arXiv (Cornell University)|Feb 25, 2011

Advanced Combinatorial Mathematics参考文献 6被引用 5

一句话总结

本文为单顶点带 $ g $ 个环的 quiver $ S_g $ 引入了一种改进的 A-多项式 $ A_\lambda(q) $，将原始的 A-多项式 $ A_n(q) $ 按整数分拆 $ \lambda $ 分解为分量。通过 Hua 公式与幂级数对数，作者推导出 $ A_\lambda(1) $ 的闭式表达式，其中涉及 Möbius 反演及依赖于分拆的组合项，证明其为 $ \rho = 2g-2 $ 的多项式且系数非负，支持了其与 Higgs 纤维丛模空间拓扑相关的猜想。

ABSTRACT

We study a refinement of the A-polynomial in the case of the g-loop quiver. We give an explicit formula for its value at q=1. Conjecturally this implies a formula for the middle Betti number of the moduli space of Higgs bundles or equivalently of the character variety of a Riemann surface of genus g.

研究动机与目标

• 将 Kac 的 A-多项式 $ A_n(q) $（用于计数 $ \mathbb{F}_q $ 上的绝对不可约表示）通过按分拆 $ \lambda $ 索引的分量 $ A_\lambda(q) $ 进行细化。
• 证明在 $ q=1 $ 处取值的改进多项式 $ A_\lambda(1) $ 是 $ \rho = 2g-2 $ 的多项式，且系数为非负整数。
• 利用 Möbius 反演与来自 quiver 的 Cartan 矩阵结构的组合项，建立 $ A_\lambda(1) $ 的公式。
• 支持一个猜想：$ A_\lambda(1) $ 计数的是与 Higgs 纤维丛模空间上 $ \mathbb{C}^\times $-作用相关的类型 $ \lambda $ 的连通分支数，该模空间微分同胚于特征簇 $ \mathcal{M}_n $。
• 探索 $ A\_\lambda(q) $ 的渐近与结构性质，包括在 $ \lambda \mapsto n\lambda $ 下的缩放行为。

提出的方法

• 使用 Hua 的生成函数 $ \operatorname{Hua}_N(T;q) $，其表达为分拆的和，权重包含 $ q^{(g-1)\langle\lambda,\lambda\rangle} $ 和反 $ q $-Pochhammer 符号。
• 应用幂级数对数将生成函数转换为级数 $ \sum A_n(q)T^n $，从而提取 $ A_n(q) $。
• 将生成函数表示为重数向量 $ m = (m_1, \dots, m_N) $ 的形式，导出具有矩阵指数 $ {}^t m \mathcal{H}_N m $ 的多重变量级数。
• 利用矩阵 $ \mathcal{H}_N = (\min(i,j)) $ 的逆矩阵，其具有稀疏结构，简化指数并导出关于 $ x_i = T^i $ 的有理函数。
• 应用广义矩阵-树定理，将行列式 $ \tau(m) $ 解释为生成树的加权和，得到 $ \tau(m) = P_2(m) \cdots P_{N-1}(m) $ 对于 $ \mathcal{H}_N $。
• 通过鞍点方程的对数微分，结合 Schläfli 的微分与 Möbius 反演，分离出 $ x^m $ 的系数，从而推导出 $ A_\lambda(1) $。

实验结果

研究问题

• RQ1 改进的 A-多项式 $ A_\lambda(q) $ 是否为 $ g > 0 $ 时 $ q $ 的具有非负整数系数的多项式？
• RQ2 能否用 Möbius 函数和依赖于分拆的组合项，给出 $ A_\lambda(1) $ 的闭式公式？
• RQ3 $ A_\lambda(1) $ 是否计数了 Higgs 纤维丛模空间上 $ \mathbb{C}^\times $-作用下类型 $ \lambda $ 的连通分支数？
• RQ4 $ A_\lambda(q) $ 在变换 $ \lambda \mapsto n\lambda $ 下如何缩放？
• RQ5 $ A_\lambda(1) $ 作为 $ \rho = 2g - 2 $ 的多项式，其次数与首项系数为何？

主要发现

• 改进的 A-多项式 $ A_\lambda(q) $ 是 $ q $ 的具有非负整数系数的多项式（$ g > 0 $），在例如 $ g=2, n=3 $ 的例子中已验证。
• $ A_\lambda(1) $ 的值由包含 Möbius 反演的闭式公式给出：$ A_\lambda(1) = \frac{1}{\rho}\sum_{d|m} \frac{\mu(d)}{d^2} \frac{1}{P_1(m/d)P_N(m/d)} \prod_{i\geq 1} \binom{\rho P_i(m/d) - 1 + m_i/d}{m_i/d} $。
• 当 $ \lambda = (1^n) $ 时，该公式恢复了已知结果 $ A_{(1^n)}(1) = n^{n-2}/n! $，与 $ n $ 个标记顶点上的生成树数量相关。
• $ A_\lambda(1) $ 是 $ \rho = 2g - 2 $ 的 $ l(\lambda) - 1 $ 次多项式，其首项系数为 $ \frac{1}{P_1(m)P_{l(\lambda)}(m)} \prod_{i\geq 1} \frac{P_i(m)^{m_i}}{m_i!} $。
• $ A_{n\lambda}^\rho(q) = A_\lambda^{n\rho}(q) $ 的缩放性质成立，特别地 $ A_{(n)}(q) = q^{n(g-1)+1} $。
• $ A_\lambda(1) $ 的公式源自鞍点方程的对数导数，结合 Schläfli 的微分与广义矩阵-树定理推导得出。