[论文解读] On the E-polynomials of a family of Character Varieties

Martı́n Mereb|arXiv (Cornell University)|Jun 7, 2010

Algebraic Geometry and Number Theory参考文献 29被引用 25

一句话总结

该论文通过在有限域 $\mathbb{F}_q$ 上建立 $M_g(SL_n)$ 的多项式点计数，计算了扭特征簇 $M_g(SL_n)$ 的 E-多项式，利用 $GL_n(\mathbb{F}_q)$ 和 $SL_n(\mathbb{F}_q)$ 的特征表、Frobenius 公式以及集合划分上的 Möbius 反演。关键结果是给出了 E-多项式关于组合不变量和 $q$ 的条件的闭式表达，且仅当 $\gcd(D,t) = 1$ 时非零，从而得到一个包含 Möbius 函数和群阶的精确公式。

ABSTRACT

We compute the E-polynomials of a family of twisted character varieties by proving they have polynomial count, and applying a result of N. Katz on the counting functions. To compute the number of GF(q)-points of these varieties as a function of q, we used a formula of Frobenius. Our calculations made use of the character tables of Gl(n,q) and Sl(n,q), previously computed by J. A. Green and G. Lehrer, and a result of Hanlon on the Möbius function of a subposet of set-partitions. The Euler Characteristics of these character varieties are calculated with these polynomial.

研究动机与目标

• 计算亏格 $g$ 和 $n \geq 2$ 的扭特征簇 $M_g(SL_n)$ 的 E-多项式。
• 证明这些簇在 $\mathbb{F}_q$ 上的点数是关于 $q$ 的多项式，从而可应用 Katz 定理来计算 E-多项式。
• 利用表示论、分拆的组合学以及偏序集中集合划分上的 Möbius 反演，推导出 E-多项式的闭式表达。
• 确定 E-多项式非零的精确条件，特别是涉及 $\gcd(D,t) = 1$ 和群阶的条件。

提出的方法

• 使用 Frobenius 公式，通过 $GL_n(\mathbb{F}_q)$ 和 $SL_n(\mathbb{F}_q)$ 上的特征和来计算 $M_g(SL_n)$ 在 $\mathbb{F}_q$ 上的点数。
• 利用 Green 和 Lehrer 之前计算的 $GL_n(\mathbb{F}_q)$ 和 $SL_n(\mathbb{F}_q)$ 的特征表来评估特征和。
• 在集合划分的偏序集 $\Pi_\rho$ 上应用 Möbius 反演，以控制稳定子并简化计数问题。
• 引入一个新的次数函数，并将问题约化到商群 $\Gamma_D / \langle \delta_s \rangle$ 上，通过群论条件分析其阶。
• 利用 Hanlon 关于集合划分子偏序集的 Möbius 函数结果，对累积和进行反演，从而恢复最终计数。
• 应用 Katz 定理，将多项式点计数提升为 E-多项式，利用该簇具有多项式点计数的性质。

实验结果

研究问题

• RQ1 对于给定的亏格 $g$ 和 $n \geq 2$，扭特征簇 $M_g(SL_n)$ 的 E-多项式是什么？
• RQ2 在什么 $q$ 和群参数条件下，E-多项式是非零的？
• RQ3 如何将 $M_g(SL_n)$ 在 $\mathbb{F}_q$ 上的点数表示为关于 $q$ 的多项式，其结构是怎样的？
• RQ4 Möbius 函数和集合划分的偏序集如何在计算 E-多项式中发挥作用？
• RQ5 群作用在簇上的稳定子如何影响点计数和最终的 E-多项式？

主要发现

• 当且仅当 $\gcd(D,t) = 1$ 时，$M_g(SL_n)$ 的 E-多项式非零，其中 $D$ 和 $t$ 是与群和表示相关的参数。
• $M_g(SL_n)$ 在 $\mathbb{F}_q$ 上的点数是关于 $q$ 的多项式，这使得可以应用 Katz 定理来计算 E-多项式。
• 当 $\gcd(D,t) = 1$ 时，E-多项式由闭式表达给出，包含 Möbius 函数 $\mu(b_d)$、因子 $(-b_d)^{m-1}(m-1)!$ 和 $\frac{q-1}{t}$。
• 当 $\gcd(D,t) \neq 1$ 时，E-多项式为零，这由 Möbius 反演和群阶分析所证实。
• 累积和 $bf(\nu)$ 的唯一非零贡献来自最顶层的集合划分 $b_1$，从而简化了反演过程。
• 最终的 E-多项式公式为：若 $\gcd(D,t) = 1$，则 $Z(D,t,b_d,\vec{\lambda}) = \mu(b_d)(-b_d)^{m-1}(m-1)! \cdot \frac{q-1}{t}$，否则为 0。