[论文解读] Generating functions and statistics on spaces of maximal tori in classical Lie groups

Jason Fulman, Rita Jiménez Rolland+1 more|arXiv (Cornell University)|Oct 21, 2016

Advanced Algebra and Geometry参考文献 14被引用 3

一句话总结

本文使用生成函数技巧，推导出经典李群型 A、B 和 C 中 $F$-稳定极大环面的多项式统计量的稳定值显式公式。它建立了扭曲同调稳定性，并计算了稳定扭曲贝蒂数的生成函数，表明它们是满足线性递推关系的拟多项式。

ABSTRACT

In this paper we use generating function methods to obtain new asymptotic results about spaces of $F$-stable maximal tori in $GL_n(\overline{F_q})$, $Sp_{2n}(\overline{F_q})$, and $SO_{2n+1}(\overline{F_q})$. We recover stability results of Church--Ellenberg--Farb and Jiménez Rolland--Wilson for "polynomial" statistics on these spaces, and we compute explicit formulas for their stable values. We derive a double generating function for the characters of the cohomology of flag varieties in type B/C, which we use to obtain analogs in type B/C of results of Chen: we recover "twisted homological stability" for the spaces of maximal tori in $Sp_{2n}(\mathbb{C})$ and $SO_{2n+1}(\mathbb{C})$, and we compute a generating function for their "stable twisted Betti numbers". We also give a new proof of a result of Lehrer using symmetric function theory.

研究动机与目标

• 为经典李群中 $F$-稳定极大环面的多项式统计量的渐近稳定性结果提供基于生成函数的新证明。
• 使用生成函数显式计算这些统计量的稳定值，扩展了 Church–Ellenberg–Farb 和 Jiménez Rolland–Wilson 的先前结果。
• 推导出 B/C 型旗流形上同调特征标的双生成函数，从而在 B/C 型中实现 Chen 结果的类比。
• 证明 B/C 型中的稳定扭曲贝蒂数是具有有界拟周期和有限递推阶数的拟多项式。
• 通过对称函数理论给出 Lehrer 定理在 A 型中关于特征多项式与点计数的全新证明。

提出的方法

• 利用生成函数分析 $F$-稳定极大环面在 $GL_n$、$Sp_{2n}$ 和 $SO_{2n+1}$ 上有限域上的 Lehrer 特征公式左侧。
• 应用对称函数理论重新证明 A 型中的 Lehrer 结果，重点在于余不变代数和类函数的内积。
• 利用超八面体群 $B_n$ 的结构，推导出 B/C 型旗流形上同调特征标的双生成函数。
• 将稳定扭曲贝蒂数的生成函数计算为分母包含 $1 - z^i$ 和 $1 + z^i$ 的有理函数，揭示其拟多项式结构。
• 通过分析生成函数的极点，推导出稳定贝蒂数是次数至多为 $\deg(P) - 1$ 的拟多项式，其拟周期整除 $\text{lcm}(2, 4, \dots, 2\deg(P))$。
• 利用从生成函数导出的递推关系，刻画 $\mathbb{C}^n$、$\bigwedge^2\mathbb{C}^n$ 和 $\bigwedge^3\mathbb{C}^n$ 等表示的稳定贝蒂数。

实验结果

研究问题

• RQ1 在 A、B 和 C 型经典李群的 $F$-稳定极大环面中，多项式统计量的显式稳定值是什么？
• RQ2 如何利用生成函数在 B/C 型中推导出类似于 A 型中 Chen 结果的扭曲同调稳定性结果？
• RQ3 B/C 型中稳定扭曲贝蒂数的生成函数结构如何？它对其函数形式有何含义？
• RQ4 B/C 型中的稳定扭曲贝蒂数是否满足线性递推关系？若是，其阶数和系数由什么决定？
• RQ5 对称函数理论能否用于给出 A 型中 Lehrer 特征公式的全新证明？

主要发现

• 通过生成函数，显式计算了 $GL_n$、$Sp_{2n}$ 和 $SO_{2n+1}$ 中 $F$-稳定极大环面的多项式统计量的稳定值。
• B/C 型中稳定扭曲贝蒂数的生成函数是有理函数，其分母为 $1 - z^i$ 和 $1 + z^i$ 项的乘积，且次数受特征多项式次数的限制。
• 稳定扭曲贝蒂数是次数至多为 $\deg(P) - 1$ 的拟多项式，其拟周期整除 $\text{lcm}(2, 4, \dots, 2\deg(P))$。
• 对于标准表示 $\mathbb{C}^n$，稳定贝蒂数满足：若 $d$ 为奇数则 $\beta_d = 1$，若 $d$ 为偶数则 $\beta_d = 0$，且对 $d \geq 3$ 有 $\beta_d = \beta_{d-2}$。
• 对于 $\bigwedge^2\mathbb{C}^n$，稳定贝蒂数满足递推关系 $\beta_d = \beta_{d-2} + \beta_{d-4} - \beta_{d-6}$（$d \geq 6$），且为周期为 4 的分段拟多项式。
• 对于 $\bigwedge^3\mathbb{C}^n$，稳定贝蒂数是次数为 2 的拟多项式，周期为 12，满足 12 阶递推关系，并在模 12 意义下表现出关于 $d$ 的二次依赖关系。