[论文解读] Twisted cohomology of configuration spaces and spaces of maximal tori via point-counting

Weiyan Chen|arXiv (Cornell University)|Mar 12, 2016

Advanced Combinatorial Mathematics参考文献 9被引用 8

一句话总结

本文通过有限域上的点计数与Grothendieck-Lefschetz迹公式，计算了GL_n(ℂ)的配置空间与极大环面空间的扭曲贝蒂数。研究证明，稳定扭曲贝蒂数在上同调度数上满足线性递推关系，解决了表示稳定性领域长期存在的问题，并通过特征多项式与项链多项式给出生成函数。

ABSTRACT

We consider two families of algebraic varieties $Y_n$ indexed by natural numbers $n$: the configuration space of unordered $n$-tuples of distinct points on $\mathbb{C}$, and the space of unordered $n$-tuples of linearly independent lines in $\mathbb{C}^n$. Let $W_n$ be any sequence of virtual $S_n$-representations given by a character polynomial, we compute $H^i(Y_n; W_n)$ for all $i$ and all $n$ in terms of double generating functions. One consequence of the computation is a new recurrence phenomenon: the stable twisted Betti numbers $\lim_{n o\infty}\dim H^i(Y_n; W_n)$ are linearly recurrent in $i$. Our method is to compute twisted point-counts on the $F_q$-points of certain algebraic varieties, and then pass through the Grothendieck-Lefschetz fixed point formula to prove results in topology. We also generalize a result of Church-Ellenberg-Farb about the configuration spaces of the affine line to those of a general smooth variety.

研究动机与目标

• 计算所有 i 和 n 的扭曲贝蒂数 H^i(Conf_n(ℂ); W_n) 与 H^i(𝒯_n(ℂ); W_n)，其中 W_n 为虚拟 S_n-表示。
• 解决Farb在2014年国际数学家大会演讲中提出的关于 M = ℂ 时扭曲贝蒂数的第1个问题。
• 在稳定扭曲贝蒂数中建立新的递推现象，证明其在上同调度数 i 上满足线性递推关系。
• 将Church-Ellenberg-Farb关于仿射直线配置空间的点计数结果推广至一般光滑代数簇。

提出的方法

• 使用Grothendieck-Lefschetz不动点公式，将 𝔽_q 上的扭曲点计数与 ℂ 上的上同调贝蒂数关联起来。
• 利用特征多项式 P ∈ ℚ[X₁,X₂,…] 参数化虚拟 S_n-表示 W_n，其中 P = X choose λ 用于特定情形。
• 通过项链多项式 M_k(z⁻¹) 与 (tz)^k 的有理函数，推导出扭曲贝蒂数的双变量生成函数。
• 对 GL_n(𝔽_q)-环面点计数的生成函数应用形式微分算子 (∂/∂x_i)^λ，以提取扭曲计数。
• 在 z = q⁻¹ 处求值生成函数，并通过在素数幂上的解析延拓将恒等式推广至形式变量。
• 利用 Conf_n(V)(𝔽_q) 上加权点计数在 n → ∞ 时的收敛性，推导出拓扑稳定性与递推关系。

实验结果

研究问题

• RQ1 当 W_n 为虚拟 S_n-表示时，所有 i 和 n 的扭曲贝蒂数 dim H^i(Conf_n(ℂ); W_n) 是什么？
• RQ2 稳定扭曲贝蒂数 lim_{n→∞} dim H^i(Conf_n(ℂ); W_n) 在 i 上是否满足某种结构化的递推关系？
• RQ3 能否将 𝔽_q 上的点计数方法从仿射直线推广至任意光滑代数簇 V？
• RQ4 GL_n(ℂ) 的极大环面空间的扭曲贝蒂数行为如何？何种生成函数可描述它们？
• RQ5 当 n → ∞ 时，Conf_n(V)(𝔽_q) 上加权点计数的渐近行为如何？

主要发现

• 配置空间 Conf_n(ℂ) 的扭曲贝蒂数的生成函数由包含项链多项式 M_k(z⁻¹) 与 (tz)^k 的有理函数的二项式系数乘积给出。
• 对于极大环面空间 𝒯_n(ℂ)，其生成函数具有类似的乘积结构，包含项 (t^k / (1 - q^{-k}))^{λ_k} 与关于 1/(1 - q^{-k}t) 的无穷乘积。
• 稳定扭曲贝蒂数 β_i = lim_{n→∞} dim H^{2i}(𝒯_n(ℂ); X choose λ) 满足长度为 |λ| 的线性递推，因其生成函数为有理函数且分母次数为 |λ|。
• 稳定贝蒂数的生成函数为 ∑_i β_i z^i = (1/z_λ) ∏_{k=1}^l (1 - z^k)^{-λ_k}，确认其有理性和递推性。
• 该方法证明了 Conf_n(V)(𝔽_q) 上加权点计数在 n → ∞ 时的收敛性，推广了Church-Ellenberg-Farb对仿射直线的结果。
• 本文通过点计数方法给出了Farb-Wolfson最近定理的新证明，并为配置空间与极大环面的扭曲上同调提供了完整公式。